https://github.com/oxarbitrage/orchard-formal

Lean 4 formalization of Zcash Orchard protocol — double-spend prevention, balance integrity, and DH key agreement proofs

cryptography formal-verification lean4 orchard shielded-protocol zcash

Last synced: 05 Jul 2026