Sitelet https://github.com/Galoretka/sp1/commit/344524eeed618ad814dc30f50db4fa280d52cf7a
Skip to content

Commit 344524e

Browse files
jtguibasjtguibas
authored
feat: plonk e2e prover (succinctlabs#582)
1 parent 118518d commit 344524e

38 files changed

Lines changed: 828 additions & 512 deletions

‎.gitignore‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -22,5 +22,5 @@ benchmark.csv
2222
.env
2323

2424
# Build Artifacts
25-
recursion/groth16-ffi/build
25+
recursion/gnark-ffi/build
2626
prover/build

‎Cargo.lock‎

Lines changed: 3 additions & 3 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

‎Cargo.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ members = [
1010
"recursion/circuit",
1111
"recursion/compiler",
1212
"recursion/core",
13-
"recursion/groth16-ffi",
13+
"recursion/gnark-ffi",
1414
"recursion/program",
1515
"sdk",
1616
"zkvm/*",

‎prover/Cargo.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ sp1-recursion-program = { path = "../recursion/program" }
1010
sp1-recursion-circuit = { path = "../recursion/circuit" }
1111
sp1-recursion-compiler = { path = "../recursion/compiler" }
1212
sp1-recursion-core = { path = "../recursion/core" }
13-
sp1-recursion-groth16-ffi = { path = "../recursion/groth16-ffi" }
13+
sp1-recursion-gnark-ffi = { path = "../recursion/gnark-ffi" }
1414
sp1-core = { path = "../core" }
1515
sp1-primitives = { path = "../primitives" }
1616
p3-field = { workspace = true }

‎prover/scripts/e2e.rs‎

Lines changed: 11 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,7 @@ use sp1_prover::SP1Prover;
77
use sp1_recursion_circuit::stark::build_wrap_circuit;
88
use sp1_recursion_circuit::witness::Witnessable;
99
use sp1_recursion_compiler::ir::Witness;
10-
use sp1_recursion_groth16_ffi::Groth16Prover;
10+
use sp1_recursion_gnark_ffi::Groth16Prover;
1111

1212
#[derive(Parser, Debug)]
1313
#[clap(author, version, about, long_about = None)]
@@ -62,5 +62,15 @@ pub fn main() {
6262
tracing::info!("sanity check gnark prove");
6363
let proof = Groth16Prover::prove(witness.clone(), args.build_dir.clone().into());
6464

65+
// tracing::info!("sanity check plonk bn254 build");
66+
// PlonkBn254Prover::build(
67+
// constraints.clone(),
68+
// witness.clone(),
69+
// args.build_dir.clone().into(),
70+
// );
71+
72+
// tracing::info!("sanity check plonk bn254 prove");
73+
// let proof = PlonkBn254Prover::prove(witness.clone(), args.build_dir.clone().into());
74+
6575
println!("{:?}", proof);
6676
}

‎prover/src/lib.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -46,7 +46,7 @@ use sp1_recursion_core::{
4646
runtime::Runtime as RecursionRuntime,
4747
stark::{config::BabyBearPoseidon2Outer, RecursionAir},
4848
};
49-
use sp1_recursion_groth16_ffi::Groth16Prover;
49+
use sp1_recursion_gnark_ffi::Groth16Prover;
5050
use sp1_recursion_program::hints::Hintable;
5151
use sp1_recursion_program::reduce::ReduceProgram;
5252
use utils::words_to_bytes;

‎recursion/circuit/Cargo.toml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -32,4 +32,4 @@ p3-merkle-tree = { workspace = true }
3232
p3-poseidon2 = { workspace = true }
3333
zkhash = { git = "https://github.com/HorizenLabs/poseidon2" }
3434
rand = "0.8.4"
35-
sp1-recursion-groth16-ffi = { path = "../groth16-ffi" }
35+
sp1-recursion-gnark-ffi = { path = "../gnark-ffi" }

‎recursion/circuit/src/challenger.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -163,7 +163,7 @@ mod tests {
163163
use sp1_recursion_compiler::ir::SymbolicExt;
164164
use sp1_recursion_compiler::ir::{Builder, Witness};
165165
use sp1_recursion_core::stark::config::{outer_perm, OuterChallenger};
166-
use sp1_recursion_groth16_ffi::Groth16Prover;
166+
use sp1_recursion_gnark_ffi::Groth16Prover;
167167

168168
use super::reduce_32;
169169
use super::split_32;

‎recursion/circuit/src/constraints.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -183,7 +183,7 @@ mod tests {
183183
runtime::Runtime,
184184
stark::{config::BabyBearPoseidon2Outer, RecursionAir},
185185
};
186-
use sp1_recursion_groth16_ffi::Groth16Prover;
186+
use sp1_recursion_gnark_ffi::Groth16Prover;
187187

188188
use crate::stark::{tests::basic_program, StarkVerifierCircuit};
189189

‎recursion/circuit/src/fri.rs‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -250,7 +250,7 @@ pub mod tests {
250250
outer_perm, test_fri_config, OuterChallenge, OuterChallengeMmcs, OuterChallenger,
251251
OuterCompress, OuterDft, OuterFriProof, OuterHash, OuterPcs, OuterVal, OuterValMmcs,
252252
};
253-
use sp1_recursion_groth16_ffi::Groth16Prover;
253+
use sp1_recursion_gnark_ffi::Groth16Prover;
254254

255255
use super::{verify_shape_and_sample_challenges, verify_two_adic_pcs, TwoAdicPcsRoundVariable};
256256
use crate::{

0 commit comments

Comments
 (0)