Tenho pensado em como as transações do Phoenix realmente são verificadas em @Dusk recentemente, e a maioria das pessoas ainda imagina o processo usual de "olhar os dados e aprovar".

a questão é que o verificador nunca recebe o remetente, o destinatário ou o valor. O que chega é, em vez disso, uma prova PLONK. Essa prova codifica as regras que importam: quem gastou realmente possuía as notas sendo gastas, os valores fecham corretamente e nada é reutilizado. A verificação simplesmente confirma que a matemática se sustenta. Ela nunca reconstrói nem inspeciona a transação oculta em si.

Isso é uma mudança real no próprio significado de verificação. O sistema está confirmando que uma afirmação matemática é verdadeira sem nunca ver o que a tornou verdadeira.

A limitação é que, quando algo realmente dá errado, a mesma invisibilidade que protege a privacidade também torna mais difícil depurar a olho.

Ainda assim, o design parece intencional. Recusar-se a olhar para os dados faz parte do modelo de segurança aqui.

Você se sentiria confortável com uma verificação que funciona sem nunca ver aquilo que está sendo verificado?
#dusk $DUSK