Greenpaper Series
This section contains the Greenpaper Series - a collection of technical papers exploring bounded verification architecture for dual-ledger systems.
Documents
- 0x00 Bounded Verification - A Bounded Verification Architecture for Dual-Ledger Systems
- 0x01 zApps - Proof-First Verifiable Applications under Bounded Verification
- 0x02 Composable External Verification - Bitcoin & Beyond as Verifiable Inputs Under Bounded Resources
- 0x03 Bounded Verification and Refusal - Bounded Verification & Refusal
- 0x04 Proof Availability and Deferred Verification - Proof Availability & Deferred Verification
- 0x05 Verification Frontiers Local Finality - Verification Frontiers & Local Finality
- 0x06 Multi-Verifier Consistency Gossip Safety - Multi-Verifier Consistency & Gossip Safety
- 0x07 Application Semantics Over Bounded Verification - Application Semantics Over Bounded Verification
- 0x08 Incentives Under Partial Verification - Incentives Under Partial Verification
- 0x09 Governance Without Global Consensus - Governance Without Global Consensus
- 0x10 The Edge of Space - Human Interfaces for Verification at the Frontier
Last updated on