There is a lot of formal method usage in smart contracts. Maker DAO for example ... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

kolinko on July 3, 2021 | parent | context | favorite | on: Where are we going from here? Software engineering...

There is a lot of formal method usage in smart contracts. Maker DAO for example did a full formal verification of their stuff, and there is a lot of talk within the security community about it.

ntietz on July 3, 2021 [–]

Yes! The blockchain community is doing a lot of cool stuff here and it’s definitely an area where it’s worth it even with less than ideal tools.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact