noir-lang / noir

Noir is a domain specific language for zero knowledge proofs
https://noir-lang.org
Apache License 2.0
887 stars 196 forks source link

noir.js cannot prove on input a circuit of size 2^19 #5106

Open codygunton opened 5 months ago

codygunton commented 5 months ago

This was uncovered by https://github.com/AztecProtocol/aztec-packages/pull/6391, which pushed the size of the UltraPlonk verifier circuit to size 2^19. The failure is that the prover runs out of memory while creating the proving key. It was subsequently verified that proving fails for other circuits of size 2^19 (e.g., the test program called hashmap) while it succeeds for a circuit of size 2^18 (the test program ecdsa_secp256r1_3x).

Savio-Sou commented 5 months ago

Was this happening with NoirJS specifically? As in bb.js works, but not when going through NoirJS?