Revisit Trusting trustlessness? exploits in curve and polynetwork [pdf]

https://www.cs.umd.edu/~gasarch/BLOGPAPERS/cbit-4-2.pdf

42 7 3 years ago

cs.umd.edu

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.

nftsnotforme• 3 years ago

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.

10n10n• 3 years ago

I'm a victim to the bug. Man someone out here help. defi is fraud, I dont trust anyone.

scrapemenow• 3 years ago

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.

felixans• 3 years ago

FYI already made it here:

https://news.ycombinator.com/item?id=29145946

But this type of trust is kinda timeless.

Revisit Trusting trustlessness? exploits in curve and polynetwork [pdf]

Related Stories