Хотите всегда оставаться в курсе событий? Подписывайтесь на @cryptochan и получайте новости в нашем Telegram канале.
×
Ончейн и офчейн вычисления, Тьюринг-полнота и доказательства с нулевым разглашением
Говоря другими словами, акцент на “проблеме остановки” в самом ее прямом смысле, а именно на вопросе “Остановится ли когда-нибудь эта программа?”, слишком сужает саму проблему. Как я уже говорил в своем старом посте, посвященном проблеме остановки, из серии Tech Tuesday, любой вопрос типа “выдаст ли программа число 42?” или “выполнит ли эта программа когда-то строку 42 своего кода?», для тьюринг-полных языков ответа, как правило, не имеет. Для блокчейнов было бы логичнее сформулировать вопрос так: возможно ли, что из-за нового смарт-контракта будет неправильно выполняться какой-то существующий смарт-контракт? И лимит газа не поможет нам ответить на этот вопрос. В системе, где любой контракт может иметь отношение к любому другому контракту, такой вопрос, как правило, остается без ответа (если речь идет о произвольных контрактах, полных по Тьюрингу, не имеющих отношения к функционированию системы).
Cегодня
В мире за неделю
-
30 Май, 13:53+5 Криптоаналитик: DOGE может вырасти до $0,322 в одном случае От Happy Coin News
-
30 Май, 09:45+6 Виталик Бутерин назвал L2-решения «культурным продолжением» Ethereum
-
29 Май, 07:46+6 Суд приговорил экс-директора FTX Райана Саламе к 7,5 годам тюрьмы
-
29 Май, 07:01+4 Суд закрыл дело против Debt Box и обязал SEC заплатить штраф $1,75 млн
-
27 Май, 21:14+5 OCP Capital: Эфир сможет рассчитывать на поддержку на уровне $3000
-
27 Май, 04:22+4 В ОАЭ пригрозили штрафами на майнинг криптовалют на фермах
-
26 Май, 05:48+5 После легализации Ethereum-ETF ожидается то же самое для SOL