logos-co
/
nomos-pocs
mirror of https://github.com/logos-co/nomos-pocs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

pol: lottery evaluation looks correct

This commit is contained in:
David Rusu 2024-07-25 16:27:59 +04:00
parent a268129ee9
commit 7e19f8bce9
1 changed files with 0 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
proof_of_leadership/risc0/proof_statements/src/proof_of_leadership.rs
View File

@ -23,11 +23,6 @@ impl LeaderPublic {
updated_commitment: cl::NoteCommitment updated_commitment: cl::NoteCommitment
) -> Self ) -> Self
{ {
// TODO: check in sage that these precision adjustments are valid.
// also ensure that intermediate values going above the field
// order don't mess the final result of the evaluation.
let total_stake_big = U256::from_u64(total_stake); let total_stake_big = U256::from_u64(total_stake);
let total_stake_sq_big = total_stake_big.checked_mul(&total_stake_big).unwrap(); let total_stake_sq_big = total_stake_big.checked_mul(&total_stake_big).unwrap();
let double_total_stake_sq_big = total_stake_sq_big.checked_mul(&U256::from_u64(2)).unwrap(); let double_total_stake_sq_big = total_stake_sq_big.checked_mul(&U256::from_u64(2)).unwrap();
@ -60,7 +55,6 @@ impl LeaderPublic {
pub fn check_winning(&self, input: &cl::InputWitness) -> bool { pub fn check_winning(&self, input: &cl::InputWitness) -> bool {
// Lottery checks
let threshold = phi_approx(U256::from_u64(input.note.value), self.scaled_phi_approx); let threshold = phi_approx(U256::from_u64(input.note.value), self.scaled_phi_approx);
let ticket = ticket(&input, self.epoch_nonce, self.slot); let ticket = ticket(&input, self.epoch_nonce, self.slot);
ticket < threshold ticket < threshold