#dusk $DUSK @Dusk Согласие Dusk, Succinct Attestation (SA), — это комитетный, permissionless (допускающий участие без разрешений) протокол proof-of-stake (доказательства доли). Правомочные валидаторы выбираются с помощью детерминированной, учитывающей долю (stake-weighted) сортировки, чтобы формировать небольшие комитеты на каждую эпоху; эти комитеты предлагают, валидируют и ратифицируют блоки, используя агрегированные подписи, а не требуя, чтобы весь набор валидаторов участвовал в оценке каждого блока. В документации Dusk транзакции описываются как переходящие через четыре состояния: Accepted (получено и является корректным), Confirmed (включено в блок, на который затем будут настраиваться последующие блоки), Stable (погребено достаточно глубоко, чтобы практически исключить разворот) и Final (детерминированно, криптографически гарантированно необратимо). Это прямо противопоставляется консенсусу в стиле Накамото, где блоки никогда не считаются абсолютно финальными и воспринимаются как «вероятно безопасные» после того, как накапливается достаточно подтверждений.
Большинство цепочек дают пользователям ровно один сигнал — количество подтверждений — и оставляют пользователю решать, что значит «достаточно». Четырёхстадийная модель Dusk делает явным то, что обычно оставляют неявным: разным участникам в разные моменты времени нужны разные пороги уверенности. Розничный перевод может разумно считать «Confirmed» достаточным; для расчетов с ценными бумагами почти наверняка требуется «Final». По сравнению с полностью вероятностными системами SA меняет часть поверхности децентрализации (свидетельствует только комитет по каждому блоку) на явную, ограниченную точку, где финальность перестаёт быть вероятностной и становится абсолютной.
Раскрытие четырёх состояний финальности честнее описывает то, как именно работает расчет, но это также перекладывает решение на слой пользователя или приложения — какая стадия «достаточна» для данной транзакции. Помогает ли отображение реальной структуры финальности принимать пользователям лучше откалиброванные решения, или добавленная детализация в основном скрывается кошельками и приложениями в любом случае?
Большинство цепочек дают пользователям ровно один сигнал — количество подтверждений — и оставляют пользователю решать, что значит «достаточно». Четырёхстадийная модель Dusk делает явным то, что обычно оставляют неявным: разным участникам в разные моменты времени нужны разные пороги уверенности. Розничный перевод может разумно считать «Confirmed» достаточным; для расчетов с ценными бумагами почти наверняка требуется «Final». По сравнению с полностью вероятностными системами SA меняет часть поверхности децентрализации (свидетельствует только комитет по каждому блоку) на явную, ограниченную точку, где финальность перестаёт быть вероятностной и становится абсолютной.
Раскрытие четырёх состояний финальности честнее описывает то, как именно работает расчет, но это также перекладывает решение на слой пользователя или приложения — какая стадия «достаточна» для данной транзакции. Помогает ли отображение реальной структуры финальности принимать пользователям лучше откалиброванные решения, или добавленная детализация в основном скрывается кошельками и приложениями в любом случае?