worldcoin/world-chain proofs/v1.0.0-rc.1

on GitHub

Enclave measurements

SP1 guest programs

Binaries

The manifest is signed with the PGP key: C75F BC64 E9D4 8E89 FB60 418B 8949 B352 D042 2E74

System	Architecture	Binary	PGP Signature
	riscv32im	world-chain-proof-succinct-range-ethereum	elfs.sha256
	riscv32im	world-chain-proof-succinct-aggregation	elfs.sha256
	x86_64	manifest.json	manifest.json.asc
System	Option	Resource
	Docker	worldcoin/world-chain-nitro-enclave
	Docker	worldcoin/world-chain-nitro-enclave-eif
	Docker	worldcoin/world-chain-sp1-worker
	Docker	worldcoin/world-chain-nitro-worker
	Docker	worldcoin/world-chain-proposer
	Docker	worldcoin/world-chain-challenger
	Docker	worldcoin/world-chain-defender
	Docker	worldcoin/world-chain-prover-service

All images are tagged v1.0.0-rc.1; per-image digests are pinned in the signed manifest.json.

Changes

• fix(proof): post-merge review follow-ups (#1078)
• fix(measurements): reproducibility improvements + releases (#1073)
• chore: bump op-reth (#1072)
• feat(proofs): proof fillup fixes and kms support for prove refills (#1069)
• feat(proofs): route jobs by verifier values (#1063)
• fix(proposer): settle obsolete-domain games (#1062)
• feat (proofs): automatic cancel + retries on auction timeout of SP1 proofs (#1059)
• fix: OnceLock nsm initialization (#1054)
• refactor(nitro): decode attestation payload into AWS's AttestationDoc (#1051)
• refactor(nitro): decode COSE_Sign1 with coset (#1050)
• refactor(nitro): delegate cert path validation to webpki (#1049)
• Add SP1 max price per PGU option (#1056)
• refactor(proofs): simplify SP1 worker tuning (#1048)
• fix(proofs): derive worker ranges from game (#1045)
• fix(proofs): submit SP1 requests with fixed limits (#1043)
• fix(proofs): reproducibly build SP1 worker ELFs (#1037)
• chore: bump reth (#1039)
• fix(sp1-worker): install rustls backend at startup (#1035)
• feat: add semaphore + simple nonce manager to defender (#1034)
• feat: add semaphore + simple nonce manager to challenger (#1032)
• feat: add sempahore + simple nonce manager to proposer (#1030)
• feat(nitro-proof-worker): add aws kms support (#1026)
• fix(proofs): time out pending transaction receipts (#1027)
• feat(sp1-proof-worker): add aws kms support (#1024)
• feat(sp1-proof-worker): add deposit subcommand (#1023)
• feat(defender): read game verifier identities (#1020)
• feat(proofs): support AWS KMS transaction signers (#1021)
• fix(defender): submit raw verifier proofs (#1015)
• Cleanup enclave from unused commands. (#1014)
• feat(proofs): track bond flows (#1009)
• chore: refactor more intuitively (#1004)
• fix: sync rust proof services with MultiProofGame ABI (#1003)
• feat: cleanup + split defender reward evenly (#1001)
• fix(ci): fix clippy (#1008)
• chore: reth 2.4.1 (#992)
• feat(contracts): refactor <> cleanup (#971)
• Fix EIF image build. (#1000)
• Reorganise proofs directory. (#994)
• fix(nitro): support large witness frames (#997)
• fix(defender): abi-encode proof payloads as params (#989)
• feat: Make defender proof requests threshold-aware (#988)
• fix(proofs): use withdrawals root after Isthmus (#984)
• fix/nitro worker output root rpc (#978)
• fix(nitro-worker): retry registration instead of crashlooping (#973)
• fix(nitro): pre-warm the CertManager cert chain before registerKey (#972)
• fix: add request timeout to clients (#970)
• Fix registering. (#968)
• chore: simplify challenger contract config (#969)
• chore: refactor world-chain-proposer (#966)
• chore: refactor world-chain-challenger (#964)
• fix: nitro ca verification (#956)
• chore: better errors for world-chain-defender (#962)
• chore: better errors for world-chain-proposer (#961)
• feat: production deployment contracts (#955)
• chore (proofs): metrics Track proof service wallet balances and RPC (#951)
• chore: better errors for world-chain-challenger (#953)
• feat(proofs): verify output roots across clients (#952)
• fix(challenger): fetch oldest challegable game at startup (#948)
• chore: Add initial telemetry to proof services (#949)
• feat(nitro): automated enclave key self-registration (register CLI + --auto-register) (#938)
• feat(proofs): charge protocol fee on challenges (#947)
• feat: resolve invalid parent bonds (#946)
• refactor(nitro): register signer addresses (#944)
• feat(proofs): submit proofs after game creation (#941)
• feat(defender): make it l1 reorg aware (#936)
• Revert "feat(proofs): require proof-backed game creation" (#940)
• feat(proofs): require proof-backed game creation (#928)
• feat(challenger): make it l1 reorg aware (#935)
• feat(proposer): require defined number of confirmations when sending txs onchain (#933)
• fix: restrict request_matches to ensure only nitro can change l1_head (#927)
• fix: rebind rust services and happy path e2e (#925)
• feat: remove l1 head from proof request (#926)
• fix(proofs): compute host-side rollup config hash from parsed RollupConfig, not raw JSON (#922)
• feat: proposer includes a proof when creating a new game (#921)
• feat: nitro proving pipeline progress logging + prover-cli test tool (#914)
• refactor: new world-chain-defender (#913)
• refactor(challenger): add new challenger logic (#908)
• feat(proposer): read proposer bond from contract (#904)
• feat(proposer): add tick budget for resolve_games (#903)
• feat: add historical game withdrawals (#901)
• feat(proposer): add withdrawal credits logic (#900)
• refactor: world chain proposer (#898)
• fix: update stale vkeys.json and broaden vkeys workflow trigger paths (#899)
• feat: proof system deployment tooling (just targets, forge scripts, env configs) (#851)
• chore: reset nitro protocol version to 1 (#873)
• feat: make nitro sign over TransitionPublicValues (#871)
• refactor: adjust transition public values (#868)
• chore: remove unused proof types (#866)
• fix: remove intermediate roots from proof system services (#864)
• fix: gate nitro behind linux os (#862)
• feat(nitro-worker): add run/get-attestation subcommand CLI (#860)
• feat(nitro): add get-attestation subcommand for CertManager pre-warm (#849)
• fix(nitro): remove unsafe aggregation signing path (#845)
• refactor(proofs): remove unused proof utilities (#844)
• refactor(proofs): remove duplicate protocol crate (#843)
• feat: Add SP1 validity proof verifier (#842)
• feat: add sp1-prover execute bin to get PGUs (#841)
• fix: ensure split_count is exactly 1 (#838)
• chore: Refactor proof job queue trait envelopes (#837)
• feat: Add prover service status poller (#836)
• feat: add failure_reason to record_proof_session (#835)
• feat(sp1-worker): add session poll interval flag (#834)
• refactor(proof-system): make WorldSuccinctProver trait better (#833)
• feat: add sp1 network prover (#832)
• feat: add sp1 mock prover (#831)
• feat: make sp1 prover use proof_sessions table (#825)
• feat: wire heartbeat config into proof workers cli flags (#823)
• chore(deps): bump the cargo-minor-and-patch group across 1 directory with 5 updates (#814)
• feat: make sp1 backend async friendly (#821)
• feat: make nitro backend async friendly (#819)
• feat: add heartbeat to proof worker (#818)
• feat(sp1-worker): read SP1_PRIVATE_KEY instead of NETWORK_PRIVATE_KEY (#815)
• feat: add heartbeat api (#817)
• chore: update lockfiles (#813)
• fix: make record-proof-session idempotent (#808)
• chore: refactor proof request errors (#807)
• feat: add retry to proof submissions (#803)
• chore: add constraint on proof_sessions status (#802)
• refactor: new api for prover-service (#794)
• feat(contracts/nitro): bump nitro-validator → PR#28 hinted P-384 + security fixes #29-#49 (#796)
• feat(contracts): on-chain Nitro enclave key registry & TEE proof verifier (#782)
• ci: build Nitro EIF launcher image in docker-proof and release-proof (#781)
• refactor(prover-service): add worker_id logic (#792)
• refactor(prover-service): change some db fields (#789)
• chore: rename prover-service tables (#788)
• fix: use correct 'enclave' feature name in nitro Dockerfile (#777)
• feat: enable karst per default new chains and local devnet (#770)
• chore: small improvement on prover-service db (#776)
• refactor: new proof system design (#768)
• fix: address review comments from SP1 ELF embed refactor (#767)
• docs: add active development warning READMEs to proof and contract directories (#772)
• refactor: embed SP1 guest ELFs at compile time via sp1_build + include_elf!() (#743)
• refactor(nitro): merge aws_nitro feature into enclave (#760)
• chore(deps): bump aws-nitro-enclaves-nsm-api from 0.4.0 to 0.5.1 (#755)
• chore(deps): bump x509-parser from 0.16.0 to 0.18.1 (#757)
• feat: store elfs as release artifacts (#753)
• feat: split up prover bin (#752)
• fix: elf (#750)
• feat: proof service binaries and artifacts (#748)
• chore: bump version (#747)
• chore: reth 2.3.0 (#741)
• test(proof-system): add integration tests (#744)
• feat(nitro): nitro TEE worker (stacked on sp1-worker) (#732)
• feat(proof-system): add defender (#729)
• feat(nitro): certificate chain verification & attestation hardening (#731)
• feat: sp1 worker (#715)
• Refactor proofs creates. (#730)
• chore(deps): bump the cargo-minor-and-patch group across 1 directory with 3 updates (#716)
• chore: add release workflow for world chain proof binaries (#726)
• feat(proof-system): add prover-service (#713)
• perf(challenger): process games in parallel (#712)
• feat(challenger): make retry list deadline aware (#711)
• feat(challenger): add retry list (#710)
• feat(challenger): add L2 finality gate (#708)
• feat(devnet): add challenger to local devnet (#704)
• fix(nitro): gate linux-only deps on target os (#705)
• feat(proof-system): add challenger (#700)
• feat: add SP1 and Nitro TEE programs (#698)
• feat: multi proofs (#685)