A parte do consenso do design @Dusk que achei mais interessante do que eu esperava foi o que acontece quando mais validadores concordam do que o protocolo realmente precisa.

Você pode supor que isso seria automaticamente simples, mas o design da Dusk permite mais votos do que o limite de quorum, o que significa que múltiplas atestações válidas podem potencialmente existir para a mesma iteração.

A solução é surpreendentemente específica: cada bloco carrega uma atestação do bloco anterior, chamada de certificado de bloco. Esse certificado determina um conjunto único de eleitores, e esse conjunto então pode ser usado para calcular recompensas e penalidades.

Eu gosto da lógica aqui: o protocolo não está apenas perguntando “os participantes suficientes concordaram?”. Ele também está criando um registro canônico de quais participantes formaram a decisão aceita. Isso torna as consequências econômicas muito menos ambíguas.

Mas há um equilíbrio: uma vez que recompensas e penalidades dependem de um conjunto específico de eleitores, a definição desse conjunto se torna importante o bastante para passar a fazer parte da própria maquinaria do consenso.

Então o certificado de bloco dá à Dusk a responsabilização necessária quando a participação no quorum excede o mínimo, ou vincular incentivos a um conjunto canônico de eleitores adiciona mais uma camada de complexidade ao consenso??

#dusk @Dusk $DUSK