Раньше я думал, что stake-взвешенный отбор — это в основном «больше DUSK = больше шансов». Но детерминированная сортиция Dusk делает эту взаимосвязь более интересной.
Я вернулся к документации, потому что важная часть заключается не просто в том, что значение stake имеет значение. Важно, как протокол превращает вес стейкера в воспроизводимый результат отбора.
В Succinct Attestation создание комитетов использует детерминированную сортицию. Оценка вычисляется из SHA3-256 хэша параметров консенсусного раунда, и эта оценка используется, чтобы определить, какие провайдеры (provisioners) имеют право участвовать. Поэтому одни и те же входные данные позволяют узлам независимо прийти к одному и тому же результату отбора.
Это создаёт интересное инженерное противоречие: случайность полезна для распределения членства в комитете, но консенсус не может зависеть от того, что узлы генерируют разные случайные исходы.
В проекте эти аспекты разделены. Хэш даёт входные данные для отбора, которые выглядят непредсказуемыми, а детерминированный процесс обеспечивает независимую воспроизводимость результата. При этом вес stake влияет на процесс отбора, а не требует координатора, который назначает членов комитетов.
Логическая цепочка проста: вес stake → взвешенная допустимость (eligibility) → детерминированный отбор на основе хэша → независимо проверяемое членство в комитете.
Компромисс в том, что детерминированный отбор не означает идеально равномерный отбор в каждом раунде. Меньший по stake провайдер всё равно может быть выбран, тогда как более крупный может пропустить конкретный раунд; справедливость проявляется статистически, а не блок за блоком.
Меня не перестаёт занимать вопрос: как следует настраивать размер комитета и распределение stake, чтобы эта вероятностная справедливость оставалась устойчивой, когда меняется набор валидаторов?
@Dusk_Foundation $DUSK
#dusk
Я вернулся к документации, потому что важная часть заключается не просто в том, что значение stake имеет значение. Важно, как протокол превращает вес стейкера в воспроизводимый результат отбора.
В Succinct Attestation создание комитетов использует детерминированную сортицию. Оценка вычисляется из SHA3-256 хэша параметров консенсусного раунда, и эта оценка используется, чтобы определить, какие провайдеры (provisioners) имеют право участвовать. Поэтому одни и те же входные данные позволяют узлам независимо прийти к одному и тому же результату отбора.
Это создаёт интересное инженерное противоречие: случайность полезна для распределения членства в комитете, но консенсус не может зависеть от того, что узлы генерируют разные случайные исходы.
В проекте эти аспекты разделены. Хэш даёт входные данные для отбора, которые выглядят непредсказуемыми, а детерминированный процесс обеспечивает независимую воспроизводимость результата. При этом вес stake влияет на процесс отбора, а не требует координатора, который назначает членов комитетов.
Логическая цепочка проста: вес stake → взвешенная допустимость (eligibility) → детерминированный отбор на основе хэша → независимо проверяемое членство в комитете.
Компромисс в том, что детерминированный отбор не означает идеально равномерный отбор в каждом раунде. Меньший по stake провайдер всё равно может быть выбран, тогда как более крупный может пропустить конкретный раунд; справедливость проявляется статистически, а не блок за блоком.
Меня не перестаёт занимать вопрос: как следует настраивать размер комитета и распределение stake, чтобы эта вероятностная справедливость оставалась устойчивой, когда меняется набор валидаторов?
@Dusk_Foundation $DUSK
#dusk