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

Merge develop into feat/continuations #359

Merged
merged 280 commits into from
Jul 9, 2024
Merged

Merge develop into feat/continuations #359

merged 280 commits into from
Jul 9, 2024
This pull request is big! We’re only showing the most recent 250 commits.

Commits on Nov 17, 2023

  1. Populate prev_hashes in rpc module

    @cpubot
    cpubot committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    280cd81 View commit details
    Browse the repository at this point in the history

  2. Add an option for passing in a previous proof to the prover

    @cpubot
    cpubot committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    9d07ee7 View commit details
    Browse the repository at this point in the history

  3. Write prover state to disk

    @cpubot
    cpubot committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    dfbca30 View commit details
    Browse the repository at this point in the history

  4. Use Config type

    @cpubot
    cpubot committed Nov 17, 2023
    Configuration menu
    Copy the full SHA
    3751eba View commit details
    Browse the repository at this point in the history

Commits on Nov 21, 2023

  1. Fixed two prog args using same short char

    @BGluth
    BGluth committed Nov 21, 2023
    Configuration menu
    Copy the full SHA
    d6d0ee7 View commit details
    Browse the repository at this point in the history

Commits on Nov 23, 2023

  1. Bump to paladin 0.3.2

    @cpubot
    cpubot committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    5d5e547 View commit details
    Browse the repository at this point in the history

  2. Overhaul leader CLI such that flags are grouped by subcommand

    @cpubot
    cpubot committed Nov 23, 2023
    Configuration menu
    Copy the full SHA
    8c996c4 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #2 from 0xPolygonZero/zbrown/leader-cli-improvements 

    Overhaul leader CLI such that flags are grouped by subcommand
    @cpubot
    cpubot authored Nov 23, 2023
    Configuration menu
    Copy the full SHA
    6e2f6be View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2023

  1. Enable specifying prover circuit sizes in .env and CLI (#3)

    @cpubot
    cpubot authored Nov 25, 2023
    Configuration menu
    Copy the full SHA
    d161bf1 View commit details
    Browse the repository at this point in the history

Commits on Nov 28, 2023

  1. DNM! Prints and fixes

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    a358f55 View commit details
    Browse the repository at this point in the history

  2. Bumped deps

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    e7a97e5 View commit details
    Browse the repository at this point in the history

  3. Lock bump

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    b93b514 View commit details
    Browse the repository at this point in the history

  4. Lock bump

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    5c35b45 View commit details
    Browse the repository at this point in the history

  5. Lock bump

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    61c81b7 View commit details
    Browse the repository at this point in the history

  6. Lock bump

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    a4d143e View commit details
    Browse the repository at this point in the history

  7. Lock bump

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    8be0637 View commit details
    Browse the repository at this point in the history

  8. Update Cargo.lock

    @Nashtare @BGluth
    Nashtare authored and BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    f0feb1f View commit details
    Browse the repository at this point in the history

  9. Lock bump

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    7a28608 View commit details
    Browse the repository at this point in the history

  10. Two fixes 

    - Fixed receipt tries being created incorrectly.
- Added a temp hack to prevent the genesis block hash from being queried
  (better hack likely incoming) due to a bug in Erigon.
    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    2d0fe9d View commit details
    Browse the repository at this point in the history

  11. Fixed a few bugs

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    3e13635 View commit details
    Browse the repository at this point in the history

  12. Revision fixes

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    3b1ce97 View commit details
    Browse the repository at this point in the history

  13. Bump lock

    @Nashtare @BGluth
    Nashtare authored and BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    b33b3f7 View commit details
    Browse the repository at this point in the history

  14. Fix genesis root

    @Nashtare @BGluth
    Nashtare authored and BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    32eb622 View commit details
    Browse the repository at this point in the history

  15. Fix block_hashes

    @Nashtare @BGluth
    Nashtare authored and BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    984f2f0 View commit details
    Browse the repository at this point in the history

  16. Remove comment

    @Nashtare @BGluth
    Nashtare authored and BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    f228e48 View commit details
    Browse the repository at this point in the history

  17. Fix fetching of previous block_hashes

    @Nashtare @BGluth
    Nashtare authored and BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    e12ae99 View commit details
    Browse the repository at this point in the history

  18. Fix

    @Nashtare @BGluth
    Nashtare authored and BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    e2adb6d View commit details
    Browse the repository at this point in the history

  19. Bump lock

    @Nashtare @BGluth
    Nashtare authored and BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    b05a7a0 View commit details
    Browse the repository at this point in the history

  20. Now queries the genesis state root

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    5795e91 View commit details
    Browse the repository at this point in the history

  21. Lock bump

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    d92c46f View commit details
    Browse the repository at this point in the history

  22. Added prog arg to specific specific path for proof output

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    77a06ef View commit details
    Browse the repository at this point in the history

  23. Fixed generated proofs using wrong path

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    de99262 View commit details
    Browse the repository at this point in the history

  24. Added a simple script to generate a range of proofs

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    5214c52 View commit details
    Browse the repository at this point in the history

  25. Lock bump

    @BGluth
    BGluth committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    61ba3f0 View commit details
    Browse the repository at this point in the history

  26. Lock bump

    @Nashtare
    Nashtare committed Nov 28, 2023
    Configuration menu
    Copy the full SHA
    9843c7b View commit details
    Browse the repository at this point in the history

Commits on Nov 29, 2023

  1. Lock bump

    @Nashtare
    Nashtare committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    d96a363 View commit details
    Browse the repository at this point in the history

  2. Lock bump

    @BGluth
    BGluth committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    a3e2c68 View commit details
    Browse the repository at this point in the history

  3. Lock bump

    @BGluth
    BGluth committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    8a2d872 View commit details
    Browse the repository at this point in the history

  4. Lock bump

    @BGluth
    BGluth committed Nov 29, 2023
    Configuration menu
    Copy the full SHA
    2636707 View commit details
    Browse the repository at this point in the history

Commits on Nov 30, 2023

  1. Lock bump

    @BGluth
    BGluth committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    19cd34e View commit details
    Browse the repository at this point in the history

  2. Release builds are now more optimized

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

  3. Bump plonky2

    @Nashtare
    Nashtare committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    128cf07 View commit details
    Browse the repository at this point in the history

  4. Update default ranges

    @Nashtare
    Nashtare committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    0c8c0d8 View commit details
    Browse the repository at this point in the history

  5. Update ranges

    @Nashtare
    Nashtare committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    486ca5e View commit details
    Browse the repository at this point in the history

  6. Now uses revs for all of our deps

    @BGluth
    BGluth committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    c4886ca View commit details
    Browse the repository at this point in the history

  7. Cleaned up the Cargo.toml for rpc

    @BGluth
    BGluth committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    9e8f06c View commit details
    Browse the repository at this point in the history

  8. Requested changes for PR #5

    @BGluth
    BGluth committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    f7931a3 View commit details
    Browse the repository at this point in the history

  9. Requested changes for PR #5 (2)

    @BGluth
    BGluth committed Nov 30, 2023
    Configuration menu
    Copy the full SHA
    0eb6d48 View commit details
    Browse the repository at this point in the history

  10. Merge pull request #5 from 0xPolygonZero/proof_fixes 

    Merge Erigon fixes over the past two weeks back into main
    @BGluth
    BGluth authored Nov 30, 2023
    Configuration menu
    Copy the full SHA
    55f4bb3 View commit details
    Browse the repository at this point in the history

Commits on Dec 1, 2023

  1. migrate to paladin 0.4.0

    @cpubot
    cpubot committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    c437aa8 View commit details
    Browse the repository at this point in the history

  2. Update dockerfiles

    @cpubot
    cpubot committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    32dba2f View commit details
    Browse the repository at this point in the history

  3. Dep bump

    @BGluth
    BGluth committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    c9a4d29 View commit details
    Browse the repository at this point in the history

  4. Update block_hashes fetching

    @Nashtare
    Nashtare committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    183b0bc View commit details
    Browse the repository at this point in the history

  5. Fix log wiping

    @Nashtare
    Nashtare committed Dec 1, 2023
    Configuration menu
    Copy the full SHA
    2345dc8 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2023

  1. paladin 0.4.1

    @cpubot
    cpubot committed Dec 3, 2023
    Configuration menu
    Copy the full SHA
    863fceb View commit details
    Browse the repository at this point in the history

Commits on Dec 4, 2023

  1. Merge pull request #6 from 0xPolygonZero/speed_up_blockhashes 

    Speed up blockhashes fetching
    @Nashtare
    Nashtare authored Dec 4, 2023
    Configuration menu
    Copy the full SHA
    4fa21d8 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2023

  1. Add licenses (#9)

    @cpubot
    cpubot authored Dec 5, 2023
    Configuration menu
    Copy the full SHA
    17c9bb9 View commit details
    Browse the repository at this point in the history

Commits on Dec 22, 2023

  1. Add support for providing checkpoint block

    @cpubot
    cpubot committed Dec 22, 2023
    Configuration menu
    Copy the full SHA
    30f140e View commit details
    Browse the repository at this point in the history

Commits on Dec 23, 2023

  1. Fix fetch_previous_block_hashes going out of bounds (#12)

    @cpubot
    cpubot authored Dec 23, 2023
    Configuration menu
    Copy the full SHA
    d063843 View commit details
    Browse the repository at this point in the history

Commits on Jan 21, 2024

  1. Allow verifier to load only necessary data

    @Nashtare
    Nashtare committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    cf1dffd View commit details
    Browse the repository at this point in the history

  2. Clippy

    @Nashtare
    Nashtare committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    9356bcc View commit details
    Browse the repository at this point in the history

  3. Add verifier_state_* to .gitignore

    @Nashtare
    Nashtare committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    2f08b98 View commit details
    Browse the repository at this point in the history

  4. Create output directory if non-existent

    @Nashtare
    Nashtare committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    e0d0f11 View commit details
    Browse the repository at this point in the history

  5. Add checkpoint height to script

    @Nashtare
    Nashtare committed Jan 21, 2024
    Configuration menu
    Copy the full SHA
    ab4daf6 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #14 from 0xPolygonZero/output_dir_err_msg

    @Nashtare
    Nashtare authored Jan 21, 2024
    Configuration menu
    Copy the full SHA
    40cab23 View commit details
    Browse the repository at this point in the history

Commits on Jan 22, 2024

  1. Small typo fix

    @muursh
    muursh authored Jan 22, 2024
    Configuration menu
    Copy the full SHA
    03f1d80 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #15 from 0xPolygonZero/script_checkpoint

    @Nashtare
    Nashtare authored Jan 22, 2024
    Configuration menu
    Copy the full SHA
    4e1d363 View commit details
    Browse the repository at this point in the history

Commits on Jan 23, 2024

  1. Merge pull request #13 from 0xPolygonZero/verifier_state 

    Allow verifier to load only necessary data
    @Nashtare
    Nashtare authored Jan 23, 2024
    Configuration menu
    Copy the full SHA
    81a3b07 View commit details
    Browse the repository at this point in the history

Commits on Feb 21, 2024

  1. Update dependencies

    @Nashtare
    Nashtare committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    5e998e0 View commit details
    Browse the repository at this point in the history

  2. Pacify clippy

    @Nashtare
    Nashtare committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    e6da9fa View commit details
    Browse the repository at this point in the history

  3. More clippy

    @Nashtare
    Nashtare committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    d2cc50b View commit details
    Browse the repository at this point in the history

  4. Logic to parse withdrawals from the full node

    @BGluth @Nashtare
    BGluth authored and Nashtare committed Feb 21, 2024
    Configuration menu
    Copy the full SHA
    28356c0 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #20 from 0xPolygonZero/move_deps 

    Move away from git dependencies
    @Nashtare
    Nashtare authored Feb 21, 2024
    Configuration menu
    Copy the full SHA
    c3cdba1 View commit details
    Browse the repository at this point in the history

Commits on Feb 23, 2024

  1. Implement on-demand recursive circuit table loading (#21) 

    * Implement on-demand recursive circuit table loading

* Update common/src/prover_state/mod.rs

Co-authored-by: Robin Salen <[email protected]>

* Update common/src/prover_state/mod.rs

Co-authored-by: Robin Salen <[email protected]>

* Update common/src/prover_state/persistence.rs

Co-authored-by: Robin Salen <[email protected]>

* address PR feedback

* Make table load strategy configurable from CLI

---------

Co-authored-by: Robin Salen <[email protected]>
    @cpubot @Nashtare
    cpubot and Nashtare authored Feb 23, 2024
    Configuration menu
    Copy the full SHA
    44d8060 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2024

  1. Create CODEOWNERS

    @muursh
    muursh authored Feb 27, 2024
    Configuration menu
    Copy the full SHA
    3a1a81d View commit details
    Browse the repository at this point in the history

  2. Merge pull request #22 from 0xPolygonZero/code_owners 

    Create CODEOWNERS
    @muursh
    muursh authored Feb 27, 2024
    Configuration menu
    Copy the full SHA
    edb0b71 View commit details
    Browse the repository at this point in the history

Commits on Mar 1, 2024

  1. Bump h2 from 0.3.21 to 0.3.24 

    Bumps [h2](https://github.com/hyperium/h2) from 0.3.21 to 0.3.24.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/v0.3.24/CHANGELOG.md)
- [Commits](hyperium/h2@v0.3.21...v0.3.24)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>
    @dependabot
    dependabot[bot] authored Mar 1, 2024
    Configuration menu
    Copy the full SHA
    cc9b043 View commit details
    Browse the repository at this point in the history

  2. Update deps

    @Nashtare
    Nashtare committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    0811297 View commit details
    Browse the repository at this point in the history

  3. Add testing mode for debugging

    @Nashtare
    Nashtare committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    7c42df1 View commit details
    Browse the repository at this point in the history

  4. Add block debugging script

    @Nashtare
    Nashtare committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    6430137 View commit details
    Browse the repository at this point in the history

  5. Merge pull request #23 from 0xPolygonZero/dependabot/cargo/h2-0.3.24 

    Bump h2 from 0.3.21 to 0.3.24
    @muursh
    muursh authored Mar 1, 2024
    Configuration menu
    Copy the full SHA
    3fb04e2 View commit details
    Browse the repository at this point in the history

  6. Clippy

    @Nashtare
    Nashtare committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    07d8d27 View commit details
    Browse the repository at this point in the history

  7. Revert changes on prove_blocks script

    @Nashtare
    Nashtare committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    b1020c5 View commit details
    Browse the repository at this point in the history

  8. Address comments

    @Nashtare
    Nashtare committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    8db68b9 View commit details
    Browse the repository at this point in the history

  9. Remove dummy agg proof layer for testing

    @Nashtare
    Nashtare committed Mar 1, 2024
    Configuration menu
    Copy the full SHA
    f5120b2 View commit details
    Browse the repository at this point in the history

Commits on Mar 2, 2024

  1. Merge pull request #24 from 0xPolygonZero/test-tooling 

    Add test tooling for easier block / txn debugging
    @Nashtare
    Nashtare authored Mar 2, 2024
    Configuration menu
    Copy the full SHA
    5d1534f View commit details
    Browse the repository at this point in the history

Commits on Mar 6, 2024

  1. Fix checkpoint block for debug script

    @Nashtare
    Nashtare committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    6dca99d View commit details
    Browse the repository at this point in the history

  2. Fix arithmetic circuit typos

    @Nashtare
    Nashtare committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    7ba1576 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #29 from 0xPolygonZero/fix_old_blocks_debug_script 

    Fix checkpoint block for debugging script
    @Nashtare
    Nashtare authored Mar 6, 2024
    Configuration menu
    Copy the full SHA
    33c4c20 View commit details
    Browse the repository at this point in the history

  4. Rework CI

    @Nashtare
    Nashtare committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    7a738a6 View commit details
    Browse the repository at this point in the history

  5. Bump mio from 0.8.9 to 0.8.11 

    Bumps [mio](https://github.com/tokio-rs/mio) from 0.8.9 to 0.8.11.
- [Release notes](https://github.com/tokio-rs/mio/releases)
- [Changelog](https://github.com/tokio-rs/mio/blob/master/CHANGELOG.md)
- [Commits](tokio-rs/mio@v0.8.9...v0.8.11)

---
updated-dependencies:
- dependency-name: mio
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>
    @dependabot
    dependabot[bot] authored Mar 6, 2024
    Configuration menu
    Copy the full SHA
    710a96e View commit details
    Browse the repository at this point in the history

  6. Merge pull request #31 from 0xPolygonZero/dependabot/cargo/mio-0.8.11 

    Bump mio from 0.8.9 to 0.8.11
    @muursh
    muursh authored Mar 6, 2024
    Configuration menu
    Copy the full SHA
    3ce315a View commit details
    Browse the repository at this point in the history

  7. Update circuit location

    @Nashtare
    Nashtare committed Mar 6, 2024
    Configuration menu
    Copy the full SHA
    55ee6da View commit details
    Browse the repository at this point in the history

  8. Merge pull request #30 from 0xPolygonZero/ci 

    Rework github actions workflows
    @Nashtare
    Nashtare authored Mar 6, 2024
    Configuration menu
    Copy the full SHA
    1deb141 View commit details
    Browse the repository at this point in the history

  9. Merge pull request #32 from 0xPolygonZero/circuits_folder 

    Update circuits location
    @Nashtare
    Nashtare authored Mar 6, 2024
    Configuration menu
    Copy the full SHA
    6f10bd8 View commit details
    Browse the repository at this point in the history

Commits on Mar 11, 2024

  1. Bump deps and fix compile failure

    @Nashtare
    Nashtare committed Mar 11, 2024
    Configuration menu
    Copy the full SHA
    f88151c View commit details
    Browse the repository at this point in the history

  2. Merge pull request #35 from 0xPolygonZero/fix-nightly-bump-deps 

    Bump paladin and fix latest nightly compile failure
    @Nashtare
    Nashtare authored Mar 11, 2024
    Configuration menu
    Copy the full SHA
    a4f1db3 View commit details
    Browse the repository at this point in the history

Commits on Mar 12, 2024

  1. Fixed proof gen debug script not forcing 1 worker

    @BGluth
    BGluth committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    410a1cc View commit details
    Browse the repository at this point in the history

  2. Added a section about branches and testing 

    - We didn't have anything regarding development branches and how to use
  the testing tools, and this PR adds a bit of info for both.
    @BGluth
    BGluth committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    0e3e5c9 View commit details
    Browse the repository at this point in the history

  3. Increased stack size for testing 

    - Some block manage to overflow the stack (inside `plonky2`?), and we
  need to use a larger stack size.
    @BGluth
    BGluth committed Mar 12, 2024
    Configuration menu
    Copy the full SHA
    1579645 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #37 from 0xPolygonZero/testing_note_in_readme 

    Added a section about branches and testing
    @BGluth
    BGluth authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    f5a4c7e View commit details
    Browse the repository at this point in the history

  5. Merge pull request #36 from 0xPolygonZero/debug_proof_script_fix 

    Fixed proof gen debug script not forcing `1` worker
    @BGluth
    BGluth authored Mar 12, 2024
    Configuration menu
    Copy the full SHA
    77259df View commit details
    Browse the repository at this point in the history

Commits on Mar 15, 2024

  1. Fix dead link in README

    @julianbraha
    julianbraha committed Mar 15, 2024
    Configuration menu
    Copy the full SHA
    aea9355 View commit details
    Browse the repository at this point in the history

Commits on Mar 16, 2024

  1. Merge pull request #39 from julianbraha/develop 

    Fix dead link to prover_input.rs in README
    @muursh
    muursh authored Mar 16, 2024
    Configuration menu
    Copy the full SHA
    c2df0fc View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2024

  1. Update CODEOWNERS

    @muursh
    muursh authored Mar 18, 2024
    Configuration menu
    Copy the full SHA
    2661d84 View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2024

  1. Merge pull request #40 from 0xPolygonZero/update_codeowners 

    Add Robin to owners file
    @muursh
    muursh authored Mar 19, 2024
    Configuration menu
    Copy the full SHA
    53bc5e2 View commit details
    Browse the repository at this point in the history

  2. Fix new nightly clippy warning (#41)

    @cpubot
    cpubot authored Mar 19, 2024
    Configuration menu
    Copy the full SHA
    3984a91 View commit details
    Browse the repository at this point in the history

  3. Ran cargo update

    @BGluth
    BGluth committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    3d9c98e View commit details
    Browse the repository at this point in the history

  4. Also ran cargo upgrades and updated deps further

    @BGluth
    BGluth committed Mar 19, 2024
    Configuration menu
    Copy the full SHA
    e91515d View commit details
    Browse the repository at this point in the history

Commits on Mar 21, 2024

  1. fix axum api

    @muursh
    muursh committed Mar 21, 2024
    Configuration menu
    Copy the full SHA
    d04f78a View commit details
    Browse the repository at this point in the history

  2. Merge pull request #42 from 0xPolygonZero/dep_update 

    Ran `cargo update` & `cargo upgrades`
    @muursh
    muursh authored Mar 21, 2024
    Configuration menu
    Copy the full SHA
    601a014 View commit details
    Browse the repository at this point in the history

Commits on Mar 26, 2024

  1. Updated .gitignore to ignore generated plonky2 state

    @BGluth
    BGluth committed Mar 26, 2024
    Configuration menu
    Copy the full SHA
    d8c9759 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #43 from 0xPolygonZero/gitignore_prover_state 

    Updated `.gitignore` to ignore generated plonky2 state
    @BGluth
    BGluth authored Mar 26, 2024
    Configuration menu
    Copy the full SHA
    3d23565 View commit details
    Browse the repository at this point in the history

Commits on Mar 28, 2024

  1. Update prover default features (#46) 

    * Update Cargo.toml

Remove test-only from default features.

* Fix Literal(proof)

* Fix Clippy

---------

Co-authored-by: Linda Guiga <[email protected]>
    @Nashtare @LindaGuiga
    Nashtare and LindaGuiga authored Mar 28, 2024
    Configuration menu
    Copy the full SHA
    72df63e View commit details
    Browse the repository at this point in the history

Commits on Apr 2, 2024

  1. feat: add circuit version consistency check

    @lastminutedev
    lastminutedev committed Apr 2, 2024
    Configuration menu
    Copy the full SHA
    32bb50e View commit details
    Browse the repository at this point in the history

Commits on Apr 3, 2024

  1. Implement Polygon Hermez type2 SMT (#34) 

    * Working with dummy hash

* Use keccak

* Add account

* Clippy

* Support storage trie

* Use remaining key and clean

* Write pointer to leaf data in serialization

* Minor

* Comments

* Cleaning

* Cleaning

* readme

* Fix plonky2 dep

* Fix dep

* minor

* Remove dbg

* Squashed 'evm_arithmetization/' changes from d547f8d5..5ec32fcb

5ec32fcb FMT
c1728d4e Merge remote-tracking branch 'mir/main' into tmp-type2/hermez
01bb7974 Add Poseidon constraints
e695ae18 Tests passing
207c54df Poseidon STARK
02d6435f Poseidon files
710225c9 Simulate jumpdest data with the interpreter (#1489)
3ec1bfdd Update `starky` and leverage it as dependency for `plonky2_evm` (#1503)
f0ffb811 Fix tests
9f68d71d Fix tests
5a385392 Fix interpreter
b6fec06c Fix nightly build (ahash issue) (#1524)
b600142c Cleanup `alloc` / `std` imports for plonky2 (#1518)
6b39fc90 Remove risk of panics in interpreter (#1519)
d4213223 Fix dep
756d3a27 Clippy
e46112e3 Cleaning
061e70ce All tests passing
d2598bde Revert "Remove StarkProofWithMetadata (#1497)" (#1502)
4ea4807c Passing erc20 test
1a08e783 Fix no-std tests and add corresponding jobs in the CI (#1501)
06444eaa Switch permutation argument for logUp in `starky` (#1496)
fb8452de Merge pull request #1500 from topos-protocol/ci
246c2b62 Fix workflow
8f919133 Fix nightly version
212f29cf Add missing constraints mentioned by auditors (#1499)
af0259c5 Remove StarkProofWithMetadata (#1497)
f3f7433c Some cleanup (#1498)
63579636 Reorganize lookup / ctl modules (#1495)
e502a0df Make CTLs more generic (#1493)
1dc22b76 Fix BaseSumGenerator and BaseSplitGenerator Ids (#1494)
f76245e2 Cleanup imports (#1492)
a9060e61 Add LA audit report
36e62a13 Use usize::BITS and wrapping_shr in reverse_index_bits_in_place_small (#1478)
14bb5bdb Use web_time crate instead of std::time (#1481)
eff7cc0f Fix circuit sizes (#1484)
ca2e56e2 Fix bugs in jumpdest analysis (#1474)
c0700065 Improve `BIGNUM` operations (#1482)
acc59c35 Speed-up `bn254` pairing operation (#1476)
ae0907ff Merge pull request #1462 from 0xPolygonZero/pg/evm-licensing
8cb80e09 Improve `blake2f` call (#1477)
319fc6a2 Improve SHA2 precompile (#1480)
8e1969db Fix interpreter jumps (#1471)
b8a16b39 Fix typos (#1479)
265d46a9 chore: update ci workflow (#1475)
39a2d62d Fix touched_addresses removal (#1473)
10fc9660 Remove some more CPU cycles (#1472)
990eb34d Remove some CPU cycles (#1469)
30b47998 Fix simulation for jumpdest analysis (#1467)
5c1ec524 proofreading (#1466)
c4319dce fix: make add_generators public (#1463)
bb48cabd Add math rendering with Katex (#1459)
70483050 Fix fill_gaps (#1465)
c2a73ad8 Fix clippy (#1464)
219365d6 Packed rlp prover inputs (#1460)
ccd4ff87 Update Cargo.toml
de2709d8 Update README.md
7f5fae84 Add files via upload
b119e96f Merge pull request #1461 from 0xPolygonZero/eth_trie_utils_bug_fix
ab05d181 Bumped `eth_trie_utils`
f80ebe77 Remove full memory channel (#1450)
a78a29a6 Merge pull request #1423 from topos-protocol/jumpdest_nd
b05e84dd Interpreter GenerationInputs (#1455)
3b1ed824 Merge pull request #1447 from topos-protocol/plonky2_doc
cda30847 Apply review
ac9f704f Fix comment
f9c3ad66 Update empty_txn_list
fdedf3e3 Merge remote-tracking branch 'public/main' into jumpdest_nd
bead1d60 Adress review comments
233ddd4e Constrain syscall/exceptions filter to be boolean (#1458)
6ef0a3c7 Apply suggestions from code review
606732a8 Free up some CPU cycles (#1457)
99a1eb5c Missing review comments
ae4a720a Address comments
92aaa404 Apply suggestions from code review
0bf9cd2f Use current context in ecrecover (#1456)
c329b368 chore(evm,field,plonky2):fix typos (#1454)
85524cfa Intra doc link
33def084 Merge branch 'main' into plonky2_doc
aedfe5df Implement CTL bundling (#1439)
c8430dac Add Boolean constraints for `ArithmeticStark` (#1453)
54a13135 Improve some calls to `%mstore_rlp` (#1452)
1715573c Fix problems after address bundling
95c83add Merge pull request #1399 from topos-protocol/refactor_encode_funcs
5b71eb4e Address review comments
3c699be7 Merge remote-tracking branch 'public/main' into refactor_encode_funcs
22e267c3 Address bundling
bd02117c Fix `after_mpt_delete_extension_branch` (#1449)
f4be34dc Some more
dcbfef6d chore: fix typos (#1451)
82804e42 Add some more + module doc
80917cbe Merge remote-tracking branch 'public/main' into refactor_encode_funcs
7fc6b86d Minor
77f51095 Adress reviewer comments
cb19f219 Add crate-level documentation (#1444)
47b42856 Remove unused macro
2dacbfe2 Address bundling (#1426)
3e61f06a Remove gas check in sys_stop (#1448)
ed2e1bc7 Add comment
3c8b150f Rustdoc
20db596e Add some more explicit doc on plonky2 crate
18a14bf2 Remove assertion
897ba585 Remove assertion in packed verif
1c994737 Address comments
f4713c44 Apply suggestions from code review
247d655b Minor
8f1efa15 Fix minor error
ab4508fc Add packed verification
f46cf4ef Prevent some lints from being allowed (#1443)
6cf4df7d Add initial constraint z polynomial (#1440)
ef07eabf Pacify latest clippy (#1442)
1a95f7aa Clippy
9c573a07 Restore simple_transfer and Clippy
a85f9872 Fix bug in jumpdest proof generation and check that jumpdest addr < code_len
48b9769e Remove duplicated label
a8340496 Rebase to main
ae3003a9 Add alternative method to prove txs without pre-loaded table circuits (#1438)
c3d707c1 Constrain partial_channel (#1436)
dfcf276d Refactor encode_empty_node and encode_branch_node
cb3f91a0 add Debug trait to PartitionWitness to enable trace information output (#1437)
24ae0d9d Clippy
3e78865d Remove aborts for invalid jumps and Rebase
0ae56db0 Reabse to main
11d668f5 Remove aborts for invalid jumps
4e569484 Improve proof generation
c4025063 Clippy
aaa38b33 Fix fmt
08982498 Remove U256::as_u8 in comment
5acabad7 Eliminate nested simulations
0bec6278 Apply suggestions from code review
ed260980 Fix jumpdest analisys test
ff3dc2e5 Refactor run_next_jumpdest_table_proof
9e39d88a Rebase to main
6ababc96 Remove aborts for invalid jumps
7eff4e27 Constrain first offset of a segment (#1397)
829ae64f Improve proof generation
a291d92c Merge pull request #1392 from 0xPolygonZero/dp-from_values-take-ref
7cb04884 Minor cleanup (#1435)
096c7456 Constrain new top to loaded value in MLOAD_GENERAL (#1434)
18e08f4f Filter range checks (#1433)
f67ee258 Add exceptions handling to the interpreter (#1393)
536cd1c8 Regenerate tries upon Kernel failure during `hash_final_tries` (#1424)
ee91b67c Merge pull request #1432 from 0xPolygonZero/discord_badge
0b56ab75 Added a Discord badge to `README.md`
f8f6b07a Change context to current context for BN precompiles (#1428)
68b9f0ad Add ERC721 test (#1425)
a64311cf Add aborting signal (#1429)
77f1cd34 Clippy
5a0c1ad8 Fix fmt
ad8c2df8 Remove U256::as_u8 in comment
81f13f3f Eliminate nested simulations
fdd7ee46 fix: make `from_noncanonical_biguint` work for zero (#1427)
2c5347c4 Apply suggestions from code review
71dff6e9 Constrain MSTORE_32BYTES new offset limbs (#1415)
746e1344 Fix jumpdest analisys test
f76ab777 Refactor run_next_jumpdest_table_proof
3e8ad086 Rebase to main
bc1a3c48 Merge `push` and  `prover_input` flags (#1417)
51ff8c5b Merge pull request #1420 from dzizazda/main
837434cf Fix a minor typo in evm/spec/cpulogic.tex
4e4e61c2 typo fix
00ed16fc minor typo fix
724437d0 typo fix
942e43ab typo fix
bfcfcdb4 Add `Checkpoint` heights (#1418)
5607faf3 Check that limbs after the length are 0 (#1419)
3195c205 Merge MSTORE_32BYTES and MLOAD_32BYTES columns (#1414)
56e83956 Merge pull request #1416 from AdventureSeeker987/main
43ecf1df chore: fix some comment typos
7efd147e Use mstore_32bytes to optimize decode_int_given_len (#1413)
edfc86c3 Remove is_keccak_sponge (#1410)
170ce5f2 Preinitialize all code segments (#1409)
a90aa40b Implement MPT preinitialization (#1406)
4ba7718e Optimize asserts (#1411)
47e24306 Remove GenerationOutputs (#1408)
46b6aa10 Implement degree 2 filters (#1404)
2d36559d Make some functions const (#1407)
7ac6bf2c Implement `PublicValues` retrieval from public inputs (#1405)
6c3e3c0e Use logUp for CTLs (#1398)
cb2a22a5 Update stack op cost (#1402)
d28ba240 Pacify clippy (#1403)
d682769b Fix set_context constraints (#1401)
2d0df393 Merge pull request #1391 from succinctlabs/chris/recursion
32d00967 Fix kernel codehash discrepancy (#1400)
5572da30 Remove intermediary block bloom filters (#1395)
30c944f7 Remove bootstrapping (#1390)
e68195fc chore: Remove TODOs about `from_values` taking a reference
37918ccc Revert "chore: from_values takes ref"
471ff68d Optimize `num_bytes` and `hex_prefix_rlp` (#1384)
7cc123e0 chore: from_values takes ref
b598e6ff VerifierCircuitData Clone,PartialEq,Eq
64cc1000 Move stack_len_bounds_aux to general columns (#1360)
96f3faf2 Changes in interpreter and implement interpreter version for add11 (#1359)
6dd2e313 Add upgradeability to `AllRecursiveCircuits` and output verifier data (#1387)
3440ba94 Remove extra rows in BytePackingStark (#1388)
2a6065b4 comment
ab70bc53 Fix run_syscall in interpreter. (#1351)
2039e18f Fix genesis block number in `prove_block` (#1382)
acd3b1ad Merge pull request #1383 from topos-protocol/mpt_specs
110a8eff Update evm/spec/mpts.tex
ee450d6d Remove redundant sect about MPT
36e31c53 Address comment
08e0afe4 Fix typo in evm/spec/mpts.tex
c7951fcc Update evm/spec/mpts.tex
12b522cb Update evm/spec/mpts.tex
98bed16a Update evm/spec/mpts.tex
0c0818c7 Update evm/spec/mpts.tex
c6178a45 Update evm/spec/mpts.tex
a3b5e13e Update evm/spec/mpts.tex
3af316f3 Add MPT specs
d4b05f37 Add specs for stack handling (#1381)
a7364586 Backporting gas handling to the specs (#1379)
2d5a84a1 Add specs for the CPU table (#1375)
bec1073c Explain difference between simple opcodes and syscalls (#1378)
48e2b24b Add range check constraints for the looked table (#1380)
8d473168 Add specs for BytePackingStark (#1373)
fe311c7f Check is_kernel_mode when halting (#1369)
98b5e5be Initialize blockhashes (#1370)
06933b1d Starting the specs for the CPU logic (#1377)
1f65a8a8 Add exceptions to specs (#1372)
0c4d9a8e CTL and range-check documentation (#1368)
f1be8409 Update README.md (#1371)
7a50292a Update README.md
f2b75fa5 Update README.md
edeb2c76 Merge pull request #1367 from 0xPolygonZero/avm-readme
29762c85 Update README.md
d98305b3 Create README.md
398b15c1 wip
79c6de14 Update Keccak-f specs. (#1365)
b44fc0d6 Add specs for KeccakSponge (#1366)
b9328815 Reduce visibility (#1364)
ddecf8bd Update specs for Logic and Arithmetic Tables (#1363)
f879d925 Add doc for privileged instructions (#1355)
2c951de4 Update Memory in specs (#1362)
24aa9668 Revert "Make gas fit in 2 limbs (#1261)" (#1361)
40d3c6dd Merge pull request #1294 from matthiasgoergens/matthias/make-clippy-happy
eda7fd65 Constrain is_keccak_sponge (#1357)
4dc42c51 Merge public values inside prove_aggreg (#1358)
0e63e661 Implement out of gas exception (#1328)
01f229a8 Add push constraints (#1352)
a0876d73 Refactor JUMPDEST analysis (#1347)
6f2b3349 Fix parsing of non-legacy receipts (#1356)
f7d5e7c4 Fix MSTORE_32BYTES in interpreter (#1354)
6d751b13 Remove values of last memory channel (#1291)
75ae0eb5 Merge pull request #1346 from 0xPolygonZero/dp-unwrap-hunting
88fcc329 Reduce visibility for a bunch of structs and methods in EVM crate (#1289)
5800e6ad Add run_syscall and tests for sload and sstore (#1344)
cc0cdd07 Remove unnecessary code duplication (#1349)
3810bd1a Charge gas for native instructions in interpreter (#1348)
5c41dc4d Range-check keccak sponge inputs to bytes (#1342)
d2b5882a Root out some unwraps
ec41b754 Fix ranges in AllRecursiveCircuits initialization for log_opcode aggregation test (#1345)
01bbf1a0 Constrain clock (#1343)
954d1a77 Remove logic for multiple txns at once (#1341)
5d5628b5 Move empty_check inside final iteration
605932d1 restore `no-std` support (#1335)
e41435e9 Add memory checks for prover_input, as well as range_checks for prover_input, syscalls/exceptions (#1168)
fa93454c Add withdrawals (#1322)
19178072 Remove `len` column in `KeccakSpongeStark` (#1334)
099994ab Add test for ERC20 transfer (#1331)
d8f6de25 Merge pull request #1329 from shuoer86/main
d941539b Fix typos in comments
a0ea26f4 Fix typos in comments
d2b549af Constrain uninitialized memory to 0 (#1318)
f71f227d Add test for selfdestruct (#1321)
1e8ed78f Merge pull request #1320 from topos-protocol/fix-combine-keccak-jumpdest
85b38bec Fix merging of jumpdest and keccak_general.
41362075 Combine JUMPDEST and KECCAK_GENERAL flags. (#1259)
20501d9b Add context constraints (#1260)
3ca16620 Merge pull request #1317 from topos-protocol/more_memcpy_bytes
6332900d Combine PUSH0 and PC flags. (#1256)
0d97b93a Add some documentation in EVM crate (#1295)
afd357f4 More of memcpy_bytes
0f299d4c Merge pull request #1316 from topos-protocol/memcpy_tiny
af4935cd Merge NOT and POP flags. (#1257)
4b40bc03 Remerge context flags (#1292)
c96a8700 Move empty check inside final iteration
0258ad4a Merge pull request #1314 from topos-protocol/refactor_wcopy
6f52b76d Review
7447959f Fix kexit_info in test
666a155d Remove new_stack_top_channel from StackBehavior (#1296)
15a9e992 Fix test on interpreter side
75fdd342 Fix calldatacopy
ade5b8c3 Fix
a9e47afc Refactor codecopy
a1b178f6 Refactor memcpy
3feb04d2 Refactor wcopy syscalls
3aeec83a Add missing constraints for DUP/SWAP (#1310)
44af80f2 Merge pull request #1309 from topos-protocol/fix_padding_in_wcopy
c1c1ab6d Fix wcopy and extcodecopy for ranges over code limit
ed5ec3ca Merge pull request #1307 from topos-protocol/fmt
b31f7061 Apply rustfmt with latest nightly
b212fff7 Merge pull request #1306 from topos-protocol/fix_empty_last_chunk
8326db60 refactor: remove usage of unstable `generic_const_exprs` in starky (#1300)
60811d08 Also for memset
83054b0f Handle empty case for memcpy_bytes
8af189b9 Merge pull request #1305 from topos-protocol/memset
385ab3c6 Remove redundant
d185d30e Speed-up memset and fix it to write 0 values
0300a322 Merge pull request #1304 from topos-protocol/memcpy_bytes
4140eb54 Fix
503a31b6 Reviews
e2b66206 Merge pull request #1302 from topos-protocol/remove_kernel_memory_zeroing
9607a41b Merge pull request #1303 from topos-protocol/amortize_receipt_reset
595dfa6b Merge pull request #1301 from topos-protocol/submod_kernel
ba61d15c Add macro for copying sequences of bytes
6d2586ef Amortize bloom reset
40de5059 Remove outdated code
07ffe4f5 Combine stack macros for fewer operations
6ca9970a Alter stack to remove SWAPs for SUBMOD
29005dc5 Use SUBMOD in Kernel
05006deb Pad according to RATE rather than WIDTH (#1299)
49976ea2 Check gas in sys_stop (#1297)
817e3e78 Combine DUP and  SWAP (#1254)
29fdd3e3 minor: use explicit builder.assert_zero for readability (#1293)
c9391be0 Update check_ctls with extra looking values (#1290)
f9242702 Make clippy happy
d89966b0 Merge pull request #1288 from 0xPolygonZero/git_dep_org_update
a02a2ecb Updated `mir-protocol` --> `0xPolygonZero`
1d604319 Store top of the stack in memory channel 0 (#1215)
762e6f07 Fix hash node case in `mpt_delete_branch` (#1278)
d7990ee1 Add journal entry for logs (#1286)
9fd0425f Fix journal order in `sys_selfdestruct` (#1287)
49ca63ee Fix sys_blockhash (#1285)
2aeecc3d Fix failed receipt. (#1284)
b4203c3d Make sure success is 0 in contract failure (#1283)
41a29f06 Remove some dead_code in EVM crate (#1281)
8a5eed9d Fix shift constraint (#1280)
e58d7795 Remove reg_preimage columns in KeccakStark (#1279)
0de6f949 Remove extra SHL/SHR CTL. (#1270)
51eb7c0b Merge pull request #1276 from topos-protocol/fix_empty_to_encoding
571dc14f Fix encoding for empty recipient
3ac0c4ae Fix genesis state trie root when calling `prove_root` (#1271)
cd36e96c Derive clone for txn RLP structs (#1264)
0f19cd0d Make gas fit in 2 limbs (#1261)
4e2cba56 Merge pull request #1262 from topos-protocol/fix_rc_doc
8afd06cf Fix description of Range-Check columns in STARK modules
30005957 Optimize lookup builder (#1258)
1ff6d4a2 Merge pull request #1235 from topos-protocol/new-logup
f49fbc8e Transactions trie support (#1232)
acc659da Add type 1 and 2 txn for RLP encoding support (#1255)
916ce0dd Merge pull request #1228 from topos-protocol/constrain-genesis-state
5694af79 Merge remote-tracking branch 'mir-plonky2/main' into constrain-genesis-state
75c0e47a Apply comments.
03a95581 Handle additional panics (#1250)
72241ca7 Connect block_gas_used (#1253)
a24cd4f3 Merge pull request #1251 from topos-protocol/fix-observe-challenges
043d12c2 Fix observe_block_metadata
8c78271f Add `random` value to block metadata and fix `sys_prevrandao` (#1207)
bbc6fe76 Merge branch 'main' into 'new-logup'
3983969c Use function for genesis block connection.
9d0101d6 Merge branch 'main' into 'constrain-genesis-state'
0abc3b92 Apply comments (#1248)
d6be2b98 Remove `generic_const_exprs` feature from EVM crate (#1246)
70d6dd97 Merge branch 'main' into new-logup
f438d45f Merge branch 'main' into 'new-logup'.
6618cfad Remove SEQUENCE_LEN in BytePackingStark (#1241)
1b7207ee Merge pull request #1244 from topos-protocol/block_metadata_doc
459e9b3d Merge pull request #1245 from topos-protocol/indexing_tables
d8874c83 Update ranges indices
c468465c Merge pull request #1243 from tamirhemo/main
edd3f383 Add some doc for BlockMetadata / ExtraBlockData
8a19f436 Merge pull request #1242 from topos-protocol/fix_multi_row_ctl
8839285f add trait bound
a44379b5 fmt and clippy
7d7f01da refactor prove method
4eb6a3b5 Fix eval_table
ca441872 Merge branch 'main' into new-logup
b60a3d4b Merge pull request #1239 from topos-protocol/mload_mstore_with_packing
053553d4 Reuse new packing instructions for MLOAD and MSTORE
696377ba Merge pull request #1231 from topos-protocol/error_vs_panic
b5c28bd6 Rename utility methods for U256 conversion
f07351fc Merge pull request #1238 from topos-protocol/cleanup
f3ea95ca Merge branch 'main' into error_vs_panic
c4be838a Typo
d1c00767 Cleanup lookup_test module and reduce module visibility
15064b3a Merge pull request #1229 from topos-protocol/next_row_ctls
1a4caaa0 Move next row logic inside Column
ffa71787 Merge remote-tracking branch 'mir/main' into new-logup
a9b7b5a6 Revert "Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]"
8903aec1 Change padding rule for CPU (#1234)
865f185b Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup
1afcafad Merge pull request #1236 from topos-protocol/ci
5db6abf0 Update clippy in CI
4f0330ad Update clippy in CI
ec9e6196 Fix range
66f935a7 Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]
91000591 Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup
9697c906 Clippy
7dc2a774 Cleanup
c5af894e Add assert with char(F). Cleanup. Fix recursive challenges.
9ab8a118 Remove one helper function
17f661f9 Fix BytePacking range-check. Fix lookup challenges
c9c0f8b7 Use CTL challenges for logUP + change comments + add assert
f65ad58a Implement logUp
d4a8026b Combine mstore_general and mload_general into one flag (#1188)
27d9113f Merge branch 'main' into next_row_ctls
0b5ac312 Merge pull request #1203 from topos-protocol/constrain_nv_stack_len
19220b21 Remove redundant Keccak sponge cols (#1233)
06bc73f7 Combine arithmetic flags on the CPU side (#1187)
61a1c246 Fix CTLs
c27fc96a Merge branch 'main' into next_row_ctls
f944a08b Fix self_balance_gas_cost and basic_smart_contract. (#1227)
7ebbb47f Swap ordering in stack macro (#1230)
5a1b05ac Remove risks of panic
9508b490 Move byte packing / unpacking to a distinct table (#1212)
3c4f938f Make next row available to CTLs
4d7d9ffa Constrain genesis block's state trie.
d1c395ef Merge pull request #1202 from mir-protocol/keccak-preimage
3571f097 Merge pull request #1224 from mir-protocol/latest-nightly
9a8a769d more clippy suggestions
55d05147 clippy suggestions
a4e6c6ae clippy suggestions
7415810f clippy suggestions
8af3b0fe clippy suggestions
ed8bcf9d clippy suggestions
1dd77d6d fmt
e947a624 suppress incorrect Clippy error
967f7b12 latest nightly in CI and rust-toolchain
65917f5f Merge pull request #1222 from mir-protocol/internal_crate_path_stablization
2f1ed951 Merge pull request #1220 from mir-protocol/latest_nightly_fix
90ea0318 Merge pull request #1223 from succinctlabs/uma/change-witness-visibility
faa70e07 Merge pull request #1219 from succinctlabs/uma/add-mock-feature-flag
a184f09b Made visibilities outside of crate to allow for forking partial witness gen outside of crate
1be1ca4d clippy
a6433071 Fixes
5936c67f Now refers to sub-crates using paths (and removed `patch` section)
180c2094 Merge pull request #1208 from topos-protocol/blockhash_opcode
71b2ece1 Merge pull request #1216 from topos-protocol/checkpoint_lengths
0b7c4082 Merge pull request #1218 from topos-protocol/keccak_col
05e9fc0b Apply Nick's comment
d0379e94 Apply Nick's comment
4716fe7d Also included clippy fixes introduced by new nightly
6d3d2cb2 Now builds on the latest nightly
5a3c8b26 clippy
0ca796e1 Removed mock feature flag and added mock_build
170f7d83 Fix Clippy
9a06fc9b Fix memop reads, from_prover_inputs and cleanup.
ddf2b817 Clippy
1c01d682 Fix overflow check and test. Remove [..8] when using h256_limbs.
c30b1834 Change h256_ulimbs
4e0fe74a Apply comments
42f70380 Add blockhash sys opcode
4782519d remove spurious
18d31412 Added mock feature flag and test
258b075f Remove filter column for KeccakStark
e6ca4606 Merge pull request #1214 from jtguibas/jtguibas/serde-target
5690b951 Merge pull request #1217 from topos-protocol/cleanup_duplicates
fa9aae1f Remove duplicate code
6207f446 Merge pull request #1206 from topos-protocol/missing-public-value-links
8dcb29e5 Display actual trace lengths instead of number of ops
800603d6 feat: serde for targets
a7096546 Merge pull request #1209 from topos-protocol/receipts-all-types
d4b71c56 Replace genesis state trie check with TODO
6bd17e29 Apply comments
dd3b61a3 Merge pull request #1211 from mir-protocol/comment-fix
ac89c7cd Fix comment in `proof.rs`
bf21b278 Apply comments
9ba2b895 Implement receipts of types 1 and 2
b0764436 Add missing links between public values
8beba569 Constrain next row's stack length
ea03e418 Keccak STARK: constraint preimage to equal A on first round
760f09a8 Merge pull request #1201 from shuklaayush/fix/keccak-stark-reg-preimage
301aedf0 fix: constrain higher bits of reg_preimage
a0b2b489 Merge pull request #1200 from topos-protocol/fix_empty_txn_list
71967147 Update range from ReceiptTrie PR
6e7fcc9e Merge pull request #1199 from jtguibas/john/make-generate-partial-witness-pub
d3f33bae make generate partial_witness pub
62f271a8 Merge pull request #1198 from mir-protocol/public_values_serde
975fd451 Made `PublicValues` serializable
86fb6aa0 Merge pull request #1097 from topos-protocol/receipts_and_logs
6a2e2423 Clippy
caae038c Cleanup
5b962f3c Change receipts_trie in basic_smart_contract and self_balance_gas_cost
ad9796cb Fix tests and address comments
925cdd53 Cleanup
c0b4f155 Implement receipts and logs
44115de7 Merge pull request #1174 from topos-protocol/merge-context-flags
a881c70e Merge pull request #1191 from mir-protocol/eth_trie_utils_patch
18ca89f0 Patched plonky2 to use a patch for eth_trie_utils
4e5f6e7e Apply comment
10bbda03 Remove unnecessary changes in the Operation enum
c3cb2278 Combine get_context and set_context into one flag
74212a29 Merge pull request #1192 from topos-protocol/misc_constraints
f6f9fa31 Merge pull request #1190 from topos-protocol/mpt-remove-cow
06e20f87 Apply comment
a94d9282 Merge pull request #1194 from topos-protocol/block_basefee
8476fdcd Refactor
9a450068 Update BlockBaseFee to fit in 2 limbs
c138f2d6 Merge pull request #1193 from topos-protocol/observe_pv
68bb4967 Update tests to have a blockgaslimit fitting u32s
976d7521 Observe public values
0b78c43f Remove filtering in membus
91e8d52d Reduce overconstraining in decode module
b711e527 Combine a few constraints
d96c6491 Merge pull request #1165 from topos-protocol/ci-test
d70d67fa Remove copy on write for mpt_insert and mpt_delete
1997bf24 Implement inverse from Fermat little theorem (#1176)
eb7bb461 Merge pull request #1189 from topos-protocol/remove_is_bootstrap_kernel_flag
49d92cb8 Remove is_bootstrap_kernel column
683501cc Merge pull request #1183 from topos-protocol/remove_is_cpu_cycle_flag
815a02ab Remove is_cpu_cycle
89e62e55 Use Keccak config in simple tests
7b07229b Add guidance for external contributors to README.md
830fdf53 Merge pull request #1184 from topos-protocol/combine_jump_flags
12f379f9 Combine jump flags
470788d0 Merge pull request #1185 from topos-protocol/combine_simple_logic_flags
7cdb6baf Merge pull request #1177 from topos-protocol/alloc
7829dccf Combine EQ and ISZERO flags
dc7e0aa7 Merge pull request #1181 from topos-protocol/combine_logic_flags
654f7cac Comment
e10eaad0 Combine all logic flags together
437f57a8 Fix logic CTL
5100e032 Revert changes in cyclic_subgroup_unknown_order
8541a04b Apply Nicholas comment
56ebda49 Address review
12a687d3 Reduce reallocations
ee9ce4c5 Combine AND and OR flags in CpuStark
6f98fd76 Merge pull request #1147 from metacraft-labs/gate_make_public_parameter
5f4b15af Connect SHL/SHR operations to the Arithmetic table (#1166)
df07ae09 Write trie roots to memory before kernel bootstrapping  (#1172)
c9eed2bb Connect public values in aggregation circuit (#1169)
397ee266 Merge pull request #1171 from topos-protocol/exception-flag
017e6217 Set exception flag to 1.
e6407089 Error instead of panicking for missing preprocessed circuits (#1159)
b2626fdc Merge pull request #1162 from topos-protocol/cleanup_attributes
9eeb69f0 Merge pull request #1105 from topos-protocol/poseidon_warning
bf1ed783 Merge pull request #1161 from topos-protocol/fix_recursive_ctl
c9bd32d5 Fix trait import. (#1163)
9f8c1522 Remove unused attributes
4a762e33 Merge pull request #1160 from topos-protocol/keccak_general
5b9e8d85 Merge branch 'main' into poseidon_warning
bd3834c4 Silence Poseidon warnings for ARM targets
5316f890 Clippy
8365608b Convert to u32 instead of u64
c93f9d5f Fix endianness in benefiary limbs
bca3e09b Reuse set_public_value_targets
f01098a7 Constrain keccak general
9e0719e6 Better document constraints on addcy carries (#1139)
d8e314bc Merge pull request #1155 from 0xmozak/matthias/generalise-transpose
8c6e8d63 Merge pull request #1158 from mir-protocol/jacqui/gas-check-spec
c52ed29e Gas handling brain dump
eebf7eb0 Merge pull request #1157 from mir-protocol/update-versions
b414b8e9 fmt
f574effe make imports conditional on config
84321955 update versions in cross-crate references
3a556029 update versions for crates.io updates
7537193d Generalise transpose
5b8740a7 Merge pull request #1026 from topos-protocol/memory-ctl-verifier-bus
3b21b87d Merge pull request #1151 from mir-protocol/jacqui/dead-memtable-cols
7a882d0a Clippy
6253a68e Change public values into public inputs
59b73c84 Apply comments
1590c1d0 Fix indices in CTL functions
f97deab8 Remove non-passing debug assert
06037f81 Fix the memory CTL and implement the verifier memory bus
b3f00d4a Merge pull request #1146 from topos-protocol/overlap-cpu-syscalls
831fe862 Cut 5 Columns From The Memory Table With This One Weird Trick!
bfd6b988 Merge pull request #1148 from topos-protocol/lookup_check
ee9cd80c Change arg to non-mutable reference
0276446e Add additional lookup unit tests
dc70902f Remove always true condition
bc246780 Fix name in ID
6ca3f1a9 Make GateRef value public
bfa7ab36 Merge pull request #1111 from topos-protocol/lookup_serial
16227f90 Merge syscall and exceptions constraints.
0f52c889 Merge pull request #1145 from mir-protocol/npwardberkeley-patch-1
535fb7d8 Update prover.rs
e047676e Merge pull request #1114 from onsen-egg/onsen-egg/lookup-opt
a67cfdcb Precompute RE poly evals for challenges
03d90f30 Faster multiplicity counting for lookup tables
167518ed Merge pull request #1143 from succinctlabs/build_issue_on_mac_M2
6a772879 Fix negative quotient issue (#1140)
25678f46 Merge pull request #1144 from mir-protocol/build-in-subdirectories
f3e87ec4 CI: build in subdirectories
8a86e195 fix: add itertools/use_std feature flag for [std]
2d8c02bf Merge pull request #1138 from 0xmozak/bing/dep-serde-rc
7ba051f4 Fix failing byte constraint (#1135)
152e3959 Merge pull request #1137 from topos-protocol/fix-kernel-panic
e28b484a deps(serde): use rc
1af1afcf Change current context in bignum_modmul
cf278eac Merge pull request #1136 from topos-protocol/div_by_zero
f116c855 Fix risk of division by zero
b27389df Merge pull request #1134 from topos-protocol/avx_tests
04657d24 Fix import
1d6ca589 Add LUT hash to remove CircuitBuilder overhead
4893a860 Merge pull request #1116 from topos-protocol/recursive_ranges
00579850 Merge pull request #1132 from mir-protocol/dependabot/cargo/itertools-0.11.0
8b35fefb Rename cd to common_data for consistency Cf review
cbb3da15 Reduce number of lookup accesses
b32345cd Update lookup serialization
c8020126 Provide methods for ProverOnlyCircuitData serialization
544aff27 Also provide CommonCircuitData in serialization of gates and generators
47781e47 Add CommonCircuitData to gates deserialization method
b43d6c1d Add CommonCircuitData to generators deserialization method
d684ee2d Switch Field type of generators to be F: RichField + Extendable<D>
5d513207 Update itertools requirement from 0.10.3 to 0.11.0
4400757f Merge pull request #1128 from mir-protocol/dependabot/cargo/hex-literal-0.4.1
dc170915 Merge pull request #1131 from mir-protocol/dependabot/cargo/criterion-0.5.1
c202f4bc Merge pull request #1129 from mir-protocol/dependabot/cargo/ahash-0.8.3
0f284ca6 Merge pull request #1130 from mir-protocol/dependabot/cargo/hashbrown-0.14.0
63b8ceba Merge pull request #1124 from 0xmozak/matthias/remove_unused_deps
e3f12709 Merge pull request #1123 from 0xmozak/matthias/fix-readme
b0c5ddc0 Update criterion requirement from 0.4.0 to 0.5.1
fc70f36c Update hashbrown requirement from 0.12.3 to 0.14.0
0d9208a6 Update ahash requirement from 0.7.6 to 0.8.3
413f589e Update hex-literal requirement from 0.3.4 to 0.4.1
cc45ac9a Merge pull request #1125 from 0xmozak/matthias/fix-resolver-warning
1f561771 Merge pull request #1126 from 0xmozak/matthias/add-dependabot
7437fe2b Fill modulus in cpu row for Fp254 operations. (#1122)
9e748a47 Enable github's Dependabot
6c2f76d5 Fix resolver warning
4b0fc861 Remove unused dependency `blake2` from `evm` crate
f6b2e742 Fix spaces and wording in README
ee5d1aa6 Merge pull request #1033 from 0x0ece/transpose
398f86af Merge pull request #1092 from matthiasgoergens/matthias/move_to_field
2d7a94de formatting
94f880b6 Merge pull request #1104 from topos-protocol/serializer
dca50adf Merge pull request #1119 from mir-protocol/jacqui/topos-protocol/stack_len_bounds_aux_error
6b493d6f Remove redundant case (error in kernel mode)
1664ab44 Merge pull request #1112 from topos-protocol/fix-generate-jump
7aa5ed3b Merge pull request #1117 from topos-protocol/fix_set_context
b9b227c8 Merge pull request #1118 from mir-protocol/revert-1109-new-clippy-fixes
14c40115 Revert "clippy fixes"
f08afec6 Merge pull request #1109 from mir-protocol/new-clippy-fixes
5bff02a1 Fix generate_set_context
0a59aa6e Remove need for matching start ranges
325cd2f7 Compute stack_len_bounds_aux correctly in generate_error
224064bf Fix jump operation generation
c982826e Add feature "rc" to serde crate import
3870524a Merge pull request #1113 from topos-protocol/ci
6bd575d1 Fix nightly version in CI
dbb23587 Merge pull request #964 from topos-protocol/lookup
96fbecd9 ignoring where appropriate (for izip), fixing elsewhere
b0568a79 remove useless vec
0fec1124 update itertools
08a6e66d fix
5b08ac58 fix
3c776a8d clippy fixes
4df4d865 No default implementation
91c55d15 Add wrapper types for Lookup and LookupTable
43512371 Review
c0fc349c Fix lookup serialization and update with latest serialization changes
7e80b42a Serialize Lookup gates and generators
35abffd5 Implement lookups with logarithmic derivatives in Plonk
6122dccb Move operations to Field
56a127eb Make Buffer available in no-std
d960bfe2 Make serializer work with slices instead of Vec
3de92d9e Merge pull request #1102 from mir-protocol/modexp-memory-context-change
605ea47f reset Cargo.toml
897e2e99 fix
54cf74ac addressed comments
975e9a49 fmt
8eeca9be undo dummy change
2fa43121 dummy change to get tests to rerun :P
9bb6da04 fmt
afd4bd04 cleanup
bc53ddc5 fix
264192aa modexp uses current_general
39d2237d Merge pull request #1101 from mir-protocol/blake_fix
ee452fc0 Merge pull request #1099 from mir-protocol/blake_fix_fix
ef8ea64d Minor
7559bb2f Minor
83ee5fd6 Minor
c8ff80ca Fix blake2 fix
7ca56768 fix
246eb8d8 blake fix
23bc390a Merge pull request #1095 from mir-protocol/jacqui/push0-opcode
3eb41edb William comments
564864ea Remove parts of the copy-on-write logic (#1096)
cedeff52 PUSH0
9cc35360 Merge pull request #1082 from mir-protocol/jacqui/simplify-stack-bounds
8ded9e84 Minor: William comment
ec07255f Fix halt loop (#1094)
01efa013 Fix account touch in calls (#1093)
ba705703 Use current context for pairing memory (#1091)
9838a367 Check call depth in create (#1089)
e51c4d0d Set returndata size to 0 in some create errors (#1088)
d37c5455 Increment call depth in precompiles (#1087)
56e7ad00 Fix LOG* gas (#1086)
68b15ea5 Fix CALLDATALOAD for large offsets (#1085)
f852984e Implement PREVRANDAO as if it was DIFFICULTY (#1084)
6920992e Simplify stack bounds constraints
01175419 Merge pull request #1071 from mir-protocol/jacqui/bad-opcode-witness-generation
ae290dbf William PR comments
0f7e1c0b Call stack depth (#1081)
0f874317 Minor fix to REVERT (#1080)
90bb4741 RIPEMD doesn't get untouched (#1079)
fd48e5d1 Contract creation fixes (#1078)
77f0d8b5 Don't revert state in CREATE in case of OOF or nonce overflow (#1077)
63a6e706 Fill BLOCKHASH and PREVRANDAO syscalls with dummy code (#1076)
0e23606e Revert #1074 (#1075)
5a13b62d Don't overwrite existing account (#1074)
2cf31f5f Prevent shift ops from panicking (#1073)
d3387172 Commit missing file
c773476c Minor docs
55b29cac Remove bootloader.asm (#1072)
3ecf5309 Minor bugfixes
448bc719 Lints
1d804e46 Fix stack after precompiles (#1061)
7ab0bba5 Merge branch 'main' into jacqui/bad-opcode-witness-generation
b7220428 Error handling
973624f1 Minor fixes to RETURN and RETURNDATACOPY (#1060)
720faa67 Fix create OOG because of code deposit cost (#1062)
fbf6591b Warm precompiles earlier (#1065)
f605d912 Propagate static flag (#1066)
73079796 Fix pairing invalid input (#1067)
49bbe4e0 Fix arithmetic stark padding (#1069)
0d819cf8 Implement EVM `BYTE` operation (#1059)
8153dc78 Remove `-C prefer-dynamic=y` from CI build.
a492d3e1 Fix revert gas bug
7dfdacf2 Fix return and revert gas (#1058)
42f33017 Fix ecrecover edge case (#1057)
c0abefda Fix DUP in call gas
e6a7b8c5 Add contract creation flag (#1056)
30b97b29 Fix DelegateCall bug
9727eaf1 Fix extcodehash when account is empty (#1055)
08a061bc Implement LOG* gas and remove panic (#1054)
354664c8 Fix ecmul (#1053)
6e303601 Support for type-2 transactions (#1052)
9b0092ab Support for type-1 transactions (#1051)
15dec6fa Encode `to` as B160. (#1011)
beefc91d Pop checkpoint in the right place
5a7c176c Fix issues related to CREATE2 collisions (#1050)
e720090e Merge pull request #1041 from mir-protocol/storage_addr_h160_to_h256
d57b62ff Perform jumpdest analysis whenever entering a new context (#1049)
971bfba6 EIP-2681: Limit account nonce to 2^64-1 (#1048)
8faea881 Don't add an event for account creation for pre-existing account (#1047)
29fac4ca Check balance in create (#1046)
1616c0ba Fix extcodecopy
3a9e5cc0 More fixes to contract creation (#1045)
49979df9 Fixed failing test
a294c7e2 Some fixes to contract creation (#1044)
84c15606 Minor fixes to returndata and create (#1043)
10e6c768 `TrieInputs` now uses `H256` for storage account addresses
ce6ac9f8 Merge pull request #1038 from mir-protocol/tests-memory-context-fix
c36ed15e Merge pull request #941 from mir-protocol/bls-fp2
6292d8d7 redundant
d3986e6b merge successful
59ae7103 merge
244d5e9b Add refund journal event and checkpoint after access address event (#1040)
bde7fb50 Various fixes to checkpoint logic (#1039)
e5b0fce6 revert testing changes
3a77c5a0 fix
14f92f7b Cargo.toml change for testing
b116929f Delete touched recipient in EOA -> EOA (#1037)
6ebee38e fix
d05db497 Don't touch contract address in DELEGATECALL or CALLCODE (#1036)
bfd6834d Journal of state changes + state reversion  (#1028)
74ba3032 MPT deletion (#1025)
202985b2 Fix CALL gas (#1030)
944d4a24 SSTORE refund (#1018)
f1cc284d Optimize transpose
c134b597 Cross-table lookup for arithmetic stark (#905)
779456c2 Merge pull request #1029 from mir-protocol/precompile-memory-context-change
6f4f00c6 Merge pull request #1027 from mir-protocol/memory-refactor
2c5f6fd6 Fix compile time problems and generic hash implementation (#1024)
76fb3160 Merge branch 'memory-refactor' into precompile-memory-context-change
0d9e3216 fix (mstore_unpacking returns offset)
97aedd11 Merge branch 'memory-refactor' into precompile-memory-context-change
6e7fa6da fix
675d6440 Merge branch 'memory-refactor' into precompile-memory-context-change
57bcb451 use mstore_unpacking and mload_packing
6669f73a use mstore_unpacking and mload_packing
af12368a addressed comments & cleanup
98a75774 cleanup
5dc043aa Merge pull request #1012 from honeywest/transpose
a4a4fbb3 fmt
057b650f fix
a076da75 fix
24159886 precompile memory context change
d9694d95 fix
446c3b71 fix
b566dbd7 refactor memory/core.asm to make code more reusable
46c7903b Merge pull request #1023 from topos-network/clippy
92c2378c Fix clippy
f11921c9 Fix doubly_encode_rlp_scalar in the 0 case. (#1022)
653a6b15 Remove `generic_const_exprs` dependency from field crate. (#1020)
4380395e Merge pull request #1017 from mir-protocol/expmod-fix
91067e58 expmod edge case fix
b159c9e7 Merge pull request #1013 from topos-network/overflow-check
f0df03f6 Merge pull request #1009 from mir-protocol/expmod_precompile
099e7946 fixes
17a7c57d Change add_or_fault macro
1f39c555 Address overflow-related TODOs in ASM code, using a macro add_or_fault. This is related to https://github.com/mir-protocol/plonky2/pull/930/files/a4ea0965d79561c345e2f77836c07949c7e0bc69
40515dc6 Merge pull request #1014 from toposware/bootstrap_constraint
f3de2afc remove test file
cae5a2cf fix
050c2e65 fix: calculate gas properly
ab8ebdfb Merge pull request #1016 from mir-protocol/remove-proof-challenges-serialization
8d738729 Merge pull request #1015 from mir-protocol/clippy-fix
ade5b433 fix
30e58ad2 remove ProofChallenges serialization
8358b85d remove unneeded mut
08e6c352 addressed comments
037c2f5e addressed comments
841c5829 Fix todo in kernel bootstrapping
debe65f9 addressed comments
1d8f71f8 optimize transpose_in_place_square_small code
ae21ef8f Merge pull request #997 from mir-protocol/pairing-test
84f17699 comments
f9aad433 neutral input
397d5953 fix
031fe6ed Merge branch 'main' into expmod_precompile
9e4056e2 cleanup
badbf010 store and unpack at end
998cd8ab addressed comments
a638ebe0 fix
7ede443e Merge pull request #1006 from mir-protocol/blake_precompile
dc076df5 addressed comments
96742f29 addressed comments
e40b9edb addressed comments
9b18b3ae fix unit
16928fd0 peculiar...
b37e049a fmt
f6a49e88 fair naming
4a42ddb2 on stack
57113905 redundant
2aa83d9a Merge branch 'pairing-test' of github.com:mir-protocol/plonky2 into pairing-test
ae4b5091 neutral name
503cb8a9 random inp
4ad8520e SNARKV precompile (#1010)
b28e3e0d minor
ab721fa3 SSTORE gas (#1007)
efd5a81b Merge pull request #980 from mir-protocol/serialize_common_circuit_data
13c653bc mul works
6599c90a abstraction
78a368cf fix
8df0c743 remove build_without_randomizing (no longer needed)
b640bf63 serialize ProofChallenges
537debdc return bool
89122a3d it works
479e919c fmt
6dc094a8 test
4c235e5a Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
b4e06271 fix
d31c60a0 clean up
d928a70b clean
1e9db292 fixes
67a3edb2 Precompiles exist (#1008)
0d98e4b8 formatting
e642b824 move serialization to separate example
dc91554d expmod precompile
3b7ad771 cleanup
46d9cee0 charge gas!
9460acc1 rename blake2b
ce033410 fix
6a239c4f fix
a41cf018 fixed blake tests
11a03c5e Merge pull request #1005 from mir-protocol/precompile-fixes
621c63de clippy fix
c083cc63 fix
29a8367b fmt
2d98dd3c commented out unused functions
5dc44916 Merge branch 'main' into blake_precompile
454e0add fixed blake2_f, and testing
137a9966 Merge pull request #998 from mir-protocol/even-smaller-bignum-modexp-test
f225ea49 add comment
93398472 Merge branch 'precompile-fixes' into blake_precompile
1eba893e mload_packing macro
ffc5d6d6 Merge branch 'main' into precompile-fixes
43f4d2b8 clean more
14ee46c8 cleanup
0f662ed0 fixes
b7e93511 New contract hook (#1002)
a4b714e6 EIP-3541: Reject new contract code starting with the 0xEF byte (#1003)
472face2 EIP-3860: Limit and meter initcode (#999)
f3f3641f rename
975a35c3 fmt
f718f857 cleanup
8d50806b fix
b9f1c1c5 cleanup
858c59a2 cleanup
45c0d894 cleanup
905c5eb5 deterministic build function
146e6605 don't serialize challenges
66763c7d cleanup
993ed149 seralizing
34a03545 Serialize impls, and use in Fibonacci example
ea82d680 Merge pull request #981 from toposware/serialization
86acc15f blake precompile progress
b288ff5f Merge branch 'precompile-fixes' into blake_precompile
d5060ecd precompile optimizations
26204461 it works
9f0c2f47 blake precompile progress
dd58b9b5 dont panic
26d99a9b memory compress
0c55aa04 clean
50752246 clean
ff0695d7 renumber memory
f1bbf66c it works
c01b2bf2 minor
5f564b67 initial work on blake precompile
44a623d4 initialize out in asm
4e0be664 Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
b35d2524 Merge pull request #1001 from mir-protocol/eth_trie_utils_0_6_0_bump
db93bada Bumped `eth_trie_utils` to `0.6.0`
1a0a6300 EIP170 (#1000)
723f197d Cleanup
099c4b97 msg
82bca7fa error
b661a709 twisted check
2a9c5cfd Add serialization check in square_root example
bf02a3e8 Make generators public
5de5bfb5 Move serialization files into dedicated module
0e465c1c Customize range specification for AllRecursiveCircuits
f71139d9 Add serialisation support for gates, generators, and various structs
f7f5fb4e Change display for GoldilocksField
6edd5891 Gas and more for `CREATE(2)` (#995)
a8e5613b EOA to precompiles logic (#993)
df4a6f01 fix for full modexp test
6d84b988 fmt
cb23bfca check for special cases and align with yellow paper
bbe64674 tests passing
3628021a fmt
d6584dcb restructure tate test
3e437a0c oops remove more debug stuff
bf5dc256 undo debug commenting
0df18d5e tests
de94ac25 missing file
3444e810 even smaller bignum modexp test, and fixes
21a1a98a reorg
ca3a7f8a Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
9b54ee43 refactor
c0ced26f Merge pull request #992 from mir-protocol/smaller-bignum-modexp-test
0e082432 reorg
ada250f3 Merge branch 'main' into smaller-bignum-modexp-test
d8fef87a Only print warning or errors from the log. (#996)
2e16ab04 Replace %stack calls with equivalent opcodes. (#994)
3a3ff87a fmt
7dda0eff works
1f077628 new api
c9b09936 compiles
d112c716 fmt
a704b152 even less thorough :P
a4f60a04 less thorough bignum modexp test
049a258b Merge pull request #991 from mir-protocol/disable_couple_tests
8562abe0 Disable a couple tests
690fd100 Merge pull request #990 from mir-protocol/mpt_failure_labels
67593f16 Labels for failed MPT read/insert
e6864e98 Merge pull request #985 from toposware/kernel_serial
5dfac715 Fix generic const expressions warning (#984)
9037ceb0 Merge pull request #986 from mir-protocol/incremental_release
eb7468e7 Incremental release builds
df5a90cc Provide methods for serializing Kernel
6b2503f7 Merge pull request #970 from toposware/env
3cc39fa4 wip
9d60191d Implement returndatasize/returndatacopy for interpreter
191ca102 comment
0b85c8bb getting there
0b9ef768 nl
2106ae07 Merge branch 'bls-fp2' of github.com:mir-protocol/plonky2 into bls-fp2
a5c6b14e Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
9b9cd735 Update evm/src/extension_tower.rs
6946eaca Implement codesize/codecopy for interpreter
0f3285c3 Implement gasprice on the interpreter
e9cc5632 Impl caller/address/origin opcodes for interpreter
b721236e Precompiles interface (#983)
b896f9b2 Merge pull request #974 from toposware/stack_bound
c8637635 Remove dummy_yield_constr
4946c3d5 Merge branch 'main' into stack_bound
5fce67d1 Merge pull request #978 from toposware/stack_constraints
32a6bdf1 Merge pull request #971 from toposware/keccak_sponge_is_final_block
58f4568e Merge pull request #982 from toposware/sys_chainid
92d94dc6 Use Block chain id for sys_chainid
ba844a24 Change shl/shr behavior as well as BASIC_TERNARY_OP
475b2ba0 Fix copy_returndata_to_mem (#976)
c7e60073 Check if context is static for state-changing opcodes (#973)
142be4e1 Implement rest of *CALL opcodes (#972)
b202196b switch
f2650418 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
1e57ef96 Remove unnecessary constraint
29726f92 Apply review
f424bd36 Merge pull request #966 from toposware/interpreter
938e3bd5 Set stack_len_bounds_aux properly
18d27d2f Remove is_final_block column in KeccakSpongeStark
011ea8e4 Fix from review
5b1fd5f2 CALL gas (#969)
d79d2c49 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
8130a8a6 Merge pull request #950 from toposware/keccak_sponge
0529fa06 Change endianness within generate_keccak_general
3da8efa6 Implement sar in interpreter
b943ddb0 Implement signextend in interpreter
4db00441 Implement sgt in interpreter
ac2ccc1e Implement slt in interpreter
232832e3 Implement smod in interpreter
18d317b9 Implement sdiv in interpreter.
0e5e28f6 Merge pull request #968 from toposware/block_interpreter
c0fae77c Merge pull request #951 from toposware/prove_block
6124e4d6 Fix BlockCircuitData proofs
0146f48a Cleanup
524b39e2 Reactivate CTL for keccak sponge
d1379ac1 Fix hash output writing to memory
5f6098ff Add test for keccakf_u8s
99b0d009 Implement KeccakSpongeStark constraints
2fae2fbc Impl gaslimit opcode for interpreter
9e6f284b Impl chain_id opcode for interpreter
ae8ee27e Impl coinbase opcode for interpreter
e3572f1d Impl basefee opcode for interpreter
86bd055b Impl difficulty opcode for interpreter
60fed608 Impl number opcode for interpreter
a17c6231 Impl timestamp opcode for interpreter
042c0042 Merge pull request #965 from mir-protocol/fix_run_constructor
31e134f0 Delete %set_new_ctx_parent_ctx
1a9f0104 Fix call logic (#963)
ab692252 Minor fixes to context creation (#961)
7a65b1d4 Merge pull request #967 from toposware/fix_decode
310107f2 Fix decode constraint
cfc54f95 Fix run_constructor
d1c9277d Merge pull request #962 from mir-protocol/range-check-example
d6bb5d5d range check example
af3fa142 Implement sys_return and sys_revert (#959)
f24c3537 Update README.md
c11f4f41 Merge pull request #960 from mir-protocol/readme-updates
fb24b200 README updates: examples and external tutorial
5ac12de9 Fix sys_exp (#958)
923722b1 Fix copy opcodes when offset is large (#957)
d59fa59a Merge pull request #925 from mir-protocol/bignum-modexp
6a4e9ab6 fix
90f7ba9a addressed final comments
9690b60b Merge pull request #956 from mir-protocol/doubly_encode_storage_values
e70e4fca Doubly RLP-encode storage values
889911e8 redundancy
93dd25a1 fmt
33dc8eae better names
251d7e34 systematize names
4e48fc43 all Stacks
0e3b86de frob
26da6dc7 rev stack
d52c15e8 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
6fa59d20 Fix MSTORE8 (#955)
f9217272 Fix signed syscalls stack (#954)
3b607bde Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
a061c3cf Merge pull request #952 from mir-protocol/extra_where_clauses
209c1ff1 Remove extra conditions
e2f33dd3 Merge pull request #873 from toposware/hashconfig
9ee47ab7 Move HashConfig into GenericConfig associated types
46d5e62a Copy txn data to calldata (#935)
8e04cbfe Self-destruct list (#948)
a926dcad Transaction validity checks (#949)
f1a99e69 Add patch section to workspace config file
e857c020 Make hash functions generic
2ca00a9a Selfdestruct gas and set (#947)
786a71d6 Merge pull request #946 from mir-protocol/selfBalanceGasCost
31cd0f64 Remove dbg
9ae69a7c Add an integration test for the `selfBalanceGasCost` case
56bf0892 Charge gas for extcodecopy (#942)
f71d3642 Merge pull request #945 from mir-protocol/remove_CONSUME_GAS
9480cbed Signed operations as syscalls (#933)
2d87c5d6 Remove `CONSUME_GAS`
834522a6 Merge pull request #939 from mir-protocol/termination_fixes
be0cccdf Merge pull request #938 from mir-protocol/rework_create_create2
39fdad8c Feedback
a0d04ca3 Fix Wcopy when size=0 (#944)
9f1a5f97 Charge gas for keccak (#943)
cdaabfe9 Merge branch 'main' into bignum-modexp
b667c074 Merge pull request #940 from mir-protocol/eth_trie_utils_bump
3c7bc883 Removed a type alias
0c87a57f addressed comment
e4f2e864 fix
1a348eed check for x < m
bce25720 documentation
1e5677c4 comments
a6ccd350 cleanup
fb73e889 uncommented
c18377d1 Merge branch 'main' into bignum-modexp
91fb4fc0 fix modexp test
823b06ac fp2 works
3b95e013 bls method
5783a374 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
7b93b81a Merge pull request #931 from mir-protocol/fp381-opcodes
cf5a4edc prover input minor improvements
60ad9e03 Bumped `eth_trie_utils` to `0.5.0`
c3a5fd86 merge
1f14ae98 skeleton
911dfedd Rework CREATE, CREATE2 syscalls
b4eb8373 A few fixes for terminal instructions
ce22d945 Access lists (#937)
f9fa38d3 Fix new account insert key
7028b6ba comment
7ff2122e Merge branch 'main' of github.com:mir-protocol/plonky2 into fp381-opcodes
1ce47ceb Merge pull request #906 from mir-protocol/fp318
0650d263 remove .scale
3f4d970f Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
c8d2769c fmt
74afec70 remove imports
f4e65feb Fix bugs in `wcopy` and `update_mem_words` (#934)
15bafce5 Implement CREATE2 address generation (#936)
874805cc Merge branch 'fp318' of github.com:mir-protocol/plonky2 into fp381-opcodes
645ef664 comment
63ec13e2 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
3425391a more comments
d0b2b81e More MemoryError (#932)
1f3e3de7 clean and generalize
1627a9a0 tests pass
e471818c comments
1fbe3050 Merge branch 'main' into bignum-modexp
06936c76 Implement various syscalls (#930)
84a0bcf8 cleanup
373062b2 on stack
0e8f6a2f test skeleton
392c29f4 compiles
9ea0ebd7 skeleton
1437affc fmt
b847d16e redundancy
13d2ed90 merge
54b8ce74 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
143225f4 finish
d928423c cleanup
d59501e6 fixes, testing, and in-progress debugging
fc72ce46 fp6 works
4d83c58d frob works
2df1439d Return error instead of panic in memory operation (#928)
a79271a8 Minor account code fixes (#929)
caaf3b4a merge fields
cf1e6a76 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
24705e1e addressed comments
ff81a565 Merge pull request #927 from mir-protocol/creation_fixes
e1ae5392 Fix test
afded168 Contract creation fixes
893b88c3 Implement syscalls for BALANCE and SELFBALANCE (#922)
fc6487ca Merge pull request #926 from mir-protocol/fix_gas
3c4bc1d8 Fix GAS and implement storage value parsing
be309a38 cleanup from comments
42d65839 addressed comments
d340ff8c addressed comments
2e0b7992 addressed comments
9803581d fix
1a78f400 restored neq macro
be9cbd5a fmt
902bc66a fmt
511f450a resolved conflicts
4aa212ab modexp fix
e06f84dd modmul fix
76e70ac4 fixes
ad85d61e fix
4cef5aaa modmul and modexp
1e019356 basic bignum
b16b8261 Merge pull request #881 from mir-protocol/bignum-basic
6fe8554f Merge pull request #924 from mir-protocol/empty-stack-replacement
652b2bed allow empty stack replacement
a5fad9eb addressed comments
f6b9d6ee addressed comments
72b5bb0e fmt
2752456e addressed comments
5e98a5f9 adj trait
50388073 rename
25575df5 cleanup
ec0f3ce7 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
692575a2 Bump eth_trie_utils version. (#923)
2ab16344 Merge pull request #921 from mir-protocol/dlubarov_misc
bdf35374 Misc
b80a28db Misc
f13d603a Merge pull request #920 from mir-protocol/dlubarov_misc
47fac8e3 Couple fixes & minor refactor
64c76e76 Merge branch 'main' into bignum-basic
c491a989 Merge pull request #919 from mir-protocol/mem_expansion
f717a40b Charge for memory expansion
e8405eff Merge branch 'main' into bignum-basic
de246e22 Merge pull request #918 from mir-protocol/fix_read_ext
7ed53142 Fix reads from not-found ext nodes
7853656e Merge pull request #917 from mir-protocol/fix_clobbering
a05ed9fc Fix clobbering of RLP data memory
c3ba7a89 Merge branch 'main' into bignum-basic
2ac4fcdf Merge pull request #915 from mir-protocol/fix_clone_account
8c692b72 Fix account cloning
f514d966 Merge branch 'main' into bignum-basic
994c54ab Merge pull request #912 from mir-protocol/stack_on_panic
5720cf8a updated function name
cda31b5e Merge branch 'main' into bignum-basic
9f75132f Merge pull request #889 from mir-protocol/hash-asm-optimization
38f79e49 optimizations with rep
92ee7786 Merge branch 'main' into hash-asm-optimization
69b4a21c Merge branch 'main' into bignum-basic
da07a7a8 Merge pull request #914 from mir-protocol/return_post_state
373421a1 Fix tests - need to supply empty code
44c77f55 Input addresses
c8d591f6 Add a `prove_with_outputs` method
95347621 div instead of shr
cecbfa9b fit
c59b979c addmul fix
a0a23147 Merge branch 'main' into bignum-basic
f518a8b4 Merge branch 'main' into hash-asm-optimization
b62bc35d fixes
2d7d2ac3 Merge pull request #886 from toposware/poseidon-native
f1ad3da8 fix
062eb82a cleanup
e0a4bc31 cleanup
fda64475 fmt
fa3443a5 new testing interface, and test data
bb2233cb Override from_noncanonical_u96() for Goldilocks field
10e7329a Add FFT-based specification for Poseidon MDS layer on x86 targets
ee9bfb08 fix
4e736b63 fixes
534395ee fmt
73633354 test data
e6027142 cleanup
54eb29e7 fix
6f6c808d more efficient divmod
202990ed Merge branch 'main' into hash-asm-optimization
2195bdd4 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
459d2929 folder
1c71fb34 Merge branch 'main' into bignum-basic
1576a300 Merge pull request #817 from mir-protocol/non-inv
e97e8188 fixed iszero and cleanup
12e6527b fixed messed up merge
2a0df523 Merge branch 'main' into hash-asm-optimization
44a0596f fmt
930ebafd Merge branch 'main' into bignum-basic
35fb1499 Merge pull request #904 from mir-protocol/optimize-blake2b
6f8a5100 interface changes
b0ed6ae0 cleanup
4ef981e4 initial test data
ad38f957 TODO for possible future mul optimization
06276334 carry -> carry_limb
e57358bc ge -> cmp and returns 0, 1, -1
d4a485ec Log stack on panic
7fad9eb8 Merge branch 'main' into optimize-blake2b
a8956b94 flip limbs
9ec97744 run_ops
dd7948e7 merge
5cf8028e Merge branch 'main' into bignum-basic
de6f01f4 small optimizations
424d8d22 more optimizations
29df451d optimizations
97cb5c75 bug fix
8f231bd0 optimization
265d39a5 cleanup
85411ac4 fixes
7351a166 fix
684b668b fix
63301d6b refactor sha2 compression
2236f30a more small optimizations
e5f8632b small optimizations
213ba8ff optimized initial hash value generation
7c8026e8 cleanup
2020202e optimize hash generation further further
df7ea93a optimize hash generation further
3a0d86e2 hash function optimization
ef377c0b cleanup
4e8af821 fixes
9ad25b2a optimizations
eebdd029 Merge pull request #910 from mir-protocol/optimize-asm
d23e4e20 deal with and test zero-len case
4b6a5146 fix
05788a99 compiles
d4c7bfd5 addressed comments
725b5a08 cleanup
4a762553 name change
c4b511ba addressed comments
2000d308 addressed comments
a738afce Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into fp318
24e0b291 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
676a483c fix
476a554a OR -> ADD
87ad5714 addressed comments
04f44ef4 addressed comments
9e7dc7ca addressed comments
6f05a144 Merge branch 'main' into bignum-basic
7b2c4c61 Merge branch 'main' into optimize-blake2b
ac068845 Merge pull request #909 from mir-protocol/gas_to_coinbase
d5003b7c Gas fees go to coinbase
181e4409 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
625bdb68 skeleton
6dd99e43 Merge pull request #908 from mir-protocol/fix_call_field
84fbbbf4 Couple minor fixes
54f8dcf4 Merge branch 'main' into optimize-blake2b
ce25cc84 Merge pull request #907 from toposware/wasm
b3e93e91 Fix plonky2 compilation with wasm32-unknown-unknown target
a96418b3 unused test
33ccf898 small optimizations
fda2e190 restored blake2b_g_function and call_blake2b_g_function macros
4a378bce Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into fp318
18c83e77 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
6d997a65 more tests
f2538fff cleanup
bac38f82 fix
3a019f99 fix
3662e41d fixes
1100445d cleanup
4f412182 cleanup
0fdd93b8 cleanup
f46694e7 more thorough tests
2aff3e10 cleanup
1d7c28ee bug fixes
c98bfb0b cleanup
af3dc287 cleanup
10893fe0 addmul test: use carry
efd5e6ec cleanup
5477c7dd fixes
119eae95 fix
9976a4b0 addmul initial
aa605b67 flag functions used only in tests
fa605d7b basic bignum
0f55956a optimized initial hash value generation
5994f4d9 cleanup
9d8d81b4 optimize hash generation further further
c37d1e25 optimize hash generation further
40f90d83 hash function optimization
70475a5a cleanup
5f592e60 fixes
93abd35f optimizations
eea8ab62 Merge pull request #903 from mir-protocol/misc_evm_fixes
a6ac0519 Misc EVM fixes
2eed209a Merge pull request #902 from mir-protocol/debug_tries_2
e6aa62f3 Some tooling for debugging tests where the updated tries are not correct
21db4a1b Merge pull request #900 from mir-protocol/sys_gas
f117d76b sys_gas
f19b7553 Merge pull request #899 from mir-protocol/evm_fixes
c558eedd Misc EVM fixes
ec216d28 Merge pull request #898 from mir-protocol/move-out-ecdsa
77fb333a Move ecdsa to its own repo
2621d582 Merge pull request #897 from mir-protocol/move-out-u32
18733f11 Move u32 to its own repo
b08e7a08 Merge pull request #896 from mir-protocol/move-out-insertion
bf8780b2 Move insertion to its own repo
64296bcc Merge pull request #895 from mir-protocol/move-out-waksman
b95bc90b moved waksman to outside repo
1ee39b51 fmt
ab32f03b fixed multiplication
bde5c557 correct mul impl
2c73d5d7 bls field arithmetic
95e5fb59 cleaner rand
6ac59f16 arithmetic skeleton
8ace54dc Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
57ea64e3 Merge pull request #894 from mir-protocol/fix_storage_trie_lookup
1e1e75c9 Fix code that looks for an account's storage trie
e8c94632 comment
1d94756e add inverse doc
5aafbaad Merge pull request #893 from mir-protocol/move_out_system_zero
801fa641 link
bfaa80a3 Move system-zero to its own repo
13a8d670 loop test
2ea3e5e3 minor changes
e3e5c678 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
7781dd36 Plonky2 to 0.1.3
db893831 Merge pull request #892 from mir-protocol/bump_plonky2
2133c7f3 Use new plonky2
52e34265 Bump plonky2 to 0.1.2
79084719 Merge pull request #891 from mir-protocol/fix_hash_or_noop
e52b75b0 Fix `hash_or_noop` for general hash sizes
d17f3aa4 Merge pull request #890 from mir-protocol/test_fixes
29f0692e Fix a few issues found by EVM tests
2a9d4b1a minor
5e3e40a0 more general kernel peek
b89e668b minor
f5b45ee4 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
33185476 Merge pull request #885 from mir-protocol/skip_log
745bec8d Skip log_kernel_instruction if debug logs disabled
e8865130 put extract in interpreter
63f1fbfa fmt
be351110 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
6f2d99c7 Merge pull request #884 from mir-protocol/evm-kernel-tests
ea9846de format
da7a8879 make hash functions take a location pointer
a6ffb4b3 simplify byte extraction
4e4cfb06 function API / remove redundancy
53ab0ada remove blake storage
77a7af76 remove sha2 storage
abc762f7 cleaner arithmetic
731c29c4 abstract
c6cf1dc5 remove custom
bce86718 simplify ripe md test
e2cac0bb Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
f3946f75 Gas constraints (#880)
444da8f7 better comments
80e49caa segment virts
d320fbfb update curve add with ops
787cc890 change segment
71243fd7 fix pairing code after big BN PR merge
2158c1d2 merge
9e60ee25 segment
ac40bd5f Optimize `ecMul` precompile (scalar multiplication on BN254) (#852)
3332fbb4 Merge pull request #882 from mir-protocol/back_to_nightly
ff80f28b Revert "Set CI to use an older version of nightly"
85b33093 Merge pull request #879 from 0x0ece/patch-1
614c4ae6 Make le_sum public
40866e77 Refactor arithmetic operation traits (#876)
c6492bc5 merge fix
7b367f5c merge
83c0292b Move SHL and SHR generation to the CPU. (#878)
b585b6a7 remove macro
31095e1b stack macro
a061b88a naming
cecad598 stack macro
361d6d72 tests and stacks
cb7c638c more comments
69afed92 refactor
57146c83 miller loop test
e63cc2aa Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
9f808fc7 align
69228491 Unify generation and verification of ADD/SUB/LT/GT operations (#872)
1c73e238 fp -> fp254
61ac0eff fmt
0f030fae naming for global labels
c107c505 comments
e1dca870 name
962754be rand impl
a950a262 add comments
cd5c92b5 merge
ca002aea Optimize `ecrecover` ASM (#840)
9990632f Merge pull request #870 from mir-protocol/prep_for_publish
137bc785 Prep for publishing to crates.io
81511380 TODO
6c4ef29f Add range checks to the arithmetic Stark (#866)
aed617c1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
ea01e19c comment
5b124fb1 minor
6e8d4a57 fix
0eef28af bools
3ea8ad90 fmt
6958d46c names and comments
56be7317 comments
b46af11f move consts
f70243e7 better comments
f0a6ec95 clean asm
136cdd05 Remove InterpolationGate trait (#868)
9c8f1166 ocd
d98c69f0 better comments
0b81258a stack macros
3bdb2907 Optimized interpolation gate (#861)
c9b005d2 new power works
5deb1648 refactor power
60cbdde8 clean
8ca6ba7b clean
c13cf972 tate test
75c5938c rewrite w methods
ec4cddb7 inv as method
7b524381 en route to ownership
17cfae66 reorg
f34b35ed extra comments
94d99cca extra comments
8b670d54 meh
769c615c cleanup
530fb65b cleanup
155e973d slight refactor
d2aa937a improved prover input and test api
e06a2f2d duh
a5c292c7 space
4d783da8 fmt
d99cadeb stack macro
b2f9d885 remove redundant macros and improve comments
8e62d994 fmt
922d3ebc add module and fix errors
3fcb5591 redundant macro
c74a0c25 test inv from memory
abab6bf1 test frob from memory
20fb2cb7 read output from memory
5f2baea0 mul test from memory
7f135fc0 reorg
b44d9e2d Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
8ae36474 Merge pull request #865 from mir-protocol/increment_nonce
eb7d18da fix clippy
54676487 cleaner description
d6167a63 complete description
23698b74 more comments
fda4b4c1 more comments
985e8160 transmute + comments
6e215386 comments
f2e40541 Increment sender nonce + buy gas
0daaa3bf org
bc9c431e remove comments
9977ae03 new inverse
fe91e119 frob format
37ad3407 frob format
ecde3d13 frob tests
9cd1f8a1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
be19cb81 struct impl style arithmetic
31c5db91 rename module
ccd4a38a remove make_stack
b753836a Merge pull request #864 from mir-protocol/block_circuit
b6f6c210 Block circuit
3a6d693f Merge pull request #863 from mir-protocol/smart_contract_test
a2f4a58d log
df2ba7a3 Basic smart contract test
07e02f2d Merge pull request #862 from mir-protocol/prover_inputs_error_handling
a158effe Use error instead of panicking in FromStr
3fbc8bff move comment
ea8cfc95 name
2a2880b7 name
800ceb60 zero name
e6bcad6c Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into non-inv
446a0d3f name
81861095 Update evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
4f38c3a7 name
70d7fb13 cleaner inv
32f24819 Update evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm
49db35d3 Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into non-inv
42f98a09 Update evm/src/bn254.rs
82ce8153 \n
93a363c1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
068f7485 Update evm/src/witness/util.rs
698ab6e7 Update evm/src/bn254.rs
be7a489c Fix stack overflow
8ba8bb62 Merge pull request #860 from mir-protocol/agg_circuit_2
87be6097 Feedback
ae212cfb Merge pull reque…
    @Nashtare @wborgeaud
    Nashtare and wborgeaud authored Apr 3, 2024
    Configuration menu
    Copy the full SHA
    eec2cad View commit details
    Browse the repository at this point in the history

  2. fix: use circuits code digests instead of evm_arithmetization pkg ver… 

    …sion for circuits consistency check
    @lastminutedev
    lastminutedev committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    f3c1062 View commit details
    Browse the repository at this point in the history

  3. fix: fix clippy issue

    @lastminutedev
    lastminutedev committed Apr 3, 2024
    Configuration menu
    Copy the full SHA
    522d02a View commit details
    Browse the repository at this point in the history

Commits on Apr 8, 2024

  1. Reduce verbosity in logs

    @Nashtare
    Nashtare committed Apr 8, 2024
    Configuration menu
    Copy the full SHA
    76a3b0c View commit details
    Browse the repository at this point in the history

  2. Bump h2 from 0.3.25 to 0.3.26 

    Bumps [h2](https://github.com/hyperium/h2) from 0.3.25 to 0.3.26.
- [Release notes](https://github.com/hyperium/h2/releases)
- [Changelog](https://github.com/hyperium/h2/blob/v0.3.26/CHANGELOG.md)
- [Commits](hyperium/h2@v0.3.25...v0.3.26)

---
updated-dependencies:
- dependency-name: h2
  dependency-type: indirect
...

Signed-off-by: dependabot[bot] <[email protected]>
    @dependabot
    dependabot[bot] authored Apr 8, 2024
    Configuration menu
    Copy the full SHA
    cd0b29b View commit details
    Browse the repository at this point in the history

  3. Merge pull request #50 from 0xPolygonZero/dependabot/cargo/h2-0.3.26 

    Bump h2 from 0.3.25 to 0.3.26
    @Nashtare
    Nashtare authored Apr 8, 2024
    Configuration menu
    Copy the full SHA
    e272b81 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #49 from 0xPolygonZero/verbosity 

    Reduce verbosity in logs
    @Nashtare
    Nashtare authored Apr 8, 2024
    Configuration menu
    Copy the full SHA
    af81644 View commit details
    Browse the repository at this point in the history

  5. Add POSEIDON_GENERAL (#129) 

    * Working with dummy hash

* Use keccak

* Add account

* Clippy

* Support storage trie

* Use remaining key and clean

* Write pointer to leaf data in serialization

* Minor

* Comments

* Cleaning

* Cleaning

* readme

* Fix plonky2 dep

* Fix dep

* minor

* Remove dbg

* Squashed 'evm_arithmetization/' changes from d547f8d5..5ec32fcb

5ec32fcb FMT
c1728d4e Merge remote-tracking branch 'mir/main' into tmp-type2/hermez
01bb7974 Add Poseidon constraints
e695ae18 Tests passing
207c54df Poseidon STARK
02d6435f Poseidon files
710225c9 Simulate jumpdest data with the interpreter (#1489)
3ec1bfdd Update `starky` and leverage it as dependency for `plonky2_evm` (#1503)
f0ffb811 Fix tests
9f68d71d Fix tests
5a385392 Fix interpreter
b6fec06c Fix nightly build (ahash issue) (#1524)
b600142c Cleanup `alloc` / `std` imports for plonky2 (#1518)
6b39fc90 Remove risk of panics in interpreter (#1519)
d4213223 Fix dep
756d3a27 Clippy
e46112e3 Cleaning
061e70ce All tests passing
d2598bde Revert "Remove StarkProofWithMetadata (#1497)" (#1502)
4ea4807c Passing erc20 test
1a08e783 Fix no-std tests and add corresponding jobs in the CI (#1501)
06444eaa Switch permutation argument for logUp in `starky` (#1496)
fb8452de Merge pull request #1500 from topos-protocol/ci
246c2b62 Fix workflow
8f919133 Fix nightly version
212f29cf Add missing constraints mentioned by auditors (#1499)
af0259c5 Remove StarkProofWithMetadata (#1497)
f3f7433c Some cleanup (#1498)
63579636 Reorganize lookup / ctl modules (#1495)
e502a0df Make CTLs more generic (#1493)
1dc22b76 Fix BaseSumGenerator and BaseSplitGenerator Ids (#1494)
f76245e2 Cleanup imports (#1492)
a9060e61 Add LA audit report
36e62a13 Use usize::BITS and wrapping_shr in reverse_index_bits_in_place_small (#1478)
14bb5bdb Use web_time crate instead of std::time (#1481)
eff7cc0f Fix circuit sizes (#1484)
ca2e56e2 Fix bugs in jumpdest analysis (#1474)
c0700065 Improve `BIGNUM` operations (#1482)
acc59c35 Speed-up `bn254` pairing operation (#1476)
ae0907ff Merge pull request #1462 from 0xPolygonZero/pg/evm-licensing
8cb80e09 Improve `blake2f` call (#1477)
319fc6a2 Improve SHA2 precompile (#1480)
8e1969db Fix interpreter jumps (#1471)
b8a16b39 Fix typos (#1479)
265d46a9 chore: update ci workflow (#1475)
39a2d62d Fix touched_addresses removal (#1473)
10fc9660 Remove some more CPU cycles (#1472)
990eb34d Remove some CPU cycles (#1469)
30b47998 Fix simulation for jumpdest analysis (#1467)
5c1ec524 proofreading (#1466)
c4319dce fix: make add_generators public (#1463)
bb48cabd Add math rendering with Katex (#1459)
70483050 Fix fill_gaps (#1465)
c2a73ad8 Fix clippy (#1464)
219365d6 Packed rlp prover inputs (#1460)
ccd4ff87 Update Cargo.toml
de2709d8 Update README.md
7f5fae84 Add files via upload
b119e96f Merge pull request #1461 from 0xPolygonZero/eth_trie_utils_bug_fix
ab05d181 Bumped `eth_trie_utils`
f80ebe77 Remove full memory channel (#1450)
a78a29a6 Merge pull request #1423 from topos-protocol/jumpdest_nd
b05e84dd Interpreter GenerationInputs (#1455)
3b1ed824 Merge pull request #1447 from topos-protocol/plonky2_doc
cda30847 Apply review
ac9f704f Fix comment
f9c3ad66 Update empty_txn_list
fdedf3e3 Merge remote-tracking branch 'public/main' into jumpdest_nd
bead1d60 Adress review comments
233ddd4e Constrain syscall/exceptions filter to be boolean (#1458)
6ef0a3c7 Apply suggestions from code review
606732a8 Free up some CPU cycles (#1457)
99a1eb5c Missing review comments
ae4a720a Address comments
92aaa404 Apply suggestions from code review
0bf9cd2f Use current context in ecrecover (#1456)
c329b368 chore(evm,field,plonky2):fix typos (#1454)
85524cfa Intra doc link
33def084 Merge branch 'main' into plonky2_doc
aedfe5df Implement CTL bundling (#1439)
c8430dac Add Boolean constraints for `ArithmeticStark` (#1453)
54a13135 Improve some calls to `%mstore_rlp` (#1452)
1715573c Fix problems after address bundling
95c83add Merge pull request #1399 from topos-protocol/refactor_encode_funcs
5b71eb4e Address review comments
3c699be7 Merge remote-tracking branch 'public/main' into refactor_encode_funcs
22e267c3 Address bundling
bd02117c Fix `after_mpt_delete_extension_branch` (#1449)
f4be34dc Some more
dcbfef6d chore: fix typos (#1451)
82804e42 Add some more + module doc
80917cbe Merge remote-tracking branch 'public/main' into refactor_encode_funcs
7fc6b86d Minor
77f51095 Adress reviewer comments
cb19f219 Add crate-level documentation (#1444)
47b42856 Remove unused macro
2dacbfe2 Address bundling (#1426)
3e61f06a Remove gas check in sys_stop (#1448)
ed2e1bc7 Add comment
3c8b150f Rustdoc
20db596e Add some more explicit doc on plonky2 crate
18a14bf2 Remove assertion
897ba585 Remove assertion in packed verif
1c994737 Address comments
f4713c44 Apply suggestions from code review
247d655b Minor
8f1efa15 Fix minor error
ab4508fc Add packed verification
f46cf4ef Prevent some lints from being allowed (#1443)
6cf4df7d Add initial constraint z polynomial (#1440)
ef07eabf Pacify latest clippy (#1442)
1a95f7aa Clippy
9c573a07 Restore simple_transfer and Clippy
a85f9872 Fix bug in jumpdest proof generation and check that jumpdest addr < code_len
48b9769e Remove duplicated label
a8340496 Rebase to main
ae3003a9 Add alternative method to prove txs without pre-loaded table circuits (#1438)
c3d707c1 Constrain partial_channel (#1436)
dfcf276d Refactor encode_empty_node and encode_branch_node
cb3f91a0 add Debug trait to PartitionWitness to enable trace information output (#1437)
24ae0d9d Clippy
3e78865d Remove aborts for invalid jumps and Rebase
0ae56db0 Reabse to main
11d668f5 Remove aborts for invalid jumps
4e569484 Improve proof generation
c4025063 Clippy
aaa38b33 Fix fmt
08982498 Remove U256::as_u8 in comment
5acabad7 Eliminate nested simulations
0bec6278 Apply suggestions from code review
ed260980 Fix jumpdest analisys test
ff3dc2e5 Refactor run_next_jumpdest_table_proof
9e39d88a Rebase to main
6ababc96 Remove aborts for invalid jumps
7eff4e27 Constrain first offset of a segment (#1397)
829ae64f Improve proof generation
a291d92c Merge pull request #1392 from 0xPolygonZero/dp-from_values-take-ref
7cb04884 Minor cleanup (#1435)
096c7456 Constrain new top to loaded value in MLOAD_GENERAL (#1434)
18e08f4f Filter range checks (#1433)
f67ee258 Add exceptions handling to the interpreter (#1393)
536cd1c8 Regenerate tries upon Kernel failure during `hash_final_tries` (#1424)
ee91b67c Merge pull request #1432 from 0xPolygonZero/discord_badge
0b56ab75 Added a Discord badge to `README.md`
f8f6b07a Change context to current context for BN precompiles (#1428)
68b9f0ad Add ERC721 test (#1425)
a64311cf Add aborting signal (#1429)
77f1cd34 Clippy
5a0c1ad8 Fix fmt
ad8c2df8 Remove U256::as_u8 in comment
81f13f3f Eliminate nested simulations
fdd7ee46 fix: make `from_noncanonical_biguint` work for zero (#1427)
2c5347c4 Apply suggestions from code review
71dff6e9 Constrain MSTORE_32BYTES new offset limbs (#1415)
746e1344 Fix jumpdest analisys test
f76ab777 Refactor run_next_jumpdest_table_proof
3e8ad086 Rebase to main
bc1a3c48 Merge `push` and  `prover_input` flags (#1417)
51ff8c5b Merge pull request #1420 from dzizazda/main
837434cf Fix a minor typo in evm/spec/cpulogic.tex
4e4e61c2 typo fix
00ed16fc minor typo fix
724437d0 typo fix
942e43ab typo fix
bfcfcdb4 Add `Checkpoint` heights (#1418)
5607faf3 Check that limbs after the length are 0 (#1419)
3195c205 Merge MSTORE_32BYTES and MLOAD_32BYTES columns (#1414)
56e83956 Merge pull request #1416 from AdventureSeeker987/main
43ecf1df chore: fix some comment typos
7efd147e Use mstore_32bytes to optimize decode_int_given_len (#1413)
edfc86c3 Remove is_keccak_sponge (#1410)
170ce5f2 Preinitialize all code segments (#1409)
a90aa40b Implement MPT preinitialization (#1406)
4ba7718e Optimize asserts (#1411)
47e24306 Remove GenerationOutputs (#1408)
46b6aa10 Implement degree 2 filters (#1404)
2d36559d Make some functions const (#1407)
7ac6bf2c Implement `PublicValues` retrieval from public inputs (#1405)
6c3e3c0e Use logUp for CTLs (#1398)
cb2a22a5 Update stack op cost (#1402)
d28ba240 Pacify clippy (#1403)
d682769b Fix set_context constraints (#1401)
2d0df393 Merge pull request #1391 from succinctlabs/chris/recursion
32d00967 Fix kernel codehash discrepancy (#1400)
5572da30 Remove intermediary block bloom filters (#1395)
30c944f7 Remove bootstrapping (#1390)
e68195fc chore: Remove TODOs about `from_values` taking a reference
37918ccc Revert "chore: from_values takes ref"
471ff68d Optimize `num_bytes` and `hex_prefix_rlp` (#1384)
7cc123e0 chore: from_values takes ref
b598e6ff VerifierCircuitData Clone,PartialEq,Eq
64cc1000 Move stack_len_bounds_aux to general columns (#1360)
96f3faf2 Changes in interpreter and implement interpreter version for add11 (#1359)
6dd2e313 Add upgradeability to `AllRecursiveCircuits` and output verifier data (#1387)
3440ba94 Remove extra rows in BytePackingStark (#1388)
2a6065b4 comment
ab70bc53 Fix run_syscall in interpreter. (#1351)
2039e18f Fix genesis block number in `prove_block` (#1382)
acd3b1ad Merge pull request #1383 from topos-protocol/mpt_specs
110a8eff Update evm/spec/mpts.tex
ee450d6d Remove redundant sect about MPT
36e31c53 Address comment
08e0afe4 Fix typo in evm/spec/mpts.tex
c7951fcc Update evm/spec/mpts.tex
12b522cb Update evm/spec/mpts.tex
98bed16a Update evm/spec/mpts.tex
0c0818c7 Update evm/spec/mpts.tex
c6178a45 Update evm/spec/mpts.tex
a3b5e13e Update evm/spec/mpts.tex
3af316f3 Add MPT specs
d4b05f37 Add specs for stack handling (#1381)
a7364586 Backporting gas handling to the specs (#1379)
2d5a84a1 Add specs for the CPU table (#1375)
bec1073c Explain difference between simple opcodes and syscalls (#1378)
48e2b24b Add range check constraints for the looked table (#1380)
8d473168 Add specs for BytePackingStark (#1373)
fe311c7f Check is_kernel_mode when halting (#1369)
98b5e5be Initialize blockhashes (#1370)
06933b1d Starting the specs for the CPU logic (#1377)
1f65a8a8 Add exceptions to specs (#1372)
0c4d9a8e CTL and range-check documentation (#1368)
f1be8409 Update README.md (#1371)
7a50292a Update README.md
f2b75fa5 Update README.md
edeb2c76 Merge pull request #1367 from 0xPolygonZero/avm-readme
29762c85 Update README.md
d98305b3 Create README.md
398b15c1 wip
79c6de14 Update Keccak-f specs. (#1365)
b44fc0d6 Add specs for KeccakSponge (#1366)
b9328815 Reduce visibility (#1364)
ddecf8bd Update specs for Logic and Arithmetic Tables (#1363)
f879d925 Add doc for privileged instructions (#1355)
2c951de4 Update Memory in specs (#1362)
24aa9668 Revert "Make gas fit in 2 limbs (#1261)" (#1361)
40d3c6dd Merge pull request #1294 from matthiasgoergens/matthias/make-clippy-happy
eda7fd65 Constrain is_keccak_sponge (#1357)
4dc42c51 Merge public values inside prove_aggreg (#1358)
0e63e661 Implement out of gas exception (#1328)
01f229a8 Add push constraints (#1352)
a0876d73 Refactor JUMPDEST analysis (#1347)
6f2b3349 Fix parsing of non-legacy receipts (#1356)
f7d5e7c4 Fix MSTORE_32BYTES in interpreter (#1354)
6d751b13 Remove values of last memory channel (#1291)
75ae0eb5 Merge pull request #1346 from 0xPolygonZero/dp-unwrap-hunting
88fcc329 Reduce visibility for a bunch of structs and methods in EVM crate (#1289)
5800e6ad Add run_syscall and tests for sload and sstore (#1344)
cc0cdd07 Remove unnecessary code duplication (#1349)
3810bd1a Charge gas for native instructions in interpreter (#1348)
5c41dc4d Range-check keccak sponge inputs to bytes (#1342)
d2b5882a Root out some unwraps
ec41b754 Fix ranges in AllRecursiveCircuits initialization for log_opcode aggregation test (#1345)
01bbf1a0 Constrain clock (#1343)
954d1a77 Remove logic for multiple txns at once (#1341)
5d5628b5 Move empty_check inside final iteration
605932d1 restore `no-std` support (#1335)
e41435e9 Add memory checks for prover_input, as well as range_checks for prover_input, syscalls/exceptions (#1168)
fa93454c Add withdrawals (#1322)
19178072 Remove `len` column in `KeccakSpongeStark` (#1334)
099994ab Add test for ERC20 transfer (#1331)
d8f6de25 Merge pull request #1329 from shuoer86/main
d941539b Fix typos in comments
a0ea26f4 Fix typos in comments
d2b549af Constrain uninitialized memory to 0 (#1318)
f71f227d Add test for selfdestruct (#1321)
1e8ed78f Merge pull request #1320 from topos-protocol/fix-combine-keccak-jumpdest
85b38bec Fix merging of jumpdest and keccak_general.
41362075 Combine JUMPDEST and KECCAK_GENERAL flags. (#1259)
20501d9b Add context constraints (#1260)
3ca16620 Merge pull request #1317 from topos-protocol/more_memcpy_bytes
6332900d Combine PUSH0 and PC flags. (#1256)
0d97b93a Add some documentation in EVM crate (#1295)
afd357f4 More of memcpy_bytes
0f299d4c Merge pull request #1316 from topos-protocol/memcpy_tiny
af4935cd Merge NOT and POP flags. (#1257)
4b40bc03 Remerge context flags (#1292)
c96a8700 Move empty check inside final iteration
0258ad4a Merge pull request #1314 from topos-protocol/refactor_wcopy
6f52b76d Review
7447959f Fix kexit_info in test
666a155d Remove new_stack_top_channel from StackBehavior (#1296)
15a9e992 Fix test on interpreter side
75fdd342 Fix calldatacopy
ade5b8c3 Fix
a9e47afc Refactor codecopy
a1b178f6 Refactor memcpy
3feb04d2 Refactor wcopy syscalls
3aeec83a Add missing constraints for DUP/SWAP (#1310)
44af80f2 Merge pull request #1309 from topos-protocol/fix_padding_in_wcopy
c1c1ab6d Fix wcopy and extcodecopy for ranges over code limit
ed5ec3ca Merge pull request #1307 from topos-protocol/fmt
b31f7061 Apply rustfmt with latest nightly
b212fff7 Merge pull request #1306 from topos-protocol/fix_empty_last_chunk
8326db60 refactor: remove usage of unstable `generic_const_exprs` in starky (#1300)
60811d08 Also for memset
83054b0f Handle empty case for memcpy_bytes
8af189b9 Merge pull request #1305 from topos-protocol/memset
385ab3c6 Remove redundant
d185d30e Speed-up memset and fix it to write 0 values
0300a322 Merge pull request #1304 from topos-protocol/memcpy_bytes
4140eb54 Fix
503a31b6 Reviews
e2b66206 Merge pull request #1302 from topos-protocol/remove_kernel_memory_zeroing
9607a41b Merge pull request #1303 from topos-protocol/amortize_receipt_reset
595dfa6b Merge pull request #1301 from topos-protocol/submod_kernel
ba61d15c Add macro for copying sequences of bytes
6d2586ef Amortize bloom reset
40de5059 Remove outdated code
07ffe4f5 Combine stack macros for fewer operations
6ca9970a Alter stack to remove SWAPs for SUBMOD
29005dc5 Use SUBMOD in Kernel
05006deb Pad according to RATE rather than WIDTH (#1299)
49976ea2 Check gas in sys_stop (#1297)
817e3e78 Combine DUP and  SWAP (#1254)
29fdd3e3 minor: use explicit builder.assert_zero for readability (#1293)
c9391be0 Update check_ctls with extra looking values (#1290)
f9242702 Make clippy happy
d89966b0 Merge pull request #1288 from 0xPolygonZero/git_dep_org_update
a02a2ecb Updated `mir-protocol` --> `0xPolygonZero`
1d604319 Store top of the stack in memory channel 0 (#1215)
762e6f07 Fix hash node case in `mpt_delete_branch` (#1278)
d7990ee1 Add journal entry for logs (#1286)
9fd0425f Fix journal order in `sys_selfdestruct` (#1287)
49ca63ee Fix sys_blockhash (#1285)
2aeecc3d Fix failed receipt. (#1284)
b4203c3d Make sure success is 0 in contract failure (#1283)
41a29f06 Remove some dead_code in EVM crate (#1281)
8a5eed9d Fix shift constraint (#1280)
e58d7795 Remove reg_preimage columns in KeccakStark (#1279)
0de6f949 Remove extra SHL/SHR CTL. (#1270)
51eb7c0b Merge pull request #1276 from topos-protocol/fix_empty_to_encoding
571dc14f Fix encoding for empty recipient
3ac0c4ae Fix genesis state trie root when calling `prove_root` (#1271)
cd36e96c Derive clone for txn RLP structs (#1264)
0f19cd0d Make gas fit in 2 limbs (#1261)
4e2cba56 Merge pull request #1262 from topos-protocol/fix_rc_doc
8afd06cf Fix description of Range-Check columns in STARK modules
30005957 Optimize lookup builder (#1258)
1ff6d4a2 Merge pull request #1235 from topos-protocol/new-logup
f49fbc8e Transactions trie support (#1232)
acc659da Add type 1 and 2 txn for RLP encoding support (#1255)
916ce0dd Merge pull request #1228 from topos-protocol/constrain-genesis-state
5694af79 Merge remote-tracking branch 'mir-plonky2/main' into constrain-genesis-state
75c0e47a Apply comments.
03a95581 Handle additional panics (#1250)
72241ca7 Connect block_gas_used (#1253)
a24cd4f3 Merge pull request #1251 from topos-protocol/fix-observe-challenges
043d12c2 Fix observe_block_metadata
8c78271f Add `random` value to block metadata and fix `sys_prevrandao` (#1207)
bbc6fe76 Merge branch 'main' into 'new-logup'
3983969c Use function for genesis block connection.
9d0101d6 Merge branch 'main' into 'constrain-genesis-state'
0abc3b92 Apply comments (#1248)
d6be2b98 Remove `generic_const_exprs` feature from EVM crate (#1246)
70d6dd97 Merge branch 'main' into new-logup
f438d45f Merge branch 'main' into 'new-logup'.
6618cfad Remove SEQUENCE_LEN in BytePackingStark (#1241)
1b7207ee Merge pull request #1244 from topos-protocol/block_metadata_doc
459e9b3d Merge pull request #1245 from topos-protocol/indexing_tables
d8874c83 Update ranges indices
c468465c Merge pull request #1243 from tamirhemo/main
edd3f383 Add some doc for BlockMetadata / ExtraBlockData
8a19f436 Merge pull request #1242 from topos-protocol/fix_multi_row_ctl
8839285f add trait bound
a44379b5 fmt and clippy
7d7f01da refactor prove method
4eb6a3b5 Fix eval_table
ca441872 Merge branch 'main' into new-logup
b60a3d4b Merge pull request #1239 from topos-protocol/mload_mstore_with_packing
053553d4 Reuse new packing instructions for MLOAD and MSTORE
696377ba Merge pull request #1231 from topos-protocol/error_vs_panic
b5c28bd6 Rename utility methods for U256 conversion
f07351fc Merge pull request #1238 from topos-protocol/cleanup
f3ea95ca Merge branch 'main' into error_vs_panic
c4be838a Typo
d1c00767 Cleanup lookup_test module and reduce module visibility
15064b3a Merge pull request #1229 from topos-protocol/next_row_ctls
1a4caaa0 Move next row logic inside Column
ffa71787 Merge remote-tracking branch 'mir/main' into new-logup
a9b7b5a6 Revert "Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]"
8903aec1 Change padding rule for CPU (#1234)
865f185b Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup
1afcafad Merge pull request #1236 from topos-protocol/ci
5db6abf0 Update clippy in CI
4f0330ad Update clippy in CI
ec9e6196 Fix range
66f935a7 Remove where clauses: [(); CpuStark::<F, D>::COLUMNS]
91000591 Merge branch 'main' of github.com:mir-protocol/plonky2 into new-logup
9697c906 Clippy
7dc2a774 Cleanup
c5af894e Add assert with char(F). Cleanup. Fix recursive challenges.
9ab8a118 Remove one helper function
17f661f9 Fix BytePacking range-check. Fix lookup challenges
c9c0f8b7 Use CTL challenges for logUP + change comments + add assert
f65ad58a Implement logUp
d4a8026b Combine mstore_general and mload_general into one flag (#1188)
27d9113f Merge branch 'main' into next_row_ctls
0b5ac312 Merge pull request #1203 from topos-protocol/constrain_nv_stack_len
19220b21 Remove redundant Keccak sponge cols (#1233)
06bc73f7 Combine arithmetic flags on the CPU side (#1187)
61a1c246 Fix CTLs
c27fc96a Merge branch 'main' into next_row_ctls
f944a08b Fix self_balance_gas_cost and basic_smart_contract. (#1227)
7ebbb47f Swap ordering in stack macro (#1230)
5a1b05ac Remove risks of panic
9508b490 Move byte packing / unpacking to a distinct table (#1212)
3c4f938f Make next row available to CTLs
4d7d9ffa Constrain genesis block's state trie.
d1c395ef Merge pull request #1202 from mir-protocol/keccak-preimage
3571f097 Merge pull request #1224 from mir-protocol/latest-nightly
9a8a769d more clippy suggestions
55d05147 clippy suggestions
a4e6c6ae clippy suggestions
7415810f clippy suggestions
8af3b0fe clippy suggestions
ed8bcf9d clippy suggestions
1dd77d6d fmt
e947a624 suppress incorrect Clippy error
967f7b12 latest nightly in CI and rust-toolchain
65917f5f Merge pull request #1222 from mir-protocol/internal_crate_path_stablization
2f1ed951 Merge pull request #1220 from mir-protocol/latest_nightly_fix
90ea0318 Merge pull request #1223 from succinctlabs/uma/change-witness-visibility
faa70e07 Merge pull request #1219 from succinctlabs/uma/add-mock-feature-flag
a184f09b Made visibilities outside of crate to allow for forking partial witness gen outside of crate
1be1ca4d clippy
a6433071 Fixes
5936c67f Now refers to sub-crates using paths (and removed `patch` section)
180c2094 Merge pull request #1208 from topos-protocol/blockhash_opcode
71b2ece1 Merge pull request #1216 from topos-protocol/checkpoint_lengths
0b7c4082 Merge pull request #1218 from topos-protocol/keccak_col
05e9fc0b Apply Nick's comment
d0379e94 Apply Nick's comment
4716fe7d Also included clippy fixes introduced by new nightly
6d3d2cb2 Now builds on the latest nightly
5a3c8b26 clippy
0ca796e1 Removed mock feature flag and added mock_build
170f7d83 Fix Clippy
9a06fc9b Fix memop reads, from_prover_inputs and cleanup.
ddf2b817 Clippy
1c01d682 Fix overflow check and test. Remove [..8] when using h256_limbs.
c30b1834 Change h256_ulimbs
4e0fe74a Apply comments
42f70380 Add blockhash sys opcode
4782519d remove spurious
18d31412 Added mock feature flag and test
258b075f Remove filter column for KeccakStark
e6ca4606 Merge pull request #1214 from jtguibas/jtguibas/serde-target
5690b951 Merge pull request #1217 from topos-protocol/cleanup_duplicates
fa9aae1f Remove duplicate code
6207f446 Merge pull request #1206 from topos-protocol/missing-public-value-links
8dcb29e5 Display actual trace lengths instead of number of ops
800603d6 feat: serde for targets
a7096546 Merge pull request #1209 from topos-protocol/receipts-all-types
d4b71c56 Replace genesis state trie check with TODO
6bd17e29 Apply comments
dd3b61a3 Merge pull request #1211 from mir-protocol/comment-fix
ac89c7cd Fix comment in `proof.rs`
bf21b278 Apply comments
9ba2b895 Implement receipts of types 1 and 2
b0764436 Add missing links between public values
8beba569 Constrain next row's stack length
ea03e418 Keccak STARK: constraint preimage to equal A on first round
760f09a8 Merge pull request #1201 from shuklaayush/fix/keccak-stark-reg-preimage
301aedf0 fix: constrain higher bits of reg_preimage
a0b2b489 Merge pull request #1200 from topos-protocol/fix_empty_txn_list
71967147 Update range from ReceiptTrie PR
6e7fcc9e Merge pull request #1199 from jtguibas/john/make-generate-partial-witness-pub
d3f33bae make generate partial_witness pub
62f271a8 Merge pull request #1198 from mir-protocol/public_values_serde
975fd451 Made `PublicValues` serializable
86fb6aa0 Merge pull request #1097 from topos-protocol/receipts_and_logs
6a2e2423 Clippy
caae038c Cleanup
5b962f3c Change receipts_trie in basic_smart_contract and self_balance_gas_cost
ad9796cb Fix tests and address comments
925cdd53 Cleanup
c0b4f155 Implement receipts and logs
44115de7 Merge pull request #1174 from topos-protocol/merge-context-flags
a881c70e Merge pull request #1191 from mir-protocol/eth_trie_utils_patch
18ca89f0 Patched plonky2 to use a patch for eth_trie_utils
4e5f6e7e Apply comment
10bbda03 Remove unnecessary changes in the Operation enum
c3cb2278 Combine get_context and set_context into one flag
74212a29 Merge pull request #1192 from topos-protocol/misc_constraints
f6f9fa31 Merge pull request #1190 from topos-protocol/mpt-remove-cow
06e20f87 Apply comment
a94d9282 Merge pull request #1194 from topos-protocol/block_basefee
8476fdcd Refactor
9a450068 Update BlockBaseFee to fit in 2 limbs
c138f2d6 Merge pull request #1193 from topos-protocol/observe_pv
68bb4967 Update tests to have a blockgaslimit fitting u32s
976d7521 Observe public values
0b78c43f Remove filtering in membus
91e8d52d Reduce overconstraining in decode module
b711e527 Combine a few constraints
d96c6491 Merge pull request #1165 from topos-protocol/ci-test
d70d67fa Remove copy on write for mpt_insert and mpt_delete
1997bf24 Implement inverse from Fermat little theorem (#1176)
eb7bb461 Merge pull request #1189 from topos-protocol/remove_is_bootstrap_kernel_flag
49d92cb8 Remove is_bootstrap_kernel column
683501cc Merge pull request #1183 from topos-protocol/remove_is_cpu_cycle_flag
815a02ab Remove is_cpu_cycle
89e62e55 Use Keccak config in simple tests
7b07229b Add guidance for external contributors to README.md
830fdf53 Merge pull request #1184 from topos-protocol/combine_jump_flags
12f379f9 Combine jump flags
470788d0 Merge pull request #1185 from topos-protocol/combine_simple_logic_flags
7cdb6baf Merge pull request #1177 from topos-protocol/alloc
7829dccf Combine EQ and ISZERO flags
dc7e0aa7 Merge pull request #1181 from topos-protocol/combine_logic_flags
654f7cac Comment
e10eaad0 Combine all logic flags together
437f57a8 Fix logic CTL
5100e032 Revert changes in cyclic_subgroup_unknown_order
8541a04b Apply Nicholas comment
56ebda49 Address review
12a687d3 Reduce reallocations
ee9ce4c5 Combine AND and OR flags in CpuStark
6f98fd76 Merge pull request #1147 from metacraft-labs/gate_make_public_parameter
5f4b15af Connect SHL/SHR operations to the Arithmetic table (#1166)
df07ae09 Write trie roots to memory before kernel bootstrapping  (#1172)
c9eed2bb Connect public values in aggregation circuit (#1169)
397ee266 Merge pull request #1171 from topos-protocol/exception-flag
017e6217 Set exception flag to 1.
e6407089 Error instead of panicking for missing preprocessed circuits (#1159)
b2626fdc Merge pull request #1162 from topos-protocol/cleanup_attributes
9eeb69f0 Merge pull request #1105 from topos-protocol/poseidon_warning
bf1ed783 Merge pull request #1161 from topos-protocol/fix_recursive_ctl
c9bd32d5 Fix trait import. (#1163)
9f8c1522 Remove unused attributes
4a762e33 Merge pull request #1160 from topos-protocol/keccak_general
5b9e8d85 Merge branch 'main' into poseidon_warning
bd3834c4 Silence Poseidon warnings for ARM targets
5316f890 Clippy
8365608b Convert to u32 instead of u64
c93f9d5f Fix endianness in benefiary limbs
bca3e09b Reuse set_public_value_targets
f01098a7 Constrain keccak general
9e0719e6 Better document constraints on addcy carries (#1139)
d8e314bc Merge pull request #1155 from 0xmozak/matthias/generalise-transpose
8c6e8d63 Merge pull request #1158 from mir-protocol/jacqui/gas-check-spec
c52ed29e Gas handling brain dump
eebf7eb0 Merge pull request #1157 from mir-protocol/update-versions
b414b8e9 fmt
f574effe make imports conditional on config
84321955 update versions in cross-crate references
3a556029 update versions for crates.io updates
7537193d Generalise transpose
5b8740a7 Merge pull request #1026 from topos-protocol/memory-ctl-verifier-bus
3b21b87d Merge pull request #1151 from mir-protocol/jacqui/dead-memtable-cols
7a882d0a Clippy
6253a68e Change public values into public inputs
59b73c84 Apply comments
1590c1d0 Fix indices in CTL functions
f97deab8 Remove non-passing debug assert
06037f81 Fix the memory CTL and implement the verifier memory bus
b3f00d4a Merge pull request #1146 from topos-protocol/overlap-cpu-syscalls
831fe862 Cut 5 Columns From The Memory Table With This One Weird Trick!
bfd6b988 Merge pull request #1148 from topos-protocol/lookup_check
ee9cd80c Change arg to non-mutable reference
0276446e Add additional lookup unit tests
dc70902f Remove always true condition
bc246780 Fix name in ID
6ca3f1a9 Make GateRef value public
bfa7ab36 Merge pull request #1111 from topos-protocol/lookup_serial
16227f90 Merge syscall and exceptions constraints.
0f52c889 Merge pull request #1145 from mir-protocol/npwardberkeley-patch-1
535fb7d8 Update prover.rs
e047676e Merge pull request #1114 from onsen-egg/onsen-egg/lookup-opt
a67cfdcb Precompute RE poly evals for challenges
03d90f30 Faster multiplicity counting for lookup tables
167518ed Merge pull request #1143 from succinctlabs/build_issue_on_mac_M2
6a772879 Fix negative quotient issue (#1140)
25678f46 Merge pull request #1144 from mir-protocol/build-in-subdirectories
f3e87ec4 CI: build in subdirectories
8a86e195 fix: add itertools/use_std feature flag for [std]
2d8c02bf Merge pull request #1138 from 0xmozak/bing/dep-serde-rc
7ba051f4 Fix failing byte constraint (#1135)
152e3959 Merge pull request #1137 from topos-protocol/fix-kernel-panic
e28b484a deps(serde): use rc
1af1afcf Change current context in bignum_modmul
cf278eac Merge pull request #1136 from topos-protocol/div_by_zero
f116c855 Fix risk of division by zero
b27389df Merge pull request #1134 from topos-protocol/avx_tests
04657d24 Fix import
1d6ca589 Add LUT hash to remove CircuitBuilder overhead
4893a860 Merge pull request #1116 from topos-protocol/recursive_ranges
00579850 Merge pull request #1132 from mir-protocol/dependabot/cargo/itertools-0.11.0
8b35fefb Rename cd to common_data for consistency Cf review
cbb3da15 Reduce number of lookup accesses
b32345cd Update lookup serialization
c8020126 Provide methods for ProverOnlyCircuitData serialization
544aff27 Also provide CommonCircuitData in serialization of gates and generators
47781e47 Add CommonCircuitData to gates deserialization method
b43d6c1d Add CommonCircuitData to generators deserialization method
d684ee2d Switch Field type of generators to be F: RichField + Extendable<D>
5d513207 Update itertools requirement from 0.10.3 to 0.11.0
4400757f Merge pull request #1128 from mir-protocol/dependabot/cargo/hex-literal-0.4.1
dc170915 Merge pull request #1131 from mir-protocol/dependabot/cargo/criterion-0.5.1
c202f4bc Merge pull request #1129 from mir-protocol/dependabot/cargo/ahash-0.8.3
0f284ca6 Merge pull request #1130 from mir-protocol/dependabot/cargo/hashbrown-0.14.0
63b8ceba Merge pull request #1124 from 0xmozak/matthias/remove_unused_deps
e3f12709 Merge pull request #1123 from 0xmozak/matthias/fix-readme
b0c5ddc0 Update criterion requirement from 0.4.0 to 0.5.1
fc70f36c Update hashbrown requirement from 0.12.3 to 0.14.0
0d9208a6 Update ahash requirement from 0.7.6 to 0.8.3
413f589e Update hex-literal requirement from 0.3.4 to 0.4.1
cc45ac9a Merge pull request #1125 from 0xmozak/matthias/fix-resolver-warning
1f561771 Merge pull request #1126 from 0xmozak/matthias/add-dependabot
7437fe2b Fill modulus in cpu row for Fp254 operations. (#1122)
9e748a47 Enable github's Dependabot
6c2f76d5 Fix resolver warning
4b0fc861 Remove unused dependency `blake2` from `evm` crate
f6b2e742 Fix spaces and wording in README
ee5d1aa6 Merge pull request #1033 from 0x0ece/transpose
398f86af Merge pull request #1092 from matthiasgoergens/matthias/move_to_field
2d7a94de formatting
94f880b6 Merge pull request #1104 from topos-protocol/serializer
dca50adf Merge pull request #1119 from mir-protocol/jacqui/topos-protocol/stack_len_bounds_aux_error
6b493d6f Remove redundant case (error in kernel mode)
1664ab44 Merge pull request #1112 from topos-protocol/fix-generate-jump
7aa5ed3b Merge pull request #1117 from topos-protocol/fix_set_context
b9b227c8 Merge pull request #1118 from mir-protocol/revert-1109-new-clippy-fixes
14c40115 Revert "clippy fixes"
f08afec6 Merge pull request #1109 from mir-protocol/new-clippy-fixes
5bff02a1 Fix generate_set_context
0a59aa6e Remove need for matching start ranges
325cd2f7 Compute stack_len_bounds_aux correctly in generate_error
224064bf Fix jump operation generation
c982826e Add feature "rc" to serde crate import
3870524a Merge pull request #1113 from topos-protocol/ci
6bd575d1 Fix nightly version in CI
dbb23587 Merge pull request #964 from topos-protocol/lookup
96fbecd9 ignoring where appropriate (for izip), fixing elsewhere
b0568a79 remove useless vec
0fec1124 update itertools
08a6e66d fix
5b08ac58 fix
3c776a8d clippy fixes
4df4d865 No default implementation
91c55d15 Add wrapper types for Lookup and LookupTable
43512371 Review
c0fc349c Fix lookup serialization and update with latest serialization changes
7e80b42a Serialize Lookup gates and generators
35abffd5 Implement lookups with logarithmic derivatives in Plonk
6122dccb Move operations to Field
56a127eb Make Buffer available in no-std
d960bfe2 Make serializer work with slices instead of Vec
3de92d9e Merge pull request #1102 from mir-protocol/modexp-memory-context-change
605ea47f reset Cargo.toml
897e2e99 fix
54cf74ac addressed comments
975e9a49 fmt
8eeca9be undo dummy change
2fa43121 dummy change to get tests to rerun :P
9bb6da04 fmt
afd4bd04 cleanup
bc53ddc5 fix
264192aa modexp uses current_general
39d2237d Merge pull request #1101 from mir-protocol/blake_fix
ee452fc0 Merge pull request #1099 from mir-protocol/blake_fix_fix
ef8ea64d Minor
7559bb2f Minor
83ee5fd6 Minor
c8ff80ca Fix blake2 fix
7ca56768 fix
246eb8d8 blake fix
23bc390a Merge pull request #1095 from mir-protocol/jacqui/push0-opcode
3eb41edb William comments
564864ea Remove parts of the copy-on-write logic (#1096)
cedeff52 PUSH0
9cc35360 Merge pull request #1082 from mir-protocol/jacqui/simplify-stack-bounds
8ded9e84 Minor: William comment
ec07255f Fix halt loop (#1094)
01efa013 Fix account touch in calls (#1093)
ba705703 Use current context for pairing memory (#1091)
9838a367 Check call depth in create (#1089)
e51c4d0d Set returndata size to 0 in some create errors (#1088)
d37c5455 Increment call depth in precompiles (#1087)
56e7ad00 Fix LOG* gas (#1086)
68b15ea5 Fix CALLDATALOAD for large offsets (#1085)
f852984e Implement PREVRANDAO as if it was DIFFICULTY (#1084)
6920992e Simplify stack bounds constraints
01175419 Merge pull request #1071 from mir-protocol/jacqui/bad-opcode-witness-generation
ae290dbf William PR comments
0f7e1c0b Call stack depth (#1081)
0f874317 Minor fix to REVERT (#1080)
90bb4741 RIPEMD doesn't get untouched (#1079)
fd48e5d1 Contract creation fixes (#1078)
77f0d8b5 Don't revert state in CREATE in case of OOF or nonce overflow (#1077)
63a6e706 Fill BLOCKHASH and PREVRANDAO syscalls with dummy code (#1076)
0e23606e Revert #1074 (#1075)
5a13b62d Don't overwrite existing account (#1074)
2cf31f5f Prevent shift ops from panicking (#1073)
d3387172 Commit missing file
c773476c Minor docs
55b29cac Remove bootloader.asm (#1072)
3ecf5309 Minor bugfixes
448bc719 Lints
1d804e46 Fix stack after precompiles (#1061)
7ab0bba5 Merge branch 'main' into jacqui/bad-opcode-witness-generation
b7220428 Error handling
973624f1 Minor fixes to RETURN and RETURNDATACOPY (#1060)
720faa67 Fix create OOG because of code deposit cost (#1062)
fbf6591b Warm precompiles earlier (#1065)
f605d912 Propagate static flag (#1066)
73079796 Fix pairing invalid input (#1067)
49bbe4e0 Fix arithmetic stark padding (#1069)
0d819cf8 Implement EVM `BYTE` operation (#1059)
8153dc78 Remove `-C prefer-dynamic=y` from CI build.
a492d3e1 Fix revert gas bug
7dfdacf2 Fix return and revert gas (#1058)
42f33017 Fix ecrecover edge case (#1057)
c0abefda Fix DUP in call gas
e6a7b8c5 Add contract creation flag (#1056)
30b97b29 Fix DelegateCall bug
9727eaf1 Fix extcodehash when account is empty (#1055)
08a061bc Implement LOG* gas and remove panic (#1054)
354664c8 Fix ecmul (#1053)
6e303601 Support for type-2 transactions (#1052)
9b0092ab Support for type-1 transactions (#1051)
15dec6fa Encode `to` as B160. (#1011)
beefc91d Pop checkpoint in the right place
5a7c176c Fix issues related to CREATE2 collisions (#1050)
e720090e Merge pull request #1041 from mir-protocol/storage_addr_h160_to_h256
d57b62ff Perform jumpdest analysis whenever entering a new context (#1049)
971bfba6 EIP-2681: Limit account nonce to 2^64-1 (#1048)
8faea881 Don't add an event for account creation for pre-existing account (#1047)
29fac4ca Check balance in create (#1046)
1616c0ba Fix extcodecopy
3a9e5cc0 More fixes to contract creation (#1045)
49979df9 Fixed failing test
a294c7e2 Some fixes to contract creation (#1044)
84c15606 Minor fixes to returndata and create (#1043)
10e6c768 `TrieInputs` now uses `H256` for storage account addresses
ce6ac9f8 Merge pull request #1038 from mir-protocol/tests-memory-context-fix
c36ed15e Merge pull request #941 from mir-protocol/bls-fp2
6292d8d7 redundant
d3986e6b merge successful
59ae7103 merge
244d5e9b Add refund journal event and checkpoint after access address event (#1040)
bde7fb50 Various fixes to checkpoint logic (#1039)
e5b0fce6 revert testing changes
3a77c5a0 fix
14f92f7b Cargo.toml change for testing
b116929f Delete touched recipient in EOA -> EOA (#1037)
6ebee38e fix
d05db497 Don't touch contract address in DELEGATECALL or CALLCODE (#1036)
bfd6834d Journal of state changes + state reversion  (#1028)
74ba3032 MPT deletion (#1025)
202985b2 Fix CALL gas (#1030)
944d4a24 SSTORE refund (#1018)
f1cc284d Optimize transpose
c134b597 Cross-table lookup for arithmetic stark (#905)
779456c2 Merge pull request #1029 from mir-protocol/precompile-memory-context-change
6f4f00c6 Merge pull request #1027 from mir-protocol/memory-refactor
2c5f6fd6 Fix compile time problems and generic hash implementation (#1024)
76fb3160 Merge branch 'memory-refactor' into precompile-memory-context-change
0d9e3216 fix (mstore_unpacking returns offset)
97aedd11 Merge branch 'memory-refactor' into precompile-memory-context-change
6e7fa6da fix
675d6440 Merge branch 'memory-refactor' into precompile-memory-context-change
57bcb451 use mstore_unpacking and mload_packing
6669f73a use mstore_unpacking and mload_packing
af12368a addressed comments & cleanup
98a75774 cleanup
5dc043aa Merge pull request #1012 from honeywest/transpose
a4a4fbb3 fmt
057b650f fix
a076da75 fix
24159886 precompile memory context change
d9694d95 fix
446c3b71 fix
b566dbd7 refactor memory/core.asm to make code more reusable
46c7903b Merge pull request #1023 from topos-network/clippy
92c2378c Fix clippy
f11921c9 Fix doubly_encode_rlp_scalar in the 0 case. (#1022)
653a6b15 Remove `generic_const_exprs` dependency from field crate. (#1020)
4380395e Merge pull request #1017 from mir-protocol/expmod-fix
91067e58 expmod edge case fix
b159c9e7 Merge pull request #1013 from topos-network/overflow-check
f0df03f6 Merge pull request #1009 from mir-protocol/expmod_precompile
099e7946 fixes
17a7c57d Change add_or_fault macro
1f39c555 Address overflow-related TODOs in ASM code, using a macro add_or_fault. This is related to https://github.com/mir-protocol/plonky2/pull/930/files/a4ea0965d79561c345e2f77836c07949c7e0bc69
40515dc6 Merge pull request #1014 from toposware/bootstrap_constraint
f3de2afc remove test file
cae5a2cf fix
050c2e65 fix: calculate gas properly
ab8ebdfb Merge pull request #1016 from mir-protocol/remove-proof-challenges-serialization
8d738729 Merge pull request #1015 from mir-protocol/clippy-fix
ade5b433 fix
30e58ad2 remove ProofChallenges serialization
8358b85d remove unneeded mut
08e6c352 addressed comments
037c2f5e addressed comments
841c5829 Fix todo in kernel bootstrapping
debe65f9 addressed comments
1d8f71f8 optimize transpose_in_place_square_small code
ae21ef8f Merge pull request #997 from mir-protocol/pairing-test
84f17699 comments
f9aad433 neutral input
397d5953 fix
031fe6ed Merge branch 'main' into expmod_precompile
9e4056e2 cleanup
badbf010 store and unpack at end
998cd8ab addressed comments
a638ebe0 fix
7ede443e Merge pull request #1006 from mir-protocol/blake_precompile
dc076df5 addressed comments
96742f29 addressed comments
e40b9edb addressed comments
9b18b3ae fix unit
16928fd0 peculiar...
b37e049a fmt
f6a49e88 fair naming
4a42ddb2 on stack
57113905 redundant
2aa83d9a Merge branch 'pairing-test' of github.com:mir-protocol/plonky2 into pairing-test
ae4b5091 neutral name
503cb8a9 random inp
4ad8520e SNARKV precompile (#1010)
b28e3e0d minor
ab721fa3 SSTORE gas (#1007)
efd5a81b Merge pull request #980 from mir-protocol/serialize_common_circuit_data
13c653bc mul works
6599c90a abstraction
78a368cf fix
8df0c743 remove build_without_randomizing (no longer needed)
b640bf63 serialize ProofChallenges
537debdc return bool
89122a3d it works
479e919c fmt
6dc094a8 test
4c235e5a Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
b4e06271 fix
d31c60a0 clean up
d928a70b clean
1e9db292 fixes
67a3edb2 Precompiles exist (#1008)
0d98e4b8 formatting
e642b824 move serialization to separate example
dc91554d expmod precompile
3b7ad771 cleanup
46d9cee0 charge gas!
9460acc1 rename blake2b
ce033410 fix
6a239c4f fix
a41cf018 fixed blake tests
11a03c5e Merge pull request #1005 from mir-protocol/precompile-fixes
621c63de clippy fix
c083cc63 fix
29a8367b fmt
2d98dd3c commented out unused functions
5dc44916 Merge branch 'main' into blake_precompile
454e0add fixed blake2_f, and testing
137a9966 Merge pull request #998 from mir-protocol/even-smaller-bignum-modexp-test
f225ea49 add comment
93398472 Merge branch 'precompile-fixes' into blake_precompile
1eba893e mload_packing macro
ffc5d6d6 Merge branch 'main' into precompile-fixes
43f4d2b8 clean more
14ee46c8 cleanup
0f662ed0 fixes
b7e93511 New contract hook (#1002)
a4b714e6 EIP-3541: Reject new contract code starting with the 0xEF byte (#1003)
472face2 EIP-3860: Limit and meter initcode (#999)
f3f3641f rename
975a35c3 fmt
f718f857 cleanup
8d50806b fix
b9f1c1c5 cleanup
858c59a2 cleanup
45c0d894 cleanup
905c5eb5 deterministic build function
146e6605 don't serialize challenges
66763c7d cleanup
993ed149 seralizing
34a03545 Serialize impls, and use in Fibonacci example
ea82d680 Merge pull request #981 from toposware/serialization
86acc15f blake precompile progress
b288ff5f Merge branch 'precompile-fixes' into blake_precompile
d5060ecd precompile optimizations
26204461 it works
9f0c2f47 blake precompile progress
dd58b9b5 dont panic
26d99a9b memory compress
0c55aa04 clean
50752246 clean
ff0695d7 renumber memory
f1bbf66c it works
c01b2bf2 minor
5f564b67 initial work on blake precompile
44a623d4 initialize out in asm
4e0be664 Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
b35d2524 Merge pull request #1001 from mir-protocol/eth_trie_utils_0_6_0_bump
db93bada Bumped `eth_trie_utils` to `0.6.0`
1a0a6300 EIP170 (#1000)
723f197d Cleanup
099c4b97 msg
82bca7fa error
b661a709 twisted check
2a9c5cfd Add serialization check in square_root example
bf02a3e8 Make generators public
5de5bfb5 Move serialization files into dedicated module
0e465c1c Customize range specification for AllRecursiveCircuits
f71139d9 Add serialisation support for gates, generators, and various structs
f7f5fb4e Change display for GoldilocksField
6edd5891 Gas and more for `CREATE(2)` (#995)
a8e5613b EOA to precompiles logic (#993)
df4a6f01 fix for full modexp test
6d84b988 fmt
cb23bfca check for special cases and align with yellow paper
bbe64674 tests passing
3628021a fmt
d6584dcb restructure tate test
3e437a0c oops remove more debug stuff
bf5dc256 undo debug commenting
0df18d5e tests
de94ac25 missing file
3444e810 even smaller bignum modexp test, and fixes
21a1a98a reorg
ca3a7f8a Merge branch 'main' of github.com:mir-protocol/plonky2 into pairing-test
9b54ee43 refactor
c0ced26f Merge pull request #992 from mir-protocol/smaller-bignum-modexp-test
0e082432 reorg
ada250f3 Merge branch 'main' into smaller-bignum-modexp-test
d8fef87a Only print warning or errors from the log. (#996)
2e16ab04 Replace %stack calls with equivalent opcodes. (#994)
3a3ff87a fmt
7dda0eff works
1f077628 new api
c9b09936 compiles
d112c716 fmt
a704b152 even less thorough :P
a4f60a04 less thorough bignum modexp test
049a258b Merge pull request #991 from mir-protocol/disable_couple_tests
8562abe0 Disable a couple tests
690fd100 Merge pull request #990 from mir-protocol/mpt_failure_labels
67593f16 Labels for failed MPT read/insert
e6864e98 Merge pull request #985 from toposware/kernel_serial
5dfac715 Fix generic const expressions warning (#984)
9037ceb0 Merge pull request #986 from mir-protocol/incremental_release
eb7468e7 Incremental release builds
df5a90cc Provide methods for serializing Kernel
6b2503f7 Merge pull request #970 from toposware/env
3cc39fa4 wip
9d60191d Implement returndatasize/returndatacopy for interpreter
191ca102 comment
0b85c8bb getting there
0b9ef768 nl
2106ae07 Merge branch 'bls-fp2' of github.com:mir-protocol/plonky2 into bls-fp2
a5c6b14e Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
9b9cd735 Update evm/src/extension_tower.rs
6946eaca Implement codesize/codecopy for interpreter
0f3285c3 Implement gasprice on the interpreter
e9cc5632 Impl caller/address/origin opcodes for interpreter
b721236e Precompiles interface (#983)
b896f9b2 Merge pull request #974 from toposware/stack_bound
c8637635 Remove dummy_yield_constr
4946c3d5 Merge branch 'main' into stack_bound
5fce67d1 Merge pull request #978 from toposware/stack_constraints
32a6bdf1 Merge pull request #971 from toposware/keccak_sponge_is_final_block
58f4568e Merge pull request #982 from toposware/sys_chainid
92d94dc6 Use Block chain id for sys_chainid
ba844a24 Change shl/shr behavior as well as BASIC_TERNARY_OP
475b2ba0 Fix copy_returndata_to_mem (#976)
c7e60073 Check if context is static for state-changing opcodes (#973)
142be4e1 Implement rest of *CALL opcodes (#972)
b202196b switch
f2650418 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
1e57ef96 Remove unnecessary constraint
29726f92 Apply review
f424bd36 Merge pull request #966 from toposware/interpreter
938e3bd5 Set stack_len_bounds_aux properly
18d27d2f Remove is_final_block column in KeccakSpongeStark
011ea8e4 Fix from review
5b1fd5f2 CALL gas (#969)
d79d2c49 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
8130a8a6 Merge pull request #950 from toposware/keccak_sponge
0529fa06 Change endianness within generate_keccak_general
3da8efa6 Implement sar in interpreter
b943ddb0 Implement signextend in interpreter
4db00441 Implement sgt in interpreter
ac2ccc1e Implement slt in interpreter
232832e3 Implement smod in interpreter
18d317b9 Implement sdiv in interpreter.
0e5e28f6 Merge pull request #968 from toposware/block_interpreter
c0fae77c Merge pull request #951 from toposware/prove_block
6124e4d6 Fix BlockCircuitData proofs
0146f48a Cleanup
524b39e2 Reactivate CTL for keccak sponge
d1379ac1 Fix hash output writing to memory
5f6098ff Add test for keccakf_u8s
99b0d009 Implement KeccakSpongeStark constraints
2fae2fbc Impl gaslimit opcode for interpreter
9e6f284b Impl chain_id opcode for interpreter
ae8ee27e Impl coinbase opcode for interpreter
e3572f1d Impl basefee opcode for interpreter
86bd055b Impl difficulty opcode for interpreter
60fed608 Impl number opcode for interpreter
a17c6231 Impl timestamp opcode for interpreter
042c0042 Merge pull request #965 from mir-protocol/fix_run_constructor
31e134f0 Delete %set_new_ctx_parent_ctx
1a9f0104 Fix call logic (#963)
ab692252 Minor fixes to context creation (#961)
7a65b1d4 Merge pull request #967 from toposware/fix_decode
310107f2 Fix decode constraint
cfc54f95 Fix run_constructor
d1c9277d Merge pull request #962 from mir-protocol/range-check-example
d6bb5d5d range check example
af3fa142 Implement sys_return and sys_revert (#959)
f24c3537 Update README.md
c11f4f41 Merge pull request #960 from mir-protocol/readme-updates
fb24b200 README updates: examples and external tutorial
5ac12de9 Fix sys_exp (#958)
923722b1 Fix copy opcodes when offset is large (#957)
d59fa59a Merge pull request #925 from mir-protocol/bignum-modexp
6a4e9ab6 fix
90f7ba9a addressed final comments
9690b60b Merge pull request #956 from mir-protocol/doubly_encode_storage_values
e70e4fca Doubly RLP-encode storage values
889911e8 redundancy
93dd25a1 fmt
33dc8eae better names
251d7e34 systematize names
4e48fc43 all Stacks
0e3b86de frob
26da6dc7 rev stack
d52c15e8 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
6fa59d20 Fix MSTORE8 (#955)
f9217272 Fix signed syscalls stack (#954)
3b607bde Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
a061c3cf Merge pull request #952 from mir-protocol/extra_where_clauses
209c1ff1 Remove extra conditions
e2f33dd3 Merge pull request #873 from toposware/hashconfig
9ee47ab7 Move HashConfig into GenericConfig associated types
46d5e62a Copy txn data to calldata (#935)
8e04cbfe Self-destruct list (#948)
a926dcad Transaction validity checks (#949)
f1a99e69 Add patch section to workspace config file
e857c020 Make hash functions generic
2ca00a9a Selfdestruct gas and set (#947)
786a71d6 Merge pull request #946 from mir-protocol/selfBalanceGasCost
31cd0f64 Remove dbg
9ae69a7c Add an integration test for the `selfBalanceGasCost` case
56bf0892 Charge gas for extcodecopy (#942)
f71d3642 Merge pull request #945 from mir-protocol/remove_CONSUME_GAS
9480cbed Signed operations as syscalls (#933)
2d87c5d6 Remove `CONSUME_GAS`
834522a6 Merge pull request #939 from mir-protocol/termination_fixes
be0cccdf Merge pull request #938 from mir-protocol/rework_create_create2
39fdad8c Feedback
a0d04ca3 Fix Wcopy when size=0 (#944)
9f1a5f97 Charge gas for keccak (#943)
cdaabfe9 Merge branch 'main' into bignum-modexp
b667c074 Merge pull request #940 from mir-protocol/eth_trie_utils_bump
3c7bc883 Removed a type alias
0c87a57f addressed comment
e4f2e864 fix
1a348eed check for x < m
bce25720 documentation
1e5677c4 comments
a6ccd350 cleanup
fb73e889 uncommented
c18377d1 Merge branch 'main' into bignum-modexp
91fb4fc0 fix modexp test
823b06ac fp2 works
3b95e013 bls method
5783a374 Merge branch 'main' of github.com:mir-protocol/plonky2 into bls-fp2
7b93b81a Merge pull request #931 from mir-protocol/fp381-opcodes
cf5a4edc prover input minor improvements
60ad9e03 Bumped `eth_trie_utils` to `0.5.0`
c3a5fd86 merge
1f14ae98 skeleton
911dfedd Rework CREATE, CREATE2 syscalls
b4eb8373 A few fixes for terminal instructions
ce22d945 Access lists (#937)
f9fa38d3 Fix new account insert key
7028b6ba comment
7ff2122e Merge branch 'main' of github.com:mir-protocol/plonky2 into fp381-opcodes
1ce47ceb Merge pull request #906 from mir-protocol/fp318
0650d263 remove .scale
3f4d970f Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
c8d2769c fmt
74afec70 remove imports
f4e65feb Fix bugs in `wcopy` and `update_mem_words` (#934)
15bafce5 Implement CREATE2 address generation (#936)
874805cc Merge branch 'fp318' of github.com:mir-protocol/plonky2 into fp381-opcodes
645ef664 comment
63ec13e2 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
3425391a more comments
d0b2b81e More MemoryError (#932)
1f3e3de7 clean and generalize
1627a9a0 tests pass
e471818c comments
1fbe3050 Merge branch 'main' into bignum-modexp
06936c76 Implement various syscalls (#930)
84a0bcf8 cleanup
373062b2 on stack
0e8f6a2f test skeleton
392c29f4 compiles
9ea0ebd7 skeleton
1437affc fmt
b847d16e redundancy
13d2ed90 merge
54b8ce74 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
143225f4 finish
d928423c cleanup
d59501e6 fixes, testing, and in-progress debugging
fc72ce46 fp6 works
4d83c58d frob works
2df1439d Return error instead of panic in memory operation (#928)
a79271a8 Minor account code fixes (#929)
caaf3b4a merge fields
cf1e6a76 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
24705e1e addressed comments
ff81a565 Merge pull request #927 from mir-protocol/creation_fixes
e1ae5392 Fix test
afded168 Contract creation fixes
893b88c3 Implement syscalls for BALANCE and SELFBALANCE (#922)
fc6487ca Merge pull request #926 from mir-protocol/fix_gas
3c4bc1d8 Fix GAS and implement storage value parsing
be309a38 cleanup from comments
42d65839 addressed comments
d340ff8c addressed comments
2e0b7992 addressed comments
9803581d fix
1a78f400 restored neq macro
be9cbd5a fmt
902bc66a fmt
511f450a resolved conflicts
4aa212ab modexp fix
e06f84dd modmul fix
76e70ac4 fixes
ad85d61e fix
4cef5aaa modmul and modexp
1e019356 basic bignum
b16b8261 Merge pull request #881 from mir-protocol/bignum-basic
6fe8554f Merge pull request #924 from mir-protocol/empty-stack-replacement
652b2bed allow empty stack replacement
a5fad9eb addressed comments
f6b9d6ee addressed comments
72b5bb0e fmt
2752456e addressed comments
5e98a5f9 adj trait
50388073 rename
25575df5 cleanup
ec0f3ce7 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
692575a2 Bump eth_trie_utils version. (#923)
2ab16344 Merge pull request #921 from mir-protocol/dlubarov_misc
bdf35374 Misc
b80a28db Misc
f13d603a Merge pull request #920 from mir-protocol/dlubarov_misc
47fac8e3 Couple fixes & minor refactor
64c76e76 Merge branch 'main' into bignum-basic
c491a989 Merge pull request #919 from mir-protocol/mem_expansion
f717a40b Charge for memory expansion
e8405eff Merge branch 'main' into bignum-basic
de246e22 Merge pull request #918 from mir-protocol/fix_read_ext
7ed53142 Fix reads from not-found ext nodes
7853656e Merge pull request #917 from mir-protocol/fix_clobbering
a05ed9fc Fix clobbering of RLP data memory
c3ba7a89 Merge branch 'main' into bignum-basic
2ac4fcdf Merge pull request #915 from mir-protocol/fix_clone_account
8c692b72 Fix account cloning
f514d966 Merge branch 'main' into bignum-basic
994c54ab Merge pull request #912 from mir-protocol/stack_on_panic
5720cf8a updated function name
cda31b5e Merge branch 'main' into bignum-basic
9f75132f Merge pull request #889 from mir-protocol/hash-asm-optimization
38f79e49 optimizations with rep
92ee7786 Merge branch 'main' into hash-asm-optimization
69b4a21c Merge branch 'main' into bignum-basic
da07a7a8 Merge pull request #914 from mir-protocol/return_post_state
373421a1 Fix tests - need to supply empty code
44c77f55 Input addresses
c8d591f6 Add a `prove_with_outputs` method
95347621 div instead of shr
cecbfa9b fit
c59b979c addmul fix
a0a23147 Merge branch 'main' into bignum-basic
f518a8b4 Merge branch 'main' into hash-asm-optimization
b62bc35d fixes
2d7d2ac3 Merge pull request #886 from toposware/poseidon-native
f1ad3da8 fix
062eb82a cleanup
e0a4bc31 cleanup
fda64475 fmt
fa3443a5 new testing interface, and test data
bb2233cb Override from_noncanonical_u96() for Goldilocks field
10e7329a Add FFT-based specification for Poseidon MDS layer on x86 targets
ee9bfb08 fix
4e736b63 fixes
534395ee fmt
73633354 test data
e6027142 cleanup
54eb29e7 fix
6f6c808d more efficient divmod
202990ed Merge branch 'main' into hash-asm-optimization
2195bdd4 Merge branch 'main' of github.com:mir-protocol/plonky2 into fp318
459d2929 folder
1c71fb34 Merge branch 'main' into bignum-basic
1576a300 Merge pull request #817 from mir-protocol/non-inv
e97e8188 fixed iszero and cleanup
12e6527b fixed messed up merge
2a0df523 Merge branch 'main' into hash-asm-optimization
44a0596f fmt
930ebafd Merge branch 'main' into bignum-basic
35fb1499 Merge pull request #904 from mir-protocol/optimize-blake2b
6f8a5100 interface changes
b0ed6ae0 cleanup
4ef981e4 initial test data
ad38f957 TODO for possible future mul optimization
06276334 carry -> carry_limb
e57358bc ge -> cmp and returns 0, 1, -1
d4a485ec Log stack on panic
7fad9eb8 Merge branch 'main' into optimize-blake2b
a8956b94 flip limbs
9ec97744 run_ops
dd7948e7 merge
5cf8028e Merge branch 'main' into bignum-basic
de6f01f4 small optimizations
424d8d22 more optimizations
29df451d optimizations
97cb5c75 bug fix
8f231bd0 optimization
265d39a5 cleanup
85411ac4 fixes
7351a166 fix
684b668b fix
63301d6b refactor sha2 compression
2236f30a more small optimizations
e5f8632b small optimizations
213ba8ff optimized initial hash value generation
7c8026e8 cleanup
2020202e optimize hash generation further further
df7ea93a optimize hash generation further
3a0d86e2 hash function optimization
ef377c0b cleanup
4e8af821 fixes
9ad25b2a optimizations
eebdd029 Merge pull request #910 from mir-protocol/optimize-asm
d23e4e20 deal with and test zero-len case
4b6a5146 fix
05788a99 compiles
d4c7bfd5 addressed comments
725b5a08 cleanup
4a762553 name change
c4b511ba addressed comments
2000d308 addressed comments
a738afce Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into fp318
24e0b291 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
676a483c fix
476a554a OR -> ADD
87ad5714 addressed comments
04f44ef4 addressed comments
9e7dc7ca addressed comments
6f05a144 Merge branch 'main' into bignum-basic
7b2c4c61 Merge branch 'main' into optimize-blake2b
ac068845 Merge pull request #909 from mir-protocol/gas_to_coinbase
d5003b7c Gas fees go to coinbase
181e4409 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
625bdb68 skeleton
6dd99e43 Merge pull request #908 from mir-protocol/fix_call_field
84fbbbf4 Couple minor fixes
54f8dcf4 Merge branch 'main' into optimize-blake2b
ce25cc84 Merge pull request #907 from toposware/wasm
b3e93e91 Fix plonky2 compilation with wasm32-unknown-unknown target
a96418b3 unused test
33ccf898 small optimizations
fda2e190 restored blake2b_g_function and call_blake2b_g_function macros
4a378bce Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into fp318
18c83e77 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
6d997a65 more tests
f2538fff cleanup
bac38f82 fix
3a019f99 fix
3662e41d fixes
1100445d cleanup
4f412182 cleanup
0fdd93b8 cleanup
f46694e7 more thorough tests
2aff3e10 cleanup
1d7c28ee bug fixes
c98bfb0b cleanup
af3dc287 cleanup
10893fe0 addmul test: use carry
efd5e6ec cleanup
5477c7dd fixes
119eae95 fix
9976a4b0 addmul initial
aa605b67 flag functions used only in tests
fa605d7b basic bignum
0f55956a optimized initial hash value generation
5994f4d9 cleanup
9d8d81b4 optimize hash generation further further
c37d1e25 optimize hash generation further
40f90d83 hash function optimization
70475a5a cleanup
5f592e60 fixes
93abd35f optimizations
eea8ab62 Merge pull request #903 from mir-protocol/misc_evm_fixes
a6ac0519 Misc EVM fixes
2eed209a Merge pull request #902 from mir-protocol/debug_tries_2
e6aa62f3 Some tooling for debugging tests where the updated tries are not correct
21db4a1b Merge pull request #900 from mir-protocol/sys_gas
f117d76b sys_gas
f19b7553 Merge pull request #899 from mir-protocol/evm_fixes
c558eedd Misc EVM fixes
ec216d28 Merge pull request #898 from mir-protocol/move-out-ecdsa
77fb333a Move ecdsa to its own repo
2621d582 Merge pull request #897 from mir-protocol/move-out-u32
18733f11 Move u32 to its own repo
b08e7a08 Merge pull request #896 from mir-protocol/move-out-insertion
bf8780b2 Move insertion to its own repo
64296bcc Merge pull request #895 from mir-protocol/move-out-waksman
b95bc90b moved waksman to outside repo
1ee39b51 fmt
ab32f03b fixed multiplication
bde5c557 correct mul impl
2c73d5d7 bls field arithmetic
95e5fb59 cleaner rand
6ac59f16 arithmetic skeleton
8ace54dc Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
57ea64e3 Merge pull request #894 from mir-protocol/fix_storage_trie_lookup
1e1e75c9 Fix code that looks for an account's storage trie
e8c94632 comment
1d94756e add inverse doc
5aafbaad Merge pull request #893 from mir-protocol/move_out_system_zero
801fa641 link
bfaa80a3 Move system-zero to its own repo
13a8d670 loop test
2ea3e5e3 minor changes
e3e5c678 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
7781dd36 Plonky2 to 0.1.3
db893831 Merge pull request #892 from mir-protocol/bump_plonky2
2133c7f3 Use new plonky2
52e34265 Bump plonky2 to 0.1.2
79084719 Merge pull request #891 from mir-protocol/fix_hash_or_noop
e52b75b0 Fix `hash_or_noop` for general hash sizes
d17f3aa4 Merge pull request #890 from mir-protocol/test_fixes
29f0692e Fix a few issues found by EVM tests
2a9d4b1a minor
5e3e40a0 more general kernel peek
b89e668b minor
f5b45ee4 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
33185476 Merge pull request #885 from mir-protocol/skip_log
745bec8d Skip log_kernel_instruction if debug logs disabled
e8865130 put extract in interpreter
63f1fbfa fmt
be351110 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
6f2d99c7 Merge pull request #884 from mir-protocol/evm-kernel-tests
ea9846de format
da7a8879 make hash functions take a location pointer
a6ffb4b3 simplify byte extraction
4e4cfb06 function API / remove redundancy
53ab0ada remove blake storage
77a7af76 remove sha2 storage
abc762f7 cleaner arithmetic
731c29c4 abstract
c6cf1dc5 remove custom
bce86718 simplify ripe md test
e2cac0bb Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
f3946f75 Gas constraints (#880)
444da8f7 better comments
80e49caa segment virts
d320fbfb update curve add with ops
787cc890 change segment
71243fd7 fix pairing code after big BN PR merge
2158c1d2 merge
9e60ee25 segment
ac40bd5f Optimize `ecMul` precompile (scalar multiplication on BN254) (#852)
3332fbb4 Merge pull request #882 from mir-protocol/back_to_nightly
ff80f28b Revert "Set CI to use an older version of nightly"
85b33093 Merge pull request #879 from 0x0ece/patch-1
614c4ae6 Make le_sum public
40866e77 Refactor arithmetic operation traits (#876)
c6492bc5 merge fix
7b367f5c merge
83c0292b Move SHL and SHR generation to the CPU. (#878)
b585b6a7 remove macro
31095e1b stack macro
a061b88a naming
cecad598 stack macro
361d6d72 tests and stacks
cb7c638c more comments
69afed92 refactor
57146c83 miller loop test
e63cc2aa Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
9f808fc7 align
69228491 Unify generation and verification of ADD/SUB/LT/GT operations (#872)
1c73e238 fp -> fp254
61ac0eff fmt
0f030fae naming for global labels
c107c505 comments
e1dca870 name
962754be rand impl
a950a262 add comments
cd5c92b5 merge
ca002aea Optimize `ecrecover` ASM (#840)
9990632f Merge pull request #870 from mir-protocol/prep_for_publish
137bc785 Prep for publishing to crates.io
81511380 TODO
6c4ef29f Add range checks to the arithmetic Stark (#866)
aed617c1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
ea01e19c comment
5b124fb1 minor
6e8d4a57 fix
0eef28af bools
3ea8ad90 fmt
6958d46c names and comments
56be7317 comments
b46af11f move consts
f70243e7 better comments
f0a6ec95 clean asm
136cdd05 Remove InterpolationGate trait (#868)
9c8f1166 ocd
d98c69f0 better comments
0b81258a stack macros
3bdb2907 Optimized interpolation gate (#861)
c9b005d2 new power works
5deb1648 refactor power
60cbdde8 clean
8ca6ba7b clean
c13cf972 tate test
75c5938c rewrite w methods
ec4cddb7 inv as method
7b524381 en route to ownership
17cfae66 reorg
f34b35ed extra comments
94d99cca extra comments
8b670d54 meh
769c615c cleanup
530fb65b cleanup
155e973d slight refactor
d2aa937a improved prover input and test api
e06a2f2d duh
a5c292c7 space
4d783da8 fmt
d99cadeb stack macro
b2f9d885 remove redundant macros and improve comments
8e62d994 fmt
922d3ebc add module and fix errors
3fcb5591 redundant macro
c74a0c25 test inv from memory
abab6bf1 test frob from memory
20fb2cb7 read output from memory
5f2baea0 mul test from memory
7f135fc0 reorg
b44d9e2d Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
8ae36474 Merge pull request #865 from mir-protocol/increment_nonce
eb7d18da fix clippy
54676487 cleaner description
d6167a63 complete description
23698b74 more comments
fda4b4c1 more comments
985e8160 transmute + comments
6e215386 comments
f2e40541 Increment sender nonce + buy gas
0daaa3bf org
bc9c431e remove comments
9977ae03 new inverse
fe91e119 frob format
37ad3407 frob format
ecde3d13 frob tests
9cd1f8a1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
be19cb81 struct impl style arithmetic
31c5db91 rename module
ccd4a38a remove make_stack
b753836a Merge pull request #864 from mir-protocol/block_circuit
b6f6c210 Block circuit
3a6d693f Merge pull request #863 from mir-protocol/smart_contract_test
a2f4a58d log
df2ba7a3 Basic smart contract test
07e02f2d Merge pull request #862 from mir-protocol/prover_inputs_error_handling
a158effe Use error instead of panicking in FromStr
3fbc8bff move comment
ea8cfc95 name
2a2880b7 name
800ceb60 zero name
e6bcad6c Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into non-inv
446a0d3f name
81861095 Update evm/src/cpu/kernel/asm/curve/bn254/field_arithmetic/inverse.asm
4f38c3a7 name
70d7fb13 cleaner inv
32f24819 Update evm/src/cpu/kernel/asm/curve/bn254/curve_arithmetic/curve_add.asm
49db35d3 Merge branch 'non-inv' of github.com:mir-protocol/plonky2 into non-inv
42f98a09 Update evm/src/bn254.rs
82ce8153 \n
93a363c1 Merge branch 'main' of github.com:mir-protocol/plonky2 into non-inv
068f7485 Update evm/src/witness/util.rs
698ab6e7 Update evm/src/bn254.rs
be7a489c Fix stack overflow
8ba8bb62 Merge pull request #860 from mir-protocol/agg_circuit_2
87be6097 Feedback
ae212cfb Merge pull request #859 fro…
    @4l0n50 @wborgeaud @Nashtare
    4 people authored Apr 8, 2024
    Configuration menu
    Copy the full SHA
    db34d51 View commit details
    Browse the repository at this point in the history

  6. smt_trie library deps cleanup (#152) 

    * Add smt_trie to CI workflow

* Reuse workspace level dependencies
    @Nashtare
    Nashtare authored Apr 8, 2024
    Configuration menu
    Copy the full SHA
    9252990 View commit details
    Browse the repository at this point in the history

Commits on Apr 9, 2024

  1. fix: add pr comments fixes

    @lastminutedev
    lastminutedev committed Apr 9, 2024
    Configuration menu
    Copy the full SHA
    6c65436 View commit details
    Browse the repository at this point in the history

Commits on Apr 10, 2024

  1. Debug & proving scripts now use indentical logging 

    - Previously they were both different, and both were missing important
  modules.
    @BGluth
    BGluth committed Apr 10, 2024
    Configuration menu
    Copy the full SHA
    c7cabda View commit details
    Browse the repository at this point in the history

  2. Merge pull request #52 from 0xPolygonZero/script_logging_improvement 

    Debug & proving scripts now use indentical logging
    @BGluth
    BGluth authored Apr 10, 2024
    Configuration menu
    Copy the full SHA
    a8ec4ac View commit details
    Browse the repository at this point in the history

Commits on Apr 11, 2024

  1. Add flag to scripts

    @Nashtare
    Nashtare committed Apr 11, 2024
    Configuration menu
    Copy the full SHA
    a5a9912 View commit details
    Browse the repository at this point in the history

  2. Merge pull request #53 from 0xPolygonZero/script-native

    @Nashtare
    Nashtare authored Apr 11, 2024
    Configuration menu
    Copy the full SHA
    0a8ab51 View commit details
    Browse the repository at this point in the history

Commits on Apr 12, 2024

  1. Allow verifier to load .env file

    @Nashtare
    Nashtare committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    ddd6f11 View commit details
    Browse the repository at this point in the history

  2. Add logging info from verifier side

    @Nashtare
    Nashtare committed Apr 12, 2024
    Configuration menu
    Copy the full SHA
    d429120 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #55 from 0xPolygonZero/load_env_verifier 

    Load .env file in verifier binary
    @Nashtare
    Nashtare authored Apr 12, 2024
    Configuration menu
    Copy the full SHA
    ab6f1f4 View commit details
    Browse the repository at this point in the history

Commits on Apr 16, 2024

  1. Merge pull request #47 from 0xPolygonZero/add_circuit_version_check 

    feat: add circuit version consistency check
    @muursh
    muursh authored Apr 16, 2024
    Configuration menu
    Copy the full SHA
    cea7424 View commit details
    Browse the repository at this point in the history

Commits on Apr 17, 2024

  1. Updated docs for new parameter in prove_blocks.sh 

    - Was not mentioned in the readme at all, and people would always run
  into this if they followed the old docs.
    @BGluth
    BGluth committed Apr 17, 2024
    Configuration menu
    Copy the full SHA
    427648d View commit details
    Browse the repository at this point in the history

  2. Apply suggestions from code review (Nashtare) 

    Co-authored-by: Robin Salen <[email protected]>
    @BGluth @Nashtare
    BGluth and Nashtare authored Apr 17, 2024
    Configuration menu
    Copy the full SHA
    bb37594 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #59 from 0xPolygonZero/docs/missing_param_in_prove… 

    …_blocks

Updated docs for new parameter in `prove_blocks.sh`
    @BGluth
    BGluth authored Apr 17, 2024
    Configuration menu
    Copy the full SHA
    d1535f0 View commit details
    Browse the repository at this point in the history

Commits on Apr 19, 2024

  1. Now logs time to generate proofs

    @BGluth
    BGluth committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    204a443 View commit details
    Browse the repository at this point in the history

  2. Removed agg & block proof timing logic

    @BGluth
    BGluth committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    17535a9 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #61 from 0xPolygonZero/proof_timing 

    Now logs time to generate proofs
    @BGluth
    BGluth authored Apr 19, 2024
    Configuration menu
    Copy the full SHA
    ae915a2 View commit details
    Browse the repository at this point in the history

  4. Fixed txn proof logs not rendering correctly 

    - Txn ident was being printed twice.
- Only the first `4` chars of the ident were being printed.
    @BGluth
    BGluth committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    f99f4a6 View commit details
    Browse the repository at this point in the history

  5. Cleaned up txn proof timing output even more

    @BGluth
    BGluth committed Apr 19, 2024
    Configuration menu
    Copy the full SHA
    211983b View commit details
    Browse the repository at this point in the history

  6. Merge pull request #63 from 0xPolygonZero/fix/txn_log_times_cleanup 

    Fixed txn proof logs not rendering correctly
    @BGluth
    BGluth authored Apr 19, 2024
    Configuration menu
    Copy the full SHA
    4dd7bc3 View commit details
    Browse the repository at this point in the history

Commits on Apr 22, 2024

  1. feat: adding block proof ci

    @praetoriansentry
    praetoriansentry committed Apr 22, 2024
    Configuration menu
    Copy the full SHA
    e92f3b3 View commit details
    Browse the repository at this point in the history

  2. Update tools/simple_test.sh 

    Co-authored-by: Robin Salen <[email protected]>
    @praetoriansentry @Nashtare
    praetoriansentry and Nashtare authored Apr 22, 2024
    Configuration menu
    Copy the full SHA
    3a008ed View commit details
    Browse the repository at this point in the history

  3. Merge pull request #65 from 0xPolygonZero/jhilliard/block-proof-ci 

    Block Proof CI
    @praetoriansentry
    praetoriansentry authored Apr 22, 2024
    Configuration menu
    Copy the full SHA
    26427f9 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #182 from 0xPolygonZero/develop 

    Bring back v0.3.0 into main + follow-up `trace_decoder` bump
    @Nashtare
    Nashtare authored Apr 22, 2024
    Configuration menu
    Copy the full SHA
    c95155c View commit details
    Browse the repository at this point in the history

Commits on Apr 23, 2024

  1. Cargo audit updates (#66) 

    * cargo audit update

* update plony2/evm

* fmt
    @muursh
    muursh authored Apr 23, 2024
    Configuration menu
    Copy the full SHA
    1798fde View commit details
    Browse the repository at this point in the history

  2. Implement RAII span for transaction timing to avoid cloning input (#67)

    @cpubot
    cpubot authored Apr 23, 2024
    Configuration menu
    Copy the full SHA
    75e8dc1 View commit details
    Browse the repository at this point in the history

Commits on Apr 24, 2024

  1. feat: provide IR for debugging upon failure (#48) 

    * feat: provide IR for debugging upon failure

* fix: fix clippy issues

* fix: fix pr comments

* fix: make evm_arithmetization non optional for ops

* fix: fix pr comments

* fix: fix clippy issues

* fix: fix clippy issue

* fix: fix pr comment

* fix: fix clippy issue

* fix: fix cargo lock

* fix: fix pr comments

* fix: fix format issues

* fix: fix save input on error for test-only

* fix: fix pr comments

* fix: fix

* fix: fix clippy issue

* fix: fmt fix

---------

Co-authored-by: Vladimir Trifonov <[email protected]>
    @vladimir-trifonov @lastminutedev
    vladimir-trifonov and lastminutedev authored Apr 24, 2024
    Configuration menu
    Copy the full SHA
    5ac1350 View commit details
    Browse the repository at this point in the history

  2. fix: fix circuit version consistency check (#58) 

    * fix: fix circuit version consistency check

* fix: fix clippy issues

* fix: update deps

---------

Co-authored-by: Vladimir Trifonov <[email protected]>
Co-authored-by: Robin Salen <[email protected]>
    @vladimir-trifonov @lastminutedev @Nashtare
    3 people authored Apr 24, 2024
    Configuration menu
    Copy the full SHA
    35fb73a View commit details
    Browse the repository at this point in the history

  3. Reduce sizes and add distinction with test_only mode (#69)

    @Nashtare
    Nashtare authored Apr 24, 2024
    Configuration menu
    Copy the full SHA
    e49ef4b View commit details
    Browse the repository at this point in the history

Commits on May 2, 2024

  1. SMT KV store + SMT delete (#211) 

    * SMT KV store + SMT delete

* Fmt

* Minor
    @wborgeaud
    wborgeaud authored May 2, 2024
    Configuration menu
    Copy the full SHA
    0544eda View commit details
    Browse the repository at this point in the history

Commits on May 3, 2024

  1. SMT hash node (#212) 

    * SMT hash node

* Comment

* Fmt
    @wborgeaud
    wborgeaud authored May 3, 2024
    Configuration menu
    Copy the full SHA
    5f8e41a View commit details
    Browse the repository at this point in the history

Commits on May 6, 2024

  1. SMT pruning (#215) 

    * SMT pruning

* Comments

* Minor

* Minor

* Clippy
    @wborgeaud
    wborgeaud authored May 6, 2024
    Configuration menu
    Copy the full SHA
    b5e9063 View commit details
    Browse the repository at this point in the history

Commits on May 22, 2024

  1. ci: add cargo audit job (#236)

    @Nashtare
    Nashtare authored May 22, 2024
    Configuration menu
    Copy the full SHA
    738c6c3 View commit details
    Browse the repository at this point in the history

  2. fix: Revert interpreter stack display (#238)

    @Nashtare
    Nashtare authored May 22, 2024
    Configuration menu
    Copy the full SHA
    e9367f6 View commit details
    Browse the repository at this point in the history

Commits on May 23, 2024

  1. mark: 0xaatif/ethers2alloy

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    ecfe184 View commit details
    Browse the repository at this point in the history

  2. wip

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    eda823a View commit details
    Browse the repository at this point in the history

  3. refactor: migrate prover

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    de66688 View commit details
    Browse the repository at this point in the history

  4. wip: migrate rpc

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    9d34e13 View commit details
    Browse the repository at this point in the history

  5. refactor: migrate leader

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    fabc7ee View commit details
    Browse the repository at this point in the history

  6. chore: clean up deps

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    8fbb52c View commit details
    Browse the repository at this point in the history

  7. feat: fill out compat

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    e08b62a View commit details
    Browse the repository at this point in the history

  8. try: used

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    b209c1b View commit details
    Browse the repository at this point in the history

  9. Revert "try: used" 

    This reverts commit b209c1b.
    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    2f31116 View commit details
    Browse the repository at this point in the history

  10. fix: -Zlinker-features=-lld

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    da32ab0 View commit details
    Browse the repository at this point in the history

  11. Fix linkme lld issue in CI (#79)

    @cpubot
    cpubot authored May 23, 2024
    Configuration menu
    Copy the full SHA
    22a4ad9 View commit details
    Browse the repository at this point in the history

  12. Revert "fix: -Zlinker-features=-lld" 

    This reverts commit da32ab0.
    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    ebcd0ed View commit details
    Browse the repository at this point in the history

  13. refactor: common::Compat -> rpc::Compat

    @0xaatif
    0xaatif committed May 23, 2024
    Configuration menu
    Copy the full SHA
    9e91f16 View commit details
    Browse the repository at this point in the history

Commits on May 24, 2024

  1. Fix clippy doc_lazy_continuation (#247)

    @Nashtare
    Nashtare authored May 24, 2024
    Configuration menu
    Copy the full SHA
    7b60e6a View commit details
    Browse the repository at this point in the history

  2. perf: Improve blake2 precompile (#239) 

    * Speed-up some blake2 components

* Some more optimizations

* Cleanup

* Endline

* Some more speed-up

* Fix comments
    @Nashtare
    Nashtare authored May 24, 2024
    Configuration menu
    Copy the full SHA
    7003764 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2024

  1. tweak: trivial review changes

    @0xaatif
    0xaatif committed May 26, 2024
    Configuration menu
    Copy the full SHA
    0e678fa View commit details
    Browse the repository at this point in the history

Commits on May 28, 2024

  1. Merge pull request #78 from 0xPolygonZero/0xaatif/ethers2alloy 

    Use `alloy` instead of `primitive-types` and `ethereum-types`
    @0xaatif
    0xaatif authored May 28, 2024
    Configuration menu
    Copy the full SHA
    3658940 View commit details
    Browse the repository at this point in the history

  2. fix: rustdoc and tests

    @0xaatif
    0xaatif committed May 28, 2024
    Configuration menu
    Copy the full SHA
    16baf44 View commit details
    Browse the repository at this point in the history

  3. Merge pull request #255 from 0xPolygonZero/0xaatif/docs 

    fix: rustdoc
    @0xaatif
    0xaatif authored May 28, 2024
    Configuration menu
    Copy the full SHA
    12792f3 View commit details
    Browse the repository at this point in the history

  4. fix: fix compilation with test_only feature (#84) 

    * fix: fix compilation with test_only feature

* ci: add job to test script with test_only feature
    @Nashtare
    Nashtare authored May 28, 2024
    Configuration menu
    Copy the full SHA
    ef5270c View commit details
    Browse the repository at this point in the history

  5. chore: remove duplicate print in script and lighten circuit loading (#85 

    )
    @Nashtare
    Nashtare authored May 28, 2024
    Configuration menu
    Copy the full SHA
    f685308 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2024

  1. Native trace processing support (#246) 

    * add code_db to BlockTrace

* introduce trace processing for multiple storage tries

* support natvie tracing
    @frisitano
    frisitano authored May 29, 2024
    Configuration menu
    Copy the full SHA
    1557a94 View commit details
    Browse the repository at this point in the history

Commits on Jun 5, 2024

  1. Added Clone to a few error types in mpt_trie (#259) 

    * Added `Clone` to `TrieOpError` (already present in upstream)

- Trace decoder SMT support really needs this present.

* Added `Clone` to a few more types
    @BGluth
    BGluth authored Jun 5, 2024
    Configuration menu
    Copy the full SHA
    93a3f1d View commit details
    Browse the repository at this point in the history

  2. cleanup: remove outdated segment (#262) 

    * cleanup: remove outdated segment

* fix: adapt constants
    @Nashtare
    Nashtare authored Jun 5, 2024
    Configuration menu
    Copy the full SHA
    e8e6071 View commit details
    Browse the repository at this point in the history

Commits on Jun 8, 2024

  1. Remove Monolithic load stragegy restriction for InMemory leader… 

    … mode (#100)
    @Nashtare
    Nashtare authored Jun 8, 2024
    Configuration menu
    Copy the full SHA
    cd604d3 View commit details
    Browse the repository at this point in the history

Commits on Jun 10, 2024

  1. fix: add multiple witness version check (#271)

    @atanmarko
    atanmarko authored Jun 10, 2024
    Configuration menu
    Copy the full SHA
    4ab700e View commit details
    Browse the repository at this point in the history

  2. fix: add G2 subgroup check for ECPAIRING (#268) 

    * Rewrite file and misc

* Add addition on the twist

* Couple tweaks

* Tweak

* Final tweaks

* Reduce overhead and add tests

* Add forgotten file

* Cleanup

* Minor

* Add comment as per review
    @Nashtare
    Nashtare authored Jun 10, 2024
    Configuration menu
    Copy the full SHA
    428ac1b View commit details
    Browse the repository at this point in the history

  3. feat: block interval and parallel block proving (#90) 

    * feat: add block interval

* fix: follow from loop

* feat: add block hash parsing for interval

* fix: proving logic

* fix: typos

* fix: review

* fix: doc tests

* feat: add block time cli argument

* fix: interval display

* feat: add from string for block interval

* fix: remove block interval single variant

* feat: implement concurrent block proving #88 #89 (#96)

* feat: implement concurrent block proving #88 #89

* Update prover/src/lib.rs

Co-authored-by: 0xaatif <[email protected]>

* fix suggestion

* Fix duplicated import when #[cfg(feature = "test_only")]

---------

Co-authored-by: 0xaatif <[email protected]>
Co-authored-by: Marko Atanasievski <[email protected]>

* fix: block interval fmt

* fix: make parsing functions private

* fix: use futures iterator instead of tokio-stream

* fix: use anyhow error instead of block interval error

---------

Co-authored-by: Zach Brown <[email protected]>
Co-authored-by: 0xaatif <[email protected]>
    @atanmarko @cpubot @0xaatif
    3 people authored Jun 10, 2024
    Configuration menu
    Copy the full SHA
    3c75186 View commit details
    Browse the repository at this point in the history

Commits on Jun 12, 2024

  1. add partial trie builder (#258)

    @frisitano
    frisitano authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    e4c45ba View commit details
    Browse the repository at this point in the history

  2. Release 0.4.0 (#276) 

    * Update CHANGELOG

* Bump versions

* Increase version
    @Nashtare
    Nashtare authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    53acd5e View commit details
    Browse the repository at this point in the history

  3. Merge branch 'main' into develop

    @Nashtare
    Nashtare authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    2bc8077 View commit details
    Browse the repository at this point in the history

  4. Merge pull request #277 from 0xPolygonZero/develop 

    Bring `v0.4.0` into `main`
    @Nashtare
    Nashtare authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    46eb449 View commit details
    Browse the repository at this point in the history

  5. fix: docker images (#108)

    @leovct
    leovct authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    893bb13 View commit details
    Browse the repository at this point in the history

  6. feat: add transaction hash to zero trace (#103) 

    * feat: add txHash to ZeroTrace

Retrieve block witness with a separate rpc call

* fix: update zk_evm dependency to develop branch

* fix: comments

* fix: use zk_evm v0.4.0
    @atanmarko
    atanmarko authored Jun 12, 2024
    Configuration menu
    Copy the full SHA
    ade0466 View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2024

  1. perf: add benchmarks for different components (#273)

    @Nashtare
    Nashtare authored Jun 13, 2024
    Configuration menu
    Copy the full SHA
    677dc0d View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2024

  1. fix: discard intermediate proofs (#106) 

    * fix: discard intermediary proofs

* fix: write intermediate proofs on creation

* fix: return list of blocks proved

* fix: remove files

* fix: comment

* fix: reviews

* fix: rename jerigon params to proof params

* fix: error

* fix: refactor

* fix: comment
    @atanmarko
    atanmarko authored Jun 14, 2024
    Configuration menu
    Copy the full SHA
    c2e2331 View commit details
    Browse the repository at this point in the history

  2. feat: stdio parallel proving (#109) 

    * feat: fearigon witness extractor initiall commit

* fix: update rpc and stdio test case

* fix: error output

* fix: script

* fix: verifier and rename stdio_test.sh

* fix: rename prove_blocks to prove_jerigon

* fix: verifier

* fix: script

* fix: remove repeated output

* fix: verification message

* fix: update script and add ci multi block proving

* fix: typo

* fix: rebase on top of discard-intermediary-proofs

* fix: invalid printout

* fix: cleanup

* fix: cleanup

* fix: test_only stdio output

* fix: jerigon mode output to stdout

* fix: printout

* fix: printout 2

* fix: printout 3

* fix: printout 4
    @atanmarko
    atanmarko authored Jun 14, 2024
    Configuration menu
    Copy the full SHA
    3a3a16e View commit details
    Browse the repository at this point in the history

Commits on Jun 17, 2024

  1. Fixes related to nightly and alloy (#101) 

    * Fixes related to nightly

* fix: use latest nightly

---------

Co-authored-by: Marko Atanasievski <[email protected]>
    @LindaGuiga @atanmarko
    LindaGuiga and atanmarko authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    c5433a2 View commit details
    Browse the repository at this point in the history

  2. Introduce native tracer support (#81) 

    * Introduce native tracer support

* remove arc and refactor code

* merge upstream

* update README

* remove unecessary tools

* use reference for provider

* refactor prove_rpc tool

* remove prove_jerigon tool

* update README for prove_rpc.sh script changes

* remove dead code
    @frisitano
    frisitano authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    aa12938 View commit details
    Browse the repository at this point in the history

  3. chore: bump alloy to v0.1.1 (#111)

    @atanmarko
    atanmarko authored Jun 17, 2024
    Configuration menu
    Copy the full SHA
    91c665a View commit details
    Browse the repository at this point in the history

  4. Merge remote-tracking branch 'zero_bin/develop' into zero_bin_merge

    @BGluth
    BGluth committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    de8f0b5 View commit details
    Browse the repository at this point in the history

  5. A few dep updates to get zero-bin to build

    @BGluth
    BGluth committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    236e2a4 View commit details
    Browse the repository at this point in the history

  6. cargo autoinherit pass 

    - Also manually sorted dep names.
    @BGluth
    BGluth committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    9b61f59 View commit details
    Browse the repository at this point in the history

  7. A few more dep changes to move to workspace deps 

    - Switched all internal deps to use workspace deps where possible.
- Also needed to move `zero_bin/common` --> `zero_bin/zero_bin_common`
  because having a dep name of just "common" wasn't really clear that
  this dep was just for `zero-bin`.
    @BGluth
    BGluth committed Jun 17, 2024
    Configuration menu
    Copy the full SHA
    1bafd90 View commit details
    Browse the repository at this point in the history

Commits on Jun 18, 2024

  1. Requested PR changes for #279 

    - Also a `clippy` pass.
    @BGluth
    BGluth committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    0fb571d View commit details
    Browse the repository at this point in the history

  2. fix: formatting

    @atanmarko
    atanmarko committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    a9eff88 View commit details
    Browse the repository at this point in the history

  3. fix: ci tests

    @atanmarko
    atanmarko committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    a38af27 View commit details
    Browse the repository at this point in the history

  4. fix: ci tests 2

    @atanmarko
    atanmarko committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    8de4e4f View commit details
    Browse the repository at this point in the history

  5. fix: .gitignore

    @atanmarko
    atanmarko committed Jun 18, 2024
    Configuration menu
    Copy the full SHA
    5c0c165 View commit details
    Browse the repository at this point in the history

  6. Merge pull request #279 from 0xPolygonZero/zero_bin_merge 

    Zero bin merge
    @Nashtare
    Nashtare authored Jun 18, 2024
    Configuration menu
    Copy the full SHA
    da9383c View commit details
    Browse the repository at this point in the history

  7. fix: Bring back Cargo.lock (#280) 

    * fix: Bring back Cargo.lock

* fix: Typo
    @Nashtare
    Nashtare authored Jun 18, 2024
    Configuration menu
    Copy the full SHA
    01cbe6c View commit details
    Browse the repository at this point in the history

  8. ci: add labeler flag for new zero-bin crate + update CODEOWNERS (#… 

    …281)

* ci: add labeler flag for new zero-bin crate

* chore: update CODEOWNERS
    @Nashtare
    Nashtare authored Jun 18, 2024
    Configuration menu
    Copy the full SHA
    45b57d0 View commit details
    Browse the repository at this point in the history

Commits on Jun 19, 2024

  1. fix: only executables should choose a global allocator (#301) 

    * mark: 0xaatif/allocator

* fix: only executables should choose a global allocator

* doc: debt
    @0xaatif
    0xaatif authored Jun 19, 2024
    Configuration menu
    Copy the full SHA
    34e98cb View commit details
    Browse the repository at this point in the history

  2. doc: fix typos (#298)

    @Nashtare
    Nashtare authored Jun 19, 2024
    Configuration menu
    Copy the full SHA
    2719964 View commit details
    Browse the repository at this point in the history

Commits on Jun 20, 2024

  1. misc: fix logging filename (#305)

    @Nashtare
    Nashtare authored Jun 20, 2024
    Configuration menu
    Copy the full SHA
    baecefc View commit details
    Browse the repository at this point in the history

Commits on Jun 24, 2024

  1. Merge remote-tracking branch 'smt_trie/feat/type2' into cleanup/smt_t… 

    …rie_to_develop
    @BGluth
    BGluth committed Jun 24, 2024
    Configuration menu
    Copy the full SHA
    6df9cf9 View commit details
    Browse the repository at this point in the history

  2. refactor zero_bin leader cli (#317)

    @frisitano
    frisitano authored Jun 24, 2024
    Configuration menu
    Copy the full SHA
    c8e248f View commit details
    Browse the repository at this point in the history

  3. Removed non-existing dep public __compat_primitive_types (#321)

    @BGluth
    BGluth authored Jun 24, 2024
    Configuration menu
    Copy the full SHA
    ca420ed View commit details
    Browse the repository at this point in the history

Commits on Jun 25, 2024

  1. perf: Check for zero amount early in 'add_eth' (#322)

    @Nashtare
    Nashtare authored Jun 25, 2024
    Configuration menu
    Copy the full SHA
    a1880ce View commit details
    Browse the repository at this point in the history

  2. fix: interval (#324)

    @atanmarko
    atanmarko authored Jun 25, 2024
    Configuration menu
    Copy the full SHA
    201a67e View commit details
    Browse the repository at this point in the history

  3. fix: optimize previous hashes retrieval (#316) 

    * fix: optimize previous hashes retrieval

* fix: comment

* fix: cleanup

* fix: naming

* fix: simplify
    @atanmarko
    atanmarko authored Jun 25, 2024
    Configuration menu
    Copy the full SHA
    e47a1f4 View commit details
    Browse the repository at this point in the history

  4. Requested PR changes for #320

    @BGluth
    BGluth committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    b0e8f1a View commit details
    Browse the repository at this point in the history

  5. Requested PR changes for #320 (2) 

    - Added `smt_trie` as a dep (note that no sub-crate uses this dep yet).
    @BGluth
    BGluth committed Jun 25, 2024
    Configuration menu
    Copy the full SHA
    12da5fa View commit details
    Browse the repository at this point in the history

  6. Merge pull request #320 from 0xPolygonZero/cleanup/smt_trie_to_develop

    @Nashtare
    Nashtare authored Jun 25, 2024
    Configuration menu
    Copy the full SHA
    96e25d3 View commit details
    Browse the repository at this point in the history

Commits on Jun 26, 2024

  1. feat: add jerigon test workflow (#303) 

    * feat: add jerigon workflow

* fix: update 1

* fix: update 2

* fix: login

* fix: docker compose

* feat: add jerigon proof verification

* fix: return github user to actor

* fix: paths

* fix: play nice, shutdown network after

* fix: output execution to terminal for debug

* fix: environment and script

* fix: smaller proof

* chore: add verification

* fix: show smart contract deployment log

* fix: name
    @atanmarko
    atanmarko authored Jun 26, 2024
    Configuration menu
    Copy the full SHA
    7a01826 View commit details
    Browse the repository at this point in the history

  2. fix: do not add selfdestruct journal entry for empty accounts (#328) 

    * fix: Do not add journal entry for skipped accounts

* Tweak to check with is_non_existent

* Reduce overhead
    @Nashtare
    Nashtare authored Jun 26, 2024
    Configuration menu
    Copy the full SHA
    4e80f84 View commit details
    Browse the repository at this point in the history

  3. ci: add PR check job (#332)

    @Nashtare
    Nashtare authored Jun 26, 2024
    Configuration menu
    Copy the full SHA
    a3bd131 View commit details
    Browse the repository at this point in the history

  4. Constrain FP254 operations and SUBMOD to be kernel-only (#333) 

    * Constraint FP254 operations and SUBMOD to be kernel-only

* Apply comments
    @LindaGuiga
    LindaGuiga authored Jun 26, 2024
    Configuration menu
    Copy the full SHA
    28ae2c7 View commit details
    Browse the repository at this point in the history

  5. fix: Move PR check file into proper folder

    @Nashtare
    Nashtare committed Jun 26, 2024
    Configuration menu
    Copy the full SHA
    8154e15 View commit details
    Browse the repository at this point in the history

Commits on Jun 27, 2024

  1. fix: add recipient to touched_addresses even when skipping empty tran… 

    …sfer (#336)
    @Nashtare
    Nashtare authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    a00acda View commit details
    Browse the repository at this point in the history

  2. fix: Fix PR checking file

    @Nashtare
    Nashtare committed Jun 27, 2024
    Configuration menu
    Copy the full SHA
    1cba914 View commit details
    Browse the repository at this point in the history

  3. Fixed leader crashing when .env not present (#335) 

    * Fixed crashing when `.env` not present

- Was crashing if attempting to run when the `.env` was not present,
  which is a situation that we probably should not be crashing in. This
  commit now treats any IO error as the file missing and in these cases
  continues to run the program.

* Requested PR changes for #335

- Also made the error contain the internal error.
    @BGluth
    BGluth authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    9fd656e View commit details
    Browse the repository at this point in the history

  4. perf: reduce overhead in final iteration of memset (#339)

    @Nashtare
    Nashtare authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    6ed5a78 View commit details
    Browse the repository at this point in the history

  5. Make leader work no matter what the CWD is (#307) 

    * `prove_rpc.sh` now outputs to a constant dir

- Previously took into account the directory that the script was
  executed from.

* `prove_stdio.sh` now works when used from any directory

- Previously only worked when executed from the `tools` directory.

* Now always uses `tools/circuits` in workspace

- Previously, we always looked for the `circuits` directory directly inside our
  current working directory. Now if we are running within the workspace,
  we always will look in `zk_evm/zero_bin/tools` instead.
- Also note that `zero_bin/.cargo/config.toml` is only read when we are
  interacting with `cargo` directly (eg. the scripts in `tools/` do not
  invoke it).

* Now also writes other artifacts in `tools/`

- Also made sense to write `verify.out`, `leader.out` and `proofs.json`
  into `zero_bin/tools`.

* Made a few other artifacts also get written to `tools/`

- Also removed some duplication by moving them to variables.
    @BGluth
    BGluth authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    65b849f View commit details
    Browse the repository at this point in the history

  6. Cleanup/clippy and update pass (#341) 

    * Ran `cargo update`

* Ran `cargo upgrade --incompatible --recursive`

* `Cargo machete` pass

* Added in missed cleanup request from PR #335

* Requested PR changes for #341
    @BGluth
    BGluth authored Jun 27, 2024
    Configuration menu
    Copy the full SHA
    7351da5 View commit details
    Browse the repository at this point in the history

Commits on Jun 28, 2024

  1. fix: get PR check workflow to work properly

    @Nashtare
    Nashtare committed Jun 28, 2024
    Configuration menu
    Copy the full SHA
    39f4d8f View commit details
    Browse the repository at this point in the history

Commits on Jun 29, 2024

  1. Add Columns and DerefColumns derive macros (#315) 

    * Add Columns and DerefColumns derive macros

* Remove derive from workspace members

* Add publish=false for derive

* Add tests for derive macros

* Update comments for derive macros

* Add derive tests to CI

* rename derive to proc_macro

* Clarify comments
    @gio256
    gio256 authored Jun 29, 2024
    Configuration menu
    Copy the full SHA
    d81d683 View commit details
    Browse the repository at this point in the history

  2. migrate compat to micro crate (#308)

    @frisitano
    frisitano authored Jun 29, 2024
    Configuration menu
    Copy the full SHA
    439b8c2 View commit details
    Browse the repository at this point in the history

Commits on Jul 1, 2024

  1. fix: docker build for worker and leader (#329) 

    * fix: docker build for worker and leader

* fix: missing env and cargo lock search path

* add: build and push leader and worker docker images to ghcr.io

* feat: add docker build test

* fix: change image names

* fix: remove debug build and push

* fix: add eof line

* fix: comment

* fix: build
    @atanmarko
    atanmarko authored Jul 1, 2024
    Configuration menu
    Copy the full SHA
    15c9cf6 View commit details
    Browse the repository at this point in the history

Commits on Jul 2, 2024

  1. parse embedded short nodes (#345)

    @frisitano
    frisitano authored Jul 2, 2024
    Configuration menu
    Copy the full SHA
    7a4a9bb View commit details
    Browse the repository at this point in the history

  2. Add LogicColumnsView struct for LogicStark (#347) 

    * Add LogicColumnsView struct

* Add generate-evaluate test for logic stark

* Add comments to gen-eval test in logic stark
    @gio256
    gio256 authored Jul 2, 2024
    Configuration menu
    Copy the full SHA
    a591b6f View commit details
    Browse the repository at this point in the history

  3. fix: properly log final result when due (#352)

    @Nashtare
    Nashtare authored Jul 2, 2024
    Configuration menu
    Copy the full SHA
    653b7e4 View commit details
    Browse the repository at this point in the history

  4. Start merge

    @LindaGuiga
    LindaGuiga committed Jul 2, 2024
    Configuration menu
    Copy the full SHA
    9bed611 View commit details
    Browse the repository at this point in the history

Commits on Jul 3, 2024

  1. Fix merge and add batch sizes to the benchmark

    @LindaGuiga
    LindaGuiga committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    54b360a View commit details
    Browse the repository at this point in the history

  2. Fix test_only in zero_bin

    @LindaGuiga
    LindaGuiga committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    da7902b View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into merge-continuations-develop

    @LindaGuiga
    LindaGuiga committed Jul 3, 2024
    Configuration menu
    Copy the full SHA
    1f8d853 View commit details
    Browse the repository at this point in the history

Commits on Jul 4, 2024

  1. Apply comments and fix CI.

    @LindaGuiga
    LindaGuiga committed Jul 4, 2024
    Configuration menu
    Copy the full SHA
    a31692a View commit details
    Browse the repository at this point in the history

Commits on Jul 5, 2024

  1. fix: Check valid range for s and add test (#363)

    @Nashtare
    Nashtare authored Jul 5, 2024
    Configuration menu
    Copy the full SHA
    043ab68 View commit details
    Browse the repository at this point in the history

Commits on Jul 8, 2024

  1. feat: add caching for get_block (#346) 

    * feat: cached provider

* fix: optimize hash fetching

* fix: rename provider

* fix: optimize

* fix: comment

* fix: clippy
    @atanmarko
    atanmarko authored Jul 8, 2024
    Configuration menu
    Copy the full SHA
    341c322 View commit details
    Browse the repository at this point in the history

  2. refactor!: docker builds (#357) 

    * mark: 0xaatif/docker

* run: docker init

* run: rm compose.yaml

* refactor: docker builds

* feat: smoke test executables

* refactor(ci): use new docker file

* feat: xargs --verbose

* refactor: one image

* fix: one image

* wibble: change id meta_leader -> meta

* fix: censor minor version

* fix: restore target-cpu=native
    @0xaatif
    0xaatif authored Jul 8, 2024
    Configuration menu
    Copy the full SHA
    d02e150 View commit details
    Browse the repository at this point in the history

  3. Merge branch 'develop' into merge-continuations-develop

    @Nashtare
    Nashtare committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    972f115 View commit details
    Browse the repository at this point in the history

  4. Fix process_type_0_txn_invalid_sig

    @LindaGuiga
    LindaGuiga committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    3704b01 View commit details
    Browse the repository at this point in the history

  5. Apply comments

    @LindaGuiga
    LindaGuiga committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    adb8488 View commit details
    Browse the repository at this point in the history

  6. Apply last comment

    @LindaGuiga
    LindaGuiga committed Jul 8, 2024
    Configuration menu
    Copy the full SHA
    986ec3b View commit details
    Browse the repository at this point in the history