Circom Export to Cairo

We are working on a Circom Export to Cairo. We are mostly finished, we only have a couple problems left to solve: Using big numbers in a cairo program, Deploying a starknet contract with non-whitelisted hints.
This is our repo: GitHub - lambdaclass/circom_export_to_cairo: Export Circom verifier to Cairo
We would appreciate any kind of feedback!

42 Likes

We are working on this with @fmoletta. Any feedback is greatly appreciated. We are pretty new to Starknet and Cairo!

22 Likes

Hey @fmoletta @unbalancedparenthese
Iā€™m wondering if you managed to make this one working properly.

24 Likes