daira/zcash-lean

An in-progress formal verification of the Zcash protocol

GitHub repository with 5 stars and 0 forks.

Language: Lean

Topics: cryptocurrency, formal-verification, lean4, zcash, zero-knowledge

Open provider repository