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

Release 0.1.6 rc0 #33

Closed
wants to merge 65 commits into from
Closed
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
65 commits
Select commit Hold shift + click to select a range
916b29f
Rollback to pse halo2 and halo2wrong for first release (#5)
han0110 Oct 24, 2022
2cd8b9d
Generalized `Halo2Loader` (#12)
han0110 Oct 28, 2022
25dbaf5
General refactor for further integration (#13)
han0110 Nov 8, 2022
5c31088
feat: implement ipa pcs and accumulation (#14)
han0110 Nov 9, 2022
ba167b7
ci: add `svm-rs` and install `solc@0.8.17` in job `test` (#16)
han0110 Nov 14, 2022
c5645e7
Update `EvmLoader` to generate Yul code instead of bytecode (#15)
DoHoonKim8 Nov 17, 2022
5e5de91
fix: pin all `revm` dependencies (#18)
han0110 Nov 30, 2022
50d69c1
fix: looser trait bound on impl `CostEstimation` for `Plonk` (#20)
han0110 Dec 17, 2022
dda7423
Restructure for more kind of verifier (#21)
han0110 Dec 23, 2022
6a518c9
docs: add `#![deny(missing_docs)]` and simple documents
han0110 Jan 6, 2023
3f3da27
refactor: remove redudant check `validate_ec_point` (still doesn not …
han0110 Jan 6, 2023
5023293
feat: expand more things and fix typos
han0110 Jan 20, 2023
8cc0b15
fix: rustdoc warnings
han0110 Jan 20, 2023
e4e0a4d
Merge pull request #22 from han0110/feature/docs
CPerezz Jan 20, 2023
2d5ef6b
chore: update dependencies (#24)
alexander-camuto Feb 1, 2023
df03d89
chore: update `halo2` and `halo2wrong` version (#25)
han0110 Feb 3, 2023
f1265f5
fix: enable `util::hash::poseidon` only when `feature = loader_halo2`…
han0110 Feb 14, 2023
4ad803a
feat: working update to halo2-lib v0.3.0
jonathanpwang Feb 19, 2023
c9e2d2c
feat: update zkevm bench
jonathanpwang Feb 19, 2023
2db9f42
feat: update recursion example
jonathanpwang Feb 19, 2023
396aea6
feat: switch poseidon native implementation to Scroll's audited version
jonathanpwang Feb 20, 2023
53a30eb
fix: invert determinant only once in Cramer's rule
jonathanpwang Feb 20, 2023
8b09067
Merge remote-tracking branch 'upstream/main' into sync/halo2-lib-v0.3.0
jonathanpwang Feb 21, 2023
85c68b4
chore: fix doc
jonathanpwang Feb 21, 2023
efec13b
chore
jonathanpwang Feb 21, 2023
2fd73ab
chore: forgot to update halo2-base dependency in snark-verifier-sdk
jonathanpwang Feb 28, 2023
57aaba5
Minor update (#8)
jonathanpwang Apr 18, 2023
aecfd45
Moved `RangeWithInstanceCircuitBuilder` to halo2-lib (#9)
jonathanpwang May 5, 2023
95e6b4a
chore: fix halo2-base branch in sdk
jonathanpwang May 11, 2023
739c1f7
feat: update to halo2-lib new types (#10)
jonathanpwang May 22, 2023
b38400a
feat: add `assert` for non-empty accumulators in `decide_all` (#11)
jonathanpwang May 22, 2023
e24fa3c
feat: use `zip_eq` for `Polynomial` add/sub (#12)
jonathanpwang May 22, 2023
f510177
fix: git CI turn off all features
jonathanpwang May 22, 2023
9bbe6da
fix: `rotate_scalar` misbehaves on `i32::MIN` (#13)
jonathanpwang May 22, 2023
11e0ebc
fix: cleanup code quality (#14)
jonathanpwang May 22, 2023
1820e9c
fix: `split_by_ascii_whitespace` (#15)
jonathanpwang May 23, 2023
2641da5
fix: `batch_invert_and_mul` do not allow zeros (#16)
jonathanpwang May 23, 2023
1e64c30
feat: verify proof in release mode (#17)
jonathanpwang May 23, 2023
7041c6f
fix: add better error messages/docs for catching empty inputs (#18)
jonathanpwang May 23, 2023
eee5ec2
chore: add Cargo.lock
jonathanpwang May 23, 2023
9dbe913
chore: update Cargo dependencies
jonathanpwang May 23, 2023
8d9fd64
chore: update dependencies
jonathanpwang Jun 7, 2023
4c4e9e0
Minor: merge v0.1.1 to develop (#21)
jonathanpwang Jul 7, 2023
7a0fd96
feat: remove use of env vars for circuit configuration (#22)
jonathanpwang Jul 20, 2023
cbf7219
chore: fix dependencies
jonathanpwang Jul 21, 2023
4aba23a
Feat/read pk buffer capacity (#24)
jonathanpwang Jul 27, 2023
4eded17
[Update] use ff v0.13 (#28)
jonathanpwang Aug 15, 2023
f1d12e5
[Feat] Universal verifier circuit (#26)
jonathanpwang Aug 18, 2023
9d98145
chore: derive Default for VerifierUniversality
jonathanpwang Aug 18, 2023
f309ede
feat: upgrade `revm` to support lastest hardfork (#40)
han0110 Jun 2, 2023
3aadbdf
Update: use `halo2-lib` v0.4.0 (#29)
jonathanpwang Aug 28, 2023
10ef300
feat: load `k` as witness and compute `n = 2^k` and `omega` from `k` …
jonathanpwang Sep 1, 2023
260962d
Move `OptimizedPoseidonSpec` to `halo2-base` (#31)
jonathanpwang Sep 8, 2023
1f5ebd3
chore: util::hash available without loader_halo2 feature
jonathanpwang Sep 10, 2023
a0fa8ec
chore: nit
jonathanpwang Sep 10, 2023
df944c2
[feat] change yul code into Solidity assembly (#32)
jonathanpwang Sep 11, 2023
6f3f6f7
Merge branch 'main' into release-0.1.6-rc0
jonathanpwang Sep 11, 2023
d8400e6
chore: change halo2-lib branch
jonathanpwang Sep 11, 2023
bba2bb7
chore: `snark-verifier` re-exports `halo2-base`, `halo2-ecc` (#38)
jonathanpwang Oct 22, 2023
39ab9d3
[feat] make assembly block Solidity memory safe (#39)
jonathanpwang Oct 23, 2023
1f97d29
chore: switch CI to solidity v0.8.19
jonathanpwang Nov 2, 2023
ffdd599
[chore] add `cargo audit` and update dependencies (#40)
jonathanpwang Nov 2, 2023
055527a
[chore] fix hyperlinks in docs (#41)
jonathanpwang Nov 3, 2023
1cf2986
[chore] separate `revm` import into separate feature (#44)
jonathanpwang Nov 4, 2023
ebea343
fix: compute `system_challenge_offset` correctly (#53)
han0110 Nov 8, 2023
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
18 changes: 13 additions & 5 deletions .github/workflows/ci.yaml
Original file line number Diff line number Diff line change
Expand Up @@ -24,11 +24,14 @@ jobs:
cache-on-failure: true

- name: Install solc
run: (hash svm 2>/dev/null || cargo install svm-rs) && svm install 0.8.17 && solc --version
run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version

- name: Run test
run: cargo test --all -- --nocapture
run: cargo test --all --features "revm" -- --nocapture

- name: Run example
working-directory: "snark-verifier-sdk"
run: cargo run --example standard_plonk --features "revm"

lint:
name: Lint
Expand All @@ -47,8 +50,13 @@ jobs:
with:
cache-on-failure: true

- name: Run fmt
run: cargo fmt --all -- --check

- name: Run clippy
run: cargo clippy --all --all-targets -- -D warnings

- name: Generate Cargo.lock
run: cargo generate-lockfile

- name: Run cargo audit
uses: actions-rs/audit-check@v1
with:
token: ${{ secrets.GITHUB_TOKEN }}
36 changes: 36 additions & 0 deletions .github/workflows/release.yaml
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
name: CI

on:
pull_request:
branches:
- ["main", "release-*"]
push:
branches:
- main

jobs:
test:
name: Test assembly release
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@v2

- name: Install toolchain
uses: actions-rs/toolchain@v1
with:
profile: minimal
override: false

- uses: Swatinem/rust-cache@v1
with:
cache-on-failure: true

- name: Install solc
run: (hash svm 2>/dev/null || cargo install --version 0.2.23 svm-rs) && svm install 0.8.19 && solc --version

- name: Run test
run: cargo test --all --features "revm, halo2-base/asm" -- --nocapture

- name: Run example
working-directory: "snark-verifier-sdk"
run: cargo run --example standard_plonk --features "revm, halo2-base/asm"
4 changes: 4 additions & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -4,3 +4,7 @@
/target
testdata

# Cargo.lock
params
agg.pk
break_points.json
Loading
Loading