Давайте подробнее разберём Cartesi Machine Emulator версии v0.21.0 — на этот раз обновление весьма насыщенное. Включая новые документы по «верификационной игре» (verification game), CLI-инструменты для самостоятельного запуска процесса построения мошеннического доказательства, а также улучшения инфраструктуры, направленные на повышение скорости и устойчивости всего слоя состояния. Ниже — подробности:🧵↓
https://fxtwitter.com/cartesiproject/status/2089698617829597516
1/ Документация полностью переписана и перенесена в репозиторий кода эмулятора: добавлена пошаговая глава по «верификационной игре». Хотите узнать, как на базовом уровне устроена работа мошеннических доказательств Cartesi? Начните отсюда: https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md
2/ Теперь CLI умеет вычислять вычислительные хэши (computation hashes), отслеживать дерево Merkle и генерировать доказательство для отдельного вывода, а также доказательство корня дерева Merkle для вывода. Это означает, что вы можете выполнить большую часть операций, необходимых для запуска процесса построения мошеннического доказательства, прямо из командной строки.
3/ Функция диапазонов адресов NVRAM позволяет приложениям с помощью драйвера Linux UIO напрямую отображать их состояние в диапазоны физических адресов. Состояние сохраняется в процессе продвижения (advance state), при этом нет затрат на синхронизацию кэш-памяти ядра, поэтому даже если состояние приложения постоянно растёт, скорость записи остаётся высокой.
4/ Машины с прокручиваемым хранимым состоянием (Rolling stored machines): CLI теперь поддерживает продвижение, используя состояния машин с диска, и откат (revert) с помощью клонирования сохранённых снапшотов. Эти операции можно выполнять как локально, так и для удалённых серверов. Это обеспечивает вариант персистентного состояния для тех приложений, которые не хотят держать всё состояние машины постоянно в памяти.
5/ Усиление механизма продвижения состояния: каждое продвижение состояния теперь завершается чётким и поддающимся доказательству результатом — то есть «принято» (accepted), «отклонено» (rejected), «остановлено» (halted) или «вышло за лимит циклов» (out of cycles). Это критически важно, когда спор переходит в стадию «верификационной игры», потому что на этом этапе каждый результат должен быть доказуемым, а не просто наблюдаемым.
6/ Напоминание разработчикам интеграций: этот релиз содержит некоторые разрушающие изменения, включая переименованные публичные заголовки, переработанный флаг отката (revert flag) и обновлённый протокол JSON-RPC. Эти изменения не меняют базовое поведение эмулятора — они лишь означают, что нужно обновить часть вызывающего кода. Полные детали см. в журнале изменений. 7/ В этот релиз также входят: новые вспомогательные инструменты на Lua (включая библиотеку деревьев хэшей для сборки прототипов протокола мошеннического доказательства), поддержка сжатых инструкций RISC-V Zcb (требуется для ядра, собранного с GCC 14), автодополнение для bash в CLI, а также более сильные гарантии персистентности снапшотов.
8/ Подробности релиза смотрите здесь: https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0
Друзья-разработчики, это обновление подготовлено специально для вас. Добро пожаловать в изучение новых документов по верификационной игре (verification game), попробуйте CLI-инструменты для доказательств и задавайте вопросы или делитесь отзывами в Discord: https://discord.gg/cartesi
Переслано: https://x.com/cartesiproject/status/2089698617829597516
https://fxtwitter.com/cartesiproject/status/2089698617829597516
1/ Документация полностью переписана и перенесена в репозиторий кода эмулятора: добавлена пошаговая глава по «верификационной игре». Хотите узнать, как на базовом уровне устроена работа мошеннических доказательств Cartesi? Начните отсюда: https://github.com/cartesi/machine-emulator/blob/v0.21.0/doc/README.md
2/ Теперь CLI умеет вычислять вычислительные хэши (computation hashes), отслеживать дерево Merkle и генерировать доказательство для отдельного вывода, а также доказательство корня дерева Merkle для вывода. Это означает, что вы можете выполнить большую часть операций, необходимых для запуска процесса построения мошеннического доказательства, прямо из командной строки.
3/ Функция диапазонов адресов NVRAM позволяет приложениям с помощью драйвера Linux UIO напрямую отображать их состояние в диапазоны физических адресов. Состояние сохраняется в процессе продвижения (advance state), при этом нет затрат на синхронизацию кэш-памяти ядра, поэтому даже если состояние приложения постоянно растёт, скорость записи остаётся высокой.
4/ Машины с прокручиваемым хранимым состоянием (Rolling stored machines): CLI теперь поддерживает продвижение, используя состояния машин с диска, и откат (revert) с помощью клонирования сохранённых снапшотов. Эти операции можно выполнять как локально, так и для удалённых серверов. Это обеспечивает вариант персистентного состояния для тех приложений, которые не хотят держать всё состояние машины постоянно в памяти.
5/ Усиление механизма продвижения состояния: каждое продвижение состояния теперь завершается чётким и поддающимся доказательству результатом — то есть «принято» (accepted), «отклонено» (rejected), «остановлено» (halted) или «вышло за лимит циклов» (out of cycles). Это критически важно, когда спор переходит в стадию «верификационной игры», потому что на этом этапе каждый результат должен быть доказуемым, а не просто наблюдаемым.
6/ Напоминание разработчикам интеграций: этот релиз содержит некоторые разрушающие изменения, включая переименованные публичные заголовки, переработанный флаг отката (revert flag) и обновлённый протокол JSON-RPC. Эти изменения не меняют базовое поведение эмулятора — они лишь означают, что нужно обновить часть вызывающего кода. Полные детали см. в журнале изменений. 7/ В этот релиз также входят: новые вспомогательные инструменты на Lua (включая библиотеку деревьев хэшей для сборки прототипов протокола мошеннического доказательства), поддержка сжатых инструкций RISC-V Zcb (требуется для ядра, собранного с GCC 14), автодополнение для bash в CLI, а также более сильные гарантии персистентности снапшотов.
8/ Подробности релиза смотрите здесь: https://github.com/cartesi/machine-emulator/releases/tag/v0.21.0
Друзья-разработчики, это обновление подготовлено специально для вас. Добро пожаловать в изучение новых документов по верификационной игре (verification game), попробуйте CLI-инструменты для доказательств и задавайте вопросы или делитесь отзывами в Discord: https://discord.gg/cartesi
Переслано: https://x.com/cartesiproject/status/2089698617829597516