feat: Verify Noir circuits

[feltroidprime]

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/ 07ad86541e3782940f6495c71ccdce8dfba1f3e4/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

[feltroidprime]

~~Looking for a contributor~~