You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
how to : - use garaga's python classes : [PyFelt](https://github.com/keep-starknet-strange/garaga/blob/07ad865/src/algebra.py#L5) for modular arithmetic operations. - use / add (if needed) Elliptic curves information and constants from definitions.py - write the verifier in a single python file under src/precompiled_circuits/honk.py. - Do not write a ModuloCircuit class (this will be done later), only the verifier inside a function. - You can copy paste and re-use the code here for EC scalar multiplication https://github.com/feltroidprime/zk-ecip-py/blob/main/src/curve.py when the solidity is using the ECMul/EcADD precompile - You can use the gnark CLI backend when the solidity is using the EcPairing precompile - add some python functions to parse and map the honk proof into a proper python dataclass inside honk.py - write a similar test than in the honk-verifier repo inside the if __name__ == "__main__": part of the honk.py file. - write clear code with type hints
Done.
Next task : Write a cairo implementation.
Requires #112
The text was updated successfully, but these errors were encountered:
Write a verifier in python for Honk proofs based on this repo : https://github.com/Maddiaa0/honk-verifier/tree/master
how to :- use garaga's python classes : [PyFelt](https://github.com/keep-starknet-strange/garaga/blob/ 07ad865/src/algebra.py#L5) for modular arithmetic operations.- use / add (if needed) Elliptic curves information and constants from definitions.py- write the verifier in a single python file undersrc/precompiled_circuits/honk.py
.- Do not write a ModuloCircuit class (this will be done later), only the verifier inside a function.- You can copy paste and re-use the code here for EC scalar multiplication https://github.com/feltroidprime/zk-ecip-py/blob/main/src/curve.py when the solidity is using the ECMul/EcADD precompile- You can use the gnark CLI backend when the solidity is using the EcPairing precompile- add some python functions to parse and map the honk proof into a proper python dataclass insidehonk.py
- write a similar test than in thehonk-verifier
repo inside theif __name__ == "__main__":
part of thehonk.py
file.- write clear code with type hintsDone.
Next task : Write a cairo implementation.
Requires #112
The text was updated successfully, but these errors were encountered: