Buy gift cards/mobile Top Ups with Cryptos
Bitcoin Cash ABC vs. Bitcoin Cash SV
Optimism: Kona v1.8.0 ужесточает выполнение доказательств неисправностей и обработку некорректных батчей
Optimism выпустил компоненты Kona v1.8.0 с исправлениями для вывода, выполнения доказательств, TLS и обработки предобразов. Релиз предотвращает ситуацию, когда некорректный батч может заставить Kona вывести цепочку, отличную от той, что выводит op-node, при специфическом условии с ошибочным батчером. Optimism рекомендует этот релиз для всех цепочек и указывает, что kona-host следует запускать с соответствующими абсолютными предстейтами kona-client v1.8.0.
Rust‑основанный стек доказательств неисправностей Optimism получил значительное техническое обновление, сосредоточенное на сохранении согласованности вывода и выполнения доказательств с остальной частью OP Stack. Kona host v1.8.0 был опубликован 1 октября вместе со совпадающим выпуском клиента. Optimism рекомендует обновление для всех цепочек. Релиз технический, но проблема, которой он занимается, проста для понимания: два элемента проверяющего программного обеспечения не должны получать разные ответы из одних и тех же данных цепочки.
Некорректные батчи получают более строгую обработку
После обновления Holocene Kona теперь проверяет родительский хеш каждого отдельного батча против safe head так же, как это делает op-node. Optimism отмечает, что предыдущая проверка всегда проходила. В узком случае, когда ошибочный батчер создавал некорректный батч, Kona вследствие этого могла вывести цепочку, отличную от op-node. Команда отмечает, что доказательства неисправностей не затронуты, если только батчер фактически не ведёт себя неправильно. Тем не менее совпадение поведения при выводе между клиентами — это именно то требование согласованности, от которого зависят системы доказательств неисправностей. Дорожная карта по доказательствам неисправностей также видна в управлении dispute‑игрой Super Root и тестировании совместимости Superchain.
Ошибки выполнения обрабатываются более аккуратно
Kona v1.8.0 также изменяет поведение при возникновении ошибок во время выполнения доказательств. Блок теперь заменяется на блок только для депозитов или отбрасывается в старых условиях только тогда, когда полезная нагрузка действительно недействительна. Ошибки, такие как отсутствие предобраза или данных свидетеля, теперь останавливают выполнение, вместо того чтобы трактоваться как доказательство того, что сама полезная нагрузка была плохой. Это звучит тонко, но для доказательств неисправностей важно различать «я не могу завершить это вычисление» и «это вычисление доказывает, что блок недействителен». Релиз также обновляет реализацию EVM, исправляет зависимость TLS и улучшает обработку ошибок preimage-server.
OP Stack становится более разнообразным с точки зрения клиентов
Инфраструктура Optimism всё чаще включает несколько реализаций и систем доказательств вместо одной канонической программы. Разнообразие клиентов может повысить устойчивость, но оно также создаёт новое требование: независимые реализации должны точно сходиться в вопросах переходов состояния и пограничных случаев. Та же нагрузка по сопровождению видна в обязательных выпусках op-batcher и других обновлениях операторов. Поэтому Kona v1.8.0 скорее про обеспечение предсказуемого поведения уровня проверки при «нечистых» входных данных, чем про яркую новую функцию. В инфраструктуре доказательств неисправностей именно в таких местах надёжность имеет наибольшее значение.
