Hacker Read
top
|
best
|
new
|
newcomments
|
leaders
|
about
|
bookmarklet
login
thebiglebrewski | karma 785 | avg karma 1.18
2018-07-11 18:46:50+00:00
|
next
[–]
update item
Congrats on the launch but....needs a TL; DR;. Holy wall of text, batman!
reply
view as:
tree
latest_first
saurabh20n | karma 582 | avg karma 3.99
2018-07-11 18:50:46+00:00
|
next
[–]
similar comments
LOL. I agree. Want to take a stab at it?
reply
1996 | karma 246 | avg karma 0.18
2018-07-11 15:09:07
|
next
[–]
similar comments
TLDR: you use formal verification methods to find obvious bugs in the sourcecode of blockchain contracts, taking advantage of the blockchain natural properties to limit the search space
You have a great idea there. Run with it!
reply
Legal
|
privacy
reply