Lunacid V2.1.4 -

[2] LUNACID Core Team (2024). The Elliptic Lunar Curve Specification. IACR ePrint 2024/0420 .

[3] Mare, Z. (2025). Zero-Knowledge Proofs for Orbital Mechanics. Journal of Cryptologic Astronomy , 12(3), 45-67. LUNACID v2.1.4

$$n \cdot G = \mathcalO \iff \textTidal Locking Condition$$ [2] LUNACID Core Team (2024)

NP-Intermediate proof of the Lunar Crash Problem (condensed). LUNACID v2.1.4

Coq proof script for Theorem 4.2 (Lunar Lemma) – 2,400 lines.

$$\Phi(B) = \frac\sum_i=1^k \textWeight(V_i)\textDelay(B) \times \textOrbit(B)$$