Fixups after rebasing to main.

succinctlabs · May 17, 2024 · adab11c · adab11c
1 parent 02ec186
commit adab11c
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/recursion/program/src/hints.rs b/recursion/program/src/hints.rs
@@ -513,9 +513,9 @@ impl<'a, A: MachineAir<BabyBear>> Hintable<C>
     fn read(builder: &mut Builder<C>) -> Self::HintVariable {
         let vk = VerifyingKeyHint::<'a, BabyBearPoseidon2, A>::read(builder);
         let shard_proofs = Vec::<ShardProofHint<'a, BabyBearPoseidon2, A>>::read(builder);
-        let leaf_challenger = DuplexChallenger::<InnerVal, InnerPerm, 16>::read(builder);
+        let leaf_challenger = DuplexChallenger::<InnerVal, InnerPerm, 24>::read(builder);
         let initial_reconstruct_challenger =
-            DuplexChallenger::<InnerVal, InnerPerm, 16>::read(builder);
+            DuplexChallenger::<InnerVal, InnerPerm, 24>::read(builder);
         let is_complete = builder.hint_var();
 
         SP1RecursionMemoryLayoutVariable {
@@ -626,7 +626,7 @@ impl<'a, A: MachineAir<BabyBear>> Hintable<C>
         let sp1_vk = VerifyingKeyHint::<'a, BabyBearPoseidon2, RiscvAir<_>>::read(builder);
         let committed_value_digest = Vec::<Vec<InnerVal>>::read(builder);
         let deferred_proofs_digest = Vec::<InnerVal>::read(builder);
-        let leaf_challenger = DuplexChallenger::<InnerVal, InnerPerm, 16>::read(builder);
+        let leaf_challenger = DuplexChallenger::<InnerVal, InnerPerm, 24>::read(builder);
         let end_pc = InnerVal::read(builder);
         let end_shard = InnerVal::read(builder);