EspressoSystems / jellyfish

A Rust Implementation of the PLONK ZKP System and Extensions
https://jellyfish.docs.espressosys.com
MIT License
382 stars 91 forks source link

[circuit] solidity keccak256 hash #282

Open alxiong opened 1 year ago

alxiong commented 1 year ago

This issue tracks the task of proving keccak hash function (used in solidity/EVM) efficiently in our UltraPlonk.

The work involves literature review of the latest lookup arguments and engineering planning for implementation in Jellyfish.

philippecamacho commented 1 year ago

Reassigned to @mrain. See https://www.notion.so/espressosys/Hotshot-paper-planning-3c6136efee7e4ee1ba99a8a4b8e415f9?pvs=4#4e7b0ba8647d4a069412f20be6374480