BlockPQR explora contratos confidenciales de agentes de IA en Midnight

BlockPQR ha creado un equipo para investigar la infraestructura de blockchain para agentes de IA autónomos, con los contratos inteligentes confidenciales de Midnight entre las tecnologías que se están considerando.

Durante la conversación en X Space Decentralizing Cardano’s Core Development, Leonard Hegarty describió la investigación sobre lo que calificó como un protocolo de economía basada en agentes. La iniciativa examina cómo los agentes de software autónomos podrían descubrir servicios, negociar acuerdos, gestionar transacciones y ejecutar tareas utilizando infraestructura de blockchain.

La investigación abarca Cardano Layer 1, tecnologías de Layer 2 y Midnight. Hegarty también identificó posibles aplicaciones para herramientas de ingeniería de alta garantía en el entorno de contratos inteligentes Compact de Midnight.

BlockPQR identifica cinco bloques fundamentales para una economía de agentes de IA

BlockPQR es una de las organizaciones de ingeniería independientes que asumen la responsabilidad de la infraestructura central de Cardano, anteriormente mantenida dentro de Input Output. Sus responsabilidades incluyen el desarrollo del libro mayor, especificaciones formales, herramientas de API y de línea de comandos, y la ingeniería de alta garantía.

Junto con esas funciones, Hegarty confirmó que BlockPQR ha creado un equipo que examina protocolos e infraestructura existentes para agentes de IA autónomos.

La investigación se centra en cinco capacidades interconectadas:

• Descubrimiento: Permitir que los agentes identifiquen a otros agentes, servicios y recursos disponibles.

• Negociación: Establecer acuerdos y condiciones de transacción entre participantes autónomos.

• Depósito en garantía: Gestionar activos según condiciones predefinidas antes de su liberación.

• Reputación: Evaluar a los participantes utilizando registros de interacciones previas o información verificable.

• Ejecución de agentes: Llevar a cabo tareas y transacciones autorizadas.

En conjunto, estas funciones representan áreas que BlockPQR está investigando como parte de una posible infraestructura económica basada en agentes.

Hegarty incluyó específicamente los contratos confidenciales de Midnight entre las tecnologías que se están examinando, junto con la capa base de Cardano y las soluciones de Layer 2.

Sin embargo, no anunció un protocolo completo, no identificó qué funciones operarían en Midnight ni proporcionó un calendario de implementación.

Por qué son relevantes los contratos inteligentes confidenciales de Midnight

Midnight proporciona una arquitectura de privacidad programable que permite a las aplicaciones separar la información verificable públicamente de los datos sensibles mantenidos fuera del libro mayor público.

Los desarrolladores usan Compact, el lenguaje de programación de contratos inteligentes de Midnight, para definir reglas que pueden incorporar información privada mientras se basan en pruebas de conocimiento cero para verificar condiciones especificadas.

Este enfoque crea aplicaciones potenciales para agentes autónomos que operan con información comercial o financiera confidencial.

Un sistema basado en agentes puede necesitar verificar permisos, límites de transacción o condiciones contractuales sin publicar todos los parámetros subyacentes. La arquitectura de Midnight proporciona mecanismos para separar las entradas privadas de la información pública necesaria para validar una operación.

La distinción es importante para interacciones que implican datos sensibles para el negocio. La verificación en blockchain no requiere necesariamente que cada detalle de un acuerdo sea de acceso público.

No obstante, los contratos que preservan la privacidad no establecen automáticamente que un agente de IA sea confiable ni que una tarea fuera de la cadena se haya completado correctamente.

Las pruebas de conocimiento cero verifican enunciados computacionales definidos. Se requerirían mecanismos adicionales para establecer la identidad del agente, gestionar permisos y verificar actividades fuera de la cadena.

BlockPQR no ha publicado una arquitectura técnica que explique cómo se conectarían estos componentes con Midnight.

[NEWSBREAK]

BlockPQR considera la verificación formal para Compact

Una segunda área de desarrollo surgió a partir de la conversación de Hegarty sobre las responsabilidades de ingeniería de alta garantía de BlockPQR.

La empresa participa en especificaciones formales y métodos de verificación diseñados para mejorar la fiabilidad del software de blockchain crítico.

Hegarty mencionó herramientas futuras como Blaster y habló de la posibilidad de ampliar las capacidades de verificación más allá de los entornos existentes de Cardano, potencialmente incluyendo Compact en Midnight.

La verificación formal utiliza técnicas matemáticas para establecer si el software satisface propiedades definidas explícitamente. Para los contratos inteligentes, estos métodos pueden proporcionar garantías más sólidas sobre determinados requisitos de seguridad que las pruebas convencionales por sí solas.

Tales capacidades podrían volverse relevantes para contratos confidenciales que gestionan permisos financieros, condiciones de transacción u otras operaciones sensibles.

Sin embargo, Hegarty no confirmó que Blaster admita actualmente Compact ni que BlockPQR haya completado la verificación formal de ningún contrato de agentes de IA basado en Midnight.

Las declaraciones señalan una posible dirección futura en lugar de una herramienta de desarrollo disponible.

Lo que BlockPQR ha confirmado

El desarrollo central confirmado durante la conversación es la creación por parte de BlockPQR de un equipo interno que investiga la infraestructura para agentes de IA autónomos.

Su investigación incluye Cardano Layer 1, sistemas de Layer 2 y los contratos inteligentes confidenciales de Midnight. Las cinco áreas identificadas por Hegarty proporcionan un marco inicial para entender las capacidades técnicas que se están considerando.

De forma separada, la empresa está explorando cómo las herramientas de ingeniería de alta garantía podrían eventualmente dar soporte a entornos adicionales de contratos inteligentes, incluyendo Compact.

La relación entre esas dos iniciativas no se ha definido formalmente. BlockPQR no ha anunciado un protocolo de agentes específico para Midnight, un repositorio público, una demostración funcional ni una fecha de lanzamiento.

Por ahora, Midnight sigue siendo una de las tecnologías en evaluación mientras BlockPQR investiga cómo los agentes autónomos podrían interactuar a través de la infraestructura de blockchain. La revelación de Hegarty establece el alcance de esa investigación sin comprometer a la empresa con una implementación específica.