Estava verificando novamente a documentação de consenso do Dusk e fiquei preso em um detalhe: o que torna um bloco final não é, na prática, um jogo de espera.

A Atestação Concisa (Succinct Attestation) funciona em rodadas. Um proponente propõe um bloco, um comitê o valida, outro comitê o ratifica. Uma vez ratificado, o Dusk descreve aquele bloco como determinística e final. Eu ainda leio instintivamente blockchains pela lente de “espere mais alguns blocos”, então isso demorou um pouco para eu entender.

Para fluxos financeiros, essa distinção é bem prática. Se um estado é final, não deveria haver outra história aceita substituindo-o mais tarde. O Dusk enquadra especificamente a SA em torno de liquidação rápida e determinística. Mas os próprios documentos do ciclo de vida das transações dele também fazem uma distinção importante: os blocos ainda podem reverter antes de chegarem à finalização, enquanto os blocos finalizados se tornam imutáveis e irreversíveis.

A parte que eu continuo retomando é o que acontece quando a própria rede se divide. Eu não consegui encontrar uma fonte oficial atual do Dusk que diga explicitamente que uma partição de rede fará sempre a produção de blocos parar, então não quero transformar isso em um fato.

Ainda assim, a questão de segurança é difícil de evitar. A finalização determinística só funciona se o processo de consenso conseguir evitar aceitar histórias conflitantes, mesmo quando partes da rede não conseguem se ver.

O que eu quero ver é o limiar real de SA durante uma partição prolongada: quanta discordância do comitê é suficiente para interromper a finalização, e como é a recuperação depois que a conectividade volta?

#dusk $DUSK @Dusk $ACE $COW