keep-starknet-strange / garaga

State-of-the-art Elliptic Curve operations and SNARKS verification for Cairo & Starknet 🐺.

https://felt.gitbook.io/garaga

MIT License

188 stars 47 forks source link

Honk verifier implementation #119

Closed raugfer closed 5 months ago

raugfer commented 5 months ago

This PR adds src/precompiled_circuits/honk.py a Python port of the Solidity Honk proof verifier provided by https://github.com/Maddiaa0/honk-verifier/

Pull Request type

Feature

What is the current behavior?

An extension/feature was added, the current behavior lacks this new functionality.

Issue Number: #62

What is the new behavior?

Adds src/precompiled_circuits/honk.py that exports verify function to verify Honk proofs
Adds two proof verification tests under src/precompiled_circuits/honk_tests folder
Extends the GnarkCLI with point addition and scalar multiplication
Adds g1 and ng1 commands as extensions to the Gnark golang implementation

Does this introduce a breaking change?

No