search

dbosk / crocus

Securely and privately verifiable protests
Other
0 stars 0 forks source link

Fixes #177: the last few things in the security analysis #182

Closed dbosk closed 5 years ago

dbosk commented 5 years ago

This fixes all points in #177, except "malicious witness is at worst no witness" (see #177).