Uma prova de conhecimento zero normalmente significa que alguém construiu um circuito bem específico para uma coisa bem específica. Provar que um saldo está acima de um número. Provar que um voto foi contado corretamente. Uma única função restrita, um circuito personalizado construído apenas para aquele trabalho. E, se você quiser provar outra coisa, basicamente começa do zero.
O sistema de disputas do Newton não funciona assim, e levou um minuto para eu entender de verdade por quê. Em vez de construir um novo circuito para cada política que alguém escreve, eles pegaram todo o mecanismo de políticas do Rego — o interpretador real que executa as regras de conformidade — e compilaram tudo isso em uma zkVM de uso geral. Então, qualquer política escrita em Rego, verificação de sanções, limite de velocidade, alguma regra de elegibilidade em múltiplas etapas, seja o que for, automaticamente se torna provável. Não é necessário trabalho novo de circuito para cada política. O que foi feito para ser provável foi o motor em si, e não cada regra individual.
Isso só funciona por causa de uma coisa quase entediante sobre Rego. É determinístico. A mesma política, as mesmas entradas, a mesma saída, sempre, sem efeitos colaterais e sem nenhuma aleatoriedade se escondendo em algum lugar. Essa determinística é realmente a razão inteira pela qual essa abordagem se sustenta. Se a linguagem da política permitisse qualquer estado externo ou qualquer aleatoriedade, você não conseguiria compilá-la em um circuito e esperar que a prova significasse algo consistente.
Então é isso que isso realmente compra. Quando alguém questiona uma atestação, o resultado assinado de um operador em uma avaliação de política, eles não estão pedindo para alguém apenas acreditar na versão deles do que deveria ter acontecido. Eles rodam a mesma política na zkvm por conta própria e obtêm uma prova matemática real, não uma opinião, não uma interpretação diferente, uma prova de que o resultado original estava errado. O smart contract verifica essa prova, verifica a janela de contestação e decide. Sem voto. Sem comitê. Sem ninguém para pesar em quem é mais confiável. Apenas a checagem matemática do contrato e a punição (slashing) dos operadores que erraram, caso a prova se sustente.
Isso se conecta à ideia inteira de Newton retornar uma atestação assinada de aprovação ou reprovação antes de uma transação ser finalizada. O fato de essa atestação estar errada não é apenas um relatório de bug esperando para ser discutido depois. É algo que qualquer pessoa pode desprovar matematicamente ao checar, o que é uma garantia bem diferente daquela que a maioria dos sistemas oferece.
O que me trava é imaginar isso em complexidade real. O exemplo no whitepaper é uma verificação de sanções relativamente simples, um punhado de regras, entradas limpas, e claro que isso prova de forma limpa através de uma zkvm sem muita dificuldade. Mas a lógica de conformidade de verdade fica mais bagunçada bem rápido. Múltiplas fontes de dados se referenciando umas às outras, condições aninhadas, políticas que puxam de vários feeds diferentes ao mesmo tempo e os combinam de maneiras que não são tão limpas quanto uma única regra direta. Eu ainda não sei se o tempo de geração de prova aguenta quando as políticas deixam de parecer exemplos de três linhas e começam a parecer a lógica real de sanções e elegibilidade que instituições de fato querem executar.
A Magic Labs é o time por trás de tudo isso, o mesmo grupo que construiu a infraestrutura da carteira operando sob coisas como a Polymarket, então o lado da execução claramente sabe o que está fazendo em escala. Se a mesma confiança se mantém quando as políticas ficam genuinamente complicadas — tempos de prova, tamanho do circuito, tudo isso — é algo que eu ainda não vi ser abordado em lugar nenhum.
Fiquei curioso se alguém já testou isso contra algo mais próximo de complexidade do mundo real, em vez do exemplo limpo de livro-texto.