Transition Circom tests to WASM

[norswap]

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.

[GrapeBaBa]

i would like to try this one

[norswap]

Excellent, go for it :)

[MatteoMer]

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

[norswap]

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 <#52 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AABRLP6U46KI633ER2EAUY3XPPJDTANCNFSM6AAAAAAZGPRKJM> . You are receiving this because you authored the thread.Message ID: ***@***.***>

[postmeback]

Any update on this?

[norswap]

@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!

[postmeback]

Thanks for mentioning me, I am interested in helping out. I want to upskill myself in solidity, hopefully this project can help me.
@norswap .

[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.