Skip to content
This repository was archived by the owner on Jul 5, 2024. It is now read-only.

FIX constraints+tests for copy circuit and SHA3 gadget#668

Merged
roynalnaruto merged 8 commits into
privacy-ethereum:mainfrom
scroll-tech:fix/copy-circuit
Aug 11, 2022
Merged

FIX constraints+tests for copy circuit and SHA3 gadget#668
roynalnaruto merged 8 commits into
privacy-ethereum:mainfrom
scroll-tech:fix/copy-circuit

Conversation

@roynalnaruto
Copy link
Copy Markdown
Collaborator

@roynalnaruto roynalnaruto commented Aug 7, 2022

  • Constraint for read value == write value should not be present for RlcAcc row
  • Constraint for read value == write value always being true for the first row, was not present
  • Randomness while configuring and assigning to the Copy Circuit
  • SHA3 tests were never really running (because a CODECOPY block was being generated)
  • size == 0 case was not handled in SHA3 gadget. This has been fixed, with a test case.

@github-actions github-actions Bot added the crate-zkevm-circuits Issues related to the zkevm-circuits workspace member label Aug 7, 2022
@roynalnaruto roynalnaruto requested a review from ed255 August 7, 2022 03:01
@roynalnaruto roynalnaruto requested review from icemelon and lispc August 7, 2022 03:01
@github-actions github-actions Bot added the crate-bus-mapping Issues related to the bus-mapping workspace member label Aug 9, 2022
@roynalnaruto roynalnaruto changed the title FIX constraints and tests for copy circuit FIX constraints+tests for copy circuit and SHA3 gadget Aug 10, 2022
Copy link
Copy Markdown
Collaborator

@DreamWuGit DreamWuGit left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM !

Comment thread zkevm-circuits/src/evm_circuit/execution/sha3.rs
@roynalnaruto roynalnaruto merged commit 131701b into privacy-ethereum:main Aug 11, 2022
@roynalnaruto roynalnaruto deleted the fix/copy-circuit branch August 11, 2022 15:19
jonathanpwang pushed a commit to axiom-crypto/zkevm-circuits that referenced this pull request Aug 1, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

crate-bus-mapping Issues related to the bus-mapping workspace member crate-zkevm-circuits Issues related to the zkevm-circuits workspace member

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants