2016-10-22 21:35:48 +03:00
|
|
|
// Copyright 2016 The Grin Developers
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
|
|
// you may not use this file except in compliance with the License.
|
|
|
|
// You may obtain a copy of the License at
|
|
|
|
//
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
|
|
|
//
|
|
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
|
|
// See the License for the specific language governing permissions and
|
|
|
|
// limitations under the License.
|
|
|
|
|
2016-10-21 03:06:12 +03:00
|
|
|
//! The proof of work needs to strike a balance between fast header
|
|
|
|
//! verification to avoid DoS attacks and difficulty for block verifiers to
|
|
|
|
//! build new blocks. In addition, mining new blocks should also be as
|
|
|
|
//! difficult on high end custom-made hardware (ASICs) as on commodity hardware
|
2016-10-22 01:02:20 +03:00
|
|
|
//! or smartphones. For this reason we use Cuckoo Cycle (see the cuckoo
|
2016-10-21 03:06:12 +03:00
|
|
|
//! module for more information).
|
|
|
|
//!
|
|
|
|
//! Note that this miner implementation is here mostly for tests and
|
|
|
|
//! reference. It's not optimized for speed.
|
|
|
|
|
|
|
|
mod siphash;
|
2016-11-27 23:31:15 +03:00
|
|
|
pub mod cuckoo;
|
2016-10-21 03:06:12 +03:00
|
|
|
|
|
|
|
use time;
|
|
|
|
|
2016-11-16 01:37:49 +03:00
|
|
|
use consensus::EASINESS;
|
2017-06-29 17:49:11 +03:00
|
|
|
use consensus::MINIMUM_DIFFICULTY;
|
2017-04-10 09:17:23 +03:00
|
|
|
use core::BlockHeader;
|
|
|
|
use core::hash::Hashed;
|
2016-12-27 02:39:31 +03:00
|
|
|
use core::target::Difficulty;
|
2016-10-21 03:06:12 +03:00
|
|
|
use pow::cuckoo::{Cuckoo, Miner, Error};
|
|
|
|
|
2017-04-10 09:17:23 +03:00
|
|
|
/// Validates the proof of work of a given header, and that the proof of work
|
|
|
|
/// satisfies the requirements of the header.
|
2017-02-08 00:48:11 +03:00
|
|
|
pub fn verify_size(bh: &BlockHeader, cuckoo_sz: u32) -> bool {
|
2016-12-27 02:39:31 +03:00
|
|
|
// make sure the pow hash shows a difficulty at least as large as the target
|
|
|
|
// difficulty
|
2017-02-08 00:48:11 +03:00
|
|
|
if bh.difficulty > bh.pow.to_difficulty() {
|
2016-10-21 03:06:12 +03:00
|
|
|
return false;
|
|
|
|
}
|
2017-04-10 09:17:23 +03:00
|
|
|
Cuckoo::new(&bh.hash()[..], cuckoo_sz).verify(bh.pow, EASINESS as u64)
|
2016-10-21 03:06:12 +03:00
|
|
|
}
|
|
|
|
|
2017-06-19 18:59:56 +03:00
|
|
|
/// Uses the much easier Cuckoo20 (mostly for
|
2016-10-21 03:06:12 +03:00
|
|
|
/// tests).
|
2017-02-08 00:48:11 +03:00
|
|
|
pub fn pow20(bh: &mut BlockHeader, diff: Difficulty) -> Result<(), Error> {
|
|
|
|
pow_size(bh, diff, 20)
|
2016-10-21 03:06:12 +03:00
|
|
|
}
|
|
|
|
|
2017-06-19 18:59:56 +03:00
|
|
|
/// Runs a naive single-threaded proof of work computation over the provided
|
|
|
|
/// block, until the required difficulty target is reached. May take a
|
|
|
|
/// while for a low target...
|
2017-02-08 00:48:11 +03:00
|
|
|
pub fn pow_size(bh: &mut BlockHeader, diff: Difficulty, sizeshift: u32) -> Result<(), Error> {
|
|
|
|
let start_nonce = bh.nonce;
|
2016-10-21 03:06:12 +03:00
|
|
|
|
|
|
|
// try to find a cuckoo cycle on that header hash
|
|
|
|
loop {
|
|
|
|
// can be trivially optimized by avoiding re-serialization every time but this
|
|
|
|
// is not meant as a fast miner implementation
|
2017-02-08 00:48:11 +03:00
|
|
|
let pow_hash = bh.hash();
|
2016-10-21 03:06:12 +03:00
|
|
|
|
2016-12-27 02:39:31 +03:00
|
|
|
// if we found a cycle (not guaranteed) and the proof hash is higher that the
|
|
|
|
// diff, we're all good
|
2017-04-10 09:17:23 +03:00
|
|
|
if let Ok(proof) = Miner::new(&pow_hash[..], EASINESS, sizeshift).mine() {
|
2016-12-27 02:39:31 +03:00
|
|
|
if proof.to_difficulty() >= diff {
|
2017-02-08 00:48:11 +03:00
|
|
|
bh.pow = proof;
|
2017-01-09 23:07:38 +03:00
|
|
|
return Ok(());
|
2016-10-21 03:06:12 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
// otherwise increment the nonce
|
2017-02-08 00:48:11 +03:00
|
|
|
bh.nonce += 1;
|
2016-10-21 03:06:12 +03:00
|
|
|
|
|
|
|
// and if we're back where we started, update the time (changes the hash as
|
|
|
|
// well)
|
2017-02-08 00:48:11 +03:00
|
|
|
if bh.nonce == start_nonce {
|
|
|
|
bh.timestamp = time::at_utc(time::Timespec { sec: 0, nsec: 0 });
|
2016-10-21 03:06:12 +03:00
|
|
|
}
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
#[cfg(test)]
|
|
|
|
mod test {
|
|
|
|
use super::*;
|
2016-12-27 02:39:31 +03:00
|
|
|
use core::target::Difficulty;
|
2016-10-21 03:06:12 +03:00
|
|
|
use genesis;
|
|
|
|
|
|
|
|
#[test]
|
|
|
|
fn genesis_pow() {
|
|
|
|
let mut b = genesis::genesis();
|
2017-01-10 02:16:44 +03:00
|
|
|
b.header.nonce = 310;
|
2017-06-29 17:49:11 +03:00
|
|
|
pow_size(&mut b.header, Difficulty::from_num(MINIMUM_DIFFICULTY), 12).unwrap();
|
2017-01-09 23:07:38 +03:00
|
|
|
assert!(b.header.nonce != 310);
|
2017-06-29 17:49:11 +03:00
|
|
|
assert!(b.header.pow.to_difficulty() >= Difficulty::from_num(MINIMUM_DIFFICULTY));
|
2017-06-20 20:21:31 +03:00
|
|
|
assert!(verify_size(&b.header, 12));
|
2016-10-21 03:06:12 +03:00
|
|
|
}
|
|
|
|
}
|