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.
This post is for paying subscribers only
Already have an account? Sign in.