Add Noir WASM fallback [50 USDC bounty]

[olehmisar]

Bounty

Amount: 50 USDC
Payment method: Ethereum or any L2

Please comment if you start working on this. You don't need an approval to start working on this issue. The first person to complete the issue (submits a PR that is approved & merged) gets the bounty reward.

Requirements:

• Migrate Noir compilation to @noir-lang/noir_wasm & solidity verifier generation to @aztec/bb.js
• Set the WASM compilation as a fallback if native compilation fails (see Compile Error on Fresh Project #4)
• Benchmark the speed of fresh compilation of https://github.com/shield-labs-xyz/zklogin & https://github.com/olehmisar/mezcal using hardhat-plugin-noir@0.3.1 vs the new WASM implementation. Benchmark with time hardhat compile --force

Resources:

• Example usage of @noir-lang/noir_wasm: https://github.com/olehmisar/zkemail/blob/b69a866632ea769ea7157b963d65568d45a4b4e9/apps/zkemail/src/lib/noir.ts#L338
• Generate solidity verifier using @aztec/bb.js: https://github.com/AztecProtocol/aztec-packages/blob/966982264a0da23546fb7695079e74b1234da790/barretenberg/ts/src/barretenberg/backend.ts#L319

[olehmisar]

blocked by noir-lang/noir#7823

[lucifer1017]

Is this still relevant?

[olehmisar]

Yes, but it’s blocked by noir-lang/noir#7823

[greenbasket-labs]

Hi 👋
I’d like to work on this bounty if it’s still active.
Before starting, can you confirm whether the block from noir-lang/noir#7823 is resolved or if a workaround is expected?
Once confirmed, I can start immediately.
Thanks!

[olehmisar]

Hi, the blocker is still there. This issue is likely impossible to fix until the blocker is fixed. The bounty is on pause until then