210 похожих чатов

Is turing incompleteness such a good thing? Does it limit

the type of projects that might run on the blockchain?

2 ответов

11 просмотров

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.

Похожие вопросы

Карта сайта