SHA3/Keccak implementation for Halo2

A chip to implement the keccak-f[1600] permutation and two gadgets to implement the sha3-256 hash function and the keccak256 hash function in halo2.

The chip is based on a single lookup and it uses packed arithmetic techniques.

Usage

For basic usage check out the example and the intergration test.

Techniques

For an in-depth explanation on how the chip works and the underlying techniques, start here.

Benchmarks

We run benchmarks for computing a preimage for various input sizes. The benchmarks were done in a Lenovo Thinkpad X1 Xtreame Gen5 laptop with an Intel Core i7-12700H cpu and 32GB of RAM.

The benchmarks are done for a 2^14 lookup table implementation. The circuit uses 10 advice columns and 9 fixed columns. All the constraints access at most the rotations $X$, $\omega X$ and $\omega^2 X$.

For all the preimage bit lenghts the verification key size is 902 bytes and the proof size is 5408 bytes. The verification time is ~4.5ms.

Disclaimer

This project is provided "as is" and is intended for educational and experimental purposes only. The library has not been audited. It is not production-ready and may contain bugs or incomplete features. Use at your own risk.

The authors and contributors are not responsible for any damage, loss of data, or other issues that may arise from using this software.

License

This project is licensed under the Apache License 2.0.

Acknowledgments

Special thanks to @John-Gong-Math and @iquerejeta for contributions, discussions and feedback on the project.