Geeks
arielgabizon
/
sapling-security-analysis
Primary Language
TeX
sapling-security-analysis GitHub
Markdown
Readme
0
Issues
2
Stargazers
2
Watchers
sapling-security-analysis
Formal proofs of security properties for the Zcash Sapling protocol.