reilabs / lampe
Extracting the semantics of Noir to Lean for formal verification
☆19Updated this week
Alternatives and similar repositories for lampe:
Users that are interested in lampe are comparing it to the libraries listed below
- A SIMD implementation of Keccak256 for aarch64, forked from Remco Bloeman's Goldilocks K12 implementation.