What SED Actually Is Inside the Sovereign Economic Defense repo, the five proof circuits, and the precise boundary between local ZirOS proving and Midnight publication.
Hibikari: 389 Theorems, 7 Contracts, Zero Knowledge How we formally verified a privacy protocol with 389 Lean 4 theorems, 7 Compact smart contracts, and zero compromises.