[2] LUNACID Core Team (2024). The Elliptic Lunar Curve Specification. IACR ePrint 2024/0420 .
NP-Intermediate proof of the Lunar Crash Problem (condensed).
[4] Buterin, V. (2023). Non-Monotonic Finality in High-Latency Environments. Ethereum Research Forum .
TLA+ model specification for ATB.
.
