EC Formal Security Proof - Githubissues

filecoin-project / consensus

Filecoin consensus work

Other

42 stars 5 forks source link

EC Formal Security Proof #19

Open mhammersley opened 5 years ago

mhammersley commented 5 years ago

See Filecoin Research Prioritization: https://docs.google.com/spreadsheets/d/1UZEaTWtcHZLYhJBsrUVUmngM2EivY8imdMNgh004rfA/edit#gid=0

sternhenri commented 5 years ago

Criteria for completion:

Security Model is well-defined and written up
Security proofs for desired properties
Implementation is verified
Null and Ghost blocks are accounted for
EC/SPC interface is well-defined

mhammersley commented 5 years ago

Iceboxed -- it's blocked, not launch-critical, and needs people