Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
mbrock
on June 17, 2016
|
parent
|
context
|
favorite
| on:
Critical Update on DAO Vulnerability
It seems that we need formal verification for smart contracts and maybe a more restricted language that makes it easier to reason about correctness.
Obviously it's not enough to just say "some guys did a security audit and everything looks fine."
lallysingh
on June 17, 2016
[–]
Yes! It's not like the technology isn't already there, well documented, and waiting for use.
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
Obviously it's not enough to just say "some guys did a security audit and everything looks fine."