smeb_y/ceremonyclient
1
0
Fork 0
mirror of https://source.quilibrium.com/quilibrium/ceremonyclient.git synced 2024-12-25 08:05:17 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Include iterations in FS transform

Browse Source
This commit is contained in:
Agost Biro 2024-06-05 22:50:53 +02:00
parent a8f91fe50a
commit 81dd7550af
No known key found for this signature in database
1 changed files with 11 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
crates/vdf/src/proof_wesolowski.rs
View File

@ -16,6 +16,7 @@ use super::proof_of_time::{iterate_squarings, serialize};
use classgroup::{gmp_classgroup::GmpClassGroup, BigNum, BigNumExt, ClassGroup}; use classgroup::{gmp_classgroup::GmpClassGroup, BigNum, BigNumExt, ClassGroup};
use sha2::{digest::FixedOutput, Digest, Sha256}; use sha2::{digest::FixedOutput, Digest, Sha256};
use std::{cmp::Eq, collections::HashMap, hash::Hash, mem, u64, usize}; use std::{cmp::Eq, collections::HashMap, hash::Hash, mem, u64, usize};
use std::convert::TryInto;
#[derive(Debug, Clone)] #[derive(Debug, Clone)]
pub struct WesolowskiVDF { pub struct WesolowskiVDF {
@ -109,7 +110,7 @@ fn u64_to_bytes(q: u64) -> [u8; 8] {
/// Quote: /// Quote:
/// ///
/// > Creates a random prime based on input s. /// > Creates a random prime based on input s.
fn hash_prime<T: BigNum>(seed: &[&[u8]]) -> T { fn hash_prime<T: BigNum>(seed: &[&[u8]], t: u32) -> T {
let mut j = 0u64; let mut j = 0u64;
loop { loop {
let mut hasher = Sha256::new(); let mut hasher = Sha256::new();
@ -118,6 +119,7 @@ fn hash_prime<T: BigNum>(seed: &[&[u8]]) -> T {
for i in seed { for i in seed {
hasher.input(i); hasher.input(i);
} }
hasher.input(t.to_be_bytes());
let n = T::from(&hasher.fixed_result()[..16]); let n = T::from(&hasher.fixed_result()[..16]);
if n.probab_prime(1) { if n.probab_prime(1) {
break n; break n;
@ -225,7 +227,10 @@ where
powers[&iterations] powers[&iterations]
.serialize(&mut y_buf[..]) .serialize(&mut y_buf[..])
.expect(super::INCORRECT_BUFFER_SIZE); .expect(super::INCORRECT_BUFFER_SIZE);
let b = hash_prime(&[&x_buf[..], &y_buf[..]]); let b = hash_prime(
&[&x_buf[..], &y_buf[..]],
iterations.try_into().expect("iterations fit into u32")
);
eval_optimized(&x, &b, iterations as _, k, l, powers) eval_optimized(&x, &b, iterations as _, k, l, powers)
} }
@ -244,7 +249,10 @@ pub fn verify_proof<T: BigNum, V: ClassGroup<BigNum = T>>(
let mut y_buf = vec![0; element_len]; let mut y_buf = vec![0; element_len];
y.serialize(&mut y_buf[..]) y.serialize(&mut y_buf[..])
.expect(super::INCORRECT_BUFFER_SIZE); .expect(super::INCORRECT_BUFFER_SIZE);
let b = hash_prime(&[&x_buf[..], &y_buf[..]]); let b = hash_prime(
&[&x_buf[..], &y_buf[..]],
t.try_into().expect("iterations fit into u32")
);
let mut r = T::from(0); let mut r = T::from(0);
r.mod_powm(&T::from(2u64), &T::from(t), &b); r.mod_powm(&T::from(2u64), &T::from(t), &b);
proof.pow(b); proof.pow(b);