Depois do Magrebe comecei a vasculhar as notas de consenso do Crepúsculo e sempre voltava para a quieta lacuna estatística que fica ali. @Dusk
O design de “Succinct Attestation” visa finalização determinística. Uma vez que um bloco é ratificado, ele é tratado como final em condições normais, e o protocolo diz que não deve haver reorgs visíveis para o usuário na operação ordinária.
Ainda assim, bifurcações podem aparecer quando atrasos ou congestionamento fazem com que mais de uma iteração alcance o consenso no mesmo round. A regra oficial é simples: sempre manter o bloco da menor iteração e descartar as outras. Também existe finalização contínua — um bloco começa como aceito, pode ainda ser substituído enquanto estiver apenas atestado, e se torna imutável apenas depois que blocos posteriores o confirmam.
O ponto estatístico é aquele que ficou preso. Ver 3 bifurcações em 1.000 tentativas parece igual a 300 bifurcações em 100.000 tentativas se você só olhar para a taxa bruta. Sem erro padrão e intervalos de confiança de 95%, você não consegue dizer se a estimativa é estável ou apenas ruído. Testes apropriados exigem tamanhos de amostra grandes, como os perfis aleatórios de atraso de validadores sugeridos (100.000) e múltiplos padrões de latência, e não um único modelo de rede “amigável”.
A documentação oficial descreve as regras de bifurcação e afirma baixa finalização com baixa latência. Eles não publicam resultados em larga escala com intervalos de confiança sob atrasos enviesados ou pouco amistosos.
Aquela lacuna estatística foi mais difícil de ignorar do que eu esperava. Uma taxa de bifurcação observada baixa é útil. Saber o quão incerto é esse valor quando a rede fica caótica é o que realmente gera confiança. Ainda estou mastigando a ideia de se essa camada estatística vai aparecer nos materiais públicos.
#dusk $DUSK
O design de “Succinct Attestation” visa finalização determinística. Uma vez que um bloco é ratificado, ele é tratado como final em condições normais, e o protocolo diz que não deve haver reorgs visíveis para o usuário na operação ordinária.
Ainda assim, bifurcações podem aparecer quando atrasos ou congestionamento fazem com que mais de uma iteração alcance o consenso no mesmo round. A regra oficial é simples: sempre manter o bloco da menor iteração e descartar as outras. Também existe finalização contínua — um bloco começa como aceito, pode ainda ser substituído enquanto estiver apenas atestado, e se torna imutável apenas depois que blocos posteriores o confirmam.
O ponto estatístico é aquele que ficou preso. Ver 3 bifurcações em 1.000 tentativas parece igual a 300 bifurcações em 100.000 tentativas se você só olhar para a taxa bruta. Sem erro padrão e intervalos de confiança de 95%, você não consegue dizer se a estimativa é estável ou apenas ruído. Testes apropriados exigem tamanhos de amostra grandes, como os perfis aleatórios de atraso de validadores sugeridos (100.000) e múltiplos padrões de latência, e não um único modelo de rede “amigável”.
A documentação oficial descreve as regras de bifurcação e afirma baixa finalização com baixa latência. Eles não publicam resultados em larga escala com intervalos de confiança sob atrasos enviesados ou pouco amistosos.
Aquela lacuna estatística foi mais difícil de ignorar do que eu esperava. Uma taxa de bifurcação observada baixa é útil. Saber o quão incerto é esse valor quando a rede fica caótica é o que realmente gera confiança. Ainda estou mastigando a ideia de se essa camada estatística vai aparecer nos materiais públicos.
#dusk $DUSK