Ончейн и офчейн вычисления, Тьюринг-полнота и доказательства с нулевым разглашением
Говоря другими словами, акцент на “проблеме остановки” в самом ее прямом смысле, а именно на вопросе “Остановится ли когда-нибудь эта программа?”, слишком сужает саму проблему. Как я уже говорил в своем старом посте, посвященном проблеме остановки, из серии Tech Tuesday, любой вопрос типа “выдаст ли программа число 42?” или “выполнит ли эта программа когда-то строку 42 своего кода?», для тьюринг-полных языков ответа, как правило, не имеет. Для блокчейнов было бы логичнее сформулировать вопрос так: возможно ли, что из-за нового смарт-контракта будет неправильно выполняться какой-то существующий смарт-контракт? И лимит газа не поможет нам ответить на этот вопрос. В системе, где любой контракт может иметь отношение к любому другому контракту, такой вопрос, как правило, остается без ответа (если речь идет о произвольных контрактах, полных по Тьюрингу, не имеющих отношения к функционированию системы).
