Skip to content

Change SP1-sdk version from 4.1.3 to 4.1.7 #1851

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
MauroToscano merged 5 commits into from
Apr 14, 2025
Merged

Change SP1-sdk version from 4.1.3 to 4.1.7 #1851

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
5 commits
Select commit Hold shift + click to select a range
3c14e09
Change SP1-sdk version from 4.1.3 to 4.1.7
Mechanix97 Apr 4, 2025
d754428
Update docs
Mechanix97 Apr 4, 2025
e98091c
Update quiz to 4.1.7 and fix network
Mechanix97 Apr 8, 2025
5e0b3a3
Fix version example program cargo.toml
Mechanix97 Apr 8, 2025
d237e72
Merge branch 'testnet' into feat/bump-sp1-version
JuArce Apr 8, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
137 changes: 67 additions & 70 deletions batcher/Cargo.lock
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion batcher/aligned-batcher/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,7 @@ anyhow = "1.0.83"
ethers = { version = "2.0", features = ["ws", "rustls"] }
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 = "v4.1.3" }
sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7" }
risc0-zkvm = { git = "https://github.com/risc0/risc0", tag = "v2.0.0" }
bincode = "1.3.3"
aligned-sdk = { path = "../aligned-sdk" }
Expand Down
2 changes: 1 addition & 1 deletion docs/2_architecture/0_supported_verifiers.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ 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 [(v4.1.3)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.3)
- :white_check_mark: SP1 [(v4.1.7)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.7)
- :white_check_mark: Risc0 [(v2.0.0)](https://github.com/risc0/risc0/releases/tag/v2.0.0)
- 🏗️ Circom
- 🏗️ Lambdaworks
Expand Down
4 changes: 2 additions & 2 deletions docs/3_guides/0_submitting_proofs.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,7 +12,7 @@ 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 [(v4.1.3)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.3)
- :white_check_mark: SP1 [(v4.1.7)](https://github.com/succinctlabs/sp1/releases/tag/v4.1.7)
- :white_check_mark: Risc0 [(v2.0.0)](https://github.com/risc0/risc0/releases/tag/v2.0.0)

Learn more about future verifiers [here](../2_architecture/0_supported_verifiers.md).
Expand Down Expand Up @@ -123,7 +123,7 @@ Proof submission is done via the `submit` command of the Aligned CLI. The argume

### SP1 proof

The current SP1 version used in Aligned is `v4.1.3`.
The current SP1 version used in Aligned is `v4.1.7`.

The SP1 proof needs the proof file and the vm program file.

Expand Down
2 changes: 1 addition & 1 deletion docs/3_guides/2_build_your_first_aligned_application.md
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -31,7 +31,7 @@ Next, we will see how to execute ZKQuiz to get your own ZKQuiz NFT!
2. [Foundry](https://getfoundry.sh)

{% hint style="info" %}
ELF commitment was generated with Rust v1.80.1 and SP1 v4.1.3.
ELF commitment was generated with Rust v1.80.1 and SP1 v4.1.7.
{% endhint %}

### Usage
Expand Down
2 changes: 1 addition & 1 deletion examples/validating-public-input/sp1/fibonacci/program/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ name = "fibonacci-program"
edition = "2021"

[dependencies]
sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3" }
sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7" }
4 changes: 2 additions & 2 deletions examples/validating-public-input/sp1/fibonacci/script/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@ name = "fibonacci"
path = "src/main.rs"

[dependencies]
sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3" }
sp1-sdk = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7" }
serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
serde = { version = "1.0", default-features = false, features = ["derive"] }
clap = { version = "4.0", features = ["derive", "env"] }
Expand All @@ -19,5 +19,5 @@ alloy-sol-types = { workspace = true }
bincode = "1.3.3"

[build-dependencies]
sp1-helper = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3" }
sp1-helper = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7" }
sp1-build = "3.0.0"
1 change: 1 addition & 0 deletions examples/zkquiz/Makefile
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -14,6 +14,7 @@ answer_quiz:
@cd quiz/script && cargo run -r -- \
--keystore-path $(KEYSTORE_PATH) \
--rpc-url $(RPC_URL) \
--network holesky \
--verifier-contract-address $(CONTRACT_ADDRESS)

answer_quiz_stage:
Expand Down
2 changes: 1 addition & 1 deletion examples/zkquiz/quiz/program/Cargo.toml
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,7 @@ name = "quiz-program"
edition = "2021"

[dependencies]
sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.3" }
sp1-zkvm = { git = "https://github.com/succinctlabs/sp1.git", rev = "v4.1.7" }
tiny-keccak = { git = "https://github.com/sp1-patches/tiny-keccak", branch = "patch-v2.0.2", features = [
"sha3",
] }
Loading
Loading