Open norswap opened 1 year ago
i would like to try this one
Excellent, go for it :)
While this ticket is in progress, if anyone needs a way to make circom-helper
working on mac m1, I downgraded node to v14.19.1
using nvm
and downgraded python to python3.10
and it worked! (for me at least)
But this is indeed not viable at all lol
Oh wow, good to know!
If it turns out we require faster than wasm testing, there are two other projects that might work: circom-tester and circomkit (no link because I'm on mobile & it's a hassle, might edit later)
On Mon, Jul 10, 2023, 19:17 Matteo @.***> wrote:
While this ticket is in progress, if anyone needs a way to make circom-helper working on mac m1, I downgraded node to v14.19.1 using nvm and downgraded python to python3.10 and it worked!
But this is indeed not viable at all lol
— Reply to this email directly, view it on GitHub https://github.com/norswap/0xFable/issues/52#issuecomment-1628652830, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABRLP6U46KI633ER2EAUY3XPPJDTANCNFSM6AAAAAAZGPRKJM . You are receiving this because you authored the thread.Message ID: @.***>
Any update on this?
@postmeback Haven't heard from @GrapeBaBa on this yet. Are you interested in helping out, or reusing some kind of testing setup? Let us know!
Thanks for mentioning me, I am interested in helping out. I want to upskill myself in solidity, hopefully this project can help me. @norswap .
@postmeback This project does not really involve Solidity at all however 😅 If you're interested, go for it though, @GrapeBaBa told me he's busy with some stuff at the moment.
Currently we test the Circom circuits using
circom-helper
which generates the proofs in C++.circom-helper
doesn't seem to work with Mac (I tried hacking this to work a whole lot to no avail). While it's certainly ultimately possible, it's not really worth the effort.Instead, we should use the wasm provers, which works cross-platform, and is ultimately what we will use in production. Also an important part of designing/testing zk circuits is ascertaining their performance, and
circom-helper
goes a lot faster than WASM, hence the need to run them with WASM anyway.