News for hackers. Stuff that matters.

A comment on How We Proved the Eth2 Deposit Contract Is Free of Runtime Errors. Parent comment

Re:How We Proved the Eth2 Deposit Contract Is Free of Runtim... by notimrelakatos on Monday September 13, 2021 @09:30AM (#28511226)
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

[ Parent | on HN ]

There are no comments on this comment yet.