Nos últimos dias, fiquei pensando repetidamente no modelo de permissões do zkPermissions do @NewtonProtocol . O cenário que ele desenha é extremamente atraente: o usuário delega permissões temporárias a um agente de IA, o agente roda em um ambiente isolado por TEE e, por fim, lança uma prova de conhecimento zero para declarar ao mundo inteiro: “Eu executei tudo de forma impecável, exatamente dentro das limitações que o meu mestre definiu.”
Na engenharia, isso beira a arte. Mas, se você recua um passo e observa com frieza, existe uma lacuna extremamente dura: o zkPermissions certamente consegue provar de maneira perfeita “o que foi executado”, mas como ele prova que “o que foi executado estava correto”? $NEWT
Vamos tornar o cenário concreto. Suponha que você defina para o agente de IA a seguinte política: “Quando um certo ativo de RWA cair abaixo de 100 dólares, use imediatamente 50% do capital para fazer uma compra de oportunidade (buy the dip).”
O mercado cai como previsto. O agente compra com precisão a 99 dólares e produz uma prova ZK impecável. Do ponto de vista da criptografia, essa negociação é totalmente compatível: ela cumpre 100% a vontade do proprietário. Mas, do ponto de vista de sobrevivência financeira, essa negociação pode ser destrutiva: talvez a queda abaixo de 100 dólares tenha acontecido porque o ativo subjacente acabou de falhar de vez, indo a zero. Na prática, seu agente apenas “executou com extrema honestidade uma regra extremamente estúpida”.
Esse é o maior paradoxo técnico do #Newt : a matemática pode provar a inocência de um programa, mas não consegue amparar a insanidade das decisões.
Antes, um artigo de pesquisa bem pesado sobre investimento apontou de forma certeira: “Newton consegue provar que uma regra foi seguida absolutamente, mas não consegue provar se a própria regra é correta. Conformidade como código não elimina o julgamento subjetivo do mercado financeiro; apenas transfere o poder de julgamento para outro lugar.”
Esse “lugar” está na ponta de escrita da estratégia. Na rede financeira de agentes construída por Newton, os contratos subjacentes e a validação ZK enxergam apenas o circuito lógico fechado de entrada e saída. Isso significa que todas as lacunas de controle de risco e bugs de código ficam refletidos, por efeito de alta pressão, de volta para quem escreve a estratégia em Rego. Se você escrever uma regra de controle de risco que omite um parâmetro, o caro e sofisticado ZK virtual machine da Newton vira o cúmplice perfeito — usando credenciais criptográficas de mais alto nível, em conformidade e de forma irreversível, esvaziando seu cofre. $T
De forma objetiva, a Newton está na vanguarda nessa pista unidirecional de “execução verificável”, conseguindo reduzir com sucesso o custo de confiança entre máquina e humano na execução. Mas, no jogo em que estão em risco dinheiro de verdade, precisamos manter plena lucidez. $SXT
Na engenharia, isso beira a arte. Mas, se você recua um passo e observa com frieza, existe uma lacuna extremamente dura: o zkPermissions certamente consegue provar de maneira perfeita “o que foi executado”, mas como ele prova que “o que foi executado estava correto”? $NEWT
Vamos tornar o cenário concreto. Suponha que você defina para o agente de IA a seguinte política: “Quando um certo ativo de RWA cair abaixo de 100 dólares, use imediatamente 50% do capital para fazer uma compra de oportunidade (buy the dip).”
O mercado cai como previsto. O agente compra com precisão a 99 dólares e produz uma prova ZK impecável. Do ponto de vista da criptografia, essa negociação é totalmente compatível: ela cumpre 100% a vontade do proprietário. Mas, do ponto de vista de sobrevivência financeira, essa negociação pode ser destrutiva: talvez a queda abaixo de 100 dólares tenha acontecido porque o ativo subjacente acabou de falhar de vez, indo a zero. Na prática, seu agente apenas “executou com extrema honestidade uma regra extremamente estúpida”.
Esse é o maior paradoxo técnico do #Newt : a matemática pode provar a inocência de um programa, mas não consegue amparar a insanidade das decisões.
Antes, um artigo de pesquisa bem pesado sobre investimento apontou de forma certeira: “Newton consegue provar que uma regra foi seguida absolutamente, mas não consegue provar se a própria regra é correta. Conformidade como código não elimina o julgamento subjetivo do mercado financeiro; apenas transfere o poder de julgamento para outro lugar.”
Esse “lugar” está na ponta de escrita da estratégia. Na rede financeira de agentes construída por Newton, os contratos subjacentes e a validação ZK enxergam apenas o circuito lógico fechado de entrada e saída. Isso significa que todas as lacunas de controle de risco e bugs de código ficam refletidos, por efeito de alta pressão, de volta para quem escreve a estratégia em Rego. Se você escrever uma regra de controle de risco que omite um parâmetro, o caro e sofisticado ZK virtual machine da Newton vira o cúmplice perfeito — usando credenciais criptográficas de mais alto nível, em conformidade e de forma irreversível, esvaziando seu cofre. $T
De forma objetiva, a Newton está na vanguarda nessa pista unidirecional de “execução verificável”, conseguindo reduzir com sucesso o custo de confiança entre máquina e humano na execução. Mas, no jogo em que estão em risco dinheiro de verdade, precisamos manter plena lucidez. $SXT