1. Ironwood
  2. Concepts
    1. Quantum Recoverability
  4. Design
    1. Transaction Format
    2. Action Circuit
  6. Formal Verification
    1. Orientation
      1. Guide to the Ironwood Formalization
    3. Models and Bounds
      1. Security Models
      2. Reading the Security Bound
    5. What Is Proved
      1. Proof Journey
      2. Proof Map
      3. Knowledge-Soundness Contract
      4. Ledger Security Games
      5. Group-Hash Indifferentiability
    7. Reference
      1. Definitions
      2. Source Map
      3. Build and CI Checks
    9. Working Notes
      1. The Clean Boundary