Um bloco Dusk é definitivo assim que o comitê de validação o aprova.
Esse comitê não tem a última palavra.
Eu assumi que, uma vez que um bloco candidato fosse validado com créditos suficientes do comitê, o Dusk já estava basicamente encerrado com ele.
A Atestação Concisa divide essa decisão em duas etapas. Um comitê selecionado aleatoriamente valida o bloco candidato e produz um `ValidationResult`. Um comitê recém-selecionado então vota nesse resultado antes que o candidato possa se tornar o novo tip.
Vamos a um exemplo construído: o comitê de validação tem 64 créditos. O candidato obtém 43 créditos válidos, o bastante para ultrapassar o limite de 2/3.
Mas 43 não o torna o novo tip.
O `ValidationResult` é enviado para um comitê diferente, também com 64 créditos. Se esse comitê obtiver 42 créditos válidos, a ratificação não atinge 2/3. O candidato ainda não é aceito, apesar de já ter ultrapassado a validação.
Só quando o segundo comitê alcança seu próprio limite de 43 créditos é que a ratificação é bem-sucedida e o candidato se torna o novo tip.
Então o mesmo bloco precisa sobreviver a duas decisões diferentes.
Primeiro: esse candidato é válido?
Depois: esse resultado de validação é forte o bastante para que um comitê separado o ratifique?
Quanto da certeza do acordo do Dusk vem de provar que um bloco é válido, e quanto vem de conseguir que um segundo comitê apoie esse resultado?
@Dusk #dusk $DUSK
Esse comitê não tem a última palavra.
Eu assumi que, uma vez que um bloco candidato fosse validado com créditos suficientes do comitê, o Dusk já estava basicamente encerrado com ele.
A Atestação Concisa divide essa decisão em duas etapas. Um comitê selecionado aleatoriamente valida o bloco candidato e produz um `ValidationResult`. Um comitê recém-selecionado então vota nesse resultado antes que o candidato possa se tornar o novo tip.
Vamos a um exemplo construído: o comitê de validação tem 64 créditos. O candidato obtém 43 créditos válidos, o bastante para ultrapassar o limite de 2/3.
Mas 43 não o torna o novo tip.
O `ValidationResult` é enviado para um comitê diferente, também com 64 créditos. Se esse comitê obtiver 42 créditos válidos, a ratificação não atinge 2/3. O candidato ainda não é aceito, apesar de já ter ultrapassado a validação.
Só quando o segundo comitê alcança seu próprio limite de 43 créditos é que a ratificação é bem-sucedida e o candidato se torna o novo tip.
Então o mesmo bloco precisa sobreviver a duas decisões diferentes.
Primeiro: esse candidato é válido?
Depois: esse resultado de validação é forte o bastante para que um comitê separado o ratifique?
Quanto da certeza do acordo do Dusk vem de provar que um bloco é válido, e quanto vem de conseguir que um segundo comitê apoie esse resultado?
@Dusk #dusk $DUSK
