zec
/
sapling-security-analysis
mirror of https://github.com/zcash/sapling-security-analysis.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
50 Commits 1 Branch 0 Tags 4.6 MiB
TeX 99.5%
Makefile 0.5%
Go to file
Ariel 8db03c3831 Antoine's correction 2019-05-03 22:15:03 +02:00
secondmpc Antoine's correction 2019-05-03 22:15:03 +02:00
Makefile Add Makefile. 2019-01-14 15:26:02 +00:00
MaryMallerUpdated.pdf add Mary's paper 2018-11-16 20:05:24 +01:00
README.md Create README.md 2018-08-21 12:30:27 +02:00
SaplingSecurityProof.pdf fix proof of balance 2019-01-22 12:34:15 +01:00
SaplingSecurityProof.tex fix proof of balance 2019-01-22 12:34:15 +01:00
refs.bib Minor syntax fixes for refs.bib. 2019-01-14 15:26:02 +00:00
secondmpc.pdf Antoine's correction 2019-05-03 22:15:03 +02:00

README.md

sapling-security-analysis

Formal proofs of security properties for the Zcash Sapling protocol.