BlockPQR explore des contrats d’agent IA confidentiels sur Midnight

BlockPQR a mis en place une équipe pour étudier l’infrastructure blockchain destinée à des agents IA autonomes, les contrats intelligents confidentiels de Midnight figurant parmi les technologies à l’étude.

Lors de la discussion X Space Decentralizing Cardano’s Core Development, Leonard Hegarty a exposé des recherches sur ce qu’il a décrit comme un protocole d’économie agentique. L’initiative étudie comment des agents logiciels autonomes pourraient découvrir des services, négocier des accords, gérer des transactions et exécuter des tâches en s’appuyant sur une infrastructure blockchain.

Les recherches couvrent Cardano Layer 1, les technologies Layer 2 et Midnight. Hegarty a également identifié des applications potentielles pour des outils d’ingénierie à haut niveau d’assurance dans l’environnement de contrats intelligents Compact de Midnight.

BlockPQR identifie cinq éléments constitutifs pour une économie d’agents IA

BlockPQR est l’une des organisations d’ingénierie indépendantes qui assument la responsabilité de l’infrastructure centrale de Cardano auparavant maintenue au sein d’Input Output. Ses responsabilités comprennent le développement du registre, les spécifications formelles, les outils API et en ligne de commande, ainsi que l’ingénierie à haut niveau d’assurance.

En parallèle, Hegarty a confirmé que BlockPQR a mis en place une équipe qui examine les protocoles et infrastructures existants pour des agents IA autonomes.

Les recherches portent sur cinq capacités interconnectées:

• Découverte: permettre aux agents d’identifier d’autres agents, des services et des ressources disponibles.

• Négociation: établir des accords et des conditions de transaction entre des participants autonomes.

• Séquestre: gérer des actifs selon des conditions prédéfinies avant leur déblocage.

• Réputation: évaluer les participants à partir d’historiques d’interactions précédentes ou d’informations vérifiables.

• Exécution par l’agent: effectuer des tâches et des transactions autorisées.

Ensemble, ces fonctions représentent des domaines que BlockPQR étudie dans le cadre d’une éventuelle infrastructure économique fondée sur des agents.

Hegarty a spécifiquement inclus les contrats confidentiels de Midnight parmi les technologies examinées, aux côtés de la couche de base de Cardano et des solutions Layer 2.

Toutefois, il n’a pas annoncé de protocole achevé, n’a pas précisé quelles fonctions opéreraient sur Midnight, ni fourni de calendrier de mise en œuvre.

Pourquoi les contrats intelligents confidentiels de Midnight sont pertinents

Midnight fournit une architecture de confidentialité programmable qui permet aux applications de séparer les informations publiquement vérifiables des données sensibles conservées en dehors du registre public.

Les développeurs utilisent Compact, le langage de programmation de contrats intelligents de Midnight, pour définir des règles qui peuvent intégrer des informations privées tout en s’appuyant sur des preuves à connaissance nulle pour vérifier des conditions spécifiées.

Cette approche ouvre des applications potentielles pour des agents autonomes opérant avec des informations commerciales ou financières confidentielles.

Un système fondé sur des agents peut avoir besoin de vérifier des permissions, des limites de transaction ou des conditions contractuelles sans publier chaque paramètre sous jacent. L’architecture de Midnight fournit des mécanismes permettant de séparer les entrées privées des informations publiques nécessaires pour valider une opération.

Cette distinction est importante pour des interactions impliquant des données sensibles pour l’entreprise. La vérification sur blockchain n’exige pas nécessairement que chaque détail d’un accord devienne publiquement accessible.

Néanmoins, des contrats préservant la confidentialité n’établissent pas automatiquement qu’un agent IA est digne de confiance ou qu’une tâche hors chaîne a été effectuée correctement.

Les preuves à connaissance nulle vérifient des énoncés computationnels définis. Des mécanismes supplémentaires seraient nécessaires pour établir l’identité d’un agent, gérer les permissions et vérifier des activités en dehors de la blockchain.

BlockPQR n’a pas publié d’architecture technique expliquant comment ces composants se connecteraient à Midnight.

[NEWSBREAK]

BlockPQR envisage la vérification formelle pour Compact

Un deuxième domaine de développement a émergé de la discussion de Hegarty au sujet des responsabilités d’ingénierie à haut niveau d’assurance de BlockPQR.

L’entreprise participe à des spécifications formelles et à des méthodes de vérification conçues pour améliorer la fiabilité de logiciels blockchain critiques.

Hegarty a fait référence à des outils futurs comme Blaster et a évoqué la possibilité d’étendre les capacités de vérification au delà des environnements Cardano existants, potentiellement y compris Compact sur Midnight.

La vérification formelle utilise des techniques mathématiques pour établir si un logiciel satisfait des propriétés définies explicitement. Pour les contrats intelligents, ces méthodes peuvent offrir des garanties plus solides sur certaines exigences de sécurité que les tests classiques seuls.

De telles capacités pourraient devenir pertinentes pour des contrats confidentiels qui gèrent des permissions financières, des conditions de transaction ou d’autres opérations sensibles.

Cependant, Hegarty n’a pas confirmé que Blaster prend actuellement en charge Compact ni que BlockPQR a achevé la vérification formelle de contrats d’agent IA basés sur Midnight.

Ces remarques indiquent une orientation possible pour l’avenir plutôt qu’un outil de développement déjà disponible.

Ce que BlockPQR a confirmé

Le développement central confirmé durant la discussion est la mise en place par BlockPQR d’une équipe interne qui recherche une infrastructure pour des agents IA autonomes.

Son investigation inclut Cardano Layer 1, les systèmes Layer 2 et les contrats intelligents confidentiels de Midnight. Les cinq domaines identifiés par Hegarty fournissent un cadre initial pour comprendre les capacités techniques à l’étude.

Par ailleurs, l’entreprise explore comment des outils d’ingénierie à haut niveau d’assurance pourraient à terme prendre en charge d’autres environnements de contrats intelligents, dont Compact.

La relation entre ces deux initiatives n’a pas été définie formellement. BlockPQR n’a annoncé ni protocole d’agent dédié à Midnight, ni dépôt public, ni démonstration fonctionnelle, ni date de sortie.

Pour l’instant, Midnight demeure l’une des technologies à l’évaluation tandis que BlockPQR étudie comment des agents autonomes pourraient interagir via une infrastructure blockchain. La communication de Hegarty établit la portée de ces recherches sans engager l’entreprise sur une mise en œuvre spécifique.