Skip to content

Feat/sha3#46

Merged
roynalnaruto merged 5 commits into
support/copy-circuit-keccakfrom
feat/sha3
Jul 25, 2022
Merged

Feat/sha3#46
roynalnaruto merged 5 commits into
support/copy-circuit-keccakfrom
feat/sha3

Conversation

@roynalnaruto
Copy link
Copy Markdown

No description provided.

@roynalnaruto
Copy link
Copy Markdown
Author

@roynalnaruto roynalnaruto marked this pull request as ready for review July 25, 2022 14:58
@roynalnaruto roynalnaruto merged commit 5a0a89b into support/copy-circuit-keccak Jul 25, 2022
@roynalnaruto roynalnaruto deleted the feat/sha3 branch July 25, 2022 14:59
roynalnaruto added a commit that referenced this pull request Jul 28, 2022
* feat: RLC Accumulator type for copy circuit row

* fix: rlc accumulator calculation

* fix: return tests fixed

* Feat/sha3 (#46)

* feat: initial changes

* fix: rebase and fix return_ opcode as per new copy lookup api

* feat: add copy and keccak lookup

* tests: WIP test for sha3

* fix: sha3 tests for root tx

* fix: actual sha3 is only over the bytes, not RLC'd bytes

* fix: keccak table lookup as per docs

* fix: avoid relying on dynamic rotations within copy lookup

* chore: rename value_rlc to rlc_acc

* fix: push opcode arguments

* fix: comment for value constraint (RlcAcc case)

* Update src/zkevm_specs/evm/execution/sha3.py

Co-authored-by: Chih Cheng Liang <chihchengliang@gmail.com>

* chore: use standard api for RLC instead of looping ad-hoc

* fix: memory expansion coeff is 3 for all cases

* docs: update specs to match new constraints and columns

* docs: update table specs

* fix: table layout for copy table in specs

Co-authored-by: Chih Cheng Liang <chihchengliang@gmail.com>
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.

1 participant