Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Bring latest main to feat/cancun #61

Merged
merged 32 commits into from
Feb 26, 2024
Merged

Bring latest main to feat/cancun #61

merged 32 commits into from
Feb 26, 2024

Conversation

Nashtare
Copy link
Collaborator

@Nashtare Nashtare commented Feb 26, 2024

Pulls latest main changes into feat/cancun branch. Necessary to have #59 easily reviewable, as it has been done on top of main and contains a lot of unrelated changes.

Nashtare and others added 30 commits February 14, 2024 17:23
* Add missing docs

* Minor

* Apply suggestions from code review

Co-authored-by: Ben <[email protected]>

* Apply suggestions from code review

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

---------

Co-authored-by: Ben <[email protected]>
Co-authored-by: Robin Salen <[email protected]>
- One test is a regression test. Next commit will fix bug.
- Should squash this though, as the regression test still fails.
- Note that this is different from `debug_query`. This logic is a lot
  more light-weight and meant for actual logic (instead of for debugging
  purposes).
- Also added missing tests for all `push_*` functions.
- The issue was `reset_tracked_trie_state` never traversing past
  the first node.
* Code hash resolve fix + cleanup

- Although we were adding any contract code created to the local code
  hash resolve table for the current txn, we were not adding this into
  the "global" lookup table.
- Also cleaned up the logic for resolving code hashes.

* Fix small typo

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

* Requested PR changes for #44

---------

Co-authored-by: Ben <[email protected]>
Co-authored-by: Robin Salen <[email protected]>
* fix: remove duplicate constraint

* fix: add proper constraints for padding rows

* fix: remove extra constraints

* fix: simplify constraints using mul_sub gate

* fix: move constraint outside loop

* chore: rename

* chore: add comment explaining constrain

* fix: remove extra sub constraint
Nashtare's suggested changes for #39.

Co-authored-by: Robin Salen <[email protected]>
Additional tooling for allowing aggresive pruning logic
* Update README

* Update sequence diagrams

* Some minor tweaks

* Add CHANGELOG

* Update Cargo.toml with new plonky2-crates versions

* Apply some comments
* Refactor access lists

* Apply suggestions from code review

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

* Update evm_arithmetization/src/cpu/kernel/asm/core/access_lists.asm

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

* Apply suggestions from code review

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

* Address reviews

---------

Co-authored-by: Alonso González <[email protected]>
Co-authored-by: Alonso González <[email protected]>
@Nashtare Nashtare added the crate: evm_arithmetization Anything related to the evm_arithmetization crate. label Feb 26, 2024
@Nashtare Nashtare self-assigned this Feb 26, 2024
@Nashtare Nashtare merged commit d739a7a into feat/cancun Feb 26, 2024
5 checks passed
@Nashtare Nashtare deleted the cancun-main branch February 26, 2024 07:52
BGluth added a commit that referenced this pull request Jun 17, 2024
Now logs time to generate proofs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
crate: evm_arithmetization Anything related to the evm_arithmetization crate.
Projects
Status: Done
Development

Successfully merging this pull request may close these issues.

6 participants