diff --git a/proving/igneum-prove/elf/igneum-prove-aggregator.elf b/proving/igneum-prove/elf/igneum-prove-aggregator.elf index a6d068225..adfd2a635 100644 Binary files a/proving/igneum-prove/elf/igneum-prove-aggregator.elf and b/proving/igneum-prove/elf/igneum-prove-aggregator.elf differ diff --git a/proving/igneum-prove/elf/igneum-prove-aggregator.vk b/proving/igneum-prove/elf/igneum-prove-aggregator.vk index 51e8c6c00..a5e8b365d 100644 Binary files a/proving/igneum-prove/elf/igneum-prove-aggregator.vk and b/proving/igneum-prove/elf/igneum-prove-aggregator.vk differ diff --git a/proving/igneum-prove/elf/igneum-prove-program.elf b/proving/igneum-prove/elf/igneum-prove-program.elf index 8db866f14..b23bd8aa8 100644 Binary files a/proving/igneum-prove/elf/igneum-prove-program.elf and b/proving/igneum-prove/elf/igneum-prove-program.elf differ diff --git a/proving/igneum-prove/elf/igneum-prove-program.vk b/proving/igneum-prove/elf/igneum-prove-program.vk index 3c052ce7f..a2480598c 100644 Binary files a/proving/igneum-prove/elf/igneum-prove-program.vk and b/proving/igneum-prove/elf/igneum-prove-program.vk differ diff --git a/proving/igneum-prove/elf/manifest.json b/proving/igneum-prove/elf/manifest.json index 4c87821c9..e9c6365c9 100644 --- a/proving/igneum-prove/elf/manifest.json +++ b/proving/igneum-prove/elf/manifest.json @@ -1,22 +1,22 @@ { "aggregator": { "elf": "igneum-prove-aggregator.elf", - "elf_bytes": 319744, - "elf_sha256": "0x143d9c243dd12e87e90be71f6b8cd42353e513bf8ce78903ef6f972f1bc9aa7b", - "program_id": "0x474678f35f7545db28055d5e5bbc308231d84a5a072202087a2a8d5b09123896", + "elf_bytes": 767424, + "elf_sha256": "0xb6af20c0ca15c2cbdcd0049d1eb55362ee1e3c1c4a6ae098f7a7e3faf683617a", + "program_id": "0x12bff5be5699cc5e2b677d837559517033870903248c2761726523096d5f3822", "vk": "igneum-prove-aggregator.vk", - "vk_sha256": "0xad17bc1ae5be816554dbb13cb5b4d242678adfb8e1a4f7247ceb8b5ba9001b9f" + "vk_sha256": "0x289fb341a39ea1bd11c569fec6beb5021276d87ea8d5757b15fb235924eb51fb" }, "format": "igneum-prove-elf-manifest-v1", - "pinned_at": "2026-10-05T16:20:38Z", + "pinned_at": "2026-10-07T08:03:43Z", "pinned_on": "Darwin MacBook-Pro.local 25.6.0 Darwin Kernel Version 25.6.0: Fri Jul 31 19:19:08 PDT 2026; root:xnu-12377.161.14~5/RELEASE_ARM64_T6050 arm64", "shard": { "elf": "igneum-prove-program.elf", - "elf_bytes": 2832504, - "elf_sha256": "0x150f4c05a2951fc56174a87089707a030b18df8fbe7e053a66459edb83053083", - "program_id": "0x2b1a81cb413236cf063077b46ed3111628f6c41036bcf6e23ee4cbbf5679ef7a", + "elf_bytes": 2831144, + "elf_sha256": "0x5315988750b3d8c4ad2f8ee686cdb4855c3e20cfc2761367bae0c7b408b8ef85", + "program_id": "0x39db9d962e426a9747689e346f608e1103258a7548bb184d6f55ac234c5bd2f7", "vk": "igneum-prove-program.vk", - "vk_sha256": "0x8b4da5bff86d963f4210a78e5d800a1cd00ab41b158f6962f4ac009edc249d4c" + "vk_sha256": "0x357c96c82083d0b4a61f354b122487d86589f52802e7319462bd721c9d7f8b34" }, "sp1_circuit_version": "v6.1.0", "sp1_crate_version": "6.8.1" diff --git a/tools/build-remote.sh b/tools/build-remote.sh index c8e72f1fa..eb0dc2b77 100755 --- a/tools/build-remote.sh +++ b/tools/build-remote.sh @@ -12,6 +12,8 @@ # tools/build-remote.sh --jobs 48 -- check # tools/build-remote.sh --target-dir target-exp -- build --release another persistent target dir on the box # tools/build-remote.sh --no-fetch -- clippy --all-targets nothing comes back (tests, check, clippy) +# tools/build-remote.sh --measure --no-fetch -- run --release -p -- a MEASUREMENT under the box's measure +# hold (every build waits, as with-lock.sh measure) # tools/build-remote.sh --ship [hive|rig|seed|linux] [--glibc X.Y] anything that SHIPS: cargo zigbuild for # x86_64-unknown-linux-gnu. where the glibc comes # from the class (hive/rig 2.31: HiveOS is Ubuntu 20.04 @@ -71,6 +73,7 @@ while [ $# -gt 0 ]; do --artefacts) ARTEFACTS="$2"; ARTEFACTS_SET=1; shift 2 ;; --target-dir) TARGET_DIR="$2"; shift 2 ;; --no-fetch) FETCH=0; shift ;; + --measure) export BR_MEASURE=1; shift ;; # a measurement: the box's measure hold (remote-run.sh BR_MEASURE=1), builds wait --self-test-repro) SELFTEST=1; shift ;; --ship) SHIP=1; case "${2:-}" in hive|rig|seed|linux|native) SHIP_CLASS="$2"; shift 2 ;; *) shift ;; esac ;; --glibc) GLIBC="$2"; shift 2 ;;