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.
Topic
formal-verification
A collection of 1 issue