"turing complete is the wrong tool... what our systems do is verification, not computation. This cognitive error confers no advantage, outside of marketing to people with a fuzzy idea of what smart contracts might be good for...” gmaxwell, 2016 https://bitcointalk.org/index.php?topic=1427885.msg14601127#msg14601127 …
-
Show this thread
-
Replying to @udiWertheimer
That take has many problems. 1/almost all biz logic is in P, so that verification is about as expensive as the original computation. 2/in biz logic verification is seldom simpler than the original computation. 3/Turing completeness is largely orthogonal to P vs. NP.
8 replies 6 retweets 40 likes -
Replying to @NickSzabo4 @udiWertheimer
P.S. for Bitcoin's focus as a trust-minimized global store of value, it pays to be very conservative about this kind of thing. But that doesn't mean there aren't a bunch of other useful things you can do -- there are, including stuff my company has developed.
3 replies 3 retweets 10 likes -
Replying to @NickSzabo4 @udiWertheimer
Forgive my ignorance, but what is your company?
1 reply 0 retweets 0 likes
Replying to @ExponentialMind @udiWertheimer
Global Financial Access
3:28 PM - 18 Aug 2018
0 replies
0 retweets
2 likes
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.