logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-03 22:33:06 +00:00
Code Issues Packages Projects Releases Wiki Activity

Feedback

Browse Source
This commit is contained in:
Daniel Lubarov 2023-01-04 14:50:15 -08:00
parent f4ac2d4f9c
commit 87be6097a1
2 changed files with 4 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
evm/src/fixed_recursive_verifier.rs
View File

@ -335,8 +335,8 @@ where
self.root.circuit.prove(root_inputs)
}
pub fn verify_root(&self, agg_proof: &ProofWithPublicInputs<F, C, D>) -> anyhow::Result<()> {
self.root.circuit.verify(agg_proof.clone())
pub fn verify_root(&self, agg_proof: ProofWithPublicInputs<F, C, D>) -> anyhow::Result<()> {
self.root.circuit.verify(agg_proof)
}
pub fn prove_aggregation(
@ -360,6 +360,7 @@ where
&self.aggregation.cyclic_vk,
&self.aggregation.circuit.verifier_only,
);
self.aggregation.circuit.prove(agg_inputs)
}

2
evm/tests/empty_txn_list.rs
View File

@ -86,7 +86,7 @@ fn test_empty_txn_list() -> anyhow::Result<()> {
let all_circuits = AllRecursiveCircuits::<F, C, D>::new(&all_stark, 9..19, &config);
let root_proof = all_circuits.prove_root(&all_stark, &config, inputs, &mut timing)?;
all_circuits.verify_root(&root_proof)?;
all_circuits.verify_root(root_proof.clone())?;
let agg_proof = all_circuits.prove_aggregation(false, &root_proof, false, &root_proof)?;
all_circuits.verify_aggregation(&agg_proof)