ether
news
a front page for the Ether
About
Subscribe
☾
Submit a story or source
Suggesting a link for:
Ethereum's TCB Part 1 explores formal verification for client security
Link *
Why it's notable
(optional)
Your email *
(used only to follow up about your submission, never shown publicly)
Website
Suggest it