В начале этого месяца мы выпустили новое обновление: Dave 3.0.0-alpha.4. Давайте разберёмся, как оно устроено изнутри.
Сначала, если вы ещё не знаете, что такое Dave, или вам неудобно спрашивать, вот краткий обзор. ↓🧵
1/ Наша система мошеннических доказательств — «проводимый без лицензии арбитражный турнир» (PRT) — это механизм, который позволяет любому оспаривать недобросовестные вычисления в сети без необходимости доверять какому-либо одному валидатору.
По умолчанию Optimistic Rollups вычисляют корректно, поэтому у них есть период разногласий; именно механизм PRT и предназначен для разрешения этих разногласий.
2/ Нововведения версии 3.0.0-alpha.4: в PRT расчёт теперь разделён на два этапа — «стейджинг (staged)» и «принятие (accepted)». Это даёт сети временное окно, чтобы обнаружить ошибки до того, как результат окончательно зафиксируется.
Если все sentry-узлы (sentry) одобряют staged-результат, это окно больше не требуется, и, таким образом, достигается более быстрое окончательное подтверждение.
3/ У прототипных узлов теперь появилось имя: Sling. Он оснащён персистентным хранилищем и функцией отслеживания событий.
В PRT исходный временный вид турнира был заменён на «типизированные проекции (typed projections)», которые могут напрямую показывать текущий фактический этап без отката состояния.
Кроме того, в это обновление также входит: более справедливое распределение призовых победителю турнира, переход файлов деплоя на формат обычного текста, апгрейды Cartesi Machine и контрактов Rollups, использование обновлённой версии Foundry и более полное покрытие тестами.
4/ Спасибо партнёрам, которые внесли вклад в это. Полный журнал изменений см. по адресу: https://github.com/cartesi/dave/releases/tag/v3.0.0-alpha.4
Если есть вопросы или предложения — присоединяйтесь к обсуждению в Discord: https://discord.gg/cartesi
Репост: https://x.com/cartesiproject/status/2097309810396164306
Сначала, если вы ещё не знаете, что такое Dave, или вам неудобно спрашивать, вот краткий обзор. ↓🧵
1/ Наша система мошеннических доказательств — «проводимый без лицензии арбитражный турнир» (PRT) — это механизм, который позволяет любому оспаривать недобросовестные вычисления в сети без необходимости доверять какому-либо одному валидатору.
По умолчанию Optimistic Rollups вычисляют корректно, поэтому у них есть период разногласий; именно механизм PRT и предназначен для разрешения этих разногласий.
2/ Нововведения версии 3.0.0-alpha.4: в PRT расчёт теперь разделён на два этапа — «стейджинг (staged)» и «принятие (accepted)». Это даёт сети временное окно, чтобы обнаружить ошибки до того, как результат окончательно зафиксируется.
Если все sentry-узлы (sentry) одобряют staged-результат, это окно больше не требуется, и, таким образом, достигается более быстрое окончательное подтверждение.
3/ У прототипных узлов теперь появилось имя: Sling. Он оснащён персистентным хранилищем и функцией отслеживания событий.
В PRT исходный временный вид турнира был заменён на «типизированные проекции (typed projections)», которые могут напрямую показывать текущий фактический этап без отката состояния.
Кроме того, в это обновление также входит: более справедливое распределение призовых победителю турнира, переход файлов деплоя на формат обычного текста, апгрейды Cartesi Machine и контрактов Rollups, использование обновлённой версии Foundry и более полное покрытие тестами.
4/ Спасибо партнёрам, которые внесли вклад в это. Полный журнал изменений см. по адресу: https://github.com/cartesi/dave/releases/tag/v3.0.0-alpha.4
Если есть вопросы или предложения — присоединяйтесь к обсуждению в Discord: https://discord.gg/cartesi
Репост: https://x.com/cartesiproject/status/2097309810396164306