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

SequenceInstructionTable and SequenceExecutionConfig #1259

Merged
merged 47 commits into from
May 14, 2024
Merged

SequenceInstructionTable and SequenceExecutionConfig #1259

merged 47 commits into from
May 14, 2024

Commits on Apr 25, 2024

  1. rebase to upstream 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    ad5353c View commit details
    Browse the repository at this point in the history

  2. Merge branch 'feat/da-compression-witgen' into da-compression/addrtable 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 25, 2024
    Configuration menu
    Copy the full SHA
    4db2a60 View commit details
    Browse the repository at this point in the history

Commits on Apr 26, 2024

  1. wip of addrtable 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    f2c7718 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/feat/da-compression' into da-com… 

    …pression/addrtable
    @noel2004
    noel2004 committed Apr 26, 2024
    Configuration menu
    Copy the full SHA
    db670b5 View commit details
    Browse the repository at this point in the history

Commits on Apr 27, 2024

  1. all gates 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    a3ac8a9 View commit details
    Browse the repository at this point in the history

  2. change the lookup purpose 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 27, 2024
    Configuration menu
    Copy the full SHA
    a044416 View commit details
    Browse the repository at this point in the history

Commits on Apr 28, 2024

  1. fix according to reviews

    @noel2004
    noel2004 committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    a1a8a56 View commit details
    Browse the repository at this point in the history

  2. purge unused seqvaluetable 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 28, 2024
    Configuration menu
    Copy the full SHA
    ea378d2 View commit details
    Browse the repository at this point in the history

Commits on Apr 29, 2024

  1. change zero testing to corresponding gadget 

    complete assignment

Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    ca2d76c View commit details
    Browse the repository at this point in the history

  2. trivial fixing 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    7a18424 View commit details
    Browse the repository at this point in the history

  3. purge the duplicated works 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 29, 2024
    Configuration menu
    Copy the full SHA
    48eb834 View commit details
    Browse the repository at this point in the history

Commits on Apr 30, 2024

  1. Merge remote-tracking branch 'origin/feat/da-compression' into da-com… 

    …pression/addrtable
    @noel2004
    noel2004 committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    7160818 View commit details
    Browse the repository at this point in the history

  2. unit test (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed Apr 30, 2024
    Configuration menu
    Copy the full SHA
    4d203ed View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. seq exec circuit (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 2, 2024
    Configuration menu
    Copy the full SHA
    1897ba6 View commit details
    Browse the repository at this point in the history

  2. Merge branch 'feat/da-compression' into da-compression/addrtable 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 2, 2024
    Configuration menu
    Copy the full SHA
    9d9d2cd View commit details
    Browse the repository at this point in the history

  3. seq exec circuit (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 2, 2024
    Configuration menu
    Copy the full SHA
    33679cc View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. seq exec circuit (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 3, 2024
    Configuration menu
    Copy the full SHA
    65caf67 View commit details
    Browse the repository at this point in the history

Commits on May 5, 2024

  1. Merge branch 'feat/da-compression' into da-compression/addrtable 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 5, 2024
    Configuration menu
    Copy the full SHA
    e9a8554 View commit details
    Browse the repository at this point in the history

  2. output region: gates and lookups (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 5, 2024
    Configuration menu
    Copy the full SHA
    003635a View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. pass unittest for seqinst table 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 6, 2024
    Configuration menu
    Copy the full SHA
    10019de View commit details
    Browse the repository at this point in the history

Commits on May 8, 2024

  1. Merge remote-tracking branch 'origin/feat/da-compression' into da-com… 

    …pression/addrtable
    @noel2004
    noel2004 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    5a92d17 View commit details
    Browse the repository at this point in the history

  2. seq exec: complete the seq num lookup 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    8b1ffa4 View commit details
    Browse the repository at this point in the history

  3. Merge remote-tracking branch 'origin/feat/da-compression-witgen' into… 

    … da-compression/addrtable

Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    976f502 View commit details
    Browse the repository at this point in the history

  4. add seq exec info in witgen 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    cc5b417 View commit details
    Browse the repository at this point in the history

  5. Merge remote-tracking branch 'origin/feat/da-compression-witgen' into… 

    … da-compression/addrtable
    @noel2004
    noel2004 committed May 8, 2024
    Configuration menu
    Copy the full SHA
    57a5b3b View commit details
    Browse the repository at this point in the history

Commits on May 9, 2024

  1. assign and unit tests (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 9, 2024
    Configuration menu
    Copy the full SHA
    6ba734c View commit details
    Browse the repository at this point in the history

  2. refactor for better assignment 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 9, 2024
    Configuration menu
    Copy the full SHA
    826d040 View commit details
    Browse the repository at this point in the history

  3. assignments and unit tests (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 9, 2024
    Configuration menu
    Copy the full SHA
    183431e View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/feat/da-compression-witgen' into… 

    … da-compression/addrtable

Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 9, 2024
    Configuration menu
    Copy the full SHA
    a6da9b0 View commit details
    Browse the repository at this point in the history

Commits on May 10, 2024

  1. induce debug utilities in AddressRow 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 10, 2024
    Configuration menu
    Copy the full SHA
    b05b1af View commit details
    Browse the repository at this point in the history

Commits on May 11, 2024

  1. pass first unit test (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 11, 2024
    Configuration menu
    Copy the full SHA
    7aa980c View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/feat/da-compression-witgen' into… 

    … da-compression/addrtable
    @noel2004
    noel2004 committed May 11, 2024
    Configuration menu
    Copy the full SHA
    1a42bad View commit details
    Browse the repository at this point in the history

  3. chore: integrate seq-inst-table and seq-exec-config into decoder-config

    @roynalnaruto
    roynalnaruto committed May 11, 2024
    Configuration menu
    Copy the full SHA
    5bf5f38 View commit details
    Browse the repository at this point in the history

  4. refactor to low degree 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 11, 2024
    Configuration menu
    Copy the full SHA
    5469ac9 View commit details
    Browse the repository at this point in the history

Commits on May 12, 2024

  1. Merge branch 'da-compression/addrtable' of https://github.com/scroll-… 

    …tech/zkevm-circuits into da-compression/addrtable

Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 12, 2024
    Configuration menu
    Copy the full SHA
    6bf68f4 View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'origin/feat/da-compression-witgen' into… 

    … da-compression/addrtable
    @noel2004
    noel2004 committed May 12, 2024
    Configuration menu
    Copy the full SHA
    1a43e7b View commit details
    Browse the repository at this point in the history

  3. more unittest for seq exec (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 12, 2024
    Configuration menu
    Copy the full SHA
    ca15984 View commit details
    Browse the repository at this point in the history

  4. pass unit tests 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 12, 2024
    Configuration menu
    Copy the full SHA
    e73a1ef View commit details
    Browse the repository at this point in the history

Commits on May 13, 2024

  1. add assign entry 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    ed3b92c View commit details
    Browse the repository at this point in the history

  2. update some witgens, pass decoder's unit test 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    c5bddbb View commit details
    Browse the repository at this point in the history

  3. integrate seq exec into decoder (WIP) 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 13, 2024
    Configuration menu
    Copy the full SHA
    59eaeaf View commit details
    Browse the repository at this point in the history

Commits on May 14, 2024

  1. temporary disable 3 lookups and unit test pass for the rest 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    04d1326 View commit details
    Browse the repository at this point in the history

  2. all of the unit test passed 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    f737a1c View commit details
    Browse the repository at this point in the history

  3. trivial updates: head condition in seq exec and exported cells 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    700c441 View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'origin/feat/da-compression-witgen' into… 

    … da-compression/addrtable

Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    bbe1d28 View commit details
    Browse the repository at this point in the history

  5. clear the warnings 

    Signed-off-by: noelwei <[email protected]>
    @noel2004
    noel2004 committed May 14, 2024
    Configuration menu
    Copy the full SHA
    6a48c42 View commit details
    Browse the repository at this point in the history

  6. chore: fmt

    @roynalnaruto
    roynalnaruto committed May 14, 2024
    Configuration menu
    Copy the full SHA
    ee095be View commit details
    Browse the repository at this point in the history