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.

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

Jump to bottom

[do not merge] tracking changes since auditing freeze #5

Open
wants to merge 56 commits into
base: auditing-freeze
Choose a base branch
from
Open

[do not merge] tracking changes since auditing freeze #5

wants to merge 56 commits into from

Commits on Mar 23, 2023

  1. [chore] update cargo.toml

    @zhenfeizhang
    zhenfeizhang committed Mar 23, 2023
    Configuration menu
    Copy the full SHA
    df8afd3 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2023

  1. [fix] use shplonk instead of gwc for aggregation

    @zhenfeizhang
    zhenfeizhang committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    85f1192 View commit details
    Browse the repository at this point in the history

  2. [feat] tests cases for the sdk

    @zhenfeizhang
    zhenfeizhang committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    bf2e33b View commit details
    Browse the repository at this point in the history

  3. [feat] testing scripts

    @zhenfeizhang
    zhenfeizhang committed Mar 26, 2023
    Configuration menu
    Copy the full SHA
    f85caa5 View commit details
    Browse the repository at this point in the history

Commits on Mar 27, 2023

  1. [placeholer] impl CircuitExt for zkevm-circuits.

    @zhenfeizhang
    zhenfeizhang committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    77c9bd4 View commit details
    Browse the repository at this point in the history

  2. Fix the build for branch halo2-ecc-snark-verifier-0323. (#3)

    @silathdiir
    silathdiir committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    fdb14b7 View commit details
    Browse the repository at this point in the history

  3. [feat] single layer testing with variant circuits

    @zhenfeizhang
    zhenfeizhang committed Mar 27, 2023
    Configuration menu
    Copy the full SHA
    00249ab View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2023

  1. [feat] api wrappers for SNARK's rust native verifier

    @zhenfeizhang
    zhenfeizhang committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    7065f8c View commit details
    Browse the repository at this point in the history

  2. [feat] unit test for correct CircuitExt implementation

    @zhenfeizhang
    zhenfeizhang committed Mar 28, 2023
    Configuration menu
    Copy the full SHA
    dd19c77 View commit details
    Browse the repository at this point in the history

Commits on Mar 31, 2023

  1. Implement CircuitExt for EVM circuits (#8) 

    * Implement trait `CircuitExt` for zkevm circuits.

* Add `EvmCircuit` test case.

* add test script

* [feat] expand circuit unit tests with aggregation and evm verification; two layers recursion unit test

---------

Co-authored-by: Zhuo Zhang <[email protected]>
Co-authored-by: zhenfei <[email protected]>
    @silathdiir @lispc @zhenfeizhang
    3 people committed Mar 31, 2023
    Configuration menu
    Copy the full SHA
    f6d18e4 View commit details
    Browse the repository at this point in the history

  2. [chore] update cargo lock

    @zhenfeizhang
    zhenfeizhang committed Mar 31, 2023
    Configuration menu
    Copy the full SHA
    51af484 View commit details
    Browse the repository at this point in the history

Commits on Apr 1, 2023

  1. Update Cargo.toml

    @lispc
    lispc committed Apr 1, 2023
    Configuration menu
    Copy the full SHA
    b4686f2 View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2023

  1. [revert] undo cargo fmt 

    This reverts commit 77c9bd4.
    @zhenfeizhang
    zhenfeizhang committed Apr 8, 2023
    Configuration menu
    Copy the full SHA
    f829da6 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2023

  1. make zkevm-circuits dependency as dev dependency; get rid of jemalloc

    @lispc
    lispc committed Apr 10, 2023
    Configuration menu
    Copy the full SHA
    ed1a740 View commit details
    Browse the repository at this point in the history

  2. add default CircuitExt impl

    @lispc
    lispc committed Apr 10, 2023
    Configuration menu
    Copy the full SHA
    a3d0a5a View commit details
    Browse the repository at this point in the history

Commits on May 26, 2023

  1. [fix] sync changes with minimize diff branches (#12) 

    * [fix] sync changes with minimize diff branches

* [feat] remove zkevm-circuit dependencies

* [clean up] remove unused ipa source code

* [feat] document trait definitions

* [feat] merge more comments

* [feat] merge more comments

* [chore] more doc; cargo fmt
    @zhenfeizhang
    zhenfeizhang committed May 26, 2023
    Configuration menu
    Copy the full SHA
    ae6a9ef View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2023

  1. Documentations; subcircuit for aggregation (#13) 

    * wip

* [refactor] refactoring sdk

* [refactor] halo2 api

* [chore] update cargo.toml

* [feat] impl sub-circuit for proof aggregation circuit

* [feat] impl sub circuit for multi aggregation

* [chore] clean up

* [chore] update cargo branch
    @zhenfeizhang
    zhenfeizhang committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    a8b277a View commit details
    Browse the repository at this point in the history

  2. [chore] expose aggregate API

    @zhenfeizhang
    zhenfeizhang committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    90b6059 View commit details
    Browse the repository at this point in the history

  3. [chore] clean up zkevm dependencies

    @zhenfeizhang
    zhenfeizhang committed Jun 20, 2023
    Configuration menu
    Copy the full SHA
    4c90dcc View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2023

  1. move zkevm-circuit::eth-types to dev deps

    @lispc
    lispc committed Jun 26, 2023
    Configuration menu
    Copy the full SHA
    a530941 View commit details
    Browse the repository at this point in the history

Commits on Jul 31, 2023

  1. Add function verify_evm_proof to return a bool.

    @silathdiir
    silathdiir committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ea43b80 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #16 from scroll-tech/verify-evm-proof 

    Add a function `verify_evm_proof` to return a bool
    @lispc
    lispc committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    6eeba77 View commit details
    Browse the repository at this point in the history

  3. Replace assert_satisfied with assert_satisfied_par.

    @silathdiir
    silathdiir committed Jul 31, 2023
    Configuration menu
    Copy the full SHA
    ae4b2f8 View commit details
    Browse the repository at this point in the history

Commits on Aug 1, 2023

  1. Merge pull request #18 from scroll-tech/fix/replace-assert-satisfied-… 

    …with-par

fix: replace `assert_satisfied` with `assert_satisfied_par`
    @lispc
    lispc committed Aug 1, 2023
    Configuration menu
    Copy the full SHA
    514f457 View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2023

  1. Add a function verify_evm_calldata, it could be used to verify by c… 

    …ombined calldata directly.
    @silathdiir
    silathdiir committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    701338f View commit details
    Browse the repository at this point in the history

  2. Merge pull request #19 from scroll-tech/fix/verify-evm-calldata 

    fix: add function `verify_evm_calldata`
    @lispc
    lispc committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    f8bdcbe View commit details
    Browse the repository at this point in the history

  3. Miss to make verify_evm_calldata public.

    @silathdiir
    silathdiir committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    ca08842 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #20 from scroll-tech/missing-pub-for-verify-evm-ca… 

    …lldata

Miss to make `verify_evm_calldata` public
    @lispc
    lispc committed Aug 3, 2023
    Configuration menu
    Copy the full SHA
    12c306e View commit details
    Browse the repository at this point in the history

Commits on Aug 9, 2023

  1. fix-tob-scroll-16 (#17)

    @zhenfeizhang
    zhenfeizhang committed Aug 9, 2023
    Configuration menu
    Copy the full SHA
    1001277 View commit details
    Browse the repository at this point in the history

Commits on Aug 16, 2023

  1. Fix to set halo2-lib to v0.1.0.

    @silathdiir
    silathdiir committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    9c11db8 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #22 from scroll-tech/fix/set-halo2-lib-v0.1.0 

    fix: set `halo2-lib` to `v0.1.0`
    @lispc
    lispc committed Aug 16, 2023
    Configuration menu
    Copy the full SHA
    11a09d4 View commit details
    Browse the repository at this point in the history

Commits on Aug 17, 2023

  1. disable mock prove when debug_assert

    @lispc
    lispc committed Aug 17, 2023
    Configuration menu
    Copy the full SHA
    4466059 View commit details
    Browse the repository at this point in the history

Commits on Aug 26, 2023

  1. use halo2-lib v0.1.1; auto format

    @lispc
    lispc committed Aug 26, 2023
    Configuration menu
    Copy the full SHA
    663d40c View commit details
    Browse the repository at this point in the history

Commits on Sep 4, 2023

  1. v0.1.3: upgrade halo2-lib

    @lispc
    lispc committed Sep 4, 2023
    Configuration menu
    Copy the full SHA
    c60146b View commit details
    Browse the repository at this point in the history

Commits on Sep 12, 2023

  1. upgrade halo2-lib

    @lispc
    lispc committed Sep 12, 2023
    Configuration menu
    Copy the full SHA
    bc1d39a View commit details
    Browse the repository at this point in the history

Commits on Nov 1, 2023

  1. Use halo2 mv-lookup branch.

    @silathdiir
    silathdiir committed Nov 1, 2023
    Configuration menu
    Copy the full SHA
    9e39d74 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2023

  1. Replace to mv-lookup in verifier.

    @silathdiir
    silathdiir committed Nov 6, 2023
    Configuration menu
    Copy the full SHA
    a7251c5 View commit details
    Browse the repository at this point in the history

Commits on Nov 10, 2023

  1. Update unit test for single-layer-aggregation.

    @silathdiir
    silathdiir committed Nov 10, 2023
    Configuration menu
    Copy the full SHA
    5822e1f View commit details
    Browse the repository at this point in the history

Commits on Nov 14, 2023

  1. Update halo2 to develop-rc branch.

    @silathdiir
    silathdiir committed Nov 14, 2023
    Configuration menu
    Copy the full SHA
    22e3374 View commit details
    Browse the repository at this point in the history

Commits on Nov 20, 2023

  1. Merge pull request #24 from scroll-tech/integrate-mv-lookup 

    Integrate mv-lookup to verifier
    @kunxian-xia
    kunxian-xia committed Nov 20, 2023
    Configuration menu
    Copy the full SHA
    ecd6757 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Sync ff 0.13 (#25) 

    * finished snark verifier

* chore: update cargo toml links

* finished

* chore: update links

* disable jemalloc by default

---------

Co-authored-by: Zhang Zhuo <[email protected]>
    @zhenfeizhang @lispc
    zhenfeizhang and lispc committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    1596212 View commit details
    Browse the repository at this point in the history

  2. switch to an old? version to fix build

    @lispc
    lispc committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    12c1121 View commit details
    Browse the repository at this point in the history

  3. [chore] update rust toolchain to 1.76 nightly

    @lightsing
    lightsing committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    c223a95 View commit details
    Browse the repository at this point in the history

  4. Merge branch 'develop' into chore/rust 

    # Conflicts:
#	Cargo.lock
#	snark-verifier-sdk/Cargo.toml
    @lightsing
    lightsing committed Dec 5, 2023
    Configuration menu
    Copy the full SHA
    b9d612e View commit details
    Browse the repository at this point in the history

Commits on Dec 6, 2023

  1. Merge pull request #26 from scroll-tech/chore/rust 

    [chore] update rust toolchain to 1.76 nightly
    @lightsing
    lightsing committed Dec 6, 2023
    Configuration menu
    Copy the full SHA
    d246af2 View commit details
    Browse the repository at this point in the history

Commits on Dec 11, 2023

  1. Upgrade halo2 to v1.1. (#28)

    @silathdiir
    silathdiir committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    8085ab3 View commit details
    Browse the repository at this point in the history

  2. Bring back mv-lookup.

    @silathdiir
    silathdiir committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    f712946 View commit details
    Browse the repository at this point in the history

  3. Update

    @silathdiir
    silathdiir committed Dec 11, 2023
    Configuration menu
    Copy the full SHA
    0c28da1 View commit details
    Browse the repository at this point in the history

Commits on Jan 18, 2024

  1. Merge pull request #29 from scroll-tech/take-back-mv-lookup 

    fix: bring back mv-lookup
    @kunxian-xia
    kunxian-xia committed Jan 18, 2024
    Configuration menu
    Copy the full SHA
    ab54b89 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2024

  1. upgrade halo2 to include mv-lookup prover fix

    @kunxian-xia
    kunxian-xia committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    17c58ba View commit details
    Browse the repository at this point in the history

  2. Merge pull request #33 from scroll-tech/fix/upgrade-halo2 

    Fix: upgrade halo2 to include recent fix of mv-lookup prover
    @kunxian-xia
    kunxian-xia committed Jan 21, 2024
    1 Configuration menu
    Copy the full SHA
    114cea6 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. cherry-pick pse pr#29 to let quotient has same number of chunk as it … 

    …in prover (#34)
    @kunxian-xia
    kunxian-xia committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    a769973 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. better yul deploy error

    @lispc
    lispc committed May 24, 2024
    Configuration menu
    Copy the full SHA
    1871505 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. return proving err instead of panic

    @lispc
    lispc committed May 29, 2024
    Configuration menu
    Copy the full SHA
    fe1f890 View commit details
    Browse the repository at this point in the history

Commits on Jun 6, 2024

  1. better compatibility for loading old proofs

    @lispc
    lispc committed Jun 6, 2024
    Configuration menu
    Copy the full SHA
    58c46b7 View commit details
    Browse the repository at this point in the history

Commits on Sep 5, 2024

  1. Use circuit-params feature and use CurveAffineExt from halo2_base (#36) 

    * use circuit-params feature and use CurveAffineExt from halo2_base

* Update snark-verifier-sdk/src/file_io.rs

Co-authored-by: Rohit Narurkar <[email protected]>

* fix cargo build and cargo test

---------

Co-authored-by: Mason Liang <[email protected]>
Co-authored-by: Rohit Narurkar <[email protected]>
    @z2trillion @roynalnaruto
    3 people committed Sep 5, 2024
    Configuration menu
    Copy the full SHA
    572ef69 View commit details
    Browse the repository at this point in the history