diff --git a/plonky2/examples/fibonacci.rs b/plonky2/examples/fibonacci.rs index 90e23295..ed4610ea 100644 --- a/plonky2/examples/fibonacci.rs +++ b/plonky2/examples/fibonacci.rs @@ -28,6 +28,7 @@ fn main() -> Result<()> { let fib_100 = F::from_canonical_u64(3736710860384812976); let fib_100_target = builder.constant(fib_100); + builder.register_public_input(fib_100_target); builder.connect(fib_100_target, cur_target); @@ -35,5 +36,7 @@ fn main() -> Result<()> { let proof = data.prove(pw)?; + println!("Public inputs: {:?}", proof.clone().public_inputs); + verify(proof, &data.verifier_only, &data.common) }