#dusk $DUSK 关于Dusk,别只盯着质押量
Muita gente, ao ouvir sobre segurança em PoS, já imagina: “quem tem mais dinheiro manda”. Grandes detentores se juntam, e o peso da delegação (staking) decide tudo. Mas essa forma de pensar, aplicada ao Dusk, precisa ser reavaliada.
O Dusk usa um consenso chamado Succinct Attestation, um PoS com modelo baseado em comitê. O ponto central não é quanto se faz de staking, e sim quem é selecionado para propor o bloco — inclusive quem propõe não consegue calcular antecipadamente. Ele se baseia em um algoritmo de deterministic sortition: mistura um “seed” (semente) do bloco anterior com a rodada e a etapa atual usando SHA3 para gerar uma pontuação e, então, seleciona pessoas de acordo com o peso do staking. De onde vem essa semente? O propositor da rodada anterior assina o seed anterior com sua chave privada — ou seja, antes de assinar, ele nem sabe como será o seed da próxima rodada. Se alguém quiser conspirar para “puxar os aliados” com antecedência, a própria camada do protocolo bloqueia esse caminho.
O tratamento de bifurcações é ainda mais interessante. O rolling finality tem quatro estágios: accepted, attested, confirmed e final — avançando um nível de cada vez. Blocos de rodadas menores podem ser substituídos por outros, desde que os blocos posteriores não tenham chegado a um “prova de falha”. Mas, enquanto os blocos confirmados posteriores acumularem volume suficiente, a probabilidade de bifurcação cai de forma exponencial, até ficar definitivamente “travada” no estado final, que não pode mais ser revertido. Para impedir aquele tipo de operação esperta — deliberadamente “deixar a disputa nas rodadas anteriores” e ficar só “no fim para colher recompensas” — o protocolo embute várias contramedidas: recompensas por votação, pontos adicionais, exclusão da elegibilidade para votar na rodada seguinte, além de um limite para o número de iterações. As brechas que a teoria dos jogos poderia explorar, basicamente, ficam cobertas.
Pensando bem, muitas cadeias jogam o problema de “poder prever a capacidade de propor blocos” para os mecanismos de punição no final. O Dusk corta isso direto no algoritmo de seleção. Eu acho essa abordagem mais completa: segurança não vem de punição, vem de ser impossível “calcular antes”. Vale a pena copiar o modelo? Vocês mesmos avaliem. @Dusk
Muita gente, ao ouvir sobre segurança em PoS, já imagina: “quem tem mais dinheiro manda”. Grandes detentores se juntam, e o peso da delegação (staking) decide tudo. Mas essa forma de pensar, aplicada ao Dusk, precisa ser reavaliada.
O Dusk usa um consenso chamado Succinct Attestation, um PoS com modelo baseado em comitê. O ponto central não é quanto se faz de staking, e sim quem é selecionado para propor o bloco — inclusive quem propõe não consegue calcular antecipadamente. Ele se baseia em um algoritmo de deterministic sortition: mistura um “seed” (semente) do bloco anterior com a rodada e a etapa atual usando SHA3 para gerar uma pontuação e, então, seleciona pessoas de acordo com o peso do staking. De onde vem essa semente? O propositor da rodada anterior assina o seed anterior com sua chave privada — ou seja, antes de assinar, ele nem sabe como será o seed da próxima rodada. Se alguém quiser conspirar para “puxar os aliados” com antecedência, a própria camada do protocolo bloqueia esse caminho.
O tratamento de bifurcações é ainda mais interessante. O rolling finality tem quatro estágios: accepted, attested, confirmed e final — avançando um nível de cada vez. Blocos de rodadas menores podem ser substituídos por outros, desde que os blocos posteriores não tenham chegado a um “prova de falha”. Mas, enquanto os blocos confirmados posteriores acumularem volume suficiente, a probabilidade de bifurcação cai de forma exponencial, até ficar definitivamente “travada” no estado final, que não pode mais ser revertido. Para impedir aquele tipo de operação esperta — deliberadamente “deixar a disputa nas rodadas anteriores” e ficar só “no fim para colher recompensas” — o protocolo embute várias contramedidas: recompensas por votação, pontos adicionais, exclusão da elegibilidade para votar na rodada seguinte, além de um limite para o número de iterações. As brechas que a teoria dos jogos poderia explorar, basicamente, ficam cobertas.
Pensando bem, muitas cadeias jogam o problema de “poder prever a capacidade de propor blocos” para os mecanismos de punição no final. O Dusk corta isso direto no algoritmo de seleção. Eu acho essa abordagem mais completa: segurança não vem de punição, vem de ser impossível “calcular antes”. Vale a pena copiar o modelo? Vocês mesmos avaliem. @Dusk