From 87be6097a185eacb81a290f59acf3dd994ef1a8e Mon Sep 17 00:00:00 2001 From: Daniel Lubarov Date: Wed, 4 Jan 2023 14:50:15 -0800 Subject: [PATCH] Feedback --- evm/src/fixed_recursive_verifier.rs | 5 +++-- evm/tests/empty_txn_list.rs | 2 +- 2 files changed, 4 insertions(+), 3 deletions(-) diff --git a/evm/src/fixed_recursive_verifier.rs b/evm/src/fixed_recursive_verifier.rs index 53a82bb6..5a3a5013 100644 --- a/evm/src/fixed_recursive_verifier.rs +++ b/evm/src/fixed_recursive_verifier.rs @@ -335,8 +335,8 @@ where self.root.circuit.prove(root_inputs) } - pub fn verify_root(&self, agg_proof: &ProofWithPublicInputs) -> anyhow::Result<()> { - self.root.circuit.verify(agg_proof.clone()) + pub fn verify_root(&self, agg_proof: ProofWithPublicInputs) -> 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) } diff --git a/evm/tests/empty_txn_list.rs b/evm/tests/empty_txn_list.rs index e6903b84..2bd9a116 100644 --- a/evm/tests/empty_txn_list.rs +++ b/evm/tests/empty_txn_list.rs @@ -86,7 +86,7 @@ fn test_empty_txn_list() -> anyhow::Result<()> { let all_circuits = AllRecursiveCircuits::::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)