File tree Expand file tree Collapse file tree 1 file changed +9
-7
lines changed
aggregation_mode/src/aggregators Expand file tree Collapse file tree 1 file changed +9
-7
lines changed Original file line number Diff line number Diff line change @@ -143,17 +143,19 @@ pub(crate) fn run_root_aggregator(
143143
144144 let ( pk, vk) = client. setup ( ROOT_PROGRAM_ELF ) ;
145145
146- // In mock mode, deferred proof verification must be disabled to avoid recursive proof verification.
147- // This is because chunk proofs are mocked, and enabling verification would cause a panic.
148- // See: https://docs.succinct.xyz/docs/sp1/writing-programs/proof-aggregation#proof-aggregation-in-mock-mode
149146 #[ cfg( feature = "prove" ) ]
150- let deferred_proof_verification = true ;
147+ let proof = client
148+ . prove ( & pk, & stdin)
149+ . groth16 ( )
150+ . run ( )
151+ . map_err ( |e| SP1AggregationError :: Prove ( e. to_string ( ) ) ) ?;
151152 #[ cfg( not( feature = "prove" ) ) ]
152- let deferred_proof_verification = false ;
153-
154153 let proof = client
155154 . prove ( & pk, & stdin)
156- . deferred_proof_verification ( deferred_proof_verification)
155+ // In mock mode, deferred proof verification must be disabled to avoid recursive proof verification.
156+ // This is because chunk proofs are mocked, and enabling verification would cause a panic.
157+ // See: https://docs.succinct.xyz/docs/sp1/writing-programs/proof-aggregation#proof-aggregation-in-mock-mode
158+ . deferred_proof_verification ( false )
157159 . groth16 ( )
158160 . run ( )
159161 . map_err ( |e| SP1AggregationError :: Prove ( e. to_string ( ) ) ) ?;
You can’t perform that action at this time.
0 commit comments