update sp1 version + change prompt library in zkquiz example to acc…

…omodate
yetanotherco · Oct 17, 2024 · 89f5c3a · 89f5c3a
1 parent 3ffce71
commit 89f5c3a
Show file tree

Hide file tree

Showing 16 changed files with 668 additions and 1,499 deletions.
diff --git a/batcher/Cargo.lock b/batcher/Cargo.lock
diff --git a/batcher/aligned-batcher/Cargo.toml b/batcher/aligned-batcher/Cargo.toml
@@ -25,7 +25,7 @@ ethers = { tag = "v2.0.15-fix-reconnections", features = [
 ], git = "https://github.com/yetanotherco/ethers-rs.git" }
 lambdaworks-crypto = { git = "https://github.com/lambdaclass/lambdaworks.git", rev = "efd46f0b0aea3aa95d94bba7de86cb96611b40d3", features = ["serde"] }
 serde_yaml = "0.9.34"
-sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v2.0.0" }
+sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", tag = "v3.0.0-rc3" }
 risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v1.1.2" }
 bincode = "1.3.3"
 aligned-sdk = { path = "../aligned-sdk" }

diff --git a/docs/2_architecture/0_supported_verifiers.md b/docs/2_architecture/0_supported_verifiers.md
@@ -6,8 +6,8 @@ The following is the list of the verifiers currently supported by Aligned:
 
 - :white_check_mark: gnark - Groth16 (with BN254) [(v0.10.0)](https://github.com/Consensys/gnark/releases/tag/v0.10.0)
 - :white_check_mark: gnark - Plonk (with BN254 and BLS12-381) [(v0.10.0)](https://github.com/Consensys/gnark/releases/tag/v0.10.0)
-- :white_check_mark: SP1 [(v2.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v1.0.1)
-- :white_check_mark: Risc0 [(v1.1.2)](https://github.com/risc0/risc0/releases/tag/v1.0.1)
+- :white_check_mark: SP1 [(v3.0.0-rc3)](https://github.com/succinctlabs/sp1/releases/tag/v3.0.0-rc3)
+- :white_check_mark: Risc0 [(v1.1.2)](https://github.com/risc0/risc0/releases/tag/v1.1.2)
 - 🏗️ Circom
 - 🏗️ Lambdaworks
 - 🏗️ Kimchi

diff --git a/docs/3_guides/0_submitting_proofs.md b/docs/3_guides/0_submitting_proofs.md
@@ -10,8 +10,8 @@ The following is the list of the verifiers currently supported by Aligned:
 
 - :white_check_mark: gnark - Groth16 (with BN254)
 - :white_check_mark: gnark - Plonk (with BN254 and BLS12-381)
-- :white_check_mark: SP1 [(v2.0.0)](https://github.com/succinctlabs/sp1/releases/tag/v1.0.1)
-- :white_check_mark: Risc0 [(v1.1.2)](https://github.com/risc0/risc0/releases/tag/v1.0.1)
+- :white_check_mark: SP1 [(v3.0.0-rc3)](https://github.com/succinctlabs/sp1/releases/tag/v3.0.0-rc3)
+- :white_check_mark: Risc0 [(v1.1.2)](https://github.com/risc0/risc0/releases/tag/v1.1.2)
 
 Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).
 

diff --git a/examples/zkquiz/quiz/program/Cargo.toml b/examples/zkquiz/quiz/program/Cargo.toml
@@ -5,7 +5,7 @@ name = "quiz-program"
 edition = "2021"
 
 [dependencies]
-sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v2.0.0" }
+sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", tag = "v3.0.0-rc3" }
 tiny-keccak = { git = "https://github.com/sp1-patches/tiny-keccak", branch = "patch-v2.0.2", features = [
     "sha3",
 ] }