feat(port): vendor bignum/bigcurve deps with fixes (#24733)

Replay onto public `next` of
**AztecProtocol/aztec-packages-private#623** (forward-port of the
private `#170`, *feat: vendor bignum/bigcurve deps with fixes*), applied
from a text-only patch since the source PR lives in the private repo.

## What this does
- **Vendors** `noir-bignum-external-audit-fixes` +
`noir_bigcurve-post-audit-fixes` into
`noir-projects/noir-protocol-circuits/crates/{bignum,bigcurve}`.
- **Repoints** the `blob` and `rollup-lib` deps from the git tags
(`bignum v0.10.0` / `bigcurve v0.14.0`) to the vendored local paths.
- **Fixes** the blob `point_compression` test: the regenerated BLS12-381
offset generator uses the opposite square root, so the hardcoded
`is_greater` expected flag flips `true`→`false` (the dependent test fix
`#328` from the private stack).

92 files, +28,486 / −6. The diff applied cleanly onto `origin/next`
(`632095c`) with `git apply --3way` (exit 0).

## ⚠️ Regen debt — `pinned-build.tar.gz`
`noir-projects/noir-protocol-circuits/pinned-build.tar.gz` is
**deliberately excluded** (a ~70 MB binary). The vendored crates change
the blob/rollup circuits, so this artifact **must be regenerated with
this repo's own bb/noir** — the private tarball is not portable. CI's
pinned-build check will flag it; I'll regenerate it while babysitting
CI. Draft until then.

## Notes
- No local toolchain here to compile the vendored crates against
`next`'s noir — CI is the first real compile.
- The source commit carried a `Closes #314` that pointed at a
**private-repo** tracker; not copied here to avoid closing an unrelated
public issue. Refs AztecProtocol/aztec-packages-private#314,
AztecProtocol/aztec-packages-private#170.

`ci-no-fail-fast` applied.

---
*Created by
[claudebox](https://claudebox.work/v2/sessions/d48394deee2dda17) ·
group: `slackbot`*

Author: AztecBot

docs/docs-developers/docs/tutorials/js_tutorials/aztecjs-getting-started.md

@@ -24,7 +24,7 @@ yarn init -y
 Next, add the TypeScript dependencies:
 
 ```sh
-yarn add typescript @types/node tsx
+yarn add "typescript@^5.3.3" @types/node tsx
 ```
 
 :::tip

docs/examples/ts/aztecjs_runner/run.sh

@@ -115,7 +115,10 @@ setup_project() {
         [ ${#NPM_DEPS[@]} -gt 0 ] && yarn_add_with_retry "${NPM_DEPS[@]}"
     fi
 
-    yarn_add_with_retry -D typescript tsx
+    # Pin typescript to the 5.x line used across the monorepo. An unpinned
+    # `yarn add typescript` now resolves to the 7.x native port, whose package
+    # layout has no lib/_tsc.js, so yarn 4's builtin compat patch fails to apply.
+    yarn_add_with_retry -D "typescript@^5.3.3" tsx
 
     # Copy tsconfig
     cp "$EXAMPLES_DIR/tsconfig.template.json" tsconfig.json

noir-projects/noir-protocol-circuits/crates/bigcurve/CHANGELOG.md

@@ -0,0 +1,189 @@
+# Changelog
+
+## [0.14.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.13.2...v0.14.0) (2026-04-08)
+
+
+### ⚠ BREAKING CHANGES
+
+* update to new stdlib interface ([#121](https://github.com/noir-lang/noir_bigcurve/issues/121))
+
+### Bug Fixes
+
+* Remove deprecated dep:: path prefix and unnecessary mut ([#112](https://github.com/noir-lang/noir_bigcurve/issues/112)) ([db37a3a](https://github.com/noir-lang/noir_bigcurve/commit/db37a3ad5a61fc3d378658ea535156aa7d69771e))
+* Update to new stdlib interface ([#121](https://github.com/noir-lang/noir_bigcurve/issues/121)) ([6021a13](https://github.com/noir-lang/noir_bigcurve/commit/6021a13653b10b776123520dca4294dbce25e34a))
+
+## [0.13.2](https://github.com/noir-lang/noir_bigcurve/compare/v0.13.1...v0.13.2) (2026-02-20)
+
+
+### Features
+
+* Update dependency versions for bignum and poseidon ([#109](https://github.com/noir-lang/noir_bigcurve/issues/109)) ([f116f40](https://github.com/noir-lang/noir_bigcurve/commit/f116f404ea2645ca84d92be1bf3d2a17b492a924))
+
+## [0.13.1](https://github.com/noir-lang/noir_bigcurve/compare/v0.13.0...v0.13.1) (2026-02-19)
+
+
+### Bug Fixes
+
+* Update dependencies ([#107](https://github.com/noir-lang/noir_bigcurve/issues/107)) ([f4de268](https://github.com/noir-lang/noir_bigcurve/commit/f4de26856d17ff4a1e2479e2e496293ed0dfedfe))
+
+## [0.13.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.12.0...v0.13.0) (2026-02-06)
+
+
+### ⚠ BREAKING CHANGES
+
+* update dependencies and bump CI Noir version ([#102](https://github.com/noir-lang/noir_bigcurve/issues/102))
+
+### Bug Fixes
+
+* Enforce correctness of generator points ([#104](https://github.com/noir-lang/noir_bigcurve/issues/104)) ([e834c82](https://github.com/noir-lang/noir_bigcurve/commit/e834c82a1f10521ae29b839b589e3645f7a1b30e))
+
+
+### Miscellaneous Chores
+
+* Update dependencies and bump CI Noir version ([#102](https://github.com/noir-lang/noir_bigcurve/issues/102)) ([44064d0](https://github.com/noir-lang/noir_bigcurve/commit/44064d02f7c1e036751c9756b0b50a3704cd02e3))
+
+## [0.12.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.11.0...v0.12.0) (2025-11-14)
+
+
+### ⚠ BREAKING CHANGES
+
+* update bignum dependency to version 0.8.2 ([#95](https://github.com/noir-lang/noir_bigcurve/issues/95))
+
+### Bug Fixes
+
+* Add `ScalarField` WNAF validation for `N >= 64` ([#80](https://github.com/noir-lang/noir_bigcurve/issues/80)) ([c13415f](https://github.com/noir-lang/noir_bigcurve/commit/c13415f175bfe938c8507943a37180e972a6c9ce))
+
+
+### Miscellaneous Chores
+
+* Update bignum dependency to version 0.8.2 ([#95](https://github.com/noir-lang/noir_bigcurve/issues/95)) ([cecb6b6](https://github.com/noir-lang/noir_bigcurve/commit/cecb6b62b85be0907e85c13411d8359c797f0d7f))
+
+## [0.11.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.10.0...v0.11.0) (2025-08-14)
+
+
+### ⚠ BREAKING CHANGES
+
+* bump to use `bignum` v0.8.0 ([#93](https://github.com/noir-lang/noir_bigcurve/issues/93))
+
+### Miscellaneous Chores
+
+* Bump to use `bignum` v0.8.0 ([#93](https://github.com/noir-lang/noir_bigcurve/issues/93)) ([2965d8b](https://github.com/noir-lang/noir_bigcurve/commit/2965d8b9e3d7ed30fb91747dbb4f57ee39b385d0))
+
+## [0.10.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.9.0...v0.10.0) (2025-07-28)
+
+
+### ⚠ BREAKING CHANGES
+
+* bump bignum to 0.7.4 ([#88](https://github.com/noir-lang/noir_bigcurve/issues/88))
+* make `derive_curve_impl` public ([#82](https://github.com/noir-lang/noir_bigcurve/issues/82))
+* remove some methods from `BigCurveTrait` ([#69](https://github.com/noir-lang/noir_bigcurve/issues/69))
+* create separate `BigCurveTrait` implementations for each curve ([#65](https://github.com/noir-lang/noir_bigcurve/issues/65))
+
+### Features
+
+* Add benchmarks ([#87](https://github.com/noir-lang/noir_bigcurve/issues/87)) ([54de613](https://github.com/noir-lang/noir_bigcurve/commit/54de613621018cd5e775b8a899c7e40013cda3f7))
+* Create separate `BigCurveTrait` implementations for each curve ([#65](https://github.com/noir-lang/noir_bigcurve/issues/65)) ([7cff316](https://github.com/noir-lang/noir_bigcurve/commit/7cff31643c621e272ffe93a54beda8f5cc105f43))
+* Make `derive_curve_impl` public ([#82](https://github.com/noir-lang/noir_bigcurve/issues/82)) ([4cfe4f6](https://github.com/noir-lang/noir_bigcurve/commit/4cfe4f6a69aee11775a33fc21d61487e8cdb5cc8))
+* Remove conditional select ([#74](https://github.com/noir-lang/noir_bigcurve/issues/74)) ([31ae850](https://github.com/noir-lang/noir_bigcurve/commit/31ae8508547eed12ecc2a614d7cdbcb147458072))
+* Remove CurveParamsTrait ([#73](https://github.com/noir-lang/noir_bigcurve/issues/73)) ([59bde3b](https://github.com/noir-lang/noir_bigcurve/commit/59bde3b603c859920f9d99b20bc44793a52d49cb))
+* Remove Trait suffix from BigCurveTrait ([#71](https://github.com/noir-lang/noir_bigcurve/issues/71)) ([4aed759](https://github.com/noir-lang/noir_bigcurve/commit/4aed759b843815af915d91bb2252bed6debdae9c))
+* Use to_le_bytes and bitwise operations to replace to_le_radix ([#75](https://github.com/noir-lang/noir_bigcurve/issues/75)) ([6adb77c](https://github.com/noir-lang/noir_bigcurve/commit/6adb77cdd13805f0b3d1fff6b4747fbdfa2dde75))
+
+
+### Bug Fixes
+
+* Avoid using private export of `ScalarField` in macro ([#89](https://github.com/noir-lang/noir_bigcurve/issues/89)) ([200362a](https://github.com/noir-lang/noir_bigcurve/commit/200362a8679758e0c634fdd3b3b8b9af9bb02a07))
+* Bump bignum v0.7.5 ([#91](https://github.com/noir-lang/noir_bigcurve/issues/91)) ([8390174](https://github.com/noir-lang/noir_bigcurve/commit/83901749ee0c9073bef2c03f4eaa31580dda7e6f))
+
+
+### Miscellaneous Chores
+
+* Bump bignum to 0.7.4 ([#88](https://github.com/noir-lang/noir_bigcurve/issues/88)) ([2dca59a](https://github.com/noir-lang/noir_bigcurve/commit/2dca59a57aa13c5f4f796564d077106cbf9d3c9a))
+* Remove some methods from `BigCurveTrait` ([#69](https://github.com/noir-lang/noir_bigcurve/issues/69)) ([832fabc](https://github.com/noir-lang/noir_bigcurve/commit/832fabc210cafcdbbb1e0fa4dc4327f1bf0aaf99))
+
+## [0.9.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.8.0...v0.9.0) (2025-06-06)
+
+
+### ⚠ BREAKING CHANGES
+
+* bump bignum version to 0.7.3 ([#49](https://github.com/noir-lang/noir_bigcurve/issues/49))
+* bump bignum to 0.7.2 ([#47](https://github.com/noir-lang/noir_bigcurve/issues/47))
+
+### Features
+
+* Bump bignum to 0.7.2 ([#47](https://github.com/noir-lang/noir_bigcurve/issues/47)) ([1eaae46](https://github.com/noir-lang/noir_bigcurve/commit/1eaae46ca270a340f57399232e3710730632c03e))
+
+
+### Bug Fixes
+
+* Don't cast numbers to bool ([#51](https://github.com/noir-lang/noir_bigcurve/issues/51)) ([349c60b](https://github.com/noir-lang/noir_bigcurve/commit/349c60b77b7f769af73271036f2dd27eae78ae36))
+* Make necessary items public ([#54](https://github.com/noir-lang/noir_bigcurve/issues/54)) ([de513bb](https://github.com/noir-lang/noir_bigcurve/commit/de513bbb2ebc6158d565b49b6f127a95fda7388c))
+
+
+### Miscellaneous Chores
+
+* Bump bignum version to 0.7.3 ([#49](https://github.com/noir-lang/noir_bigcurve/issues/49)) ([4d48ebf](https://github.com/noir-lang/noir_bigcurve/commit/4d48ebfb36c4681463eb67dbae807ecab413a094))
+
+## [0.8.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.7.0...v0.8.0) (2025-05-16)
+
+
+### ⚠ BREAKING CHANGES
+
+* bump to bignum v0.7.1 ([#46](https://github.com/noir-lang/noir_bigcurve/issues/46))
+
+### Features
+
+* Bump to bignum v0.7.1 ([#46](https://github.com/noir-lang/noir_bigcurve/issues/46)) ([c0b3997](https://github.com/noir-lang/noir_bigcurve/commit/c0b3997f986a0724fa14cfe4645c376a8e84a243))
+
+
+### Bug Fixes
+
+* Update to use poseidon library ([#44](https://github.com/noir-lang/noir_bigcurve/issues/44)) ([b12d659](https://github.com/noir-lang/noir_bigcurve/commit/b12d6594c650f08829463251c6c0064dc9a955c6))
+
+## [0.7.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.6.0...v0.7.0) (2025-02-25)
+
+
+### ⚠ BREAKING CHANGES
+
+* bump bignum version to `v0.6.0` ([#40](https://github.com/noir-lang/noir_bigcurve/issues/40))
+
+### Miscellaneous Chores
+
+* Bump bignum version to `v0.6.0` ([#40](https://github.com/noir-lang/noir_bigcurve/issues/40)) ([630ca96](https://github.com/noir-lang/noir_bigcurve/commit/630ca96be2eaf2ace1e087cf5bd251b86d2800bc))
+
+## [0.6.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.5.2...v0.6.0) (2025-02-09)
+
+
+### ⚠ BREAKING CHANGES
+
+* bump bignum to `v0.5.0` ([#30](https://github.com/noir-lang/noir_bigcurve/issues/30))
+
+### Features
+
+* Bump bignum to `v0.5.0` ([#30](https://github.com/noir-lang/noir_bigcurve/issues/30)) ([8b88fb7](https://github.com/noir-lang/noir_bigcurve/commit/8b88fb7bc2092ca51fedcddd31ee225d6ea971a8))
+
+## [0.5.2](https://github.com/noir-lang/noir_bigcurve/compare/v0.5.1...v0.5.2) (2024-12-21)
+
+
+### Bug Fixes
+
+* Update format strings to use new format ([#22](https://github.com/noir-lang/noir_bigcurve/issues/22)) ([b8bd97c](https://github.com/noir-lang/noir_bigcurve/commit/b8bd97c7510e9ea7303c8e8c16719dbb42374596))
+
+## [0.5.1](https://github.com/noir-lang/noir_bigcurve/compare/v0.5.0...v0.5.1) (2024-11-30)
+
+
+### Bug Fixes
+
+* Update Tests ([#13](https://github.com/noir-lang/noir_bigcurve/issues/13)) ([e1f1c9c](https://github.com/noir-lang/noir_bigcurve/commit/e1f1c9c985c29213b17d965266e4f30a67b59766))
+
+## [0.5.0](https://github.com/noir-lang/noir_bigcurve/compare/v0.3.1...v0.5.0) (2024-11-08)
+
+
+### ⚠ BREAKING CHANGES
+
+* update to noir_bignum v0.4.0 ([#10](https://github.com/noir-lang/noir_bigcurve/issues/10))
+
+### Features
+
+* Added predefined curves ([#8](https://github.com/noir-lang/noir_bigcurve/issues/8)) ([582dc80](https://github.com/noir-lang/noir_bigcurve/commit/582dc808886d146d40aee334bbc200ee858ad747))
+* Update to noir_bignum v0.4.0 ([#10](https://github.com/noir-lang/noir_bigcurve/issues/10)) ([3930699](https://github.com/noir-lang/noir_bigcurve/commit/3930699251c55ebc45881536723a44faa3fd15ed))

noir-projects/noir-protocol-circuits/crates/bigcurve/Nargo.toml

@@ -0,0 +1,9 @@
+[package]
+name = "noir_bigcurve"
+type = "lib"
+authors = [""]
+compiler_version = ">=1.0.0"
+
+[dependencies]
+bignum = { path = "../bignum" }
+poseidon = { git = "https://github.com/noir-lang/poseidon", tag = "v0.3.0" }