search

noir-lang / noir

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

Add `double_verify_proof` to integration-tests #4562

Open Savio-Sou opened 6 months ago

Savio-Sou commented 6 months ago

Problem

From attempts at debugging https://github.com/noir-lang/noir/issues/4409, the _double_verifyproof test case is working on Nargo but not in JS.

Happy Case

Adding the test case to our integration tests would be a good debugging next step for the Issue linked, confirming if it was a user error or is indeed a JS-specific bug.

It additionally protects us from being plagued by it again.

Project Impact

Blocker

Impact Context

Good debugging next step for https://github.com/noir-lang/noir/issues/4409, which is blocking multiple community projects.

Workaround

None

Workaround Description

No response

Additional Context

No response

Would you like to submit a PR for this Issue?

None

Support Needs

No response

Savio-Sou commented 5 months ago

Difficult to debug further, could use bb.js stack traces.

Savio-Sou commented 5 months ago

On further debugging, _double_verify_nestedproof was found to go beyond WASM's 2^19 constraint limit. More context here.

Issue is blocked until the barretenberg team finds a way to lower the memory footprint.