search

dbosk / crocus

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

Rationale for the properties of the protocol #190

Open dbosk opened 5 years ago

dbosk commented 5 years ago

Do we motivate the properties of the protocol and the building blocks properly.

dbosk commented 5 years ago

@Simon-Bouget:

Properties must be necessary and sufficient.

dbosk commented 5 years ago

With the formalization we might actually conclude that they're both necessary and sufficient. Then we'll define formally what it means to count and prove that the protocols fulfils exactly that.