the type of projects that might run on the blockchain?
Yes, we believe that turing incompleteness is a good thing. It doesn't meaningfully restrict the kinds of smart contracts that you can write because gas limits mean that even turing-complete blockchains are very limited in what they can do. At the same time, it gains us quite a bit of power in terms of formal verification and being able to prove things about your smart contracts.
Обсуждают сегодня