"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 …
-
-
If Turing complete smart contracts could indeed produce value, that still leaves a big question: if it should be on a standalone “Turing complete, decentralize all the things” chain or built on top of a secure, low entropy, immutable sound money (as a sidecchain / other layer)
-
Well you’d have to first show us how to build it as a second layer though
-
There are probably ways to approximate the Turing complete needs without actually being fully Turing complete. Isn’t this the goal of simplicity? But I do think this is one of the most important areas of research
-
Yes, the goal is literally named Simplicity: https://medium.com/@danrobinson/understanding-simplicity-implementing-a-smart-contract-language-in-30-lines-of-haskell-827521bfeb4d … Simplicity is a non-turing complete smart contract language that (presumably) allows everything that you'd want from a TC language, but statically prevents the footgun scenarios we've seen with Ethereum.
-
A non-TC language cannot allow everything you might want from a TC language.
-
Agreed, but how useful are things like infinite looping in a smart contract language? Is there a known list of types of practical smart contracts that can't be accomplished without TC? From my limited understanding each element of the list that you provided could be.
-
The issue isn't infinite looping but looping without a predefined limit and corresponding pre-allocated memory, which is an extremely common and extremely valuable programming pattern.
End of conversation
New conversation -
-
-
Any suggestions on where to look for these things?
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
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.