Skip to content
This repository has been archived by the owner on Oct 31, 2023. It is now read-only.

EC Formal Security Proof #19

Open
mhammersley opened this issue Jan 17, 2019 · 2 comments
Open

EC Formal Security Proof #19

mhammersley opened this issue Jan 17, 2019 · 2 comments
Assignees
@sternhenri
Labels
EC epic help wanted External collaboration required or helpful key-todo P2 Low priority

Comments

@mhammersley
Copy link

See Filecoin Research Prioritization: https://docs.google.com/spreadsheets/d/1UZEaTWtcHZLYhJBsrUVUmngM2EivY8imdMNgh004rfA/edit#gid=0
@sternhenri sternhenri transferred this issue from another repository Jan 21, 2019
@sternhenri sternhenri transferred this issue from filecoin-project/research Jan 22, 2019
@sternhenri sternhenri added help wanted External collaboration required or helpful P2 Low priority key-todo EC labels Jan 22, 2019
@sternhenri sternhenri changed the title EC Formal Security Proof (E4) (which model) EC Formal Security Proof Jan 24, 2019
@sternhenri
Copy link
Contributor

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
Copy link
Author

mhammersley commented Jan 28, 2019 •
edited
Loading

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

# for free to subscribe to this conversation on GitHub. Already have an account? #.
Assignees

@sternhenri sternhenri

Labels
EC epic help wanted External collaboration required or helpful key-todo P2 Low priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@sternhenri @mhammersley