Смотря на некоторые комментарии, я понимаю, что может быть некоторая путаница или недопонимание относительно того, что это значит. Я подтверждаю и повторяю, что это невероятное достижение, и что ни одна другая система доказательства в мире сегодня не может достичь таких результатов с таким уровнем экономической эффективности, бездоверия и надежности. Мы раздвигаем границы технологий ZK, чтобы сделать историю Bitcoin проверяемой способами, которые раньше были немыслимы. Во-первых, некоторые комментарии предполагали сарказм, например: "Они довели это до 6.5 часов", подразумевая, что это медленно или не впечатляюще. Хм, я думаю, здесь есть большая путаница! 6.5 часов — это время, необходимое для генерации ПОЛНОГО РЕКУРСИВНОГО ДОКАЗАТЕЛЬСТВА для всей цепочки. Это делается ТОЛЬКО ОДИН РАЗ, одной машиной (и мы оптимизируем, чтобы снизить затраты еще больше). ДАВАЙТЕ СФОКУСИРУЕМСЯ НА РЕАЛЬНОМ ДЕЛЕ => Проверка занимает всего 50-100 МИЛЛИСЕКУНД, даже на небольших устройствах, таких как телефоны. Дело не в времени доказательства, а в асимметрии, которую предоставляют STARKs: доказательство требует много вычислений, но это одноразово; проверка происходит с молниеносной скоростью и масштабируется бесконечно. Пока мы усердно работаем над тем, чтобы доказать полное выполнение блока (скрипты, транзакции и т.д.), проверка все равно будет ~100 мс для всей цепочки. Это и есть изменяющий правила игры! Следующий элемент: "Доказательства не валидируют." На самом деле, проверка доказательства действительно валидирует! Вместо того, чтобы повторно выполнять все (медленный, традиционный способ), вы проверяете доказательство STARK, которое криптографически гарантирует тот же результат, но экспоненциально быстрее и с меньшими вычислениями. Это похоже на сжатие валидации в крошечную, эффективную проверку без ущерба для безопасности. Чтобы объяснить подробнее, вот общий рабочий процесс для нашего Сжатого SPV Доказательства (с использованием STARKs через Cairo+Stwo): - Пакетное выполнение: Исполнитель обрабатывает пакеты заголовков блоков Bitcoin (например, 1-10k, затем 10k-20k) с загрузчиком и программами Cairo assumevalid, генерируя трассировки и входные данные выполнения. - Генерация доказательства: Доказатель создает доказательство STARK, подтверждающее, что логика валидации блока была правильно выполнена по этим заголовкам. - Проверка: Сжатое доказательство + текущее состояние цепочки + корень MMR отправляются на проверяющее устройство в цепочке/вне цепочки, которое бездоверительно подтверждает: Действительность и связь всех заголовков обратно к генезису. * Включение целевого блока (через доказательство MMR). * Достаточная кумулятивная сложность/работа. * Правильные временные метки и правила консенсуса. * Включение целевой транзакции (через доказательство Merkle/SPV). Смотрите больше деталей здесь: И реализация основной программы Cairo здесь: