Bigcurve/Bignum nargo execute failure repro

[MirandaWood]

Not sure why, but couldn't make a smaller repro (maybe related to many inputs in the witness?) of a failure I was seeing in nargo execute with correct inputs. Repro:

• build repo (./bootstrap.sh in /noir-projects/noir-protocol-circuits should suffice, have removed the disallow warnings clause for visibility errors)
• navigate to noir-projects/noir-protocol-circuits/crates
• run ../../../noir/noir-repo/target/release/nargo execute --package rollup_block_root

To get it to pass, change:

bigcurve = { tag = "tf/branch-for-aztec", git = "https://github.com/noir-lang/noir_bigcurve" }

back to:

bigcurve = { tag = "mw/bump", git = "https://github.com/noir-lang/noir_bigcurve" }

in noir-projects/noir-protocol-circuits/crates/blob/Nargo.toml and re bootstrap. The mw/bump branch just adds printlns in bigcurve above the failing call: https://github.com/noir-lang/noir_bigcurve/compare/tf/branch-for-aztec...mw/bump EDIT: converted the printlns to assert_eq in mw/bump to avoid witness parsing issues in aztec-packages.