V6-10: pin C held off master on p22-stage-2-pin (056a5cb74); proving/igneum-prove/elf/ back to master's served pair for the stages' landing (the 2.0.1 kits embed master's elf/ and their start check refuses another top pair)
Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>
This commit is contained in:
igneum-labs
parent
056a5cb74b
commit
952cdc240a
6 changed files with 12 additions and 33 deletions
|
|
@ -14,7 +14,7 @@ The finding: the ELF manifest was pinned_at 2026-10-05 while the fee split (D4)
|
|||
| B | the same, rebuilt into a clean target dir two minutes later | target-det | 0ce9e351…b712f04 | 3ef25e3f…a29516 |
|
||||
| C | c45db4420, the committed tree, the elf output dir removed first (20:47 UK) | target | 0ce9e351…b712f04 | 3ef25e3f…a29516 |
|
||||
|
||||
The verifying keys matched byte for byte across A and B (program vk 0dbb6605…, aggregator vk 074eb906…). The pinned manifest is C's, with `source_commit` c45db4420 and `guest_input_format` 3. Program ids: shard 0x51cd8cba314a32b60fac393949a4571714da6d6656717d286011601b2a163fe7, aggregator 0x05b395ec238f67406084f8a449d400f64c87dc62151daebf66695864727ded8a, the same from A, B and C; the vks matched across all three. Committed as 7d38077df (the pin, its manifest and elf/prior). The prior pair carried in the manifest is the live pair 0x2b1a81cb… / 0x474678f3… (the 17:58 UK re-pin's current pair, 0x282dcfce… / 0x3fd721e8…, is superseded by this pin because stage 2 changed the public values again; the node lane places the new pair on the 2.0.2 tree after the D1 freeze).
|
||||
The verifying keys matched byte for byte across A and B (program vk 0dbb6605…, aggregator vk 074eb906…). The pinned manifest is C's, with `source_commit` c45db4420 and `guest_input_format` 3. Program ids: shard 0x51cd8cba314a32b60fac393949a4571714da6d6656717d286011601b2a163fe7, aggregator 0x05b395ec238f67406084f8a449d400f64c87dc62151daebf66695864727ded8a, the same from A, B and C; the vks matched across all three. Committed as 7d38077df (the pin, its manifest and elf/prior) and HELD OFF MASTER on branch p22-stage-2-pin (tip b5b82c958, on the box mirror): master's proving/igneum-prove/elf/ is what the 2.0.1 node kits embed, and the 2.0.1 start check refuses an elf/ whose top pair is not the object's pinned pair (devnet-4 pins the live pair), so pin C moves onto master together with the digest move when main names H (the node lane, 21:0x UK). The stages' code lands with elf/ unchanged (the served pair at the top). The prior pair carried in the manifest is the live pair 0x2b1a81cb… / 0x474678f3… (the 17:58 UK re-pin's current pair, 0x282dcfce… / 0x3fd721e8…, is superseded by this pin because stage 2 changed the public values again; the node lane places the new pair on the 2.0.2 tree after the D1 freeze).
|
||||
|
||||
## 3. Genuine compressed proofs with the new host, both fee modes
|
||||
|
||||
|
|
|
|||
Binary file not shown.
Binary file not shown.
Binary file not shown.
Binary file not shown.
|
|
@ -1,44 +1,23 @@
|
|||
{
|
||||
"aggregator": {
|
||||
"elf": "igneum-prove-aggregator.elf",
|
||||
"elf_bytes": 321200,
|
||||
"elf_sha256": "0x3ef25e3f6aea7a6f882c51526e66a19342baf9147b2fdf497040673c67a29516",
|
||||
"program_id": "0x05b395ec238f67406084f8a449d400f64c87dc62151daebf66695864727ded8a",
|
||||
"elf_bytes": 319744,
|
||||
"elf_sha256": "0x143d9c243dd12e87e90be71f6b8cd42353e513bf8ce78903ef6f972f1bc9aa7b",
|
||||
"program_id": "0x474678f35f7545db28055d5e5bbc308231d84a5a072202087a2a8d5b09123896",
|
||||
"vk": "igneum-prove-aggregator.vk",
|
||||
"vk_sha256": "0x074eb9067ae1a27d73c9964047b36a81cebf6ea059159e5670d9404c932e4b4d"
|
||||
"vk_sha256": "0xad17bc1ae5be816554dbb13cb5b4d242678adfb8e1a4f7247ceb8b5ba9001b9f"
|
||||
},
|
||||
"format": "igneum-prove-elf-manifest-v1",
|
||||
"guest_input_format": 3,
|
||||
"pinned_at": "2026-10-08T19:47:57Z",
|
||||
"pinned_on": "Linux igneum-build-1 6.8.0-139-generic #139-Ubuntu SMP PREEMPT_DYNAMIC Sat Aug 1 03:52:05 UTC 2026 x86_64 x86_64 x86_64 GNU/Linux",
|
||||
"pinned_at": "2026-10-05T16:20:38Z",
|
||||
"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": 2858040,
|
||||
"elf_sha256": "0x0ce9e3515da29e53421cd366a974fd96364387799049b9313a67e6942b712f04",
|
||||
"program_id": "0x51cd8cba314a32b60fac393949a4571714da6d6656717d286011601b2a163fe7",
|
||||
"elf_bytes": 2832504,
|
||||
"elf_sha256": "0x150f4c05a2951fc56174a87089707a030b18df8fbe7e053a66459edb83053083",
|
||||
"program_id": "0x2b1a81cb413236cf063077b46ed3111628f6c41036bcf6e23ee4cbbf5679ef7a",
|
||||
"vk": "igneum-prove-program.vk",
|
||||
"vk_sha256": "0x0dbb6605bb43bc183ae6681fb932216ada14c409dd23cbd0a40163389dc7fabe"
|
||||
"vk_sha256": "0x8b4da5bff86d963f4210a78e5d800a1cd00ab41b158f6962f4ac009edc249d4c"
|
||||
},
|
||||
"source_commit": "c45db442023aaf69d0b71731df24b6eee795bc38",
|
||||
"sp1_circuit_version": "v6.1.0",
|
||||
"sp1_crate_version": "6.8.1",
|
||||
"prior": {
|
||||
"aggregator": {
|
||||
"elf": "igneum-prove-aggregator.elf",
|
||||
"elf_bytes": 319744,
|
||||
"elf_sha256": "0x143d9c243dd12e87e90be71f6b8cd42353e513bf8ce78903ef6f972f1bc9aa7b",
|
||||
"program_id": "0x474678f35f7545db28055d5e5bbc308231d84a5a072202087a2a8d5b09123896",
|
||||
"vk": "igneum-prove-aggregator.vk",
|
||||
"vk_sha256": "0xad17bc1ae5be816554dbb13cb5b4d242678adfb8e1a4f7247ceb8b5ba9001b9f"
|
||||
},
|
||||
"pinned_at": "2026-10-05T16:20:38Z",
|
||||
"shard": {
|
||||
"elf": "igneum-prove-program.elf",
|
||||
"elf_bytes": 2832504,
|
||||
"elf_sha256": "0x150f4c05a2951fc56174a87089707a030b18df8fbe7e053a66459edb83053083",
|
||||
"program_id": "0x2b1a81cb413236cf063077b46ed3111628f6c41036bcf6e23ee4cbbf5679ef7a",
|
||||
"vk": "igneum-prove-program.vk",
|
||||
"vk_sha256": "0x8b4da5bff86d963f4210a78e5d800a1cd00ab41b158f6962f4ac009edc249d4c"
|
||||
}
|
||||
}
|
||||
"sp1_crate_version": "6.8.1"
|
||||
}
|
||||
|
|
|
|||
Loading…
Reference in a new issue