2 commits

Author	SHA1	Message	Date
igneum-labs	728075df1b	second-prover: the ProofSystem trait in igneum-prove-core (one trait, no SDK; versions 1 sp1 and 2 risc0), Risc0ProofSystem behind it, the shadow runner and its tunnel, the pinned-guests check over both manifests, the plan, the ledger rows P7 and D6, the design note ... Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 08:57:03 +00:00
igneum-labs	b3bfa60218	second-prover: the RISC Zero shard host, pinned guest and bench runner from proving-v2 (proof system 2, image id 0x9ae0f416), and the exporter's account-dump seeding, as the base of mission item 9 ... Co-Authored-By: Claude Fable 5.1 <noreply@anthropic.com>	2026-10-07 08:41:08 +00:00