I don’t know if that’s what Greg meant, but from my experience what most people try to do with Ethereum’s “smart contracts” is just adding semantics to multisig. You get the same properties, but get to name the function call. That’s very wasteful, and it’s security theater too
-
-
Replying to @udiWertheimer
No, multisig is very far from the only thing people do.
2 replies 1 retweet 13 likes -
Replying to @NickSzabo4
Well I wouldn’t and didn’t say “only”, but I think that multisig, together with tokenization, is what most people attempt to do with EVM “smart contracts”. What else?
1 reply 0 retweets 3 likes -
Replying to @udiWertheimer
CFDs, derivatives, rule-based pools of money, trust-minimized intermediation of cash flows, tons of things.
3 replies 4 retweets 65 likes -
Replying to @NickSzabo4
Maybe I’m talking to the wrong people. I wish I knew more folks who are interested in using smart contracts for that kind of thing. Usually I find myself walking clients through why smart contracts might not be the best fit for a dating app
5 replies 0 retweets 14 likes -
Replying to @udiWertheimer
On this particular topic (in contrast to most others crypto-related), people focused on Bitcoin are definitely the wrong people to talk to. But the Ethereum community is very noisy so it is hard to find the many valuable needles in its haystack.
2 replies 5 retweets 52 likes -
Replying to @NickSzabo4 @udiWertheimer
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)
3 replies 0 retweets 9 likes -
Replying to @BMBernstein @NickSzabo4
Well you’d have to first show us how to build it as a second layer though
1 reply 0 retweets 3 likes -
Replying to @udiWertheimer @NickSzabo4
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
4 replies 0 retweets 4 likes -
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.
1 reply 0 retweets 0 likes
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.
1 reply 0 retweets 0 likes -
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.
0 replies 0 retweets 4 likes
End of conversation
New conversation -
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.