chore: bump version (#1504)

Co-authored-by: John Guibas <[email protected]> Co-authored-by: Ubuntu <[email protected]>
succinctlabs · Sep 13, 2024 · 9061f9b · 9061f9b
1 parent 4791740
commit 9061f9b
Show file tree

Hide file tree

Showing 4 changed files with 30 additions and 34 deletions.
diff --git a/.gitignore b/.gitignore
@@ -23,5 +23,6 @@ benchmark.csv
 
 # Build Artifacts
 recursion/gnark-ffi/build
-prover/build
-prover/*.tar.gz
+crates/prover/build
+crates/prover/data
+crates/prover/*.tar.gz
diff --git a/Cargo.toml b/Cargo.toml
@@ -1,5 +1,5 @@
 [workspace.package]
-version = "1.2.0"
+version = "2.0.0"
 edition = "2021"
 license = "MIT OR Apache-2.0"
 repository = "https://github.com/succinctlabs/sp1"
@@ -48,28 +48,28 @@ debug-assertions = true
 
 [workspace.dependencies]
 # sp1
-sp1-build = { path = "crates/build", version = "1.2.0" }
-sp1-cli = { path = "crates/cli", version = "1.2.0", default-features = false }
-sp1-core-machine = { path = "crates/core/machine", version = "1.2.0" }
-sp1-core-executor = { path = "crates/core/executor", version = "1.2.0" }
-sp1-curves = { path = "crates/curves", version = "1.2.0" }
-sp1-derive = { path = "crates/derive", version = "1.2.0" }
-sp1-eval = { path = "crates/eval", version = "1.2.0" }
-sp1-helper = { path = "crates/helper", version = "1.2.0", default-features = false }
-sp1-primitives = { path = "crates/primitives", version = "1.2.0" }
-sp1-prover = { path = "crates/prover", version = "1.2.0" }
-sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "1.2.0" }
-sp1-recursion-core = { path = "crates/recursion/core", version = "1.2.0", default-features = false }
-sp1-recursion-core-v2 = { path = "crates/recursion/core-v2", version = "1.2.0", default-features = false }
-sp1-recursion-derive = { path = "crates/recursion/derive", version = "1.2.0", default-features = false }
-sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "1.2.0", default-features = false }
-sp1-recursion-program = { path = "crates/recursion/program", version = "1.2.0", default-features = false }
-sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "1.2.0", default-features = false }
-sp1-sdk = { path = "crates/sdk", version = "1.2.0" }
-sp1-cuda = { path = "crates/cuda", version = "1.2.0" }
-sp1-stark = { path = "crates/stark", version = "1.2.0" }
-sp1-lib = { path = "crates/zkvm/lib", version = "1.2.0", default-features = false }
-sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "1.2.0", default-features = false }
+sp1-build = { path = "crates/build", version = "2.0.0" }
+sp1-cli = { path = "crates/cli", version = "2.0.0", default-features = false }
+sp1-core-machine = { path = "crates/core/machine", version = "2.0.0" }
+sp1-core-executor = { path = "crates/core/executor", version = "2.0.0" }
+sp1-curves = { path = "crates/curves", version = "2.0.0" }
+sp1-derive = { path = "crates/derive", version = "2.0.0" }
+sp1-eval = { path = "crates/eval", version = "2.0.0" }
+sp1-helper = { path = "crates/helper", version = "2.0.0", default-features = false }
+sp1-primitives = { path = "crates/primitives", version = "2.0.0" }
+sp1-prover = { path = "crates/prover", version = "2.0.0" }
+sp1-recursion-compiler = { path = "crates/recursion/compiler", version = "2.0.0" }
+sp1-recursion-core = { path = "crates/recursion/core", version = "2.0.0", default-features = false }
+sp1-recursion-core-v2 = { path = "crates/recursion/core-v2", version = "2.0.0", default-features = false }
+sp1-recursion-derive = { path = "crates/recursion/derive", version = "2.0.0", default-features = false }
+sp1-recursion-gnark-ffi = { path = "crates/recursion/gnark-ffi", version = "2.0.0", default-features = false }
+sp1-recursion-program = { path = "crates/recursion/program", version = "2.0.0", default-features = false }
+sp1-recursion-circuit = { path = "crates/recursion/circuit", version = "2.0.0", default-features = false }
+sp1-sdk = { path = "crates/sdk", version = "2.0.0" }
+sp1-cuda = { path = "crates/cuda", version = "2.0.0" }
+sp1-stark = { path = "crates/stark", version = "2.0.0" }
+sp1-lib = { path = "crates/zkvm/lib", version = "2.0.0", default-features = false }
+sp1-zkvm = { path = "crates/zkvm/entrypoint", version = "2.0.0", default-features = false }
 
 # p3
 p3-air = "0.1.3-succinct"

diff --git a/crates/core/machine/src/lib.rs b/crates/core/machine/src/lib.rs
@@ -30,4 +30,4 @@ pub mod utils;
 /// This string should be updated whenever any step in verifying an SP1 proof changes, including
 /// core, recursion, and plonk-bn254. This string is used to download SP1 artifacts and the gnark
 /// docker image.
-pub const SP1_CIRCUIT_VERSION: &str = "v1.2.0";
+pub const SP1_CIRCUIT_VERSION: &str = "v2.0.0";
diff --git a/crates/recursion/gnark-ffi/go/sp1/babybear/babybear.go b/crates/recursion/gnark-ffi/go/sp1/babybear/babybear.go
@@ -50,26 +50,21 @@ func NewChip(api frontend.API) *Chip {
 func Zero() Variable {
 	return Variable{
 		Value:  frontend.Variable("0"),
-		NbBits: 0,
+		NbBits: 32,
 	}
 }
 
 func One() Variable {
 	return Variable{
 		Value:  frontend.Variable("1"),
-		NbBits: 1,
+		NbBits: 32,
 	}
 }
 
 func NewF(value string) Variable {
-	if value == "0" {
-		return Zero()
-	} else if value == "1" {
-		return One()
-	}
 	return Variable{
 		Value:  frontend.Variable(value),
-		NbBits: 31,
+		NbBits: 32,
 	}
 }