Eu estive analisando os estados finais de Dusk e acho que os interpretei errado no começo.
Minha primeira impressão sobre a Atestação Concisa foi a habitual: PoS baseado em comitê, o bloco recebe atestado e pronto—ganha determinístico sobre probabilístico, caso encerrado. Mas o protocolo na verdade nomeia quatro estados pelos quais um bloco passa: Aceito, Confirmado, Estável, Final. Se a finalização fosse um único evento criptográfico limpo, você não precisaria de quatro rótulos para isso.
Então eu os acompanhei. Aceito significa que um comitê concluiu sua rodada de proposta, validação e ratificação. É real, mas rápido e restrito. Confirmado só aparece depois, quando blocos posteriores se constroem em cima. Estável é explicitamente “suficientemente enterrado” como irreversível probabilisticamente, não matematicamente. Apenas Final fica travado de forma incondicional.
Essa era a parte que eu não tinha considerado: mesmo um sistema de comitê agregado por BLS que soa determinístico ainda quer que a cadeia acumule evidências de si mesma ao longo do tempo antes de chamar algo de verdadeiramente encerrado. O atestado de um comitê é uma afirmação forte de um subconjunto rotativo em um instante—não imune a discordâncias de curto alcance. Empilhar estados comprime essa incerteza para segundos em vez de blocos, mas não a apaga.
Não é uma falha. Mas isso redefine o que “liquidação instantânea” significa para ativos regulados: um fluxo de valores mobiliários provavelmente espera por Final, e não por Aceito. Ainda não está claro para mim como essa distinção é destacada mais adiante.
#dusk $DUSK @Dusk
Minha primeira impressão sobre a Atestação Concisa foi a habitual: PoS baseado em comitê, o bloco recebe atestado e pronto—ganha determinístico sobre probabilístico, caso encerrado. Mas o protocolo na verdade nomeia quatro estados pelos quais um bloco passa: Aceito, Confirmado, Estável, Final. Se a finalização fosse um único evento criptográfico limpo, você não precisaria de quatro rótulos para isso.
Então eu os acompanhei. Aceito significa que um comitê concluiu sua rodada de proposta, validação e ratificação. É real, mas rápido e restrito. Confirmado só aparece depois, quando blocos posteriores se constroem em cima. Estável é explicitamente “suficientemente enterrado” como irreversível probabilisticamente, não matematicamente. Apenas Final fica travado de forma incondicional.
Essa era a parte que eu não tinha considerado: mesmo um sistema de comitê agregado por BLS que soa determinístico ainda quer que a cadeia acumule evidências de si mesma ao longo do tempo antes de chamar algo de verdadeiramente encerrado. O atestado de um comitê é uma afirmação forte de um subconjunto rotativo em um instante—não imune a discordâncias de curto alcance. Empilhar estados comprime essa incerteza para segundos em vez de blocos, mas não a apaga.
Não é uma falha. Mas isso redefine o que “liquidação instantânea” significa para ativos regulados: um fluxo de valores mobiliários provavelmente espera por Final, e não por Aceito. Ainda não está claro para mim como essa distinção é destacada mais adiante.
#dusk $DUSK @Dusk