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/hybrid snark agg #1438

Draft
wants to merge 25 commits into
base: v0.13
Choose a base branch
from
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
25 commits
Select commit Hold shift + click to select a range
7ec5588
pin rust to 1.77 (#1429)
lispc Oct 9, 2024
252b8d9
use revm v3.5.0 instead of snark-verifier sdk
roynalnaruto Oct 9, 2024
5b3d535
export deploy_and_call
roynalnaruto Oct 9, 2024
6dd70e7
feat: add chunk kind
roynalnaruto Oct 16, 2024
21b4093
initial work | to be tested
roynalnaruto Oct 17, 2024
73efa6e
fix: borrow ctx from loader only once
roynalnaruto Oct 17, 2024
dbe3d93
more logs
roynalnaruto Oct 17, 2024
756f4af
read from protocol json files
roynalnaruto Oct 18, 2024
e7b778e
dir + name
roynalnaruto Oct 18, 2024
7bb4d86
reference already duplicated somewhere in
roynalnaruto Oct 18, 2024
0ad5448
minor updates, bump snark-verifier
roynalnaruto Oct 18, 2024
dc52147
refactor
roynalnaruto Oct 18, 2024
b621bce
clean up + refactor
roynalnaruto Oct 22, 2024
1beeb35
chunk prover error and refactor
roynalnaruto Oct 23, 2024
667ace4
layer-2 compress only (sp1 chunk proof)
roynalnaruto Oct 23, 2024
a8c2733
more refactoring and better inline docs
roynalnaruto Oct 24, 2024
d684c06
refactor prover::aggregator module
roynalnaruto Oct 24, 2024
b849391
return BatchProverError instead of using anyhow
roynalnaruto Oct 24, 2024
c8cd343
tidy up lib.rs of prover crate
roynalnaruto Oct 25, 2024
fc050c4
refactor prover::types and minor changes
roynalnaruto Oct 25, 2024
65b7c7c
more refactoring
roynalnaruto Oct 25, 2024
f8fdd32
move more modules into prover::utils
roynalnaruto Oct 25, 2024
80f2e52
proof v2
roynalnaruto Oct 26, 2024
44595ac
use bundle proof v2
roynalnaruto Oct 26, 2024
3aaf9c4
fix(soundness): init_state depends on halo2/sp1 route
roynalnaruto Nov 4, 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
25 changes: 13 additions & 12 deletions .github/workflows/ci.yml
Original file line number Diff line number Diff line change
Expand Up @@ -38,12 +38,13 @@ jobs:

test-default:
name: Test Default
if: false
needs: [runner]
runs-on: ${{ matrix.os }}
concurrency: ${{ needs.runner.outputs.concurrency-group2 }}
concurrency: ${{ needs.runner.outputs.concurrency-group1 }}
strategy:
matrix:
os: ${{ fromJSON(needs.runner.outputs.runner-matrix2) }}
os: ${{ fromJSON(needs.runner.outputs.runner-matrix1) }}

steps:
- uses: actions/checkout@v4
Expand All @@ -52,12 +53,12 @@ jobs:
echo "HOME=/home/CI" >> $GITHUB_ENV
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25
- name: Setup golang
uses: actions/setup-go@v3
with:
cache: false
go-version: ~1.21
go-version: ~1.22
# Go cache for building geth-utils
- name: Go cache
uses: actions/cache@v3
Expand All @@ -83,10 +84,10 @@ jobs:
name: Test Scroll
needs: [runner]
runs-on: ${{ matrix.os }}
concurrency: ${{ needs.runner.outputs.concurrency-group1 }}
concurrency: ${{ needs.runner.outputs.concurrency-group2 }}
strategy:
matrix:
os: ${{ fromJSON(needs.runner.outputs.runner-matrix1) }}
os: ${{ fromJSON(needs.runner.outputs.runner-matrix2) }}

steps:
- uses: actions/checkout@v4
Expand All @@ -95,12 +96,12 @@ jobs:
echo "HOME=/home/CI" >> $GITHUB_ENV
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25
- name: Setup golang
uses: actions/setup-go@v3
with:
cache: false
go-version: ~1.21
go-version: ~1.22
# Go cache for building geth-utils
- name: Go cache
uses: actions/cache@v3
Expand Down Expand Up @@ -146,7 +147,7 @@ jobs:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25
- name: Add target
run: rustup target add ${{ matrix.target }}
# Go cache for building geth-utils
Expand Down Expand Up @@ -183,7 +184,7 @@ jobs:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25
# Go cache for building geth-utils
- name: Go cache
uses: actions/cache@v3
Expand Down Expand Up @@ -216,7 +217,7 @@ jobs:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25
# Go cache for building geth-utils
- name: Go cache
uses: actions/cache@v3
Expand Down Expand Up @@ -253,7 +254,7 @@ jobs:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25
components: rustfmt
# Go cache for building geth-utils
- name: Go cache
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/integration.yml
Original file line number Diff line number Diff line change
Expand Up @@ -61,7 +61,7 @@ jobs:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25
- name: Setup golang
uses: actions/setup-go@v3
with:
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/lints.yml
Original file line number Diff line number Diff line change
Expand Up @@ -43,7 +43,7 @@ jobs:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25
components: clippy
# Go cache for building geth-utils
- name: Go cache
Expand Down
2 changes: 1 addition & 1 deletion .github/workflows/test-features.yml
Original file line number Diff line number Diff line change
Expand Up @@ -42,7 +42,7 @@ jobs:
- uses: actions/checkout@v4
- uses: dtolnay/rust-toolchain@master
with:
toolchain: nightly-2023-12-03
toolchain: nightly-2024-01-25

# Go cache for building geth-utils
- name: Go cache
Expand Down
Loading
Loading