Skip to content
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.

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

feat(l2): multi prover foundations #1397

Merged
merged 43 commits into from
Dec 23, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
43 commits
Select commit Hold shift + click to select a range
fe49344
add sp1 program, and makefile target
fborello-lambda Dec 3, 2024
1901ee6
rename Prover to Risc0Prover
fborello-lambda Dec 3, 2024
f88c308
add Sp1Prover structure -> test [wip]
fborello-lambda Dec 3, 2024
d42a65c
standalone test for Sp1Prover
fborello-lambda Dec 3, 2024
5b6dc3c
wip: integrate prover_client <-> prover_server
fborello-lambda Dec 3, 2024
72e8a08
feat: test target
fborello-lambda Dec 4, 2024
425ea97
Merge branch 'l2/test_without_docker' into l2/implement_sp1
fborello-lambda Dec 4, 2024
eaa18ad
feat: add errors.rs module
fborello-lambda Dec 4, 2024
f4decda
wip: basic interaction prover_server <-> prover_client
fborello-lambda Dec 4, 2024
d9c6873
fix: expect in sp1 program
fborello-lambda Dec 4, 2024
d560fef
feat: run prover_client based on the argument
fborello-lambda Dec 4, 2024
bc3a50f
Merge branch 'main' into l2/implement_sp1
fborello-lambda Dec 4, 2024
ebd15e9
chore: lint and fmt
fborello-lambda Dec 5, 2024
a87dbb5
fix feature
fborello-lambda Dec 5, 2024
34f3be0
add CI for prover
fborello-lambda Dec 5, 2024
757cce1
test: prover CI
fborello-lambda Dec 5, 2024
d0ceec7
feat(l2): deploy `Verifier` contracts conditionally (#1409)
fborello-lambda Dec 5, 2024
5a34cc4
fix: prover_server dev_mode
fborello-lambda Dec 5, 2024
d64a1a7
refactor: prover_server handle_proof_submission
fborello-lambda Dec 5, 2024
926fecf
fix: proof_submission
fborello-lambda Dec 5, 2024
c6229b9
chore: lint
fborello-lambda Dec 5, 2024
663ec1f
Merge branch 'main' into l2/implement_sp1
fborello-lambda Dec 5, 2024
cdf1d93
Merge branch 'main' into l2/implement_sp1
fborello-lambda Dec 5, 2024
2ae588c
fix: proof verification on_chain
fborello-lambda Dec 6, 2024
9262414
fix: transaction encoding
fborello-lambda Dec 9, 2024
d1c42f2
fix: add ?
fborello-lambda Dec 9, 2024
fddd8bd
Merge branch 'main' into l2/implement_sp1
fborello-lambda Dec 9, 2024
b1ccfa9
chore(prover): comments
fborello-lambda Dec 9, 2024
3a49baf
refactor: unify building process and crates
fborello-lambda Dec 9, 2024
6ef5133
refactor: improve Makefile
fborello-lambda Dec 10, 2024
a59b55c
docs: improve docs
fborello-lambda Dec 10, 2024
44d0177
chore: docs
fborello-lambda Dec 10, 2024
e73da08
chore: add sp1 NOTICE
fborello-lambda Dec 10, 2024
2bf0c04
Merge branch 'main' into l2/implement_sp1
fborello-lambda Dec 10, 2024
6082f4e
fix: ci
fborello-lambda Dec 10, 2024
0708065
Update Cargo.toml
fborello-lambda Dec 10, 2024
ab5d42a
refactor: remove unneeded struct
fborello-lambda Dec 10, 2024
903a6e9
fix: cli
fborello-lambda Dec 10, 2024
f2202ad
fix: build ethrex-l2 if the feature is set
fborello-lambda Dec 18, 2024
0442c49
fix: typo
fborello-lambda Dec 18, 2024
33418d0
remove u64::MAX check inside l1_committer
fborello-lambda Dec 23, 2024
4b154dd
Merge branch 'main' into l2/implement_sp1
fborello-lambda Dec 23, 2024
77b72a9
Merge branch 'main' into l2/implement_sp1
fborello-lambda Dec 23, 2024
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
20 changes: 16 additions & 4 deletions .github/workflows/ci_l2_prover.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -43,17 +43,29 @@ jobs:
uses: dtolnay/rust-toolchain@stable
# Use cargo-risczero v1.2.0
# The risc0-zkvm crate should match this version
- name: RISC-V zkVM toolchain install
- name: RISC-V RISC0 toolchain install
run: |
curl -L https://risczero.com/install | bash
~/.risc0/bin/rzup install
~/.risc0/bin/rzup extension install cargo-risczero v1.2.0
~/.risc0/bin/rzup extension use cargo-risczero v1.2.0
- name: Build prover and zkVM
- name: Build prover and RISC0's zkVM
run: |
cd crates/l2/prover
cargo build --release --features build_zkvm
cargo build --release --features build_risc0
- name: Test Prover Execution
run: |
cd crates/l2/prover
RUST_LOG=info make perf_test_proving
RUST_LOG=info make perf-risc0
- name: RISC-V SP1 toolchain install
run: |
curl -L https://sp1.succinct.xyz | bash
~/.sp1/bin/sp1up
- name: Build prover and SP1's zkVM
run: |
cd crates/l2/prover
cargo build --release --features build_sp1
- name: Test Prover Execution
run: |
cd crates/l2/prover
RUST_LOG=info make perf-sp1
Loading
Loading