Revisit Trusting trustlessness? exploits in curve and polynetwork [pdf](cs.umd.edu)
cs.umd.edu
Revisit Trusting trustlessness? exploits in curve and polynetwork [pdf]
https://www.cs.umd.edu/~gasarch/BLOGPAPERS/cbit-4-2.pdf
10 comments
Recent vulnerabilities and exploits found in Defi bring back a quote found in this short essay by Georgiadis:
“Additionally, even though the codebase might be open source, and thus inspectable, validating integrity of a million-loc-long codebase isn’t something that the average user is capable of.”
I might add, it’s not even feasible for the average expert. The essay touches on some very nice points.
I might add, it’s not even feasible for the average expert. The essay touches on some very nice points.
This is a nicely written spin of Turing Award winner Ken Thompsons speech "Reflections of Trusting Trust(lessness)!". Thanks for this, and thanks for posting.
The bug in Curve was in vyper's compiler not Curve itself.
I agree with this essay, and your point. No average user, nor average expert can spot this type of exploit. My own background is in compiler work. Hence the author, Evangelos Georgiadis, advocates for formal verification methods, but even these methods are not perfect. The most intriguing point for me was the author's concept of conceptual corruption, referencing work by Markus G Kuhn. It leaves off with an easter egg quote of former compiler expert Donald Knuth. This 3 pager is quite fitting for current events.
I agree with this essay, and your point. No average user, nor average expert can spot this type of exploit. My own background is in compiler work. Hence the author, Evangelos Georgiadis, advocates for formal verification methods, but even these methods are not perfect. The most intriguing point for me was the author's concept of conceptual corruption, referencing work by Markus G Kuhn. It leaves off with an easter egg quote of former compiler expert Donald Knuth. This 3 pager is quite fitting for current events.
I'm a victim to the bug. Man someone out here help.
defi is fraud, I dont trust anyone.
https://news.ycombinator.com/item?id=29145946
But this type of trust is kinda timeless.