@Dusk Procurei o que a garantia real de "PLONK
proof verified" oferece no nível do nó
, já que a maioria dos explicadores trata a verificação como uma única porta de aprovação/reprovação, sem mais nada a dizer.
O caminho de pré-verificação da Dusk confirma que cada transação Phoenix passa por uma função dedicada
de verificação de prova antes de ser admitida no mempool.
Esse é o ponto de checagem em que todo o modelo de privacidade
se apoia — sem prova, sem admissão. $DUSK
Vale a pena ficar com essa parte.
Uma revisão de segurança de terceiros sinalizou que esse ponto de checagem tinha uma lacuna:
certas avaliações dentro da verificação do PLONK
não estavam sendo checadas completamente da forma como o projeto assumiu.
A correção foi implementada como um commit específico no início deste ano.
Isso é um lembrete de que "verificada com uma prova ZK"
não é uma garantia fixa — é tão forte quanto o código
que executa a verificação,
e esse código pode ter pontos cegos que auditorias
foram feitas para detectar.
Rastreei o que isso significa na prática:
a lacuna não significou que provas falsas estivessem
simplesmente passando em produção, porque o stack da Dusk
já tinha passado por múltiplas auditorias anteriores do
sistema de provas e da biblioteca do nó.
Mas isso significa que a alegação de que
"a prova é verificada"
se apoia em escrutínio contínuo, não em uma
garantia criptográfica única que nunca precisa ser revista.
#dusk
O que eu não confirmei com os próprios materiais da Dusk
é se auditorias independentes do caminho de verificação
estão sendo executadas com uma cadência fixa daqui em diante,
ou se acontecem de forma oportunista sempre que uma empresa de segurança
decide olhar.
@Dusk #dusk $DUSK
proof verified" oferece no nível do nó
, já que a maioria dos explicadores trata a verificação como uma única porta de aprovação/reprovação, sem mais nada a dizer.
O caminho de pré-verificação da Dusk confirma que cada transação Phoenix passa por uma função dedicada
de verificação de prova antes de ser admitida no mempool.
Esse é o ponto de checagem em que todo o modelo de privacidade
se apoia — sem prova, sem admissão. $DUSK
Vale a pena ficar com essa parte.
Uma revisão de segurança de terceiros sinalizou que esse ponto de checagem tinha uma lacuna:
certas avaliações dentro da verificação do PLONK
não estavam sendo checadas completamente da forma como o projeto assumiu.
A correção foi implementada como um commit específico no início deste ano.
Isso é um lembrete de que "verificada com uma prova ZK"
não é uma garantia fixa — é tão forte quanto o código
que executa a verificação,
e esse código pode ter pontos cegos que auditorias
foram feitas para detectar.
Rastreei o que isso significa na prática:
a lacuna não significou que provas falsas estivessem
simplesmente passando em produção, porque o stack da Dusk
já tinha passado por múltiplas auditorias anteriores do
sistema de provas e da biblioteca do nó.
Mas isso significa que a alegação de que
"a prova é verificada"
se apoia em escrutínio contínuo, não em uma
garantia criptográfica única que nunca precisa ser revista.
#dusk
O que eu não confirmei com os próprios materiais da Dusk
é se auditorias independentes do caminho de verificação
estão sendo executadas com uma cadência fixa daqui em diante,
ou se acontecem de forma oportunista sempre que uma empresa de segurança
decide olhar.
@Dusk #dusk $DUSK