diff --git a/.gitignore b/.gitignore index 4a2c83c0d..e3f377db9 100644 --- a/.gitignore +++ b/.gitignore @@ -10,8 +10,7 @@ Cargo.lock # Generated by Cargo -/target/ -/util/target +**/target/ # vim stuff *.swp diff --git a/Cargo.toml b/Cargo.toml index 6e1344775..cea775ef3 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -18,6 +18,7 @@ rust-crypto = "0.2.34" time = "0.1" #interpolate_idents = { git = "https://github.com/SkylerLipthay/interpolate_idents" } evmjit = { path = "rust-evmjit", optional = true } +ethash = { path = "ethash" } [features] jit = ["evmjit"] diff --git a/ethash/Cargo.toml b/ethash/Cargo.toml new file mode 100644 index 000000000..2633a85eb --- /dev/null +++ b/ethash/Cargo.toml @@ -0,0 +1,9 @@ +[package] +name = "ethash" +version = "0.1.0" +authors = ["arkpar Self { + Node { bytes: [0u8; NODE_BYTES] } + } +} + +impl Clone for Node { + fn clone(&self) -> Self { + Node { bytes: *&self.bytes } + } +} + +impl Node { + #[inline] + fn as_words(&self) -> &[u32; NODE_WORDS] { + unsafe { mem::transmute(&self.bytes) } + } + + #[inline] + fn as_words_mut(&mut self) -> &mut [u32; NODE_WORDS] { + unsafe { mem::transmute(&mut self.bytes) } + } +} + +pub type H256 = [u8; 32]; + +pub struct Light { + block_number: u64, + cache: Vec, +} + +/// Light cache structur +impl Light { + /// Create a new light cache for a given block number + pub fn new(block_number: u64) -> Light { + light_new(block_number) + } + + /// Calculate the light boundary data + /// `header_hash` - The header hash to pack into the mix + /// `nonce` - The nonce to pack into the mix + pub fn compute(&self, header_hash: &H256, nonce: u64) -> ProofOfWork { + light_compute(self, header_hash, nonce) + } +} + +#[inline] +fn fnv_hash(x: u32, y: u32) -> u32 { + return x.wrapping_mul(FNV_PRIME) ^ y; +} + +#[inline] +fn sha3_512(input: &[u8], output: &mut [u8]) { + let mut sha3 = Keccak::new_keccak512(); + sha3.update(input); + sha3.finalize(output); +} + +#[inline] +fn get_cache_size(block_number: u64) -> usize { + assert!(block_number / ETHASH_EPOCH_LENGTH < 2048); + return CACHE_SIZES[(block_number / ETHASH_EPOCH_LENGTH) as usize] as usize; +} + +#[inline] +fn get_data_size(block_number: u64) -> usize { + assert!(block_number / ETHASH_EPOCH_LENGTH < 2048); + return DAG_SIZES[(block_number / ETHASH_EPOCH_LENGTH) as usize] as usize; +} + +#[inline] +fn get_seedhash(block_number: u64) -> H256 { + let epochs = block_number / ETHASH_EPOCH_LENGTH; + let mut ret: H256 = [0u8; 32]; + for _ in 0..epochs { + let mut sha3 = Keccak::new_keccak256(); + sha3.update(&ret); + sha3.finalize(&mut ret); + } + ret +} + +/// Difficulty quick check for POW preverification +/// +/// `header_hash` The hash of the header +/// `nonce` The block's nonce +/// `mix_hash` The mix digest hash +/// Boundary recovered from mix hash +pub fn quick_get_difficulty(header_hash: &H256, nonce: u64, mix_hash: &H256) -> H256 { + let mut buf = [0u8; 64 + 32]; + unsafe { ptr::copy_nonoverlapping(header_hash.as_ptr(), buf.as_mut_ptr(), 32) }; + unsafe { ptr::copy_nonoverlapping(mem::transmute(&nonce), buf[32..].as_mut_ptr(), 8) }; + + let mut sha3 = Keccak::new_keccak512(); + sha3.update(&buf[0..40]); + sha3.finalize(&mut buf); + unsafe { ptr::copy_nonoverlapping(mix_hash.as_ptr(), buf[64..].as_mut_ptr(), 32) }; + + let mut hash = [0u8; 32]; + let mut sha3 = Keccak::new_keccak256(); + sha3.update(&buf); + sha3.finalize(&mut hash); + hash +} + +/// Calculate the light client data +/// `light` - The light client handler +/// `header_hash` - The header hash to pack into the mix +/// `nonce` - The nonce to pack into the mix +pub fn light_compute(light: &Light, header_hash: &H256, nonce: u64) -> ProofOfWork { + let full_size = get_data_size(light.block_number); + hash_compute(light, full_size, header_hash, nonce) +} + +fn hash_compute(light: &Light, full_size: usize, header_hash: &H256, nonce: u64) -> ProofOfWork { + if full_size % MIX_WORDS != 0 { + panic!("Unaligned full size"); + } + // pack hash and nonce together into first 40 bytes of s_mix + let mut s_mix: [Node; MIX_NODES + 1] = [ Node::default(), Node::default(), Node::default() ]; + unsafe { ptr::copy_nonoverlapping(header_hash.as_ptr(), s_mix.get_unchecked_mut(0).bytes.as_mut_ptr(), 32) }; + unsafe { ptr::copy_nonoverlapping(mem::transmute(&nonce), s_mix.get_unchecked_mut(0).bytes[32..].as_mut_ptr(), 8) }; + + // compute sha3-512 hash and replicate across mix + unsafe { + let mut sha3 = Keccak::new_keccak512(); + sha3.update(&s_mix.get_unchecked(0).bytes[0..40]); + sha3.finalize(&mut s_mix.get_unchecked_mut(0).bytes); + + let (f_mix, mut mix) = s_mix.split_at_mut(1); + for w in 0..MIX_WORDS { + *mix.get_unchecked_mut(0).as_words_mut().get_unchecked_mut(w) = *f_mix.get_unchecked(0).as_words().get_unchecked(w % NODE_WORDS); + } + + let page_size = 4 * MIX_WORDS; + let num_full_pages = (full_size / page_size) as u32; + + for i in 0..(ETHASH_ACCESSES as u32) { + let index = fnv_hash(f_mix.get_unchecked(0).as_words().get_unchecked(0) ^ i, *mix.get_unchecked(0).as_words().get_unchecked((i as usize) % MIX_WORDS)) % num_full_pages; + for n in 0..MIX_NODES { + let tmp_node = calculate_dag_item(index * MIX_NODES as u32 + n as u32, light); + for w in 0..NODE_WORDS { + *mix.get_unchecked_mut(n).as_words_mut().get_unchecked_mut(w) = fnv_hash(*mix.get_unchecked(n).as_words().get_unchecked(w), *tmp_node.as_words().get_unchecked(w)); + } + } + } + + // compress mix + for i in 0..(MIX_WORDS / 4) { + let w = i * 4; + let mut reduction = *mix.get_unchecked(0).as_words().get_unchecked(w + 0); + reduction = reduction.wrapping_mul(FNV_PRIME) ^ *mix.get_unchecked(0).as_words().get_unchecked(w + 1); + reduction = reduction.wrapping_mul(FNV_PRIME) ^ *mix.get_unchecked(0).as_words().get_unchecked(w + 2); + reduction = reduction.wrapping_mul(FNV_PRIME) ^ *mix.get_unchecked(0).as_words().get_unchecked(w + 3); + *mix.get_unchecked_mut(0).as_words_mut().get_unchecked_mut(i) = reduction; + } + + let mut mix_hash: H256 = [0u8; 32]; + ptr::copy_nonoverlapping(mix.get_unchecked_mut(0).bytes.as_ptr(), mix_hash.as_mut_ptr(), 32); + let mut value: H256 = [0u8; 32]; + + let mut sha3 = Keccak::new_keccak256(); + sha3.update(&f_mix.get_unchecked(0).bytes); + sha3.update(&mix_hash); + sha3.finalize(&mut value); + + ProofOfWork { + mix_hash: mix_hash, + value: value, + } + } +} + +fn calculate_dag_item(node_index: u32, light: &Light) -> Node { + unsafe { + let num_parent_nodes = light.cache.len(); + let cache_nodes = &light.cache; + let init = cache_nodes.get_unchecked(node_index as usize % num_parent_nodes); + let mut ret = init.clone(); + *ret.as_words_mut().get_unchecked_mut(0) ^= node_index; + + let mut sha3 = Keccak::new_keccak512(); + sha3.update(&ret.bytes); + sha3.finalize(&mut ret.bytes); + + for i in 0..ETHASH_DATASET_PARENTS { + let parent_index = fnv_hash(node_index ^ i, *ret.as_words().get_unchecked(i as usize % NODE_WORDS)) % num_parent_nodes as u32; + let parent = cache_nodes.get_unchecked(parent_index as usize); + for w in 0..NODE_WORDS { + *ret.as_words_mut().get_unchecked_mut(w) = fnv_hash(*ret.as_words().get_unchecked(w), *parent.as_words().get_unchecked(w)); + } + } + + let mut sha3 = Keccak::new_keccak512(); + sha3.update(&ret.bytes); + sha3.finalize(&mut ret.bytes); + ret + } +} + +fn light_new(block_number: u64) -> Light { + let seedhash = get_seedhash(block_number); + let cache_size = get_cache_size(block_number); + + if cache_size % NODE_BYTES != 0 { + panic!("Unaligned cache size"); + } + let num_nodes = cache_size / NODE_BYTES; + + let mut nodes = Vec::with_capacity(num_nodes); + nodes.resize(num_nodes, Node::default()); + unsafe { + sha3_512(&seedhash[0..32], &mut nodes.get_unchecked_mut(0).bytes); + for i in 1..num_nodes { + let mut sha3 = Keccak::new_keccak512(); + sha3.update(&nodes.get_unchecked_mut(i - 1).bytes); + sha3.finalize(&mut nodes.get_unchecked_mut(i).bytes); + } + + for _ in 0..ETHASH_CACHE_ROUNDS { + for i in 0..num_nodes { + let idx = *nodes.get_unchecked_mut(i).as_words().get_unchecked(0) as usize % num_nodes; + let mut data = nodes.get_unchecked((num_nodes - 1 + i) % num_nodes).clone(); + for w in 0..NODE_WORDS { + *data.as_words_mut().get_unchecked_mut(w) ^= *nodes.get_unchecked(idx).as_words().get_unchecked(w) ; + } + sha3_512(&data.bytes, &mut nodes.get_unchecked_mut(i).bytes); + } + } + } + + Light { + cache: nodes, + block_number: block_number, + } +} + +#[test] +fn test_difficulty_test() { + let hash = [0xf5, 0x7e, 0x6f, 0x3a, 0xcf, 0xc0, 0xdd, 0x4b, 0x5b, 0xf2, 0xbe, 0xe4, 0x0a, 0xb3, 0x35, 0x8a, 0xa6, 0x87, 0x73, 0xa8, 0xd0, 0x9f, 0x5e, 0x59, 0x5e, 0xab, 0x55, 0x94, 0x05, 0x52, 0x7d, 0x72]; + let mix_hash = [0x1f, 0xff, 0x04, 0xce, 0xc9, 0x41, 0x73, 0xfd, 0x59, 0x1e, 0x3d, 0x89, 0x60, 0xce, 0x6b, 0xdf, 0x8b, 0x19, 0x71, 0x04, 0x8c, 0x71, 0xff, 0x93, 0x7b, 0xb2, 0xd3, 0x2a, 0x64, 0x31, 0xab, 0x6d ]; + let nonce = 0xd7b3ac70a301a249; + let boundary_good = [0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x3e, 0x9b, 0x6c, 0x69, 0xbc, 0x2c, 0xe2, 0xa2, 0x4a, 0x8e, 0x95, 0x69, 0xef, 0xc7, 0xd7, 0x1b, 0x33, 0x35, 0xdf, 0x36, 0x8c, 0x9a, 0xe9, 0x7e, 0x53, 0x84]; + assert!(quick_check_difficulty(&hash, nonce, &mix_hash, &boundary_good)); + let boundary_bad = [0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x3a, 0x9b, 0x6c, 0x69, 0xbc, 0x2c, 0xe2, 0xa2, 0x4a, 0x8e, 0x95, 0x69, 0xef, 0xc7, 0xd7, 0x1b, 0x33, 0x35, 0xdf, 0x36, 0x8c, 0x9a, 0xe9, 0x7e, 0x53, 0x84]; + assert!(!quick_check_difficulty(&hash, nonce, &mix_hash, &boundary_bad)); +} + +#[test] +fn test_light_compute() { + let hash = [0xf5, 0x7e, 0x6f, 0x3a, 0xcf, 0xc0, 0xdd, 0x4b, 0x5b, 0xf2, 0xbe, 0xe4, 0x0a, 0xb3, 0x35, 0x8a, 0xa6, 0x87, 0x73, 0xa8, 0xd0, 0x9f, 0x5e, 0x59, 0x5e, 0xab, 0x55, 0x94, 0x05, 0x52, 0x7d, 0x72]; + let mix_hash = [0x1f, 0xff, 0x04, 0xce, 0xc9, 0x41, 0x73, 0xfd, 0x59, 0x1e, 0x3d, 0x89, 0x60, 0xce, 0x6b, 0xdf, 0x8b, 0x19, 0x71, 0x04, 0x8c, 0x71, 0xff, 0x93, 0x7b, 0xb2, 0xd3, 0x2a, 0x64, 0x31, 0xab, 0x6d ]; + let boundary = [0x00, 0x00, 0x00, 0x00, 0x00, 0x01, 0x3e, 0x9b, 0x6c, 0x69, 0xbc, 0x2c, 0xe2, 0xa2, 0x4a, 0x8e, 0x95, 0x69, 0xef, 0xc7, 0xd7, 0x1b, 0x33, 0x35, 0xdf, 0x36, 0x8c, 0x9a, 0xe9, 0x7e, 0x53, 0x84]; + let nonce = 0xd7b3ac70a301a249; + // difficulty = 0x085657254bd9u64; + let light = Light::new(486382); + let result = light_compute(&light, &hash, nonce); + assert_eq!(result.mix_hash[..], mix_hash[..]); + assert_eq!(result.value[..], boundary[..]); +} diff --git a/ethash/src/lib.rs b/ethash/src/lib.rs new file mode 100644 index 000000000..166574bef --- /dev/null +++ b/ethash/src/lib.rs @@ -0,0 +1,42 @@ +//! Ethash implementation +//! See https://github.com/ethereum/wiki/wiki/Ethash +extern crate tiny_keccak; +mod sizes; +mod compute; + +use compute::Light; +pub use compute::{quick_get_difficulty, H256, ProofOfWork, ETHASH_EPOCH_LENGTH}; + +use std::collections::HashMap; +use std::sync::RwLock; + +/// Lighy/Full cache manager +pub struct EthashManager { + lights: RwLock>, +} + +impl EthashManager { + /// Create a new new instance of ethash manager + pub fn new() -> EthashManager { + EthashManager { + lights: RwLock::new(HashMap::new()) + } + } + + /// Calculate the light client data + /// `block_number` - Block number to check + /// `light` - The light client handler + /// `header_hash` - The header hash to pack into the mix + /// `nonce` - The nonce to pack into the mix + pub fn compute_light(&self, block_number: u64, header_hash: &H256, nonce: u64) -> ProofOfWork { + let epoch = block_number / ETHASH_EPOCH_LENGTH; + if !self.lights.read().unwrap().contains_key(&epoch) { + let mut lights = self.lights.write().unwrap(); // obtain write lock + if !lights.contains_key(&epoch) { + let light = Light::new(block_number); + lights.insert(epoch, light); + } + } + self.lights.read().unwrap().get(&epoch).unwrap().compute(header_hash, nonce) + } +} diff --git a/ethash/src/sizes.rs b/ethash/src/sizes.rs new file mode 100644 index 000000000..40840eb84 --- /dev/null +++ b/ethash/src/sizes.rs @@ -0,0 +1,772 @@ +// 2048 Epochs (~20 years) worth of tabulated DAG sizes + +// Generated with the following Mathematica Code: + +// GetCacheSizes[n_] := Module[{ +// CacheSizeBytesInit = 2^24, +// CacheGrowth = 2^17, +// HashBytes = 64, +// j = 0}, +// Reap[ +// While[j < n, +// Module[{i = +// Floor[(CacheSizeBytesInit + CacheGrowth * j) / HashBytes]}, +// While[! PrimeQ[i], i--]; +// Sow[i*HashBytes]; j++]]]][[2]][[1]] +pub const DAG_SIZES: [u64; 2048] = [ + 1073739904u64, 1082130304u64, 1090514816u64, 1098906752u64, 1107293056u64, + 1115684224u64, 1124070016u64, 1132461952u64, 1140849536u64, 1149232768u64, + 1157627776u64, 1166013824u64, 1174404736u64, 1182786944u64, 1191180416u64, + 1199568512u64, 1207958912u64, 1216345216u64, 1224732032u64, 1233124736u64, + 1241513344u64, 1249902464u64, 1258290304u64, 1266673792u64, 1275067264u64, + 1283453312u64, 1291844992u64, 1300234112u64, 1308619904u64, 1317010048u64, + 1325397376u64, 1333787776u64, 1342176128u64, 1350561664u64, 1358954368u64, + 1367339392u64, 1375731584u64, 1384118144u64, 1392507008u64, 1400897408u64, + 1409284736u64, 1417673344u64, 1426062464u64, 1434451072u64, 1442839168u64, + 1451229056u64, 1459615616u64, 1468006016u64, 1476394112u64, 1484782976u64, + 1493171584u64, 1501559168u64, 1509948032u64, 1518337664u64, 1526726528u64, + 1535114624u64, 1543503488u64, 1551892096u64, 1560278656u64, 1568669056u64, + 1577056384u64, 1585446272u64, 1593831296u64, 1602219392u64, 1610610304u64, + 1619000192u64, 1627386752u64, 1635773824u64, 1644164224u64, 1652555648u64, + 1660943488u64, 1669332608u64, 1677721216u64, 1686109312u64, 1694497664u64, + 1702886272u64, 1711274624u64, 1719661184u64, 1728047744u64, 1736434816u64, + 1744829056u64, 1753218944u64, 1761606272u64, 1769995904u64, 1778382464u64, + 1786772864u64, 1795157888u64, 1803550592u64, 1811937664u64, 1820327552u64, + 1828711552u64, 1837102976u64, 1845488768u64, 1853879936u64, 1862269312u64, + 1870656896u64, 1879048064u64, 1887431552u64, 1895825024u64, 1904212096u64, + 1912601216u64, 1920988544u64, 1929379456u64, 1937765504u64, 1946156672u64, + 1954543232u64, 1962932096u64, 1971321728u64, 1979707264u64, 1988093056u64, + 1996487552u64, 2004874624u64, 2013262208u64, 2021653888u64, 2030039936u64, + 2038430848u64, 2046819968u64, 2055208576u64, 2063596672u64, 2071981952u64, + 2080373632u64, 2088762752u64, 2097149056u64, 2105539712u64, 2113928576u64, + 2122315136u64, 2130700672u64, 2139092608u64, 2147483264u64, 2155872128u64, + 2164257664u64, 2172642176u64, 2181035392u64, 2189426048u64, 2197814912u64, + 2206203008u64, 2214587264u64, 2222979712u64, 2231367808u64, 2239758208u64, + 2248145024u64, 2256527744u64, 2264922752u64, 2273312128u64, 2281701248u64, + 2290086272u64, 2298476672u64, 2306867072u64, 2315251072u64, 2323639168u64, + 2332032128u64, 2340420224u64, 2348808064u64, 2357196416u64, 2365580416u64, + 2373966976u64, 2382363008u64, 2390748544u64, 2399139968u64, 2407530368u64, + 2415918976u64, 2424307328u64, 2432695424u64, 2441084288u64, 2449472384u64, + 2457861248u64, 2466247808u64, 2474637184u64, 2483026816u64, 2491414144u64, + 2499803776u64, 2508191872u64, 2516582272u64, 2524970368u64, 2533359232u64, + 2541743488u64, 2550134144u64, 2558525056u64, 2566913408u64, 2575301504u64, + 2583686528u64, 2592073856u64, 2600467328u64, 2608856192u64, 2617240448u64, + 2625631616u64, 2634022016u64, 2642407552u64, 2650796416u64, 2659188352u64, + 2667574912u64, 2675965312u64, 2684352896u64, 2692738688u64, 2701130624u64, + 2709518464u64, 2717907328u64, 2726293376u64, 2734685056u64, 2743073152u64, + 2751462016u64, 2759851648u64, 2768232832u64, 2776625536u64, 2785017728u64, + 2793401984u64, 2801794432u64, 2810182016u64, 2818571648u64, 2826959488u64, + 2835349376u64, 2843734144u64, 2852121472u64, 2860514432u64, 2868900992u64, + 2877286784u64, 2885676928u64, 2894069632u64, 2902451584u64, 2910843008u64, + 2919234688u64, 2927622784u64, 2936011648u64, 2944400768u64, 2952789376u64, + 2961177728u64, 2969565568u64, 2977951616u64, 2986338944u64, 2994731392u64, + 3003120256u64, 3011508352u64, 3019895936u64, 3028287104u64, 3036675968u64, + 3045063808u64, 3053452928u64, 3061837696u64, 3070228352u64, 3078615424u64, + 3087003776u64, 3095394944u64, 3103782272u64, 3112173184u64, 3120562048u64, + 3128944768u64, 3137339264u64, 3145725056u64, 3154109312u64, 3162505088u64, + 3170893184u64, 3179280256u64, 3187669376u64, 3196056704u64, 3204445568u64, + 3212836736u64, 3221224064u64, 3229612928u64, 3238002304u64, 3246391168u64, + 3254778496u64, 3263165824u64, 3271556224u64, 3279944576u64, 3288332416u64, + 3296719232u64, 3305110912u64, 3313500032u64, 3321887104u64, 3330273152u64, + 3338658944u64, 3347053184u64, 3355440512u64, 3363827072u64, 3372220288u64, + 3380608384u64, 3388997504u64, 3397384576u64, 3405774208u64, 3414163072u64, + 3422551936u64, 3430937984u64, 3439328384u64, 3447714176u64, 3456104576u64, + 3464493952u64, 3472883584u64, 3481268864u64, 3489655168u64, 3498048896u64, + 3506434432u64, 3514826368u64, 3523213952u64, 3531603584u64, 3539987072u64, + 3548380288u64, 3556763264u64, 3565157248u64, 3573545344u64, 3581934464u64, + 3590324096u64, 3598712704u64, 3607098752u64, 3615488384u64, 3623877248u64, + 3632265856u64, 3640646528u64, 3649043584u64, 3657430144u64, 3665821568u64, + 3674207872u64, 3682597504u64, 3690984832u64, 3699367808u64, 3707764352u64, + 3716152448u64, 3724541056u64, 3732925568u64, 3741318016u64, 3749706368u64, + 3758091136u64, 3766481536u64, 3774872704u64, 3783260032u64, 3791650432u64, + 3800036224u64, 3808427648u64, 3816815488u64, 3825204608u64, 3833592704u64, + 3841981568u64, 3850370432u64, 3858755968u64, 3867147904u64, 3875536256u64, + 3883920512u64, 3892313728u64, 3900702592u64, 3909087872u64, 3917478784u64, + 3925868416u64, 3934256512u64, 3942645376u64, 3951032192u64, 3959422336u64, + 3967809152u64, 3976200064u64, 3984588416u64, 3992974976u64, 4001363584u64, + 4009751168u64, 4018141312u64, 4026530432u64, 4034911616u64, 4043308928u64, + 4051695488u64, 4060084352u64, 4068472448u64, 4076862848u64, 4085249408u64, + 4093640576u64, 4102028416u64, 4110413696u64, 4118805632u64, 4127194496u64, + 4135583104u64, 4143971968u64, 4152360832u64, 4160746112u64, 4169135744u64, + 4177525888u64, 4185912704u64, 4194303616u64, 4202691968u64, 4211076736u64, + 4219463552u64, 4227855488u64, 4236246656u64, 4244633728u64, 4253022848u64, + 4261412224u64, 4269799808u64, 4278184832u64, 4286578048u64, 4294962304u64, + 4303349632u64, 4311743104u64, 4320130432u64, 4328521088u64, 4336909184u64, + 4345295488u64, 4353687424u64, 4362073472u64, 4370458496u64, 4378852736u64, + 4387238528u64, 4395630208u64, 4404019072u64, 4412407424u64, 4420790656u64, + 4429182848u64, 4437571456u64, 4445962112u64, 4454344064u64, 4462738048u64, + 4471119232u64, 4479516544u64, 4487904128u64, 4496289664u64, 4504682368u64, + 4513068416u64, 4521459584u64, 4529846144u64, 4538232704u64, 4546619776u64, + 4555010176u64, 4563402112u64, 4571790208u64, 4580174464u64, 4588567936u64, + 4596957056u64, 4605344896u64, 4613734016u64, 4622119808u64, 4630511488u64, + 4638898816u64, 4647287936u64, 4655675264u64, 4664065664u64, 4672451968u64, + 4680842624u64, 4689231488u64, 4697620352u64, 4706007424u64, 4714397056u64, + 4722786176u64, 4731173248u64, 4739562368u64, 4747951744u64, 4756340608u64, + 4764727936u64, 4773114496u64, 4781504384u64, 4789894784u64, 4798283648u64, + 4806667648u64, 4815059584u64, 4823449472u64, 4831835776u64, 4840226176u64, + 4848612224u64, 4857003392u64, 4865391488u64, 4873780096u64, 4882169728u64, + 4890557312u64, 4898946944u64, 4907333248u64, 4915722368u64, 4924110976u64, + 4932499328u64, 4940889728u64, 4949276032u64, 4957666432u64, 4966054784u64, + 4974438016u64, 4982831488u64, 4991221376u64, 4999607168u64, 5007998848u64, + 5016386432u64, 5024763776u64, 5033164672u64, 5041544576u64, 5049941888u64, + 5058329728u64, 5066717056u64, 5075107456u64, 5083494272u64, 5091883904u64, + 5100273536u64, 5108662144u64, 5117048192u64, 5125436032u64, 5133827456u64, + 5142215296u64, 5150605184u64, 5158993024u64, 5167382144u64, 5175769472u64, + 5184157568u64, 5192543872u64, 5200936064u64, 5209324928u64, 5217711232u64, + 5226102656u64, 5234490496u64, 5242877312u64, 5251263872u64, 5259654016u64, + 5268040832u64, 5276434304u64, 5284819328u64, 5293209728u64, 5301598592u64, + 5309986688u64, 5318374784u64, 5326764416u64, 5335151488u64, 5343542144u64, + 5351929472u64, 5360319872u64, 5368706944u64, 5377096576u64, 5385484928u64, + 5393871232u64, 5402263424u64, 5410650496u64, 5419040384u64, 5427426944u64, + 5435816576u64, 5444205952u64, 5452594816u64, 5460981376u64, 5469367936u64, + 5477760896u64, 5486148736u64, 5494536832u64, 5502925952u64, 5511315328u64, + 5519703424u64, 5528089984u64, 5536481152u64, 5544869504u64, 5553256064u64, + 5561645696u64, 5570032768u64, 5578423936u64, 5586811264u64, 5595193216u64, + 5603585408u64, 5611972736u64, 5620366208u64, 5628750464u64, 5637143936u64, + 5645528192u64, 5653921408u64, 5662310272u64, 5670694784u64, 5679082624u64, + 5687474048u64, 5695864448u64, 5704251008u64, 5712641408u64, 5721030272u64, + 5729416832u64, 5737806208u64, 5746194304u64, 5754583936u64, 5762969984u64, + 5771358592u64, 5779748224u64, 5788137856u64, 5796527488u64, 5804911232u64, + 5813300608u64, 5821692544u64, 5830082176u64, 5838468992u64, 5846855552u64, + 5855247488u64, 5863636096u64, 5872024448u64, 5880411008u64, 5888799872u64, + 5897186432u64, 5905576832u64, 5913966976u64, 5922352768u64, 5930744704u64, + 5939132288u64, 5947522432u64, 5955911296u64, 5964299392u64, 5972688256u64, + 5981074304u64, 5989465472u64, 5997851008u64, 6006241408u64, 6014627968u64, + 6023015552u64, 6031408256u64, 6039796096u64, 6048185216u64, 6056574848u64, + 6064963456u64, 6073351808u64, 6081736064u64, 6090128768u64, 6098517632u64, + 6106906496u64, 6115289216u64, 6123680896u64, 6132070016u64, 6140459648u64, + 6148849024u64, 6157237376u64, 6165624704u64, 6174009728u64, 6182403712u64, + 6190792064u64, 6199176064u64, 6207569792u64, 6215952256u64, 6224345216u64, + 6232732544u64, 6241124224u64, 6249510272u64, 6257899136u64, 6266287744u64, + 6274676864u64, 6283065728u64, 6291454336u64, 6299843456u64, 6308232064u64, + 6316620928u64, 6325006208u64, 6333395584u64, 6341784704u64, 6350174848u64, + 6358562176u64, 6366951296u64, 6375337856u64, 6383729536u64, 6392119168u64, + 6400504192u64, 6408895616u64, 6417283456u64, 6425673344u64, 6434059136u64, + 6442444672u64, 6450837376u64, 6459223424u64, 6467613056u64, 6476004224u64, + 6484393088u64, 6492781952u64, 6501170048u64, 6509555072u64, 6517947008u64, + 6526336384u64, 6534725504u64, 6543112832u64, 6551500672u64, 6559888768u64, + 6568278656u64, 6576662912u64, 6585055616u64, 6593443456u64, 6601834112u64, + 6610219648u64, 6618610304u64, 6626999168u64, 6635385472u64, 6643777408u64, + 6652164224u64, 6660552832u64, 6668941952u64, 6677330048u64, 6685719424u64, + 6694107776u64, 6702493568u64, 6710882176u64, 6719274112u64, 6727662976u64, + 6736052096u64, 6744437632u64, 6752825984u64, 6761213824u64, 6769604224u64, + 6777993856u64, 6786383488u64, 6794770816u64, 6803158144u64, 6811549312u64, + 6819937664u64, 6828326528u64, 6836706176u64, 6845101696u64, 6853491328u64, + 6861880448u64, 6870269312u64, 6878655104u64, 6887046272u64, 6895433344u64, + 6903822208u64, 6912212864u64, 6920596864u64, 6928988288u64, 6937377152u64, + 6945764992u64, 6954149248u64, 6962544256u64, 6970928768u64, 6979317376u64, + 6987709312u64, 6996093824u64, 7004487296u64, 7012875392u64, 7021258624u64, + 7029652352u64, 7038038912u64, 7046427776u64, 7054818944u64, 7063207808u64, + 7071595136u64, 7079980928u64, 7088372608u64, 7096759424u64, 7105149824u64, + 7113536896u64, 7121928064u64, 7130315392u64, 7138699648u64, 7147092352u64, + 7155479168u64, 7163865728u64, 7172249984u64, 7180648064u64, 7189036672u64, + 7197424768u64, 7205810816u64, 7214196608u64, 7222589824u64, 7230975104u64, + 7239367552u64, 7247755904u64, 7256145536u64, 7264533376u64, 7272921472u64, + 7281308032u64, 7289694848u64, 7298088832u64, 7306471808u64, 7314864512u64, + 7323253888u64, 7331643008u64, 7340029568u64, 7348419712u64, 7356808832u64, + 7365196672u64, 7373585792u64, 7381973888u64, 7390362752u64, 7398750592u64, + 7407138944u64, 7415528576u64, 7423915648u64, 7432302208u64, 7440690304u64, + 7449080192u64, 7457472128u64, 7465860992u64, 7474249088u64, 7482635648u64, + 7491023744u64, 7499412608u64, 7507803008u64, 7516192384u64, 7524579968u64, + 7532967296u64, 7541358464u64, 7549745792u64, 7558134656u64, 7566524032u64, + 7574912896u64, 7583300992u64, 7591690112u64, 7600075136u64, 7608466816u64, + 7616854912u64, 7625244544u64, 7633629824u64, 7642020992u64, 7650410368u64, + 7658794112u64, 7667187328u64, 7675574912u64, 7683961984u64, 7692349568u64, + 7700739712u64, 7709130368u64, 7717519232u64, 7725905536u64, 7734295424u64, + 7742683264u64, 7751069056u64, 7759457408u64, 7767849088u64, 7776238208u64, + 7784626816u64, 7793014912u64, 7801405312u64, 7809792128u64, 7818179968u64, + 7826571136u64, 7834957184u64, 7843347328u64, 7851732352u64, 7860124544u64, + 7868512384u64, 7876902016u64, 7885287808u64, 7893679744u64, 7902067072u64, + 7910455936u64, 7918844288u64, 7927230848u64, 7935622784u64, 7944009344u64, + 7952400256u64, 7960786048u64, 7969176704u64, 7977565312u64, 7985953408u64, + 7994339968u64, 8002730368u64, 8011119488u64, 8019508096u64, 8027896192u64, + 8036285056u64, 8044674688u64, 8053062272u64, 8061448832u64, 8069838464u64, + 8078227328u64, 8086616704u64, 8095006592u64, 8103393664u64, 8111783552u64, + 8120171392u64, 8128560256u64, 8136949376u64, 8145336704u64, 8153726848u64, + 8162114944u64, 8170503296u64, 8178891904u64, 8187280768u64, 8195669632u64, + 8204058496u64, 8212444544u64, 8220834176u64, 8229222272u64, 8237612672u64, + 8246000768u64, 8254389376u64, 8262775168u64, 8271167104u64, 8279553664u64, + 8287944064u64, 8296333184u64, 8304715136u64, 8313108352u64, 8321497984u64, + 8329885568u64, 8338274432u64, 8346663296u64, 8355052928u64, 8363441536u64, + 8371828352u64, 8380217984u64, 8388606592u64, 8396996224u64, 8405384576u64, + 8413772672u64, 8422161536u64, 8430549376u64, 8438939008u64, 8447326592u64, + 8455715456u64, 8464104832u64, 8472492928u64, 8480882048u64, 8489270656u64, + 8497659776u64, 8506045312u64, 8514434944u64, 8522823808u64, 8531208832u64, + 8539602304u64, 8547990656u64, 8556378752u64, 8564768384u64, 8573154176u64, + 8581542784u64, 8589933952u64, 8598322816u64, 8606705024u64, 8615099264u64, + 8623487872u64, 8631876992u64, 8640264064u64, 8648653952u64, 8657040256u64, + 8665430656u64, 8673820544u64, 8682209152u64, 8690592128u64, 8698977152u64, + 8707374464u64, 8715763328u64, 8724151424u64, 8732540032u64, 8740928384u64, + 8749315712u64, 8757704576u64, 8766089344u64, 8774480768u64, 8782871936u64, + 8791260032u64, 8799645824u64, 8808034432u64, 8816426368u64, 8824812928u64, + 8833199488u64, 8841591424u64, 8849976448u64, 8858366336u64, 8866757248u64, + 8875147136u64, 8883532928u64, 8891923328u64, 8900306816u64, 8908700288u64, + 8917088384u64, 8925478784u64, 8933867392u64, 8942250368u64, 8950644608u64, + 8959032704u64, 8967420544u64, 8975809664u64, 8984197504u64, 8992584064u64, + 9000976256u64, 9009362048u64, 9017752448u64, 9026141312u64, 9034530688u64, + 9042917504u64, 9051307904u64, 9059694208u64, 9068084864u64, 9076471424u64, + 9084861824u64, 9093250688u64, 9101638528u64, 9110027648u64, 9118416512u64, + 9126803584u64, 9135188096u64, 9143581312u64, 9151969664u64, 9160356224u64, + 9168747136u64, 9177134464u64, 9185525632u64, 9193910144u64, 9202302848u64, + 9210690688u64, 9219079552u64, 9227465344u64, 9235854464u64, 9244244864u64, + 9252633472u64, 9261021824u64, 9269411456u64, 9277799296u64, 9286188928u64, + 9294574208u64, 9302965888u64, 9311351936u64, 9319740032u64, 9328131968u64, + 9336516736u64, 9344907392u64, 9353296768u64, 9361685888u64, 9370074752u64, + 9378463616u64, 9386849408u64, 9395239808u64, 9403629184u64, 9412016512u64, + 9420405376u64, 9428795008u64, 9437181568u64, 9445570688u64, 9453960832u64, + 9462346624u64, 9470738048u64, 9479121536u64, 9487515008u64, 9495903616u64, + 9504289664u64, 9512678528u64, 9521067904u64, 9529456256u64, 9537843584u64, + 9546233728u64, 9554621312u64, 9563011456u64, 9571398784u64, 9579788672u64, + 9588178304u64, 9596567168u64, 9604954496u64, 9613343104u64, 9621732992u64, + 9630121856u64, 9638508416u64, 9646898816u64, 9655283584u64, 9663675776u64, + 9672061312u64, 9680449664u64, 9688840064u64, 9697230464u64, 9705617536u64, + 9714003584u64, 9722393984u64, 9730772608u64, 9739172224u64, 9747561088u64, + 9755945344u64, 9764338816u64, 9772726144u64, 9781116544u64, 9789503872u64, + 9797892992u64, 9806282624u64, 9814670464u64, 9823056512u64, 9831439232u64, + 9839833984u64, 9848224384u64, 9856613504u64, 9865000576u64, 9873391232u64, + 9881772416u64, 9890162816u64, 9898556288u64, 9906940544u64, 9915333248u64, + 9923721088u64, 9932108672u64, 9940496512u64, 9948888448u64, 9957276544u64, + 9965666176u64, 9974048384u64, 9982441088u64, 9990830464u64, 9999219584u64, + 10007602816u64, 10015996544u64, 10024385152u64, 10032774016u64, 10041163648u64, + 10049548928u64, 10057940096u64, 10066329472u64, 10074717824u64, 10083105152u64, + 10091495296u64, 10099878784u64, 10108272256u64, 10116660608u64, 10125049216u64, + 10133437312u64, 10141825664u64, 10150213504u64, 10158601088u64, 10166991232u64, + 10175378816u64, 10183766144u64, 10192157312u64, 10200545408u64, 10208935552u64, + 10217322112u64, 10225712768u64, 10234099328u64, 10242489472u64, 10250876032u64, + 10259264896u64, 10267656064u64, 10276042624u64, 10284429184u64, 10292820352u64, + 10301209472u64, 10309598848u64, 10317987712u64, 10326375296u64, 10334763392u64, + 10343153536u64, 10351541632u64, 10359930752u64, 10368318592u64, 10376707456u64, + 10385096576u64, 10393484672u64, 10401867136u64, 10410262144u64, 10418647424u64, + 10427039104u64, 10435425664u64, 10443810176u64, 10452203648u64, 10460589952u64, + 10468982144u64, 10477369472u64, 10485759104u64, 10494147712u64, 10502533504u64, + 10510923392u64, 10519313536u64, 10527702656u64, 10536091264u64, 10544478592u64, + 10552867712u64, 10561255808u64, 10569642368u64, 10578032768u64, 10586423168u64, + 10594805632u64, 10603200128u64, 10611588992u64, 10619976064u64, 10628361344u64, + 10636754048u64, 10645143424u64, 10653531776u64, 10661920384u64, 10670307968u64, + 10678696832u64, 10687086464u64, 10695475072u64, 10703863168u64, 10712246144u64, + 10720639616u64, 10729026688u64, 10737414784u64, 10745806208u64, 10754190976u64, + 10762581376u64, 10770971264u64, 10779356288u64, 10787747456u64, 10796135552u64, + 10804525184u64, 10812915584u64, 10821301888u64, 10829692288u64, 10838078336u64, + 10846469248u64, 10854858368u64, 10863247232u64, 10871631488u64, 10880023424u64, + 10888412032u64, 10896799616u64, 10905188992u64, 10913574016u64, 10921964672u64, + 10930352768u64, 10938742912u64, 10947132544u64, 10955518592u64, 10963909504u64, + 10972298368u64, 10980687488u64, 10989074816u64, 10997462912u64, 11005851776u64, + 11014241152u64, 11022627712u64, 11031017344u64, 11039403904u64, 11047793024u64, + 11056184704u64, 11064570752u64, 11072960896u64, 11081343872u64, 11089737856u64, + 11098128256u64, 11106514816u64, 11114904448u64, 11123293568u64, 11131680128u64, + 11140065152u64, 11148458368u64, 11156845696u64, 11165236864u64, 11173624192u64, + 11182013824u64, 11190402688u64, 11198790784u64, 11207179136u64, 11215568768u64, + 11223957376u64, 11232345728u64, 11240734592u64, 11249122688u64, 11257511296u64, + 11265899648u64, 11274285952u64, 11282675584u64, 11291065472u64, 11299452544u64, + 11307842432u64, 11316231296u64, 11324616832u64, 11333009024u64, 11341395584u64, + 11349782656u64, 11358172288u64, 11366560384u64, 11374950016u64, 11383339648u64, + 11391721856u64, 11400117376u64, 11408504192u64, 11416893568u64, 11425283456u64, + 11433671552u64, 11442061184u64, 11450444672u64, 11458837888u64, 11467226752u64, + 11475611776u64, 11484003968u64, 11492392064u64, 11500780672u64, 11509169024u64, + 11517550976u64, 11525944448u64, 11534335616u64, 11542724224u64, 11551111808u64, + 11559500672u64, 11567890304u64, 11576277376u64, 11584667008u64, 11593056128u64, + 11601443456u64, 11609830016u64, 11618221952u64, 11626607488u64, 11634995072u64, + 11643387776u64, 11651775104u64, 11660161664u64, 11668552576u64, 11676940928u64, + 11685330304u64, 11693718656u64, 11702106496u64, 11710496128u64, 11718882688u64, + 11727273088u64, 11735660416u64, 11744050048u64, 11752437376u64, 11760824704u64, + 11769216128u64, 11777604736u64, 11785991296u64, 11794381952u64, 11802770048u64, + 11811157888u64, 11819548544u64, 11827932544u64, 11836324736u64, 11844713344u64, + 11853100928u64, 11861486464u64, 11869879936u64, 11878268032u64, 11886656896u64, + 11895044992u64, 11903433088u64, 11911822976u64, 11920210816u64, 11928600448u64, + 11936987264u64, 11945375872u64, 11953761152u64, 11962151296u64, 11970543488u64, + 11978928512u64, 11987320448u64, 11995708288u64, 12004095104u64, 12012486272u64, + 12020875136u64, 12029255552u64, 12037652096u64, 12046039168u64, 12054429568u64, + 12062813824u64, 12071206528u64, 12079594624u64, 12087983744u64, 12096371072u64, + 12104759936u64, 12113147264u64, 12121534592u64, 12129924992u64, 12138314624u64, + 12146703232u64, 12155091584u64, 12163481216u64, 12171864704u64, 12180255872u64, + 12188643968u64, 12197034112u64, 12205424512u64, 12213811328u64, 12222199424u64, + 12230590336u64, 12238977664u64, 12247365248u64, 12255755392u64, 12264143488u64, + 12272531584u64, 12280920448u64, 12289309568u64, 12297694592u64, 12306086528u64, + 12314475392u64, 12322865024u64, 12331253632u64, 12339640448u64, 12348029312u64, + 12356418944u64, 12364805248u64, 12373196672u64, 12381580928u64, 12389969024u64, + 12398357632u64, 12406750592u64, 12415138432u64, 12423527552u64, 12431916416u64, + 12440304512u64, 12448692352u64, 12457081216u64, 12465467776u64, 12473859968u64, + 12482245504u64, 12490636672u64, 12499025536u64, 12507411584u64, 12515801728u64, + 12524190592u64, 12532577152u64, 12540966272u64, 12549354368u64, 12557743232u64, + 12566129536u64, 12574523264u64, 12582911872u64, 12591299456u64, 12599688064u64, + 12608074624u64, 12616463488u64, 12624845696u64, 12633239936u64, 12641631616u64, + 12650019968u64, 12658407296u64, 12666795136u64, 12675183232u64, 12683574656u64, + 12691960192u64, 12700350592u64, 12708740224u64, 12717128576u64, 12725515904u64, + 12733906816u64, 12742295168u64, 12750680192u64, 12759071872u64, 12767460736u64, + 12775848832u64, 12784236928u64, 12792626816u64, 12801014656u64, 12809404288u64, + 12817789312u64, 12826181504u64, 12834568832u64, 12842954624u64, 12851345792u64, + 12859732352u64, 12868122496u64, 12876512128u64, 12884901248u64, 12893289088u64, + 12901672832u64, 12910067584u64, 12918455168u64, 12926842496u64, 12935232896u64, + 12943620736u64, 12952009856u64, 12960396928u64, 12968786816u64, 12977176192u64, + 12985563776u64, 12993951104u64, 13002341504u64, 13010730368u64, 13019115392u64, + 13027506304u64, 13035895168u64, 13044272512u64, 13052673152u64, 13061062528u64, + 13069446272u64, 13077838976u64, 13086227072u64, 13094613632u64, 13103000192u64, + 13111393664u64, 13119782528u64, 13128157568u64, 13136559232u64, 13144945024u64, + 13153329536u64, 13161724288u64, 13170111872u64, 13178502784u64, 13186884736u64, + 13195279744u64, 13203667072u64, 13212057472u64, 13220445824u64, 13228832128u64, + 13237221248u64, 13245610624u64, 13254000512u64, 13262388352u64, 13270777472u64, + 13279166336u64, 13287553408u64, 13295943296u64, 13304331904u64, 13312719488u64, + 13321108096u64, 13329494656u64, 13337885824u64, 13346274944u64, 13354663808u64, + 13363051136u64, 13371439232u64, 13379825024u64, 13388210816u64, 13396605056u64, + 13404995456u64, 13413380224u64, 13421771392u64, 13430159744u64, 13438546048u64, + 13446937216u64, 13455326848u64, 13463708288u64, 13472103808u64, 13480492672u64, + 13488875648u64, 13497269888u64, 13505657728u64, 13514045312u64, 13522435712u64, + 13530824576u64, 13539210112u64, 13547599232u64, 13555989376u64, 13564379008u64, + 13572766336u64, 13581154432u64, 13589544832u64, 13597932928u64, 13606320512u64, + 13614710656u64, 13623097472u64, 13631477632u64, 13639874944u64, 13648264064u64, + 13656652928u64, 13665041792u64, 13673430656u64, 13681818496u64, 13690207616u64, + 13698595712u64, 13706982272u64, 13715373184u64, 13723762048u64, 13732150144u64, + 13740536704u64, 13748926592u64, 13757316224u64, 13765700992u64, 13774090112u64, + 13782477952u64, 13790869376u64, 13799259008u64, 13807647872u64, 13816036736u64, + 13824425344u64, 13832814208u64, 13841202304u64, 13849591424u64, 13857978752u64, + 13866368896u64, 13874754688u64, 13883145344u64, 13891533184u64, 13899919232u64, + 13908311168u64, 13916692096u64, 13925085056u64, 13933473152u64, 13941866368u64, + 13950253696u64, 13958643584u64, 13967032192u64, 13975417216u64, 13983807616u64, + 13992197504u64, 14000582272u64, 14008973696u64, 14017363072u64, 14025752192u64, + 14034137984u64, 14042528384u64, 14050918016u64, 14059301504u64, 14067691648u64, + 14076083584u64, 14084470144u64, 14092852352u64, 14101249664u64, 14109635968u64, + 14118024832u64, 14126407552u64, 14134804352u64, 14143188608u64, 14151577984u64, + 14159968384u64, 14168357248u64, 14176741504u64, 14185127296u64, 14193521024u64, + 14201911424u64, 14210301824u64, 14218685056u64, 14227067264u64, 14235467392u64, + 14243855488u64, 14252243072u64, 14260630144u64, 14269021568u64, 14277409408u64, + 14285799296u64, 14294187904u64, 14302571392u64, 14310961792u64, 14319353728u64, + 14327738752u64, 14336130944u64, 14344518784u64, 14352906368u64, 14361296512u64, + 14369685376u64, 14378071424u64, 14386462592u64, 14394848128u64, 14403230848u64, + 14411627392u64, 14420013952u64, 14428402304u64, 14436793472u64, 14445181568u64, + 14453569664u64, 14461959808u64, 14470347904u64, 14478737024u64, 14487122816u64, + 14495511424u64, 14503901824u64, 14512291712u64, 14520677504u64, 14529064832u64, + 14537456768u64, 14545845632u64, 14554234496u64, 14562618496u64, 14571011456u64, + 14579398784u64, 14587789184u64, 14596172672u64, 14604564608u64, 14612953984u64, + 14621341312u64, 14629724288u64, 14638120832u64, 14646503296u64, 14654897536u64, + 14663284864u64, 14671675264u64, 14680061056u64, 14688447616u64, 14696835968u64, + 14705228416u64, 14713616768u64, 14722003328u64, 14730392192u64, 14738784128u64, + 14747172736u64, 14755561088u64, 14763947648u64, 14772336512u64, 14780725376u64, + 14789110144u64, 14797499776u64, 14805892736u64, 14814276992u64, 14822670208u64, + 14831056256u64, 14839444352u64, 14847836032u64, 14856222848u64, 14864612992u64, + 14872997504u64, 14881388672u64, 14889775744u64, 14898165376u64, 14906553472u64, + 14914944896u64, 14923329664u64, 14931721856u64, 14940109696u64, 14948497024u64, + 14956887424u64, 14965276544u64, 14973663616u64, 14982053248u64, 14990439808u64, + 14998830976u64, 15007216768u64, 15015605888u64, 15023995264u64, 15032385152u64, + 15040768384u64, 15049154944u64, 15057549184u64, 15065939072u64, 15074328448u64, + 15082715008u64, 15091104128u64, 15099493504u64, 15107879296u64, 15116269184u64, + 15124659584u64, 15133042304u64, 15141431936u64, 15149824384u64, 15158214272u64, + 15166602368u64, 15174991232u64, 15183378304u64, 15191760512u64, 15200154496u64, + 15208542592u64, 15216931712u64, 15225323392u64, 15233708416u64, 15242098048u64, + 15250489216u64, 15258875264u64, 15267265408u64, 15275654528u64, 15284043136u64, + 15292431488u64, 15300819584u64, 15309208192u64, 15317596544u64, 15325986176u64, + 15334374784u64, 15342763648u64, 15351151744u64, 15359540608u64, 15367929728u64, + 15376318336u64, 15384706432u64, 15393092992u64, 15401481856u64, 15409869952u64, + 15418258816u64, 15426649984u64, 15435037568u64, 15443425664u64, 15451815296u64, + 15460203392u64, 15468589184u64, 15476979328u64, 15485369216u64, 15493755776u64, + 15502146944u64, 15510534272u64, 15518924416u64, 15527311232u64, 15535699072u64, + 15544089472u64, 15552478336u64, 15560866688u64, 15569254528u64, 15577642624u64, + 15586031488u64, 15594419072u64, 15602809472u64, 15611199104u64, 15619586432u64, + 15627975296u64, 15636364928u64, 15644753792u64, 15653141888u64, 15661529216u64, + 15669918848u64, 15678305152u64, 15686696576u64, 15695083136u64, 15703474048u64, + 15711861632u64, 15720251264u64, 15728636288u64, 15737027456u64, 15745417088u64, + 15753804928u64, 15762194048u64, 15770582656u64, 15778971008u64, 15787358336u64, + 15795747712u64, 15804132224u64, 15812523392u64, 15820909696u64, 15829300096u64, + 15837691264u64, 15846071936u64, 15854466944u64, 15862855808u64, 15871244672u64, + 15879634816u64, 15888020608u64, 15896409728u64, 15904799104u64, 15913185152u64, + 15921577088u64, 15929966464u64, 15938354816u64, 15946743424u64, 15955129472u64, + 15963519872u64, 15971907968u64, 15980296064u64, 15988684928u64, 15997073024u64, + 16005460864u64, 16013851264u64, 16022241152u64, 16030629248u64, 16039012736u64, + 16047406976u64, 16055794816u64, 16064181376u64, 16072571264u64, 16080957824u64, + 16089346688u64, 16097737856u64, 16106125184u64, 16114514816u64, 16122904192u64, + 16131292544u64, 16139678848u64, 16148066944u64, 16156453504u64, 16164839552u64, + 16173236096u64, 16181623424u64, 16190012032u64, 16198401152u64, 16206790528u64, + 16215177344u64, 16223567744u64, 16231956352u64, 16240344704u64, 16248731008u64, + 16257117824u64, 16265504384u64, 16273898624u64, 16282281856u64, 16290668672u64, + 16299064192u64, 16307449216u64, 16315842176u64, 16324230016u64, 16332613504u64, + 16341006464u64, 16349394304u64, 16357783168u64, 16366172288u64, 16374561664u64, + 16382951296u64, 16391337856u64, 16399726208u64, 16408116352u64, 16416505472u64, + 16424892032u64, 16433282176u64, 16441668224u64, 16450058624u64, 16458448768u64, + 16466836864u64, 16475224448u64, 16483613056u64, 16492001408u64, 16500391808u64, + 16508779648u64, 16517166976u64, 16525555328u64, 16533944192u64, 16542330752u64, + 16550719616u64, 16559110528u64, 16567497088u64, 16575888512u64, 16584274816u64, + 16592665472u64, 16601051008u64, 16609442944u64, 16617832064u64, 16626218624u64, + 16634607488u64, 16642996096u64, 16651385728u64, 16659773824u64, 16668163712u64, + 16676552576u64, 16684938112u64, 16693328768u64, 16701718144u64, 16710095488u64, + 16718492288u64, 16726883968u64, 16735272832u64, 16743661184u64, 16752049792u64, + 16760436608u64, 16768827008u64, 16777214336u64, 16785599104u64, 16793992832u64, + 16802381696u64, 16810768768u64, 16819151744u64, 16827542656u64, 16835934848u64, + 16844323712u64, 16852711552u64, 16861101952u64, 16869489536u64, 16877876864u64, + 16886265728u64, 16894653056u64, 16903044736u64, 16911431296u64, 16919821696u64, + 16928207488u64, 16936592768u64, 16944987776u64, 16953375616u64, 16961763968u64, + 16970152832u64, 16978540928u64, 16986929536u64, 16995319168u64, 17003704448u64, + 17012096896u64, 17020481152u64, 17028870784u64, 17037262208u64, 17045649536u64, + 17054039936u64, 17062426496u64, 17070814336u64, 17079205504u64, 17087592064u64, + 17095978112u64, 17104369024u64, 17112759424u64, 17121147776u64, 17129536384u64, + 17137926016u64, 17146314368u64, 17154700928u64, 17163089792u64, 17171480192u64, + 17179864192u64, 17188256896u64, 17196644992u64, 17205033856u64, 17213423488u64, + 17221811072u64, 17230198912u64, 17238588032u64, 17246976896u64, 17255360384u64, + 17263754624u64, 17272143232u64, 17280530048u64, 17288918912u64, 17297309312u64, + 17305696384u64, 17314085504u64, 17322475136u64, 17330863744u64, 17339252096u64, + 17347640192u64, 17356026496u64, 17364413824u64, 17372796544u64, 17381190016u64, + 17389583488u64, 17397972608u64, 17406360704u64, 17414748544u64, 17423135872u64, + 17431527296u64, 17439915904u64, 17448303232u64, 17456691584u64, 17465081728u64, + 17473468288u64, 17481857408u64, 17490247552u64, 17498635904u64, 17507022464u64, + 17515409024u64, 17523801728u64, 17532189824u64, 17540577664u64, 17548966016u64, + 17557353344u64, 17565741184u64, 17574131584u64, 17582519168u64, 17590907008u64, + 17599296128u64, 17607687808u64, 17616076672u64, 17624455808u64, 17632852352u64, + 17641238656u64, 17649630848u64, 17658018944u64, 17666403968u64, 17674794112u64, + 17683178368u64, 17691573376u64, 17699962496u64, 17708350592u64, 17716739968u64, + 17725126528u64, 17733517184u64, 17741898112u64, 17750293888u64, 17758673024u64, + 17767070336u64, 17775458432u64, 17783848832u64, 17792236928u64, 17800625536u64, + 17809012352u64, 17817402752u64, 17825785984u64, 17834178944u64, 17842563968u64, + 17850955648u64, 17859344512u64, 17867732864u64, 17876119424u64, 17884511872u64, + 17892900224u64, 17901287296u64, 17909677696u64, 17918058112u64, 17926451072u64, + 17934843776u64, 17943230848u64, 17951609216u64, 17960008576u64, 17968397696u64, + 17976784256u64, 17985175424u64, 17993564032u64, 18001952128u64, 18010339712u64, + 18018728576u64, 18027116672u64, 18035503232u64, 18043894144u64, 18052283264u64, + 18060672128u64, 18069056384u64, 18077449856u64, 18085837184u64, 18094225792u64, + 18102613376u64, 18111004544u64, 18119388544u64, 18127781248u64, 18136170368u64, + 18144558976u64, 18152947328u64, 18161336192u64, 18169724288u64, 18178108544u64, + 18186498944u64, 18194886784u64, 18203275648u64, 18211666048u64, 18220048768u64, + 18228444544u64, 18236833408u64, 18245220736u64 +]; + +// Generated with the following Mathematica Code: + +// GetCacheSizes[n_] := Module[{ +// DataSetSizeBytesInit = 2^30, +// MixBytes = 128, +// DataSetGrowth = 2^23, +// HashBytes = 64, +// CacheMultiplier = 1024, +// j = 0}, +// Reap[ +// While[j < n, +// Module[{i = Floor[(DataSetSizeBytesInit + DataSetGrowth * j) / (CacheMultiplier * HashBytes)]}, +// While[! PrimeQ[i], i--]; +// Sow[i*HashBytes]; j++]]]][[2]][[1]] +pub const CACHE_SIZES: [u64; 2048] = [ + 16776896u64, 16907456u64, 17039296u64, 17170112u64, 17301056u64, 17432512u64, 17563072u64, + 17693888u64, 17824192u64, 17955904u64, 18087488u64, 18218176u64, 18349504u64, 18481088u64, + 18611392u64, 18742336u64, 18874304u64, 19004224u64, 19135936u64, 19267264u64, 19398208u64, + 19529408u64, 19660096u64, 19791424u64, 19922752u64, 20053952u64, 20184896u64, 20315968u64, + 20446912u64, 20576576u64, 20709184u64, 20840384u64, 20971072u64, 21102272u64, 21233216u64, + 21364544u64, 21494848u64, 21626816u64, 21757376u64, 21887552u64, 22019392u64, 22151104u64, + 22281536u64, 22412224u64, 22543936u64, 22675264u64, 22806464u64, 22935872u64, 23068096u64, + 23198272u64, 23330752u64, 23459008u64, 23592512u64, 23723968u64, 23854912u64, 23986112u64, + 24116672u64, 24247616u64, 24378688u64, 24509504u64, 24640832u64, 24772544u64, 24903488u64, + 25034432u64, 25165376u64, 25296704u64, 25427392u64, 25558592u64, 25690048u64, 25820096u64, + 25951936u64, 26081728u64, 26214208u64, 26345024u64, 26476096u64, 26606656u64, 26737472u64, + 26869184u64, 26998208u64, 27131584u64, 27262528u64, 27393728u64, 27523904u64, 27655744u64, + 27786688u64, 27917888u64, 28049344u64, 28179904u64, 28311488u64, 28441792u64, 28573504u64, + 28700864u64, 28835648u64, 28966208u64, 29096768u64, 29228608u64, 29359808u64, 29490752u64, + 29621824u64, 29752256u64, 29882816u64, 30014912u64, 30144448u64, 30273728u64, 30406976u64, + 30538432u64, 30670784u64, 30799936u64, 30932672u64, 31063744u64, 31195072u64, 31325248u64, + 31456192u64, 31588288u64, 31719232u64, 31850432u64, 31981504u64, 32110784u64, 32243392u64, + 32372672u64, 32505664u64, 32636608u64, 32767808u64, 32897344u64, 33029824u64, 33160768u64, + 33289664u64, 33423296u64, 33554368u64, 33683648u64, 33816512u64, 33947456u64, 34076992u64, + 34208704u64, 34340032u64, 34471744u64, 34600256u64, 34734016u64, 34864576u64, 34993984u64, + 35127104u64, 35258176u64, 35386688u64, 35518528u64, 35650624u64, 35782336u64, 35910976u64, + 36044608u64, 36175808u64, 36305728u64, 36436672u64, 36568384u64, 36699968u64, 36830656u64, + 36961984u64, 37093312u64, 37223488u64, 37355072u64, 37486528u64, 37617472u64, 37747904u64, + 37879232u64, 38009792u64, 38141888u64, 38272448u64, 38403392u64, 38535104u64, 38660672u64, + 38795584u64, 38925632u64, 39059264u64, 39190336u64, 39320768u64, 39452096u64, 39581632u64, + 39713984u64, 39844928u64, 39974848u64, 40107968u64, 40238144u64, 40367168u64, 40500032u64, + 40631744u64, 40762816u64, 40894144u64, 41023552u64, 41155904u64, 41286208u64, 41418304u64, + 41547712u64, 41680448u64, 41811904u64, 41942848u64, 42073792u64, 42204992u64, 42334912u64, + 42467008u64, 42597824u64, 42729152u64, 42860096u64, 42991552u64, 43122368u64, 43253696u64, + 43382848u64, 43515712u64, 43646912u64, 43777088u64, 43907648u64, 44039104u64, 44170432u64, + 44302144u64, 44433344u64, 44564288u64, 44694976u64, 44825152u64, 44956864u64, 45088448u64, + 45219008u64, 45350464u64, 45481024u64, 45612608u64, 45744064u64, 45874496u64, 46006208u64, + 46136768u64, 46267712u64, 46399424u64, 46529344u64, 46660672u64, 46791488u64, 46923328u64, + 47053504u64, 47185856u64, 47316928u64, 47447872u64, 47579072u64, 47710144u64, 47839936u64, + 47971648u64, 48103232u64, 48234176u64, 48365248u64, 48496192u64, 48627136u64, 48757312u64, + 48889664u64, 49020736u64, 49149248u64, 49283008u64, 49413824u64, 49545152u64, 49675712u64, + 49807168u64, 49938368u64, 50069056u64, 50200256u64, 50331584u64, 50462656u64, 50593472u64, + 50724032u64, 50853952u64, 50986048u64, 51117632u64, 51248576u64, 51379904u64, 51510848u64, + 51641792u64, 51773248u64, 51903296u64, 52035136u64, 52164032u64, 52297664u64, 52427968u64, + 52557376u64, 52690112u64, 52821952u64, 52952896u64, 53081536u64, 53213504u64, 53344576u64, + 53475776u64, 53608384u64, 53738816u64, 53870528u64, 54000832u64, 54131776u64, 54263744u64, + 54394688u64, 54525248u64, 54655936u64, 54787904u64, 54918592u64, 55049152u64, 55181248u64, + 55312064u64, 55442752u64, 55574336u64, 55705024u64, 55836224u64, 55967168u64, 56097856u64, + 56228672u64, 56358592u64, 56490176u64, 56621888u64, 56753728u64, 56884928u64, 57015488u64, + 57146816u64, 57278272u64, 57409216u64, 57540416u64, 57671104u64, 57802432u64, 57933632u64, + 58064576u64, 58195264u64, 58326976u64, 58457408u64, 58588864u64, 58720192u64, 58849984u64, + 58981696u64, 59113024u64, 59243456u64, 59375552u64, 59506624u64, 59637568u64, 59768512u64, + 59897792u64, 60030016u64, 60161984u64, 60293056u64, 60423872u64, 60554432u64, 60683968u64, + 60817216u64, 60948032u64, 61079488u64, 61209664u64, 61341376u64, 61471936u64, 61602752u64, + 61733696u64, 61865792u64, 61996736u64, 62127808u64, 62259136u64, 62389568u64, 62520512u64, + 62651584u64, 62781632u64, 62910784u64, 63045056u64, 63176128u64, 63307072u64, 63438656u64, + 63569216u64, 63700928u64, 63831616u64, 63960896u64, 64093888u64, 64225088u64, 64355392u64, + 64486976u64, 64617664u64, 64748608u64, 64879424u64, 65009216u64, 65142464u64, 65273792u64, + 65402816u64, 65535424u64, 65666752u64, 65797696u64, 65927744u64, 66060224u64, 66191296u64, + 66321344u64, 66453056u64, 66584384u64, 66715328u64, 66846656u64, 66977728u64, 67108672u64, + 67239104u64, 67370432u64, 67501888u64, 67631296u64, 67763776u64, 67895104u64, 68026304u64, + 68157248u64, 68287936u64, 68419264u64, 68548288u64, 68681408u64, 68811968u64, 68942912u64, + 69074624u64, 69205568u64, 69337024u64, 69467584u64, 69599168u64, 69729472u64, 69861184u64, + 69989824u64, 70122944u64, 70253888u64, 70385344u64, 70515904u64, 70647232u64, 70778816u64, + 70907968u64, 71040832u64, 71171648u64, 71303104u64, 71432512u64, 71564992u64, 71695168u64, + 71826368u64, 71958464u64, 72089536u64, 72219712u64, 72350144u64, 72482624u64, 72613568u64, + 72744512u64, 72875584u64, 73006144u64, 73138112u64, 73268672u64, 73400128u64, 73530944u64, + 73662272u64, 73793344u64, 73924544u64, 74055104u64, 74185792u64, 74316992u64, 74448832u64, + 74579392u64, 74710976u64, 74841664u64, 74972864u64, 75102784u64, 75233344u64, 75364544u64, + 75497024u64, 75627584u64, 75759296u64, 75890624u64, 76021696u64, 76152256u64, 76283072u64, + 76414144u64, 76545856u64, 76676672u64, 76806976u64, 76937792u64, 77070016u64, 77200832u64, + 77331392u64, 77462464u64, 77593664u64, 77725376u64, 77856448u64, 77987776u64, 78118336u64, + 78249664u64, 78380992u64, 78511424u64, 78642496u64, 78773056u64, 78905152u64, 79033664u64, + 79166656u64, 79297472u64, 79429568u64, 79560512u64, 79690816u64, 79822784u64, 79953472u64, + 80084672u64, 80214208u64, 80346944u64, 80477632u64, 80608576u64, 80740288u64, 80870848u64, + 81002048u64, 81133504u64, 81264448u64, 81395648u64, 81525952u64, 81657536u64, 81786304u64, + 81919808u64, 82050112u64, 82181312u64, 82311616u64, 82443968u64, 82573376u64, 82705984u64, + 82835776u64, 82967744u64, 83096768u64, 83230528u64, 83359552u64, 83491264u64, 83622464u64, + 83753536u64, 83886016u64, 84015296u64, 84147776u64, 84277184u64, 84409792u64, 84540608u64, + 84672064u64, 84803008u64, 84934336u64, 85065152u64, 85193792u64, 85326784u64, 85458496u64, + 85589312u64, 85721024u64, 85851968u64, 85982656u64, 86112448u64, 86244416u64, 86370112u64, + 86506688u64, 86637632u64, 86769344u64, 86900672u64, 87031744u64, 87162304u64, 87293632u64, + 87424576u64, 87555392u64, 87687104u64, 87816896u64, 87947968u64, 88079168u64, 88211264u64, + 88341824u64, 88473152u64, 88603712u64, 88735424u64, 88862912u64, 88996672u64, 89128384u64, + 89259712u64, 89390272u64, 89521984u64, 89652544u64, 89783872u64, 89914816u64, 90045376u64, + 90177088u64, 90307904u64, 90438848u64, 90569152u64, 90700096u64, 90832832u64, 90963776u64, + 91093696u64, 91223744u64, 91356992u64, 91486784u64, 91618496u64, 91749824u64, 91880384u64, + 92012224u64, 92143552u64, 92273344u64, 92405696u64, 92536768u64, 92666432u64, 92798912u64, + 92926016u64, 93060544u64, 93192128u64, 93322816u64, 93453632u64, 93583936u64, 93715136u64, + 93845056u64, 93977792u64, 94109504u64, 94240448u64, 94371776u64, 94501184u64, 94632896u64, + 94764224u64, 94895552u64, 95023424u64, 95158208u64, 95287744u64, 95420224u64, 95550016u64, + 95681216u64, 95811904u64, 95943872u64, 96075328u64, 96203584u64, 96337856u64, 96468544u64, + 96599744u64, 96731072u64, 96860992u64, 96992576u64, 97124288u64, 97254848u64, 97385536u64, + 97517248u64, 97647808u64, 97779392u64, 97910464u64, 98041408u64, 98172608u64, 98303168u64, + 98434496u64, 98565568u64, 98696768u64, 98827328u64, 98958784u64, 99089728u64, 99220928u64, + 99352384u64, 99482816u64, 99614272u64, 99745472u64, 99876416u64, 100007104u64, + 100138048u64, 100267072u64, 100401088u64, 100529984u64, 100662592u64, 100791872u64, + 100925248u64, 101056064u64, 101187392u64, 101317952u64, 101449408u64, 101580608u64, + 101711296u64, 101841728u64, 101973824u64, 102104896u64, 102235712u64, 102366016u64, + 102498112u64, 102628672u64, 102760384u64, 102890432u64, 103021888u64, 103153472u64, + 103284032u64, 103415744u64, 103545152u64, 103677248u64, 103808576u64, 103939648u64, + 104070976u64, 104201792u64, 104332736u64, 104462528u64, 104594752u64, 104725952u64, + 104854592u64, 104988608u64, 105118912u64, 105247808u64, 105381184u64, 105511232u64, + 105643072u64, 105774784u64, 105903296u64, 106037056u64, 106167872u64, 106298944u64, + 106429504u64, 106561472u64, 106691392u64, 106822592u64, 106954304u64, 107085376u64, + 107216576u64, 107346368u64, 107478464u64, 107609792u64, 107739712u64, 107872192u64, + 108003136u64, 108131392u64, 108265408u64, 108396224u64, 108527168u64, 108657344u64, + 108789568u64, 108920384u64, 109049792u64, 109182272u64, 109312576u64, 109444928u64, + 109572928u64, 109706944u64, 109837888u64, 109969088u64, 110099648u64, 110230976u64, + 110362432u64, 110492992u64, 110624704u64, 110755264u64, 110886208u64, 111017408u64, + 111148864u64, 111279296u64, 111410752u64, 111541952u64, 111673024u64, 111803456u64, + 111933632u64, 112066496u64, 112196416u64, 112328512u64, 112457792u64, 112590784u64, + 112715968u64, 112852672u64, 112983616u64, 113114944u64, 113244224u64, 113376448u64, + 113505472u64, 113639104u64, 113770304u64, 113901376u64, 114031552u64, 114163264u64, + 114294592u64, 114425536u64, 114556864u64, 114687424u64, 114818624u64, 114948544u64, + 115080512u64, 115212224u64, 115343296u64, 115473472u64, 115605184u64, 115736128u64, + 115867072u64, 115997248u64, 116128576u64, 116260288u64, 116391488u64, 116522944u64, + 116652992u64, 116784704u64, 116915648u64, 117046208u64, 117178304u64, 117308608u64, + 117440192u64, 117569728u64, 117701824u64, 117833024u64, 117964096u64, 118094656u64, + 118225984u64, 118357312u64, 118489024u64, 118617536u64, 118749632u64, 118882112u64, + 119012416u64, 119144384u64, 119275328u64, 119406016u64, 119537344u64, 119668672u64, + 119798464u64, 119928896u64, 120061376u64, 120192832u64, 120321728u64, 120454336u64, + 120584512u64, 120716608u64, 120848192u64, 120979136u64, 121109056u64, 121241408u64, + 121372352u64, 121502912u64, 121634752u64, 121764416u64, 121895744u64, 122027072u64, + 122157632u64, 122289088u64, 122421184u64, 122550592u64, 122682944u64, 122813888u64, + 122945344u64, 123075776u64, 123207488u64, 123338048u64, 123468736u64, 123600704u64, + 123731264u64, 123861952u64, 123993664u64, 124124608u64, 124256192u64, 124386368u64, + 124518208u64, 124649024u64, 124778048u64, 124911296u64, 125041088u64, 125173696u64, + 125303744u64, 125432896u64, 125566912u64, 125696576u64, 125829056u64, 125958592u64, + 126090304u64, 126221248u64, 126352832u64, 126483776u64, 126615232u64, 126746432u64, + 126876608u64, 127008704u64, 127139392u64, 127270336u64, 127401152u64, 127532224u64, + 127663552u64, 127794752u64, 127925696u64, 128055232u64, 128188096u64, 128319424u64, + 128449856u64, 128581312u64, 128712256u64, 128843584u64, 128973632u64, 129103808u64, + 129236288u64, 129365696u64, 129498944u64, 129629888u64, 129760832u64, 129892288u64, + 130023104u64, 130154048u64, 130283968u64, 130416448u64, 130547008u64, 130678336u64, + 130807616u64, 130939456u64, 131071552u64, 131202112u64, 131331776u64, 131464384u64, + 131594048u64, 131727296u64, 131858368u64, 131987392u64, 132120256u64, 132250816u64, + 132382528u64, 132513728u64, 132644672u64, 132774976u64, 132905792u64, 133038016u64, + 133168832u64, 133299392u64, 133429312u64, 133562048u64, 133692992u64, 133823296u64, + 133954624u64, 134086336u64, 134217152u64, 134348608u64, 134479808u64, 134607296u64, + 134741056u64, 134872384u64, 135002944u64, 135134144u64, 135265472u64, 135396544u64, + 135527872u64, 135659072u64, 135787712u64, 135921472u64, 136052416u64, 136182848u64, + 136313792u64, 136444864u64, 136576448u64, 136707904u64, 136837952u64, 136970048u64, + 137099584u64, 137232064u64, 137363392u64, 137494208u64, 137625536u64, 137755712u64, + 137887424u64, 138018368u64, 138149824u64, 138280256u64, 138411584u64, 138539584u64, + 138672832u64, 138804928u64, 138936128u64, 139066688u64, 139196864u64, 139328704u64, + 139460032u64, 139590208u64, 139721024u64, 139852864u64, 139984576u64, 140115776u64, + 140245696u64, 140376512u64, 140508352u64, 140640064u64, 140769856u64, 140902336u64, + 141032768u64, 141162688u64, 141294016u64, 141426496u64, 141556544u64, 141687488u64, + 141819584u64, 141949888u64, 142080448u64, 142212544u64, 142342336u64, 142474432u64, + 142606144u64, 142736192u64, 142868288u64, 142997824u64, 143129408u64, 143258944u64, + 143392448u64, 143523136u64, 143653696u64, 143785024u64, 143916992u64, 144045632u64, + 144177856u64, 144309184u64, 144440768u64, 144570688u64, 144701888u64, 144832448u64, + 144965056u64, 145096384u64, 145227584u64, 145358656u64, 145489856u64, 145620928u64, + 145751488u64, 145883072u64, 146011456u64, 146144704u64, 146275264u64, 146407232u64, + 146538176u64, 146668736u64, 146800448u64, 146931392u64, 147062336u64, 147193664u64, + 147324224u64, 147455936u64, 147586624u64, 147717056u64, 147848768u64, 147979456u64, + 148110784u64, 148242368u64, 148373312u64, 148503232u64, 148635584u64, 148766144u64, + 148897088u64, 149028416u64, 149159488u64, 149290688u64, 149420224u64, 149551552u64, + 149683136u64, 149814976u64, 149943616u64, 150076352u64, 150208064u64, 150338624u64, + 150470464u64, 150600256u64, 150732224u64, 150862784u64, 150993088u64, 151125952u64, + 151254976u64, 151388096u64, 151519168u64, 151649728u64, 151778752u64, 151911104u64, + 152042944u64, 152174144u64, 152304704u64, 152435648u64, 152567488u64, 152698816u64, + 152828992u64, 152960576u64, 153091648u64, 153222976u64, 153353792u64, 153484096u64, + 153616192u64, 153747008u64, 153878336u64, 154008256u64, 154139968u64, 154270912u64, + 154402624u64, 154533824u64, 154663616u64, 154795712u64, 154926272u64, 155057984u64, + 155188928u64, 155319872u64, 155450816u64, 155580608u64, 155712064u64, 155843392u64, + 155971136u64, 156106688u64, 156237376u64, 156367424u64, 156499264u64, 156630976u64, + 156761536u64, 156892352u64, 157024064u64, 157155008u64, 157284416u64, 157415872u64, + 157545536u64, 157677248u64, 157810496u64, 157938112u64, 158071744u64, 158203328u64, + 158334656u64, 158464832u64, 158596288u64, 158727616u64, 158858048u64, 158988992u64, + 159121216u64, 159252416u64, 159381568u64, 159513152u64, 159645632u64, 159776192u64, + 159906496u64, 160038464u64, 160169536u64, 160300352u64, 160430656u64, 160563008u64, + 160693952u64, 160822208u64, 160956352u64, 161086784u64, 161217344u64, 161349184u64, + 161480512u64, 161611456u64, 161742272u64, 161873216u64, 162002752u64, 162135872u64, + 162266432u64, 162397888u64, 162529216u64, 162660032u64, 162790976u64, 162922048u64, + 163052096u64, 163184576u64, 163314752u64, 163446592u64, 163577408u64, 163707968u64, + 163839296u64, 163969984u64, 164100928u64, 164233024u64, 164364224u64, 164494912u64, + 164625856u64, 164756672u64, 164887616u64, 165019072u64, 165150016u64, 165280064u64, + 165412672u64, 165543104u64, 165674944u64, 165805888u64, 165936832u64, 166067648u64, + 166198336u64, 166330048u64, 166461248u64, 166591552u64, 166722496u64, 166854208u64, + 166985408u64, 167116736u64, 167246656u64, 167378368u64, 167508416u64, 167641024u64, + 167771584u64, 167903168u64, 168034112u64, 168164032u64, 168295744u64, 168427456u64, + 168557632u64, 168688448u64, 168819136u64, 168951616u64, 169082176u64, 169213504u64, + 169344832u64, 169475648u64, 169605952u64, 169738048u64, 169866304u64, 169999552u64, + 170131264u64, 170262464u64, 170393536u64, 170524352u64, 170655424u64, 170782016u64, + 170917696u64, 171048896u64, 171179072u64, 171310784u64, 171439936u64, 171573184u64, + 171702976u64, 171835072u64, 171966272u64, 172097216u64, 172228288u64, 172359232u64, + 172489664u64, 172621376u64, 172747712u64, 172883264u64, 173014208u64, 173144512u64, + 173275072u64, 173407424u64, 173539136u64, 173669696u64, 173800768u64, 173931712u64, + 174063424u64, 174193472u64, 174325696u64, 174455744u64, 174586816u64, 174718912u64, + 174849728u64, 174977728u64, 175109696u64, 175242688u64, 175374272u64, 175504832u64, + 175636288u64, 175765696u64, 175898432u64, 176028992u64, 176159936u64, 176291264u64, + 176422592u64, 176552512u64, 176684864u64, 176815424u64, 176946496u64, 177076544u64, + 177209152u64, 177340096u64, 177470528u64, 177600704u64, 177731648u64, 177864256u64, + 177994816u64, 178126528u64, 178257472u64, 178387648u64, 178518464u64, 178650176u64, + 178781888u64, 178912064u64, 179044288u64, 179174848u64, 179305024u64, 179436736u64, + 179568448u64, 179698496u64, 179830208u64, 179960512u64, 180092608u64, 180223808u64, + 180354752u64, 180485696u64, 180617152u64, 180748096u64, 180877504u64, 181009984u64, + 181139264u64, 181272512u64, 181402688u64, 181532608u64, 181663168u64, 181795136u64, + 181926592u64, 182057536u64, 182190016u64, 182320192u64, 182451904u64, 182582336u64, + 182713792u64, 182843072u64, 182976064u64, 183107264u64, 183237056u64, 183368384u64, + 183494848u64, 183631424u64, 183762752u64, 183893824u64, 184024768u64, 184154816u64, + 184286656u64, 184417984u64, 184548928u64, 184680128u64, 184810816u64, 184941248u64, + 185072704u64, 185203904u64, 185335616u64, 185465408u64, 185596352u64, 185727296u64, + 185859904u64, 185989696u64, 186121664u64, 186252992u64, 186383552u64, 186514112u64, + 186645952u64, 186777152u64, 186907328u64, 187037504u64, 187170112u64, 187301824u64, + 187429184u64, 187562048u64, 187693504u64, 187825472u64, 187957184u64, 188087104u64, + 188218304u64, 188349376u64, 188481344u64, 188609728u64, 188743616u64, 188874304u64, + 189005248u64, 189136448u64, 189265088u64, 189396544u64, 189528128u64, 189660992u64, + 189791936u64, 189923264u64, 190054208u64, 190182848u64, 190315072u64, 190447424u64, + 190577984u64, 190709312u64, 190840768u64, 190971328u64, 191102656u64, 191233472u64, + 191364032u64, 191495872u64, 191626816u64, 191758016u64, 191888192u64, 192020288u64, + 192148928u64, 192282176u64, 192413504u64, 192542528u64, 192674752u64, 192805952u64, + 192937792u64, 193068608u64, 193198912u64, 193330496u64, 193462208u64, 193592384u64, + 193723456u64, 193854272u64, 193985984u64, 194116672u64, 194247232u64, 194379712u64, + 194508352u64, 194641856u64, 194772544u64, 194900672u64, 195035072u64, 195166016u64, + 195296704u64, 195428032u64, 195558592u64, 195690304u64, 195818176u64, 195952576u64, + 196083392u64, 196214336u64, 196345792u64, 196476736u64, 196607552u64, 196739008u64, + 196869952u64, 197000768u64, 197130688u64, 197262784u64, 197394368u64, 197523904u64, + 197656384u64, 197787584u64, 197916608u64, 198049472u64, 198180544u64, 198310208u64, + 198442432u64, 198573632u64, 198705088u64, 198834368u64, 198967232u64, 199097792u64, + 199228352u64, 199360192u64, 199491392u64, 199621696u64, 199751744u64, 199883968u64, + 200014016u64, 200146624u64, 200276672u64, 200408128u64, 200540096u64, 200671168u64, + 200801984u64, 200933312u64, 201062464u64, 201194944u64, 201326144u64, 201457472u64, + 201588544u64, 201719744u64, 201850816u64, 201981632u64, 202111552u64, 202244032u64, + 202374464u64, 202505152u64, 202636352u64, 202767808u64, 202898368u64, 203030336u64, + 203159872u64, 203292608u64, 203423296u64, 203553472u64, 203685824u64, 203816896u64, + 203947712u64, 204078272u64, 204208192u64, 204341056u64, 204472256u64, 204603328u64, + 204733888u64, 204864448u64, 204996544u64, 205125568u64, 205258304u64, 205388864u64, + 205517632u64, 205650112u64, 205782208u64, 205913536u64, 206044736u64, 206176192u64, + 206307008u64, 206434496u64, 206569024u64, 206700224u64, 206831168u64, 206961856u64, + 207093056u64, 207223616u64, 207355328u64, 207486784u64, 207616832u64, 207749056u64, + 207879104u64, 208010048u64, 208141888u64, 208273216u64, 208404032u64, 208534336u64, + 208666048u64, 208796864u64, 208927424u64, 209059264u64, 209189824u64, 209321792u64, + 209451584u64, 209582656u64, 209715136u64, 209845568u64, 209976896u64, 210106432u64, + 210239296u64, 210370112u64, 210501568u64, 210630976u64, 210763712u64, 210894272u64, + 211024832u64, 211156672u64, 211287616u64, 211418176u64, 211549376u64, 211679296u64, + 211812032u64, 211942592u64, 212074432u64, 212204864u64, 212334016u64, 212467648u64, + 212597824u64, 212727616u64, 212860352u64, 212991424u64, 213120832u64, 213253952u64, + 213385024u64, 213515584u64, 213645632u64, 213777728u64, 213909184u64, 214040128u64, + 214170688u64, 214302656u64, 214433728u64, 214564544u64, 214695232u64, 214826048u64, + 214956992u64, 215089088u64, 215219776u64, 215350592u64, 215482304u64, 215613248u64, + 215743552u64, 215874752u64, 216005312u64, 216137024u64, 216267328u64, 216399296u64, + 216530752u64, 216661696u64, 216790592u64, 216923968u64, 217054528u64, 217183168u64, + 217316672u64, 217448128u64, 217579072u64, 217709504u64, 217838912u64, 217972672u64, + 218102848u64, 218233024u64, 218364736u64, 218496832u64, 218627776u64, 218759104u64, + 218888896u64, 219021248u64, 219151936u64, 219281728u64, 219413056u64, 219545024u64, + 219675968u64, 219807296u64, 219938624u64, 220069312u64, 220200128u64, 220331456u64, + 220461632u64, 220592704u64, 220725184u64, 220855744u64, 220987072u64, 221117888u64, + 221249216u64, 221378368u64, 221510336u64, 221642048u64, 221772736u64, 221904832u64, + 222031808u64, 222166976u64, 222297536u64, 222428992u64, 222559936u64, 222690368u64, + 222820672u64, 222953152u64, 223083968u64, 223213376u64, 223345984u64, 223476928u64, + 223608512u64, 223738688u64, 223869376u64, 224001472u64, 224132672u64, 224262848u64, + 224394944u64, 224524864u64, 224657344u64, 224788288u64, 224919488u64, 225050432u64, + 225181504u64, 225312704u64, 225443776u64, 225574592u64, 225704768u64, 225834176u64, + 225966784u64, 226097216u64, 226229824u64, 226360384u64, 226491712u64, 226623424u64, + 226754368u64, 226885312u64, 227015104u64, 227147456u64, 227278528u64, 227409472u64, + 227539904u64, 227669696u64, 227802944u64, 227932352u64, 228065216u64, 228196288u64, + 228326464u64, 228457792u64, 228588736u64, 228720064u64, 228850112u64, 228981056u64, + 229113152u64, 229243328u64, 229375936u64, 229505344u64, 229636928u64, 229769152u64, + 229894976u64, 230030272u64, 230162368u64, 230292416u64, 230424512u64, 230553152u64, + 230684864u64, 230816704u64, 230948416u64, 231079616u64, 231210944u64, 231342016u64, + 231472448u64, 231603776u64, 231733952u64, 231866176u64, 231996736u64, 232127296u64, + 232259392u64, 232388672u64, 232521664u64, 232652608u64, 232782272u64, 232914496u64, + 233043904u64, 233175616u64, 233306816u64, 233438528u64, 233569984u64, 233699776u64, + 233830592u64, 233962688u64, 234092224u64, 234221888u64, 234353984u64, 234485312u64, + 234618304u64, 234749888u64, 234880832u64, 235011776u64, 235142464u64, 235274048u64, + 235403456u64, 235535936u64, 235667392u64, 235797568u64, 235928768u64, 236057152u64, + 236190272u64, 236322752u64, 236453312u64, 236583616u64, 236715712u64, 236846528u64, + 236976448u64, 237108544u64, 237239104u64, 237371072u64, 237501632u64, 237630784u64, + 237764416u64, 237895232u64, 238026688u64, 238157632u64, 238286912u64, 238419392u64, + 238548032u64, 238681024u64, 238812608u64, 238941632u64, 239075008u64, 239206336u64, + 239335232u64, 239466944u64, 239599168u64, 239730496u64, 239861312u64, 239992384u64, + 240122816u64, 240254656u64, 240385856u64, 240516928u64, 240647872u64, 240779072u64, + 240909632u64, 241040704u64, 241171904u64, 241302848u64, 241433408u64, 241565248u64, + 241696192u64, 241825984u64, 241958848u64, 242088256u64, 242220224u64, 242352064u64, + 242481856u64, 242611648u64, 242744896u64, 242876224u64, 243005632u64, 243138496u64, + 243268672u64, 243400384u64, 243531712u64, 243662656u64, 243793856u64, 243924544u64, + 244054592u64, 244187072u64, 244316608u64, 244448704u64, 244580032u64, 244710976u64, + 244841536u64, 244972864u64, 245104448u64, 245233984u64, 245365312u64, 245497792u64, + 245628736u64, 245759936u64, 245889856u64, 246021056u64, 246152512u64, 246284224u64, + 246415168u64, 246545344u64, 246675904u64, 246808384u64, 246939584u64, 247070144u64, + 247199552u64, 247331648u64, 247463872u64, 247593536u64, 247726016u64, 247857088u64, + 247987648u64, 248116928u64, 248249536u64, 248380736u64, 248512064u64, 248643008u64, + 248773312u64, 248901056u64, 249036608u64, 249167552u64, 249298624u64, 249429184u64, + 249560512u64, 249692096u64, 249822784u64, 249954112u64, 250085312u64, 250215488u64, + 250345792u64, 250478528u64, 250608704u64, 250739264u64, 250870976u64, 251002816u64, + 251133632u64, 251263552u64, 251395136u64, 251523904u64, 251657792u64, 251789248u64, + 251919424u64, 252051392u64, 252182464u64, 252313408u64, 252444224u64, 252575552u64, + 252706624u64, 252836032u64, 252968512u64, 253099712u64, 253227584u64, 253361728u64, + 253493056u64, 253623488u64, 253754432u64, 253885504u64, 254017216u64, 254148032u64, + 254279488u64, 254410432u64, 254541376u64, 254672576u64, 254803264u64, 254933824u64, + 255065792u64, 255196736u64, 255326528u64, 255458752u64, 255589952u64, 255721408u64, + 255851072u64, 255983296u64, 256114624u64, 256244416u64, 256374208u64, 256507712u64, + 256636096u64, 256768832u64, 256900544u64, 257031616u64, 257162176u64, 257294272u64, + 257424448u64, 257555776u64, 257686976u64, 257818432u64, 257949632u64, 258079552u64, + 258211136u64, 258342464u64, 258473408u64, 258603712u64, 258734656u64, 258867008u64, + 258996544u64, 259127744u64, 259260224u64, 259391296u64, 259522112u64, 259651904u64, + 259784384u64, 259915328u64, 260045888u64, 260175424u64, 260308544u64, 260438336u64, + 260570944u64, 260700992u64, 260832448u64, 260963776u64, 261092672u64, 261226304u64, + 261356864u64, 261487936u64, 261619648u64, 261750592u64, 261879872u64, 262011968u64, + 262143424u64, 262274752u64, 262404416u64, 262537024u64, 262667968u64, 262799296u64, + 262928704u64, 263061184u64, 263191744u64, 263322944u64, 263454656u64, 263585216u64, + 263716672u64, 263847872u64, 263978944u64, 264108608u64, 264241088u64, 264371648u64, + 264501184u64, 264632768u64, 264764096u64, 264895936u64, 265024576u64, 265158464u64, + 265287488u64, 265418432u64, 265550528u64, 265681216u64, 265813312u64, 265943488u64, + 266075968u64, 266206144u64, 266337728u64, 266468032u64, 266600384u64, 266731072u64, + 266862272u64, 266993344u64, 267124288u64, 267255616u64, 267386432u64, 267516992u64, + 267648704u64, 267777728u64, 267910592u64, 268040512u64, 268172096u64, 268302784u64, + 268435264u64, 268566208u64, 268696256u64, 268828096u64, 268959296u64, 269090368u64, + 269221312u64, 269352256u64, 269482688u64, 269614784u64, 269745856u64, 269876416u64, + 270007616u64, 270139328u64, 270270272u64, 270401216u64, 270531904u64, 270663616u64, + 270791744u64, 270924736u64, 271056832u64, 271186112u64, 271317184u64, 271449536u64, + 271580992u64, 271711936u64, 271843136u64, 271973056u64, 272105408u64, 272236352u64, + 272367296u64, 272498368u64, 272629568u64, 272759488u64, 272891456u64, 273022784u64, + 273153856u64, 273284672u64, 273415616u64, 273547072u64, 273677632u64, 273808448u64, + 273937088u64, 274071488u64, 274200896u64, 274332992u64, 274463296u64, 274595392u64, + 274726208u64, 274857536u64, 274988992u64, 275118656u64, 275250496u64, 275382208u64, + 275513024u64, 275643968u64, 275775296u64, 275906368u64, 276037184u64, 276167872u64, + 276297664u64, 276429376u64, 276560576u64, 276692672u64, 276822976u64, 276955072u64, + 277085632u64, 277216832u64, 277347008u64, 277478848u64, 277609664u64, 277740992u64, + 277868608u64, 278002624u64, 278134336u64, 278265536u64, 278395328u64, 278526784u64, + 278657728u64, 278789824u64, 278921152u64, 279052096u64, 279182912u64, 279313088u64, + 279443776u64, 279576256u64, 279706048u64, 279838528u64, 279969728u64, 280099648u64, + 280230976u64, 280361408u64, 280493632u64, 280622528u64, 280755392u64, 280887104u64, + 281018176u64, 281147968u64, 281278912u64, 281411392u64, 281542592u64, 281673152u64, + 281803712u64, 281935552u64, 282066496u64, 282197312u64, 282329024u64, 282458816u64, + 282590272u64, 282720832u64, 282853184u64, 282983744u64, 283115072u64, 283246144u64, + 283377344u64, 283508416u64, 283639744u64, 283770304u64, 283901504u64, 284032576u64, + 284163136u64, 284294848u64, 284426176u64, 284556992u64, 284687296u64, 284819264u64, + 284950208u64, 285081536u64 +]; + diff --git a/src/error.rs b/src/error.rs index 5be1074c1..088367ae3 100644 --- a/src/error.rs +++ b/src/error.rs @@ -62,6 +62,7 @@ pub enum BlockError { InvalidReceiptsStateRoot(Mismatch), InvalidTimestamp(OutOfBounds), InvalidLogBloom(Mismatch), + InvalidEthashDifficulty(Mismatch), InvalidBlockNonce(Mismatch), InvalidParentHash(Mismatch), InvalidNumber(OutOfBounds), diff --git a/src/ethereum/ethash.rs b/src/ethereum/ethash.rs index f210fd655..99ffc3186 100644 --- a/src/ethereum/ethash.rs +++ b/src/ethereum/ethash.rs @@ -1,3 +1,6 @@ +extern crate ethash; + +use self::ethash::{quick_get_difficulty, EthashManager, H256 as EH256}; use common::*; use block::*; use spec::*; @@ -9,6 +12,7 @@ use evm::Factory; /// mainnet chains in the Olympic, Frontier and Homestead eras. pub struct Ethash { spec: Spec, + pow: EthashManager, factory: Factory, u64_params: RwLock>, u256_params: RwLock>, @@ -16,8 +20,9 @@ pub struct Ethash { impl Ethash { pub fn new_boxed(spec: Spec) -> Box { - Box::new(Ethash{ + Box::new(Ethash { spec: spec, + pow: EthashManager::new(), // TODO [todr] should this return any specific factory? factory: Factory::default(), u64_params: RwLock::new(HashMap::new()), @@ -97,13 +102,26 @@ impl Engine for Ethash { if header.difficulty < min_difficulty { return Err(From::from(BlockError::InvalidDifficulty(Mismatch { expected: min_difficulty, found: header.difficulty }))) } - // TODO: Verify seal (quick) - + let difficulty = Ethash::boundary_to_difficulty(&Ethash::from_ethash(quick_get_difficulty( + &Ethash::to_ethash(header.bare_hash()), + header.nonce(), + &Ethash::to_ethash(header.mix_hash())))); + if difficulty < header.difficulty { + return Err(From::from(BlockError::InvalidEthashDifficulty(Mismatch { expected: header.difficulty, found: difficulty }))); + } Ok(()) } - fn verify_block_unordered(&self, _header: &Header, _block: Option<&[u8]>) -> result::Result<(), Error> { - // TODO: Verify seal (full) + fn verify_block_unordered(&self, header: &Header, _block: Option<&[u8]>) -> result::Result<(), Error> { + let result = self.pow.compute_light(header.number as u64, &Ethash::to_ethash(header.bare_hash()), header.nonce()); + let mix = Ethash::from_ethash(result.mix_hash); + let difficulty = Ethash::boundary_to_difficulty(&Ethash::from_ethash(result.value)); + if mix != header.mix_hash() { + return Err(From::from(BlockError::InvalidBlockNonce(Mismatch { expected: mix, found: header.mix_hash() }))); + } + if difficulty < header.difficulty { + return Err(From::from(BlockError::InvalidEthashDifficulty(Mismatch { expected: header.difficulty, found: difficulty }))); + } Ok(()) } @@ -165,6 +183,27 @@ impl Ethash { } target } + + fn boundary_to_difficulty(boundary: &H256) -> U256 { + U256::from((U512::one() << 256) / x!(U256::from(boundary.as_slice()))) + } + + fn to_ethash(hash: H256) -> EH256 { + unsafe { mem::transmute(hash) } + } + + fn from_ethash(hash: EH256) -> H256 { + unsafe { mem::transmute(hash) } + } +} + +impl Header { + fn nonce(&self) -> u64 { + decode(&self.seal()[1]) + } + fn mix_hash(&self) -> H256 { + decode(&self.seal()[0]) + } } #[test] diff --git a/src/evm/interpreter.rs b/src/evm/interpreter.rs index e6499b022..bd3a153b9 100644 --- a/src/evm/interpreter.rs +++ b/src/evm/interpreter.rs @@ -27,6 +27,14 @@ fn color(instruction: Instruction, name: &'static str) -> String { format!("\x1B[1;{}m{}\x1B[0m", colors[c], name) } +macro_rules! overflowing { + ($x: expr) => {{ + let (v, overflow) = $x; + if overflow { return Err(evm::Error::OutOfGas); } + v + }} +} + type CodePosition = usize; type Gas = U256; type ProgramCounter = usize; @@ -136,7 +144,7 @@ trait Memory { /// Checks whether offset and size is valid memory range fn is_valid_range(off: usize, size: usize) -> bool { // When size is zero we haven't actually expanded the memory - let (_a, overflow) = off.overflowing_add(size); + let overflow = off.overflowing_add(size).1; size > 0 && !overflow } @@ -235,15 +243,10 @@ impl<'a> CodeReader<'a> { } } -enum RequiredMem { - Mem(U256), - OutOfMemory -} - enum InstructionCost { Gas(U256), - GasMem(U256, RequiredMem), - GasMemCopy(U256, RequiredMem, U256) + GasMem(U256, U256), + GasMemCopy(U256, U256, U256) } enum InstructionResult { @@ -373,35 +376,31 @@ impl Interpreter { InstructionCost::Gas(U256::from(schedule.sload_gas)) }, instructions::MSTORE => { - InstructionCost::GasMem(default_gas, self.mem_needed_const(stack.peek(0), 32)) + InstructionCost::GasMem(default_gas, try!(self.mem_needed_const(stack.peek(0), 32))) }, instructions::MLOAD => { - InstructionCost::GasMem(default_gas, self.mem_needed_const(stack.peek(0), 32)) + InstructionCost::GasMem(default_gas, try!(self.mem_needed_const(stack.peek(0), 32))) }, instructions::MSTORE8 => { - InstructionCost::GasMem(default_gas, self.mem_needed_const(stack.peek(0), 1)) + InstructionCost::GasMem(default_gas, try!(self.mem_needed_const(stack.peek(0), 1))) }, instructions::RETURN => { - InstructionCost::GasMem(default_gas, self.mem_needed(stack.peek(0), stack.peek(1))) + InstructionCost::GasMem(default_gas, try!(self.mem_needed(stack.peek(0), stack.peek(1)))) }, instructions::SHA3 => { - match add_u256_usize(stack.peek(1), 31) { - (_w, true) => InstructionCost::GasMem(U256::zero(), RequiredMem::OutOfMemory), - (w, false) => { - let words = w >> 5; - let gas = U256::from(schedule.sha3_gas) + (U256::from(schedule.sha3_word_gas) * words); - InstructionCost::GasMem(gas, self.mem_needed(stack.peek(0), stack.peek(1))) - } - } + let w = overflowing!(add_u256_usize(stack.peek(1), 31)); + let words = w >> 5; + let gas = U256::from(schedule.sha3_gas) + (U256::from(schedule.sha3_word_gas) * words); + InstructionCost::GasMem(gas, try!(self.mem_needed(stack.peek(0), stack.peek(1)))) }, instructions::CALLDATACOPY => { - InstructionCost::GasMemCopy(default_gas, self.mem_needed(stack.peek(0), stack.peek(2)), stack.peek(2).clone()) + InstructionCost::GasMemCopy(default_gas, try!(self.mem_needed(stack.peek(0), stack.peek(2))), stack.peek(2).clone()) }, instructions::CODECOPY => { - InstructionCost::GasMemCopy(default_gas, self.mem_needed(stack.peek(0), stack.peek(2)), stack.peek(2).clone()) + InstructionCost::GasMemCopy(default_gas, try!(self.mem_needed(stack.peek(0), stack.peek(2))), stack.peek(2).clone()) }, instructions::EXTCODECOPY => { - InstructionCost::GasMemCopy(default_gas, self.mem_needed(stack.peek(1), stack.peek(3)), stack.peek(3).clone()) + InstructionCost::GasMemCopy(default_gas, try!(self.mem_needed(stack.peek(1), stack.peek(3))), stack.peek(3).clone()) }, instructions::JUMPDEST => { InstructionCost::Gas(U256::one()) @@ -409,50 +408,41 @@ impl Interpreter { instructions::LOG0...instructions::LOG4 => { let no_of_topics = instructions::get_log_topics(instruction); let log_gas = schedule.log_gas + schedule.log_topic_gas * no_of_topics; - // TODO [todr] potential overflow of datagass - let data_gas = stack.peek(1).clone() * U256::from(schedule.log_data_gas); - let gas = try!(self.gas_add(data_gas, U256::from(log_gas))); - InstructionCost::GasMem(gas, self.mem_needed(stack.peek(0), stack.peek(1))) + + let data_gas = overflowing!(stack.peek(1).overflowing_mul(U256::from(schedule.log_data_gas))); + let gas = overflowing!(data_gas.overflowing_add(U256::from(log_gas))); + InstructionCost::GasMem(gas, try!(self.mem_needed(stack.peek(0), stack.peek(1)))) }, instructions::CALL | instructions::CALLCODE => { - match add_u256_usize(stack.peek(0), schedule.call_gas) { - (_gas, true) => InstructionCost::GasMem(U256::zero(), RequiredMem::OutOfMemory), - (mut gas, false) => { - let mem = self.mem_max( - self.mem_needed(stack.peek(5), stack.peek(6)), - self.mem_needed(stack.peek(3), stack.peek(4)) - ); - - let address = u256_to_address(stack.peek(1)); + let mut gas = overflowing!(add_u256_usize(stack.peek(0), schedule.call_gas)); + let mem = cmp::max( + try!(self.mem_needed(stack.peek(5), stack.peek(6))), + try!(self.mem_needed(stack.peek(3), stack.peek(4))) + ); + + let address = u256_to_address(stack.peek(1)); - // TODO [todr] Potential overflows - if instruction == instructions::CALL && !ext.exists(&address) { - gas = gas + U256::from(schedule.call_new_account_gas); - }; + if instruction == instructions::CALL && !ext.exists(&address) { + gas = overflowing!(gas.overflowing_add(U256::from(schedule.call_new_account_gas))); + }; - if stack.peek(2).clone() > U256::zero() { - gas = gas + U256::from(schedule.call_value_transfer_gas) - }; + if stack.peek(2).clone() > U256::zero() { + gas = overflowing!(gas.overflowing_add(U256::from(schedule.call_value_transfer_gas))); + }; - InstructionCost::GasMem(gas,mem) - } - } + InstructionCost::GasMem(gas,mem) }, instructions::DELEGATECALL => { - match add_u256_usize(stack.peek(0), schedule.call_gas) { - (_gas, true) => InstructionCost::GasMem(U256::zero(), RequiredMem::OutOfMemory), - (gas, false) => { - let mem = self.mem_max( - self.mem_needed(stack.peek(4), stack.peek(5)), - self.mem_needed(stack.peek(2), stack.peek(3)) - ); - InstructionCost::GasMem(gas, mem) - } - } + let gas = overflowing!(add_u256_usize(stack.peek(0), schedule.call_gas)); + let mem = cmp::max( + try!(self.mem_needed(stack.peek(4), stack.peek(5))), + try!(self.mem_needed(stack.peek(2), stack.peek(3))) + ); + InstructionCost::GasMem(gas, mem) }, instructions::CREATE => { let gas = U256::from(schedule.create_gas); - let mem = self.mem_needed(stack.peek(1), stack.peek(2)); + let mem = try!(self.mem_needed(stack.peek(1), stack.peek(2))); InstructionCost::GasMem(gas, mem) }, instructions::EXP => { @@ -468,84 +458,57 @@ impl Interpreter { InstructionCost::Gas(gas) => { Ok((gas, 0)) }, - InstructionCost::GasMem(gas, mem_size) => match mem_size { - RequiredMem::Mem(mem_size) => { - let (mem_gas, new_mem_size) = self.mem_gas_cost(schedule, mem.size(), &mem_size); - let gas = try!(self.gas_add(gas, mem_gas)); - Ok((gas, new_mem_size)) - }, - RequiredMem::OutOfMemory => Err(evm::Error::OutOfGas) + InstructionCost::GasMem(gas, mem_size) => { + let (mem_gas, new_mem_size) = try!(self.mem_gas_cost(schedule, mem.size(), &mem_size)); + let gas = overflowing!(gas.overflowing_add(mem_gas)); + Ok((gas, new_mem_size)) }, - InstructionCost::GasMemCopy(gas, mem_size, copy) => match mem_size { - RequiredMem::Mem(mem_size) => { - let (mem_gas, new_mem_size) = self.mem_gas_cost(schedule, mem.size(), &mem_size); - match add_u256_usize(©, 31) { - (_c, true) => Err(evm::Error::OutOfGas), - (copy, false) => { - let copy_gas = U256::from(schedule.copy_gas) * (copy / U256::from(32)); - let gas = try!(self.gas_add(try!(self.gas_add(gas, copy_gas)), mem_gas)); - Ok((gas, new_mem_size)) - } - } - }, - RequiredMem::OutOfMemory => Err(evm::Error::OutOfGas) + InstructionCost::GasMemCopy(gas, mem_size, copy) => { + let (mem_gas, new_mem_size) = try!(self.mem_gas_cost(schedule, mem.size(), &mem_size)); + let copy = overflowing!(add_u256_usize(©, 31)); + let copy_gas = U256::from(schedule.copy_gas) * (copy / U256::from(32)); + let gas = overflowing!(gas.overflowing_add(copy_gas)); + let gas = overflowing!(gas.overflowing_add(mem_gas)); + Ok((gas, new_mem_size)) } } } - fn gas_add(&self, a: U256, b: U256) -> Result { - match a.overflowing_add(b) { - (_val, true) => Err(evm::Error::OutOfGas), - (val, false) => Ok(val) - } - } - - fn mem_gas_cost(&self, schedule: &evm::Schedule, current_mem_size: usize, mem_size: &U256) -> (U256, usize) { + fn mem_gas_cost(&self, schedule: &evm::Schedule, current_mem_size: usize, mem_size: &U256) -> Result<(U256, usize), evm::Error> { let gas_for_mem = |mem_size: U256| { let s = mem_size >> 5; - s * U256::from(schedule.memory_gas) + s * s / U256::from(schedule.quad_coeff_div) + // s * memory_gas + s * s / quad_coeff_div + let a = overflowing!(s.overflowing_mul(U256::from(schedule.memory_gas))); + // We need to go to U512 to calculate s*s/quad_coeff_div + let b = U512::from(s) * U512::from(s) / U512::from(schedule.quad_coeff_div); + if b > U512::from(!U256::zero()) { + Err(evm::Error::OutOfGas) + } else { + Ok(overflowing!(a.overflowing_add(U256::from(b)))) + } }; let current_mem_size = U256::from(current_mem_size); - let req_mem_size_rounded = ((mem_size.clone() + U256::from(31)) >> 5) << 5; - let new_mem_gas = gas_for_mem(U256::from(req_mem_size_rounded)); - let current_mem_gas = gas_for_mem(current_mem_size); + let req_mem_size_rounded = (overflowing!(mem_size.overflowing_add(U256::from(31))) >> 5) << 5; + let new_mem_gas = try!(gas_for_mem(U256::from(req_mem_size_rounded))); + let current_mem_gas = try!(gas_for_mem(current_mem_size)); - (if req_mem_size_rounded > current_mem_size { + Ok((if req_mem_size_rounded > current_mem_size { new_mem_gas - current_mem_gas } else { U256::zero() - }, req_mem_size_rounded.low_u64() as usize) + }, req_mem_size_rounded.low_u64() as usize)) } - fn mem_max(&self, m_a: RequiredMem, m_b: RequiredMem) -> RequiredMem { - match (m_a, m_b) { - (RequiredMem::Mem(a), RequiredMem::Mem(b)) => { - RequiredMem::Mem(cmp::max(a, b)) - }, - (RequiredMem::OutOfMemory, _) | (_, RequiredMem::OutOfMemory) => { - RequiredMem::OutOfMemory - } - } + fn mem_needed_const(&self, mem: &U256, add: usize) -> Result { + Ok(overflowing!(mem.overflowing_add(U256::from(add)))) } - fn mem_needed_const(&self, mem: &U256, add: usize) -> RequiredMem { - match mem.overflowing_add(U256::from(add)) { - (_, true) => RequiredMem::OutOfMemory, - (mem, false) => RequiredMem::Mem(mem) - } - } - - fn mem_needed(&self, offset: &U256, size: &U256) -> RequiredMem { + fn mem_needed(&self, offset: &U256, size: &U256) -> Result { if self.is_zero(size) { - return RequiredMem::Mem(U256::zero()); + return Ok(U256::zero()); } - match offset.clone().overflowing_add(size.clone()) { - (_result, true) => RequiredMem::OutOfMemory, - (result, false) => { - RequiredMem::Mem(result) - } - } + Ok(overflowing!(offset.overflowing_add(size.clone()))) } fn exec_instruction(&self, @@ -646,7 +609,6 @@ impl Interpreter { return match call_result { MessageCallResult::Success(gas_left) => { - println!("Unused: {}", gas_left); stack.push(U256::one()); Ok(InstructionResult::UnusedGas(gas_left)) }, @@ -906,41 +868,34 @@ impl Interpreter { instructions::ADD => { let a = stack.pop_back(); let b = stack.pop_back(); - let (c, _overflow) = a.overflowing_add(b); - stack.push(c); + stack.push(a.overflowing_add(b).0); }, instructions::MUL => { let a = stack.pop_back(); let b = stack.pop_back(); - let (c, _overflow) = a.overflowing_mul(b); - stack.push(c); + stack.push(a.overflowing_mul(b).0); }, instructions::SUB => { let a = stack.pop_back(); let b = stack.pop_back(); - let (c, _overflow) = a.overflowing_sub(b); - stack.push(c); + stack.push(a.overflowing_sub(b).0); }, instructions::DIV => { let a = stack.pop_back(); let b = stack.pop_back(); - stack.push(match !self.is_zero(&b) { - true => { - let (c, _overflow) = a.overflowing_div(b); - c - }, - false => U256::zero() + stack.push(if !self.is_zero(&b) { + a.overflowing_div(b).0 + } else { + U256::zero() }); }, instructions::MOD => { let a = stack.pop_back(); let b = stack.pop_back(); - stack.push(match !self.is_zero(&b) { - true => { - let (c, _overflow) = a.overflowing_rem(b); - c - }, - false => U256::zero() + stack.push(if !self.is_zero(&b) { + a.overflowing_rem(b).0 + } else { + U256::zero() }); }, instructions::SDIV => { @@ -954,7 +909,7 @@ impl Interpreter { } else if a == min && b == !U256::zero() { min } else { - let (c, _overflow) = a.overflowing_div(b); + let c = a.overflowing_div(b).0; set_sign(c, sign_a ^ sign_b) }); }, @@ -962,10 +917,10 @@ impl Interpreter { let ua = stack.pop_back(); let ub = stack.pop_back(); let (a, sign_a) = get_and_reset_sign(ua); - let (b, _sign_b) = get_and_reset_sign(ub); + let b = get_and_reset_sign(ub).0; stack.push(if !self.is_zero(&b) { - let (c, _overflow) = a.overflowing_rem(b); + let c = a.overflowing_rem(b).0; set_sign(c, sign_a) } else { U256::zero() @@ -974,7 +929,7 @@ impl Interpreter { instructions::EXP => { let base = stack.pop_back(); let expon = stack.pop_back(); - let (res, _overflow) = base.overflowing_pow(expon); + let res = base.overflowing_pow(expon).0; stack.push(res); }, instructions::NOT => { @@ -1052,8 +1007,8 @@ impl Interpreter { stack.push(if !self.is_zero(&c) { // upcast to 512 let a5 = U512::from(a); - let (res, _overflow) = a5.overflowing_add(U512::from(b)); - let (x, _overflow) = res.overflowing_rem(U512::from(c)); + let res = a5.overflowing_add(U512::from(b)).0; + let x = res.overflowing_rem(U512::from(c)).0; U256::from(x) } else { U256::zero() @@ -1066,8 +1021,8 @@ impl Interpreter { stack.push(if !self.is_zero(&c) { let a5 = U512::from(a); - let (res, _overflow) = a5.overflowing_mul(U512::from(b)); - let (x, _overflow) = res.overflowing_rem(U512::from(c)); + let res = a5.overflowing_mul(U512::from(b)).0; + let x = res.overflowing_rem(U512::from(c)).0; U256::from(x) } else { U256::zero() @@ -1123,8 +1078,7 @@ fn get_and_reset_sign(value: U256) -> (U256, bool) { fn set_sign(value: U256, sign: bool) -> U256 { if sign { - let (val, _overflow) = (!U256::zero() ^ value).overflowing_add(U256::one()); - val + (!U256::zero() ^ value).overflowing_add(U256::one()).0 } else { value } @@ -1145,6 +1099,23 @@ fn address_to_u256(value: Address) -> U256 { U256::from(H256::from(value).as_slice()) } +#[test] +fn test_mem_gas_cost() { + // given + let interpreter = Interpreter; + let schedule = evm::Schedule::default(); + let current_mem_size = 5; + let mem_size = !U256::zero(); + + // when + let result = interpreter.mem_gas_cost(&schedule, current_mem_size, &mem_size); + + // then + if let Ok(_) = result { + assert!(false, "Should fail with OutOfGas"); + } +} + #[cfg(test)] mod tests { use common::*; @@ -1173,7 +1144,7 @@ mod tests { let mem_size = U256::from(5); // when - let (mem_cost, mem_size) = interpreter.mem_gas_cost(&schedule, current_mem_size, &mem_size); + let (mem_cost, mem_size) = interpreter.mem_gas_cost(&schedule, current_mem_size, &mem_size).unwrap(); // then assert_eq!(mem_cost, U256::from(3)); diff --git a/src/header.rs b/src/header.rs index 9226137b3..0986a0d80 100644 --- a/src/header.rs +++ b/src/header.rs @@ -32,6 +32,7 @@ pub struct Header { pub seal: Vec, pub hash: RefCell>, + pub bare_hash: RefCell>, } impl Header { @@ -56,6 +57,7 @@ impl Header { difficulty: ZERO_U256, seal: vec![], hash: RefCell::new(None), + bare_hash: RefCell::new(None), } } @@ -99,13 +101,24 @@ impl Header { } } + /// Get the hash of the header excluding the seal + pub fn bare_hash(&self) -> H256 { + let mut hash = self.bare_hash.borrow_mut(); + match &mut *hash { + &mut Some(ref h) => h.clone(), + hash @ &mut None => { + *hash = Some(self.rlp_sha3(Seal::Without)); + hash.as_ref().unwrap().clone() + } + } + } + /// Note that some fields have changed. Resets the memoised hash. pub fn note_dirty(&self) { *self.hash.borrow_mut() = None; + *self.bare_hash.borrow_mut() = None; } - // TODO: get hash without seal. - // TODO: make these functions traity pub fn stream_rlp(&self, s: &mut RlpStream, with_seal: Seal) { s.append_list(13 + match with_seal { Seal::With => self.seal.len(), _ => 0 }); @@ -156,7 +169,8 @@ impl Decodable for Header { timestamp: try!(r.val_at(11)), extra_data: try!(r.val_at(12)), seal: vec![], - hash: RefCell::new(Some(r.as_raw().sha3())) + hash: RefCell::new(Some(r.as_raw().sha3())), + bare_hash: RefCell::new(None), }; for i in 13..r.item_count() { diff --git a/src/spec.rs b/src/spec.rs index e1d4a3cad..b174b0e9f 100644 --- a/src/spec.rs +++ b/src/spec.rs @@ -137,6 +137,7 @@ impl Spec { (0..self.seal_fields).map(|i| r.at(i).as_raw().to_vec()).collect() }, hash: RefCell::new(None), + bare_hash: RefCell::new(None), } } diff --git a/src/verification.rs b/src/verification.rs index aecee2734..6df49ac31 100644 --- a/src/verification.rs +++ b/src/verification.rs @@ -201,7 +201,9 @@ mod tests { use views::*; use blockchain::*; use engine::*; - use ethereum; + use spec::*; + use transaction::*; + use basic_types::*; fn create_test_block(header: &Header) -> Bytes { let mut rlp = RlpStream::new_list(3); @@ -211,12 +213,12 @@ mod tests { rlp.out() } - fn create_test_block_with_data(header: &Header, transactions: &[Bytes], uncles: &[Header]) -> Bytes { + fn create_test_block_with_data(header: &Header, transactions: &[&Transaction], uncles: &[Header]) -> Bytes { let mut rlp = RlpStream::new_list(3); rlp.append(header); rlp.append_list(transactions.len()); for t in transactions { - rlp.append_raw(t, 1); + rlp.append_raw(&t.rlp_bytes_opt(Seal::With), 1); } rlp.append_list(uncles.len()); for h in uncles { @@ -301,7 +303,7 @@ mod tests { fn test_verify_block() { // Test against morden let mut good = Header::new(); - let spec = ethereum::new_morden(); + let spec = Spec::new_test(); let engine = spec.to_engine().unwrap(); let min_gas_limit = decode(engine.spec().engine_params.get("minGasLimit").unwrap()); @@ -311,7 +313,9 @@ mod tests { good.timestamp = 40; good.number = 10; - let good_transactions = vec![ vec![ 1u8 ], vec![ 2u8 ] ]; // TODO: proper transactions + let tr1 = Transaction::new_create(x!(0), Bytes::new(), x!(30000), x!(40000), x!(1)); + let tr2 = Transaction::new_create(x!(0), Bytes::new(), x!(30000), x!(40000), x!(2)); + let good_transactions = [ &tr1, &tr2 ]; let diff_inc = U256::from(0x40); @@ -346,7 +350,7 @@ mod tests { let mut uncles_rlp = RlpStream::new(); uncles_rlp.append(&good_uncles); let good_uncles_hash = uncles_rlp.as_raw().sha3(); - let good_transactions_root = ordered_trie_root(good_transactions.clone()); + let good_transactions_root = ordered_trie_root(good_transactions.iter().map(|t| t.rlp_bytes_opt(Seal::With)).collect()); let mut parent = good.clone(); parent.number = 9; diff --git a/util/src/crypto.rs b/util/src/crypto.rs index 35bb3b7eb..7e1c5fce1 100644 --- a/util/src/crypto.rs +++ b/util/src/crypto.rs @@ -8,6 +8,10 @@ pub type Secret = H256; pub type Public = H512; pub type Signature = H520; +lazy_static! { + static ref SECP256K1: Secp256k1 = Secp256k1::new(); +} + impl Signature { /// Create a new signature from the R, S and V componenets. pub fn from_rsv(r: &H256, s: &H256, v: u8) -> Signature { @@ -82,10 +86,10 @@ pub struct KeyPair { impl KeyPair { /// Create a pair from secret key pub fn from_secret(secret: Secret) -> Result { - let context = Secp256k1::new(); - let s: key::SecretKey = try!(key::SecretKey::from_slice(&context, &secret)); - let pub_key = try!(key::PublicKey::from_secret_key(&context, &s)); - let serialized = pub_key.serialize_vec(&context, false); + let context = &SECP256K1; + let s: key::SecretKey = try!(key::SecretKey::from_slice(context, &secret)); + let pub_key = try!(key::PublicKey::from_secret_key(context, &s)); + let serialized = pub_key.serialize_vec(context, false); let p: Public = Public::from_slice(&serialized[1..65]); Ok(KeyPair { secret: secret, @@ -94,10 +98,10 @@ impl KeyPair { } /// Create a new random key pair pub fn create() -> Result { - let context = Secp256k1::new(); + let context = &SECP256K1; let mut rng = try!(OsRng::new()); let (sec, publ) = try!(context.generate_keypair(&mut rng)); - let serialized = publ.serialize_vec(&context, false); + let serialized = publ.serialize_vec(context, false); let p: Public = Public::from_slice(&serialized[1..65]); let s: Secret = unsafe { ::std::mem::transmute(sec) }; Ok(KeyPair { @@ -128,10 +132,10 @@ pub mod ec { /// Recovers Public key from signed message hash. pub fn recover(signature: &Signature, message: &H256) -> Result { use secp256k1::*; - let context = Secp256k1::new(); - let rsig = try!(RecoverableSignature::from_compact(&context, &signature[0..64], try!(RecoveryId::from_i32(signature[64] as i32)))); + let context = &crypto::SECP256K1; + let rsig = try!(RecoverableSignature::from_compact(context, &signature[0..64], try!(RecoveryId::from_i32(signature[64] as i32)))); let publ = try!(context.recover(&try!(Message::from_slice(&message)), &rsig)); - let serialized = publ.serialize_vec(&context, false); + let serialized = publ.serialize_vec(context, false); let p: Public = Public::from_slice(&serialized[1..65]); //TODO: check if it's the zero key and fail if so. Ok(p) @@ -140,10 +144,10 @@ pub mod ec { pub fn sign(secret: &Secret, message: &H256) -> Result { // TODO: allow creation of only low-s signatures. use secp256k1::*; - let context = Secp256k1::new(); + let context = &crypto::SECP256K1; let sec: &key::SecretKey = unsafe { ::std::mem::transmute(secret) }; let s = try!(context.sign_recoverable(&try!(Message::from_slice(&message)), sec)); - let (rec_id, data) = s.serialize_compact(&context); + let (rec_id, data) = s.serialize_compact(context); let mut signature: crypto::Signature = unsafe { ::std::mem::uninitialized() }; signature.clone_from_slice(&data); signature[64] = rec_id.to_i32() as u8; @@ -152,15 +156,15 @@ pub mod ec { /// Verify signature. pub fn verify(public: &Public, signature: &Signature, message: &H256) -> Result { use secp256k1::*; - let context = Secp256k1::new(); - let rsig = try!(RecoverableSignature::from_compact(&context, &signature[0..64], try!(RecoveryId::from_i32(signature[64] as i32)))); - let sig = rsig.to_standard(&context); + let context = &crypto::SECP256K1; + let rsig = try!(RecoverableSignature::from_compact(context, &signature[0..64], try!(RecoveryId::from_i32(signature[64] as i32)))); + let sig = rsig.to_standard(context); let mut pdata: [u8; 65] = [4u8; 65]; let ptr = pdata[1..].as_mut_ptr(); let src = public.as_ptr(); unsafe { ::std::ptr::copy_nonoverlapping(src, ptr, 64) }; - let publ = try!(key::PublicKey::from_slice(&context, &pdata)); + let publ = try!(key::PublicKey::from_slice(context, &pdata)); match context.verify(&try!(Message::from_slice(&message)), &sig, &publ) { Ok(_) => Ok(true), Err(Error::IncorrectSignature) => Ok(false), @@ -190,17 +194,18 @@ pub mod ec { pub mod ecdh { use crypto::*; + use crypto::{self}; pub fn agree(secret: &Secret, public: &Public, ) -> Result { use secp256k1::*; - let context = Secp256k1::new(); + let context = &crypto::SECP256K1; let mut pdata: [u8; 65] = [4u8; 65]; let ptr = pdata[1..].as_mut_ptr(); let src = public.as_ptr(); unsafe { ::std::ptr::copy_nonoverlapping(src, ptr, 64) }; - let publ = try!(key::PublicKey::from_slice(&context, &pdata)); + let publ = try!(key::PublicKey::from_slice(context, &pdata)); let sec: &key::SecretKey = unsafe { ::std::mem::transmute(secret) }; - let shared = ecdh::SharedSecret::new_raw(&context, &publ, &sec); + let shared = ecdh::SharedSecret::new_raw(context, &publ, &sec); let s: Secret = unsafe { ::std::mem::transmute(shared) }; Ok(s) }