Ces derniers temps, beaucoup de gens discutent de la manière de concrétiser les agents IA dans le monde des affaires et de faire circuler l’argent en toute sécurité. Je suis justement tombé sur un post de GOAT Network consacré à Ziren, la machine à preuves derrière son pont Bitcoin.
@GOATNetwork veut construire une infrastructure de paiement et de commerce pour les agents IA. La sécurité repose en dernier ressort sur Bitcoin lui-même. Il ne s’agit pas de simplement se donner le nom de « Bitcoin L2 », mais de faire réellement de Bitcoin la couche de règlement.
Bitcoin ne peut pas exécuter des transactions complexes à lui seul, d’où la nécessité d’un pont. Les bitcoins sont verrouillés sur la blockchain Bitcoin, tandis que des actifs correspondants sont utilisés sur une autre chaîne.
La question cruciale est de savoir qui décide si « ces fonds peuvent être retirés ». GOAT Network utilise BitVM3 : après un retrait, une période d’au moins une semaine est prévue, pendant laquelle n’importe qui peut contester l’opération. En cas de litige, celui-ci est réglé sur la blockchain Bitcoin, plutôt que de reposer sur la confiance accordée à une signature multiple ou à un comité.
Chaque retrait est accompagné d’une preuve attestant que l’opération a été effectuée conformément aux règles. Cette preuve est générée par Ziren.
Ziren est une zkVM conçue par l’équipe elle-même. On peut la voir comme une machine notariale : une fois le programme exécuté, elle produit une preuve très courte. Les autres peuvent alors vérifier rapidement que l’exécution s’est bien déroulée, sans avoir à relancer tout le programme.
Pourquoi en créer une soi-même au lieu d’en utiliser une déjà disponible ?
Parce que la sécurité du pont dépend directement de cette preuve. Si la preuve pose problème, les bitcoins sur le pont peuvent être mis en danger. C’est pourquoi GOAT Network accorde plus d’importance à la fiabilité des preuves qu’à leur vitesse.
Le jeu d’instructions est également figé et ne peut pas être modifié à la légère, afin que les audits et les tests effectués avant chaque mise à niveau ne deviennent pas caducs.
GOAT Network a aussi mis en place de nombreuses vérifications publiques : l’article de recherche a été publié, des preuves de blocs Ethereum sont rendues publiques sur Ethproofs, et le projet a fait l’objet d’audits indépendants, de tests adversariaux et d’un programme de chasse aux bugs. Des preuves vérifiables par machine ont même été réalisées avec Lean. Ziren 2.0 évolue également vers une résistance à l’informatique quantique.
Pour @GOATNetwork, cela signifie que les activités sur la blockchain, y compris les paiements entre agents IA, peuvent en définitive bénéficier de la sécurité de Bitcoin. Le pont ne sert pas seulement à déplacer des fonds : il permet à Bitcoin de devenir véritablement une couche de règlement.
La sécurité d’un pont ne dépend pas uniquement du mécanisme de contestation, mais aussi de la fiabilité de la machine à preuves elle-même. En la développant et en en assumant la responsabilité, tout en la soumettant régulièrement à des vérifications publiques, GOAT Network cherche à rendre cet élément aussi maîtrisable que possible. Si le sujet vous intéresse, vous pouvez consulter leur site officiel et les articles de recherche associés.
@GOATNetwork veut construire une infrastructure de paiement et de commerce pour les agents IA. La sécurité repose en dernier ressort sur Bitcoin lui-même. Il ne s’agit pas de simplement se donner le nom de « Bitcoin L2 », mais de faire réellement de Bitcoin la couche de règlement.
Bitcoin ne peut pas exécuter des transactions complexes à lui seul, d’où la nécessité d’un pont. Les bitcoins sont verrouillés sur la blockchain Bitcoin, tandis que des actifs correspondants sont utilisés sur une autre chaîne.
La question cruciale est de savoir qui décide si « ces fonds peuvent être retirés ». GOAT Network utilise BitVM3 : après un retrait, une période d’au moins une semaine est prévue, pendant laquelle n’importe qui peut contester l’opération. En cas de litige, celui-ci est réglé sur la blockchain Bitcoin, plutôt que de reposer sur la confiance accordée à une signature multiple ou à un comité.
Chaque retrait est accompagné d’une preuve attestant que l’opération a été effectuée conformément aux règles. Cette preuve est générée par Ziren.
Ziren est une zkVM conçue par l’équipe elle-même. On peut la voir comme une machine notariale : une fois le programme exécuté, elle produit une preuve très courte. Les autres peuvent alors vérifier rapidement que l’exécution s’est bien déroulée, sans avoir à relancer tout le programme.
Pourquoi en créer une soi-même au lieu d’en utiliser une déjà disponible ?
Parce que la sécurité du pont dépend directement de cette preuve. Si la preuve pose problème, les bitcoins sur le pont peuvent être mis en danger. C’est pourquoi GOAT Network accorde plus d’importance à la fiabilité des preuves qu’à leur vitesse.
Le jeu d’instructions est également figé et ne peut pas être modifié à la légère, afin que les audits et les tests effectués avant chaque mise à niveau ne deviennent pas caducs.
GOAT Network a aussi mis en place de nombreuses vérifications publiques : l’article de recherche a été publié, des preuves de blocs Ethereum sont rendues publiques sur Ethproofs, et le projet a fait l’objet d’audits indépendants, de tests adversariaux et d’un programme de chasse aux bugs. Des preuves vérifiables par machine ont même été réalisées avec Lean. Ziren 2.0 évolue également vers une résistance à l’informatique quantique.
Pour @GOATNetwork, cela signifie que les activités sur la blockchain, y compris les paiements entre agents IA, peuvent en définitive bénéficier de la sécurité de Bitcoin. Le pont ne sert pas seulement à déplacer des fonds : il permet à Bitcoin de devenir véritablement une couche de règlement.
La sécurité d’un pont ne dépend pas uniquement du mécanisme de contestation, mais aussi de la fiabilité de la machine à preuves elle-même. En la développant et en en assumant la responsabilité, tout en la soumettant régulièrement à des vérifications publiques, GOAT Network cherche à rendre cet élément aussi maîtrisable que possible. Si le sujet vous intéresse, vous pouvez consulter leur site officiel et les articles de recherche associés.
