As Regras de Política em Rego São Tão Boas Quanto Quem as Escreve

$NEWT Newton executa avaliações via Rego, uma linguagem declarativa de políticas, e é essa a parte que ninguém ainda está mexendo. Ainda assim, alguém precisa de fato autorar essas regras corretamente, e o Rego é notoriamente fácil de escrever de um jeito logicamente válido do ponto de vista técnico, mas que não faz o que você acha que faz. Se um curador de vault ou um protocolo escrever uma política falha, a prova zk vai alegremente confirmar que aquela política falha foi seguida perfeitamente. A verificação prova que a regra foi executada como escrito; ela não diz nada sobre se a regra em si era inteligente. Esse é um ponto de erro humano bem embaixo de toda essa garantia criptográfica.

Quero ver ferramentas de auditoria de políticas antes de confiar em regras escritas pelo curador em escala real. Minha exposição cresce quando há um padrão para revisar a lógica do Rego antes de colocá-la no ar em um vault. Provas não salvam você de um design ruim de política.

@NewtonProtocol $NEWT #Newt