public input

This commit is contained in:
Nicholas Ward 2022-09-21 16:44:35 -07:00
parent 849a89105a
commit 556507a9cd

View File

@ -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)
}