Skip to content
Snippets Groups Projects
Verified Commit 537aac2e authored by STEVAN Antoine's avatar STEVAN Antoine :crab:
Browse files

WIP: use shard directly instead of "evaluations"

parent 7aca99fa
No related branches found
No related tags found
No related merge requests found
...@@ -6,7 +6,7 @@ use tracing::{debug, info}; ...@@ -6,7 +6,7 @@ use tracing::{debug, info};
use crate::{algebra, error::KomodoError, fec}; use crate::{algebra, error::KomodoError, fec};
use fri::{ use fri::{
frida::{nth_evaluations, FridaBuilder, FridaCommitment}, frida::{FridaBuilder, FridaCommitment},
rng::FriChallenger, rng::FriChallenger,
utils::{to_evaluations, HasherExt, MerkleProof}, utils::{to_evaluations, HasherExt, MerkleProof},
}; };
...@@ -102,15 +102,11 @@ where ...@@ -102,15 +102,11 @@ where
// TODO: compute true position // TODO: compute true position
let position = 0; let position = 0;
// TODO: compute true evaluations
let evaluations: Vec<Vec<F>> = vec![];
assert!(block.proof.verify( assert!(block.proof.verify(
block.commit.tree_root(), block.commit.tree_root(),
&[position], &[position],
&[H::hash_item( &[H::hash_item(&block.shard)],
&nth_evaluations(&evaluations, position).collect::<Vec<_>>()
)],
domain_size, domain_size,
)); ));
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment