4 ms·
The EVM might be Turing complete but you can still have languages that compile down to only some tractable sub-set of the possible EVM programs. The interestin
by adrianratnapala 9y ago
The EVM might be Turing complete but you can still have languages that compile down to only some tractable sub-set of the possible EVM programs.
The interesting question is whether a language can be design which allows the important domain-relevant requirements to written down in an understandable way and also proved rigorously.
So far neither lawyers nor programmers have done a very good job of this in their respective field. Watching people trying to do it in both fields simultaneously sounds like popcorn time to me.
- erikpukinskis 9y agoHuh? Lawyers have done an exceptional job. There are huge swaths of activity around which there is consensus about legal dogma. And huge swaths of activity where programmers have laid out clear deterministic expectations. If you're saying lawyers have failed to specify the legal ramifications of All Possible Activity then... Sure. So? Even if Ethereum only works for one single narrowly defined contract, it could be immensely useful. The question for me isn't "where could it fall short" but "where might it measure up?"