BlockPQR explora contratos confidenciais de agentes de IA em Midnight

A BlockPQR formou uma equipe para investigar infraestrutura de blockchain para agentes de IA autônomos, com os contratos inteligentes confidenciais de Midnight entre as tecnologias em consideração.

Durante a discussão no X Space Decentralizing Cardano’s Core Development, Leonard Hegarty descreveu pesquisas sobre o que ele chamou de um protocolo de economia baseada em agentes. A iniciativa examina como agentes de software autônomos poderiam descobrir serviços, negociar acordos, gerenciar transações e executar tarefas usando infraestrutura de blockchain.

A pesquisa abrange Cardano Layer 1, tecnologias de Layer 2 e Midnight. Hegarty também identificou possíveis aplicações para ferramentas de engenharia de alta garantia no ambiente de contratos inteligentes Compact de Midnight.

BlockPQR identifica cinco elementos fundamentais para uma economia de agentes de IA

A BlockPQR é uma das organizações de engenharia independentes que estão assumindo a responsabilidade pela infraestrutura central de Cardano anteriormente mantida dentro da Input Output. Suas responsabilidades incluem desenvolvimento do ledger, especificações formais, ferramentas de API e de linha de comando, e engenharia de alta garantia.

Além dessas funções, Hegarty confirmou que a BlockPQR formou uma equipe que examina protocolos e infraestrutura existentes para agentes de IA autônomos.

A pesquisa se concentra em cinco capacidades interconectadas:

• Descoberta: Permitir que agentes identifiquem outros agentes, serviços e recursos disponíveis.

• Negociação: Estabelecer acordos e condições de transação entre participantes autônomos.

• Depósito em garantia: Gerenciar ativos conforme condições predefinidas antes de sua liberação.

• Reputação: Avaliar participantes usando registros de interações anteriores ou informações verificáveis.

• Execução de agentes: Realizar tarefas e transações autorizadas.

Em conjunto, essas funções representam áreas que a BlockPQR está investigando como parte de uma possível infraestrutura econômica baseada em agentes.

Hegarty incluiu especificamente os contratos confidenciais de Midnight entre as tecnologias em exame, ao lado da camada base de Cardano e das soluções de Layer 2.

No entanto, ele não anunciou um protocolo concluído, não identificou quais funções operariam em Midnight e não forneceu um cronograma para implementação.

Por que os contratos inteligentes confidenciais de Midnight são relevantes

Midnight oferece uma arquitetura de privacidade programável que permite que aplicações separem informações publicamente verificáveis de dados sensíveis mantidos fora do ledger público.

Desenvolvedores usam Compact, a linguagem de programação de contratos inteligentes de Midnight, para definir regras que podem incorporar informações privadas enquanto se apoiam em provas de conhecimento zero para verificar condições especificadas.

Essa abordagem cria aplicações potenciais para agentes autônomos que operam com informações comerciais ou financeiras confidenciais.

Um sistema baseado em agentes pode precisar verificar permissões, limites de transação ou condições contratuais sem publicar cada parâmetro subjacente. A arquitetura de Midnight fornece mecanismos para separar entradas privadas das informações públicas necessárias para validar uma operação.

A distinção é importante para interações que envolvem dados sensíveis aos negócios. A verificação em blockchain não exige necessariamente que cada detalhe de um acordo se torne publicamente acessível.

No entanto, contratos que preservam a privacidade não estabelecem automaticamente que um agente de IA é confiável ou que uma tarefa fora da cadeia foi concluída corretamente.

Provas de conhecimento zero verificam declarações computacionais definidas. Mecanismos adicionais seriam necessários para estabelecer a identidade do agente, gerenciar permissões e verificar atividades fora da blockchain.

A BlockPQR não publicou uma arquitetura técnica explicando como esses componentes se conectariam ao Midnight.

[NEWSBREAK]

BlockPQR considera verificação formal para Compact

Uma segunda área de desenvolvimento surgiu da discussão de Hegarty sobre as responsabilidades de engenharia de alta garantia da BlockPQR.

A empresa está envolvida em especificações formais e métodos de verificação concebidos para melhorar a confiabilidade de software crítico de blockchain.

Hegarty mencionou ferramentas futuras como Blaster e discutiu a possibilidade de estender capacidades de verificação além dos ambientes existentes de Cardano, potencialmente incluindo Compact em Midnight.

A verificação formal usa técnicas matemáticas para estabelecer se o software satisfaz propriedades explicitamente definidas. Para contratos inteligentes, esses métodos podem fornecer garantias mais fortes sobre requisitos de segurança selecionados do que testes convencionais isoladamente.

Tais capacidades podem tornar-se relevantes para contratos confidenciais que gerenciam permissões financeiras, condições de transação ou outras operações sensíveis.

No entanto, Hegarty não confirmou que a Blaster atualmente oferece suporte a Compact nem que a BlockPQR tenha concluído a verificação formal de quaisquer contratos de agentes de IA baseados em Midnight.

As observações apontam uma possível direção futura em vez de uma ferramenta de desenvolvimento já disponível.

O que a BlockPQR confirmou

O desenvolvimento central confirmado durante a discussão é a criação, pela BlockPQR, de uma equipe interna que pesquisa infraestrutura para agentes de IA autônomos.

Sua investigação inclui Cardano Layer 1, sistemas de Layer 2 e os contratos inteligentes confidenciais de Midnight. As cinco áreas identificadas por Hegarty fornecem um arcabouço inicial para compreender as capacidades técnicas em consideração.

Separadamente, a empresa está explorando como ferramentas de engenharia de alta garantia poderiam eventualmente dar suporte a ambientes adicionais de contratos inteligentes, incluindo Compact.

A relação entre essas duas iniciativas não foi definida formalmente. A BlockPQR não anunciou um protocolo de agentes dedicado a Midnight, um repositório público, uma demonstração funcional ou uma data de lançamento.

Por ora, Midnight permanece como uma das tecnologias em avaliação enquanto a BlockPQR investiga como agentes autônomos poderiam interagir por meio de infraestrutura de blockchain. A revelação de Hegarty estabelece o escopo dessa pesquisa sem comprometer a empresa com uma implementação específica.