-
Notifications
You must be signed in to change notification settings - Fork 39
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Enables optional verification of Keccak tables (#657)
* refactoring * fix clippy * fix clippy * wip * wip * wip * cleanup * prove one segment * polish the code * cleanup * Revert "cleanup" This reverts commit f63363b. * add [ignore] * add challenger state check * add more checks * cleanup * add empty keccak tables bool * enable no keccak recursion * refactor * fix tests * rename * fix pis * fix * done * polish the comments * fix ci * add comments * fix ci * update tests * fix ci * fix ci * fix ci * empty payload and no keccak op check * refactor * Update evm_arithmetization/src/fixed_recursive_verifier.rs Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com> * Update evm_arithmetization/src/fixed_recursive_verifier.rs Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com> * empty payload and no keccak op check * fmt * fix test * fix ci with "cdk_erigon" * fix ci error with "cdk_erigon" * enable test * Update evm_arithmetization/src/fixed_recursive_verifier.rs Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com> * address comments * sync changes into get_challenges * wip * fix * fix * fix tests * fix * address comments * common_date -> common_data --------- Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com> Co-authored-by: Linda Guiga <101227802+LindaGuiga@users.noreply.github.com>
- Loading branch information
1 parent
1816253
commit 3660408
Showing
6 changed files
with
159 additions
and
60 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Oops, something went wrong.