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

Circuit tools tests #18

Open
wants to merge 100 commits into
base: circuit-tools
Choose a base branch
from
Open

Circuit tools tests #18

wants to merge 100 commits into from

Conversation

CeciliaZ030
Copy link
Owner

No description provided.

CeciliaZ030 and others added 30 commits June 11, 2023 17:37
### Description

- Added some missing MPT constraints
- Integrated some EVM tools like degree reduction and lookups using
dedicated columns

### Issue Link

[_link issue here_]

### Type of change

- [ ] Bug fix (non-breaking change which fixes an issue)
- [ ] New feature (non-breaking change which adds functionality)
- [ ] Breaking change (fix or feature that would cause existing
functionality to not work as expected)
- [ ] This change requires a documentation update

### Contents

- [_item_]

### Rationale

[_design decisions and extended information_]

### How Has This Been Tested?

[_explanation_]

---------

Co-authored-by: Cecilia Zhang <[email protected]>
Co-authored-by: CeciliaZ030 <[email protected]>
Brechtpd and others added 30 commits July 3, 2023 23:15
# Conflicts:
#	zkevm-circuits/src/circuit_tools/cached_region.rs
#	zkevm-circuits/src/circuit_tools/cell_manager.rs
#	zkevm-circuits/src/circuit_tools/constraint_builder.rs
#	zkevm-circuits/src/circuit_tools/gadgets.rs
#	zkevm-circuits/src/circuit_tools/memory.rs
#	zkevm-circuits/src/mpt_circuit.rs
#	zkevm-circuits/src/mpt_circuit/account_leaf.rs
#	zkevm-circuits/src/mpt_circuit/branch.rs
#	zkevm-circuits/src/mpt_circuit/extension.rs
#	zkevm-circuits/src/mpt_circuit/extension_branch.rs
#	zkevm-circuits/src/mpt_circuit/helpers.rs
#	zkevm-circuits/src/mpt_circuit/rlp_gadgets.rs
#	zkevm-circuits/src/mpt_circuit/start.rs
#	zkevm-circuits/src/mpt_circuit/storage_leaf.rs
#	zkevm-circuits/src/mpt_circuit/witness_row.rs
#	zkevm-circuits/src/table/mpt_table.rs
…tools-wip

# Conflicts:
#	zkevm-circuits/src/mpt_circuit/witness_row.rs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants