Skip to content
This repository was archived by the owner on Apr 18, 2025. It is now read-only.

Conversation

naure
Copy link

@naure naure commented Feb 15, 2023

This PR verifies the properties of the lookup tables used in Keccak. Also minor refactoring for testability.

@naure naure force-pushed the test/keccak-normalize-table branch from f47277e to 4eee161 Compare February 15, 2023 07:18
@naure naure marked this pull request as draft February 15, 2023 07:22
@naure naure force-pushed the test/keccak-normalize-table branch from ab7ae1f to 1bb964c Compare February 15, 2023 08:51
@naure naure marked this pull request as ready for review February 15, 2023 08:51
@naure naure changed the title test/keccak-normalize-table: unittest for normalize functions test/keccak-normalize-table: unittest for lookup tables Feb 15, 2023
@naure naure force-pushed the test/keccak-normalize-table branch from 1bb964c to 8f764f3 Compare February 15, 2023 09:02
Copy link

@lispc lispc left a comment

Choose a reason for hiding this comment

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

LGTM. we can merge it after ci passes.

@naure naure merged commit 73f68b7 into scroll-stable Feb 20, 2023
@naure naure deleted the test/keccak-normalize-table branch February 20, 2023 16:33
@naure naure restored the test/keccak-normalize-table branch February 20, 2023 16:35
@naure naure deleted the test/keccak-normalize-table branch February 20, 2023 16:35
ChihChengLiang pushed a commit to privacy-ethereum/zkevm-circuits that referenced this pull request Mar 2, 2023
…les (#1263)

### Description

This PR verifies the properties of the lookup tables used in Keccak.

A port of scroll-tech#326

### Issue Link

This is a good regression test before
#1241

### Type of change

- [ ] Bug fix (non-breaking change which fixes an issue)
- [x] 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

- A test circuit that populates the fixed lookup tables using the
functions under test.
- Check that the table contain valid values, and nothing else.
- Minor refactoring for testability. Make pure functions that calculate
parameters, and isolate the dependency on environment variables.

### How Has This Been Tested?

    cargo test -p zkevm-circuits --features test --release -- keccak

---------

Co-authored-by: Aurélien Nicolas <info@nau.re>
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants