From 1ade34fe1326045483fa515177be1990d27db868 Mon Sep 17 00:00:00 2001 From: John Guibas Date: Wed, 31 Jul 2024 17:55:31 -0700 Subject: [PATCH] hm --- prover/src/lib.rs | 58 +++++++++---------- .../gnark-ffi/go/sp1/babybear/babybear.go | 2 +- 2 files changed, 30 insertions(+), 30 deletions(-) diff --git a/prover/src/lib.rs b/prover/src/lib.rs index efd218f860..853c42dfd5 100644 --- a/prover/src/lib.rs +++ b/prover/src/lib.rs @@ -760,45 +760,45 @@ pub mod tests { tracing::info!("setup elf"); let (pk, vk) = prover.setup(elf); - tracing::info!("prove core"); - let stdin = SP1Stdin::new(); - let core_proof = prover.prove_core(&pk, &stdin, opts, context)?; - let public_values = core_proof.public_values.clone(); + // tracing::info!("prove core"); + // let stdin = SP1Stdin::new(); + // let core_proof = prover.prove_core(&pk, &stdin, opts, context)?; + // let public_values = core_proof.public_values.clone(); - tracing::info!("verify core"); - prover.verify(&core_proof.proof, &vk)?; + // tracing::info!("verify core"); + // prover.verify(&core_proof.proof, &vk)?; - if test_kind == Test::Core { - return Ok(()); - } + // if test_kind == Test::Core { + // return Ok(()); + // } - tracing::info!("compress"); - let compressed_proof = prover.compress(&vk, core_proof, vec![], opts)?; + // tracing::info!("compress"); + // let compressed_proof = prover.compress(&vk, core_proof, vec![], opts)?; - tracing::info!("verify compressed"); - prover.verify_compressed(&compressed_proof, &vk)?; + // tracing::info!("verify compressed"); + // prover.verify_compressed(&compressed_proof, &vk)?; - if test_kind == Test::Compress { - return Ok(()); - } + // if test_kind == Test::Compress { + // return Ok(()); + // } - tracing::info!("shrink"); - let shrink_proof = prover.shrink(compressed_proof, opts)?; + // tracing::info!("shrink"); + // let shrink_proof = prover.shrink(compressed_proof, opts)?; - tracing::info!("verify shrink"); - prover.verify_shrink(&shrink_proof, &vk)?; + // tracing::info!("verify shrink"); + // prover.verify_shrink(&shrink_proof, &vk)?; - if test_kind == Test::Shrink { - return Ok(()); - } + // if test_kind == Test::Shrink { + // return Ok(()); + // } - tracing::info!("wrap bn254"); - let wrapped_bn254_proof = prover.wrap_bn254(shrink_proof, opts)?; - let bytes = bincode::serialize(&wrapped_bn254_proof).unwrap(); + // tracing::info!("wrap bn254"); + // let wrapped_bn254_proof = prover.wrap_bn254(shrink_proof, opts)?; + // let bytes = bincode::serialize(&wrapped_bn254_proof).unwrap(); - // Save the proof. - let mut file = File::create("proof-with-pis.bin").unwrap(); - file.write_all(bytes.as_slice()).unwrap(); + // // Save the proof. + // let mut file = File::create("proof-with-pis.bin").unwrap(); + // file.write_all(bytes.as_slice()).unwrap(); // Load the proof. let mut file = File::open("proof-with-pis.bin").unwrap(); diff --git a/recursion/gnark-ffi/go/sp1/babybear/babybear.go b/recursion/gnark-ffi/go/sp1/babybear/babybear.go index ebfa4ff572..79c9c45aa1 100644 --- a/recursion/gnark-ffi/go/sp1/babybear/babybear.go +++ b/recursion/gnark-ffi/go/sp1/babybear/babybear.go @@ -94,7 +94,7 @@ func (c *Chip) AddF(a, b Variable) Variable { } return c.reduceFast(Variable{ Value: c.api.Add(a.Value, b.Value), - NbBits: maxBits + 1, + NbBits: maxBits, }) }