@Dusk
No início, presumi que as declarações de Dusk eram principalmente uma forma compacta de provar que havia concordância suficiente dos participantes. Mas quanto mais eu olhava, mais um detalhe se destacava: pode existir mais de uma declaração válida para a mesma iteração, se forem recebidos votos além do quórum. Dusk então adiciona um certificado de bloco que fixa um conjunto único de eleitores a partir da declaração do bloco anterior. Isso parece menos um detalhe de compressão e mais uma forma de impedir que a contabilidade posterior fique ambígua. Recompensas e penalidades precisam de um conjunto definido de eleitores, mesmo que o passo subjacente de consenso possa ter produzido várias provas possíveis de quórum. O protocolo separa “votos suficientes aconteceram” de “quais votos contam para consequências futuras”. Essa distinção é fácil de ignorar ao ler o fluxo do consenso, mas ela cria uma pequena fronteira de confiança ao redor do que acontece depois do acordo. O consenso consegue tolerar evidência válida extra, enquanto os incentivos ainda precisam de um único registro definido.
Isso me faz pensar se a finalização é apenas sobre decidir o bloco, ou também sobre decidir quais participantes o sistema se lembra de ter tomado essa decisão?
@Dusk #dusk $DUSK
No início, presumi que as declarações de Dusk eram principalmente uma forma compacta de provar que havia concordância suficiente dos participantes. Mas quanto mais eu olhava, mais um detalhe se destacava: pode existir mais de uma declaração válida para a mesma iteração, se forem recebidos votos além do quórum. Dusk então adiciona um certificado de bloco que fixa um conjunto único de eleitores a partir da declaração do bloco anterior. Isso parece menos um detalhe de compressão e mais uma forma de impedir que a contabilidade posterior fique ambígua. Recompensas e penalidades precisam de um conjunto definido de eleitores, mesmo que o passo subjacente de consenso possa ter produzido várias provas possíveis de quórum. O protocolo separa “votos suficientes aconteceram” de “quais votos contam para consequências futuras”. Essa distinção é fácil de ignorar ao ler o fluxo do consenso, mas ela cria uma pequena fronteira de confiança ao redor do que acontece depois do acordo. O consenso consegue tolerar evidência válida extra, enquanto os incentivos ainda precisam de um único registro definido.
Isso me faz pensar se a finalização é apenas sobre decidir o bloco, ou também sobre decidir quais participantes o sistema se lembra de ter tomado essa decisão?
@Dusk #dusk $DUSK
