noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
821 stars 177 forks source link

chore: keccak256 in Noir #5316

Open guipublic opened 6 days ago

guipublic commented 6 days ago

Description

Problem*

The PR uses the keccak permutation blackbox function in order to implement Keccak256 in Noir.

Summary*

The Noir implementation is added to the stdlib and results in circuit size similar to the Keccak256 blackbox.

Additional Context

The Keccak256 blackbox is not removed because my first experiments with variable-size keccak are not conclusive yet.

Documentation*

Check one:

PR Checklist*