Muita gente tem falado ultimamente sobre como fazer os agentes de IA realmente funcionarem no mundo dos negócios e como movimentar dinheiro com segurança. Foi justamente quando vi um post da GOAT Network, que fala sobre Ziren, a máquina de provas por trás da ponte de Bitcoin.
O objetivo da @GOATNetwork é criar uma infraestrutura para pagamentos e negócios de agentes de IA. A segurança, no fim das contas, é garantida pelo próprio Bitcoin. Não se trata apenas de adotar o nome “Bitcoin L2”, mas de fazer com que o Bitcoin seja realmente a camada de liquidação.
O Bitcoin, por si só, não consegue processar transações complexas, por isso é necessária uma ponte. As moedas ficam bloqueadas na blockchain do Bitcoin, enquanto ativos correspondentes são usados em outra blockchain.
A questão principal é: quem decide se “esse dinheiro pode ser retirado”? A GOAT Network usa o BitVM3. Após uma retirada, há um período de pelo menos uma semana durante o qual qualquer pessoa pode contestá-la. Se houver uma disputa, ela é resolvida na blockchain do Bitcoin, em vez de depender da confiança em uma multisig ou em um comitê.
Por trás de cada retirada há uma prova de que a operação foi realizada de acordo com as regras. Essa prova é gerada pelo Ziren.
O Ziren é uma zkVM desenvolvida pela própria equipe. Dá para entendê-la, de forma simples, como uma máquina de autenticação. Você executa um programa, e ela produz uma prova bem curta. Assim, outras pessoas podem confirmar rapidamente que a execução foi correta, sem precisar executar todo o programa novamente.
Por que desenvolver uma solução própria em vez de usar uma já existente?
Porque a segurança da ponte está diretamente vinculada a essa prova. Se houver algum problema com ela, os bitcoins na ponte podem ficar em risco. Por isso, para a GOAT Network, a confiabilidade da prova é mais importante do que a velocidade.
O conjunto de instruções também é mantido fixo, sem alterações arbitrárias, para evitar que auditorias e testes anteriores percam a validade a cada atualização.
A GOAT Network também realizou várias verificações públicas: publicou o artigo e disponibilizou provas públicas de blocos do Ethereum na Ethproofs. Além disso, passou por auditorias independentes, testes adversariais e um programa de recompensa por bugs; chegou até a usar o Lean para produzir provas verificáveis por máquina. O Ziren 2.0 também está avançando rumo à resistência quântica.
Para a @GOATNetwork, isso significa que tudo o que acontece on-chain, inclusive os pagamentos entre agentes de IA, pode herdar a segurança do Bitcoin. A ponte não serve apenas para transferir moedas: ela faz com que o Bitcoin se torne, de fato, uma camada de liquidação.
A segurança da ponte não depende apenas do mecanismo de contestação, mas também da confiabilidade da própria máquina de provas. A GOAT Network a desenvolve por conta própria, assume a responsabilidade por ela e a submete continuamente a verificações públicas, para manter esse componente o mais controlável possível. Quem tiver interesse pode conferir o site oficial e os artigos relacionados.
O objetivo da @GOATNetwork é criar uma infraestrutura para pagamentos e negócios de agentes de IA. A segurança, no fim das contas, é garantida pelo próprio Bitcoin. Não se trata apenas de adotar o nome “Bitcoin L2”, mas de fazer com que o Bitcoin seja realmente a camada de liquidação.
O Bitcoin, por si só, não consegue processar transações complexas, por isso é necessária uma ponte. As moedas ficam bloqueadas na blockchain do Bitcoin, enquanto ativos correspondentes são usados em outra blockchain.
A questão principal é: quem decide se “esse dinheiro pode ser retirado”? A GOAT Network usa o BitVM3. Após uma retirada, há um período de pelo menos uma semana durante o qual qualquer pessoa pode contestá-la. Se houver uma disputa, ela é resolvida na blockchain do Bitcoin, em vez de depender da confiança em uma multisig ou em um comitê.
Por trás de cada retirada há uma prova de que a operação foi realizada de acordo com as regras. Essa prova é gerada pelo Ziren.
O Ziren é uma zkVM desenvolvida pela própria equipe. Dá para entendê-la, de forma simples, como uma máquina de autenticação. Você executa um programa, e ela produz uma prova bem curta. Assim, outras pessoas podem confirmar rapidamente que a execução foi correta, sem precisar executar todo o programa novamente.
Por que desenvolver uma solução própria em vez de usar uma já existente?
Porque a segurança da ponte está diretamente vinculada a essa prova. Se houver algum problema com ela, os bitcoins na ponte podem ficar em risco. Por isso, para a GOAT Network, a confiabilidade da prova é mais importante do que a velocidade.
O conjunto de instruções também é mantido fixo, sem alterações arbitrárias, para evitar que auditorias e testes anteriores percam a validade a cada atualização.
A GOAT Network também realizou várias verificações públicas: publicou o artigo e disponibilizou provas públicas de blocos do Ethereum na Ethproofs. Além disso, passou por auditorias independentes, testes adversariais e um programa de recompensa por bugs; chegou até a usar o Lean para produzir provas verificáveis por máquina. O Ziren 2.0 também está avançando rumo à resistência quântica.
Para a @GOATNetwork, isso significa que tudo o que acontece on-chain, inclusive os pagamentos entre agentes de IA, pode herdar a segurança do Bitcoin. A ponte não serve apenas para transferir moedas: ela faz com que o Bitcoin se torne, de fato, uma camada de liquidação.
A segurança da ponte não depende apenas do mecanismo de contestação, mas também da confiabilidade da própria máquina de provas. A GOAT Network a desenvolve por conta própria, assume a responsabilidade por ela e a submete continuamente a verificações públicas, para manter esse componente o mais controlável possível. Quem tiver interesse pode conferir o site oficial e os artigos relacionados.
