Tive uma conversa sobre seleção de validadores ponderada por stake com alguém que está construindo infraestrutura de validadores, e a pergunta sobre o que “Proporcional” realmente significa na prática me levou de volta ao Whitepaper da Dusk.
A resposta acaba se mostrando mais específica do que eu esperava.
Proporcional puro (a versão mais simples): o peso de um staker é igual ao seu stake. Sempre. Em cada iteração. Um validador com 10 milhões de DUSK ganha créditos aproximadamente 10 vezes mais frequentemente do que um com 1 milhão, de forma consistente em absolutamente todas as rodadas.
#dusk
Seleção determinística da Dusk: o peso começa no stake. Então, cada vez que um crédito é atribuído a um provisioner em uma execução específica, o peso dele é reduzido em 1 DUSK naquela execução. O algoritmo continua pela lista ordenada, então o grande staker ainda ganha mais créditos no total. Mas à medida que eles acumulam créditos, o peso efetivo diminui um pouco a cada 0ne, o que significa que a diferença entre grandes e pequenos stakers diminui dentro de uma única rodada.
Mesmo objetivo. Resultado fundamentalmente diferente.
O que a abordagem da Dusk oferece que o Proporcional puro não oferece: um mecanismo de auto correção. Dentro de uma única execução de seleção, um staker dominante não consegue varrer todas as Slots. A redução de peso significa que stakers menores têm uma chance marginalmente melhor de serem selecionados junto com eles.
@Dusk
O que o Proporcional puro forneceria e que isso não fornece: matemática mais simples, mais fácil de auditar, sem estado mantido por execução. Cada decisão de crédito é totalmente independente.
Na verdade, eu acho que a redução de peso é um design mais honesto para uma rede financeira, onde a concentração de geradores de blocos tem implicações reais para ordenação e MEV. Mas a diferença prática depende fortemente da distribuição do stake, que podemos observar on-chain, mas que vai mudar com o tempo.
O que eu ainda não verifiquei é se a redução de 1 DUSK por crédito é grande o suficiente para fazer diferença em distribuições realistas de stake, ou se é principalmente teórica quando os validadores topo possuem stakes ordens de magnitude maiores do que o Mínimo.
$DUSK
A resposta acaba se mostrando mais específica do que eu esperava.
Proporcional puro (a versão mais simples): o peso de um staker é igual ao seu stake. Sempre. Em cada iteração. Um validador com 10 milhões de DUSK ganha créditos aproximadamente 10 vezes mais frequentemente do que um com 1 milhão, de forma consistente em absolutamente todas as rodadas.
#dusk
Seleção determinística da Dusk: o peso começa no stake. Então, cada vez que um crédito é atribuído a um provisioner em uma execução específica, o peso dele é reduzido em 1 DUSK naquela execução. O algoritmo continua pela lista ordenada, então o grande staker ainda ganha mais créditos no total. Mas à medida que eles acumulam créditos, o peso efetivo diminui um pouco a cada 0ne, o que significa que a diferença entre grandes e pequenos stakers diminui dentro de uma única rodada.
Mesmo objetivo. Resultado fundamentalmente diferente.
O que a abordagem da Dusk oferece que o Proporcional puro não oferece: um mecanismo de auto correção. Dentro de uma única execução de seleção, um staker dominante não consegue varrer todas as Slots. A redução de peso significa que stakers menores têm uma chance marginalmente melhor de serem selecionados junto com eles.
@Dusk
O que o Proporcional puro forneceria e que isso não fornece: matemática mais simples, mais fácil de auditar, sem estado mantido por execução. Cada decisão de crédito é totalmente independente.
Na verdade, eu acho que a redução de peso é um design mais honesto para uma rede financeira, onde a concentração de geradores de blocos tem implicações reais para ordenação e MEV. Mas a diferença prática depende fortemente da distribuição do stake, que podemos observar on-chain, mas que vai mudar com o tempo.
O que eu ainda não verifiquei é se a redução de 1 DUSK por crédito é grande o suficiente para fazer diferença em distribuições realistas de stake, ou se é principalmente teórica quando os validadores topo possuem stakes ordens de magnitude maiores do que o Mínimo.
$DUSK
