Skip to content
Aevum & Bond

Appendices & proofs

The Appendices (01-appendices-v18_3.md) collect:

  • §1 — Cryptoeconomics. Capital sublinearity at rate λ^(1/6), fee recycling, death-spiral bounds.
  • §2 — Consensus. BFT safety and liveness, Conviction Voting analysis, HTLC atomicity.
  • §3 — Simulations. Monte Carlo with 2,000 trials for EDA, fee dynamics, and MEV elimination under the Protocol Fee Container (PFC).

Mechanisation (TLA+ / Coq / Lean 4, tool selection at ADR-0010) is scheduled for M5.