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 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: @.***>

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

[knownothing10]

I’d like to work on this.

[VyuduInc]

May I try my hand at this?

[PrathamJha1]

Would love to contribute here , given my experience as a JavaScript and Typescript developer working in the Web3 space for over a year.

[Aamirmahdiy]

Is it okay if I take this?

[chiscookeke11]

Can I jump on this task?

[wengDavo]

Can I start working on this?