07:08

Ончейн и офчейн вычисления, Тьюринг-полнота и доказательства с нулевым разглашением

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

• 15:21 3 аналога Notcoin в Telegram, на которые стоит обратить внимание
• 13:56 Tesla внесла криптовалюту Dogecoin в список платёжных средств
• 12:56 Топ-менеджерам Cred предъявили обвинения в мошенничестве на $783 млн
• 10:00 Чарльз Хоскинсон ответил на нападки Майкла Сейлора в адрес Cardano (ADA)
• 08:30 Tesla FSD в Китае, робопес с огнеметом и другие новости из мира ИИ
• 08:03 Паоло Ардоино: Утечки личный данных клиентов криптобиржи Bitfinex — не было
• 06:05 Руководству криптокредитора Cred предъявлены обвинения в мошенничестве
• 05:26 $68 миллионов по ошибке: криптоинвестор стал жертвой изощренного мошенничества

И еще 4