Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
notimrelakatos
on Sept 13, 2021
|
parent
|
context
|
favorite
| on:
How We Proved the Eth2 Deposit Contract Is Free of...
Formal methods seems to be perfect for verifying protocols, specially finding design flaws, here an example of an ongoing effort to verify TLS
https://www.mitls.org/
https://github.com/project-everest/mitls-fstar
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
https://www.mitls.org/
https://github.com/project-everest/mitls-fstar