diff --git a/src/fiat_shamir.rs b/src/fiat_shamir.rs index 4a6f887..3d6809a 100644 --- a/src/fiat_shamir.rs +++ b/src/fiat_shamir.rs @@ -183,10 +183,6 @@ pub fn compute_fiat_shamir_hints( let column_log_sizes = components.components().column_log_sizes(); commitment_scheme.commit(proof.commitments[0], &column_log_sizes[0], channel); - if column_log_sizes.len() == 2 { - commitment_scheme.commit(proof.commitments[1], &column_log_sizes[1], channel); - } - channel.mix_felts( &proof .lookup_values diff --git a/src/split/mod.rs b/src/split/mod.rs index 834d313..354f617 100644 --- a/src/split/mod.rs +++ b/src/split/mod.rs @@ -348,12 +348,16 @@ impl CovenantProgram for FibonacciSplitProgram { { FibonacciFiatShamirGadget::run(&channel) } }; - let final_stack = get_final_stack( - script, - convert_to_witness(script! { + let witness = convert_to_witness(script! { { *fiat_shamir_hints.clone() } }) - .unwrap(), + .unwrap(); + + println!("fiat-shamir witness size: {}", witness.len()); + + let final_stack = get_final_stack( + script, + witness, ); let stack_hash = StackHash::compute(&final_stack); @@ -382,6 +386,8 @@ impl CovenantProgram for FibonacciSplitProgram { .unwrap(); witness.extend_from_slice(stack); + println!("prepare witness size: {}", witness.len()); + let final_stack = get_final_stack(script, witness); let stack_hash = StackHash::compute(&final_stack); @@ -396,6 +402,7 @@ impl CovenantProgram for FibonacciSplitProgram { assert!(matches!(input, Self::Input::PerQuery(_, _, _))); if id <= 8 { + println!("step witness size: {}", old_state.stack.len()); Ok(Self::State { pc: id + 1, stack_hash: old_state.stack_hash.clone(),