BlockPQR 在 Midnight 上探索保密型 AI 代理合约

BlockPQR 已组建团队，研究面向自主 AI 代理的区块链基础设施，正在评估的技术包括 Midnight 的保密智能合约。

在 X Space 讨论 去中心化 Cardano 的核心开发 中，Leonard Hegarty 概述了他称之为代理经济协议的研究。该计划探讨自主软件代理如何利用区块链基础设施发现服务、协商协议、管理交易并执行任务。

这项研究涵盖 Cardano Layer 1、Layer 2 技术以及 Midnight。Hegarty 还指出，高保障工程工具在 Midnight 的 Compact 智能合约环境中的潜在用例。

BlockPQR 确定 AI 代理经济的五个构建模块

BlockPQR 是承担 Cardano 核心基础设施工作的独立工程组织之一，此前这些工作由 Input Output 维护。其职责包括账本开发、形式化规范、API 和命令行工具，以及高保障工程。

除了这些职能外，Hegarty 证实 BlockPQR 已组建团队，审视面向自主 AI 代理的现有协议与基础设施。

研究聚焦于五项相互关联的能力：

• 发现： 使代理能够识别其他代理、服务和可用资源。

• 协商： 在自主参与者之间达成协议并设定交易条件。

• 托管： 在释放之前按预定义条件管理资产。

• 信誉： 基于以往交互记录或可验证信息评估参与者。

• 代理执行： 执行已获授权的任务与交易。

这些功能共同构成 BlockPQR 正在研究的潜在代理经济基础设施的组成部分。

Hegarty 明确将 Midnight 的保密合约与 Cardano 的基础层和 Layer 2 方案一同纳入评估范畴。

不过，他未宣布任何已完成的协议，未指明哪些功能会在 Midnight 上运行，也未提供实施时间表。

为何 Midnight 的保密智能合约具有相关性

Midnight 提供可编程的隐私架构，使应用能够将可公开验证的信息与保存在公共账本之外的敏感数据加以区分。

开发者使用 Midnight 的智能合约编程语言 Compact 来定义规则，这些规则可纳入私密信息，同时依赖零知识证明来验证特定条件。

该方法为在机密商业或金融信息下运行的自主代理创造了潜在应用场景。

代理系统可能需要在不公开所有底层参数的情况下验证权限、交易限额或合约条件。Midnight 的架构提供机制，将私有输入与用于验证操作所需的公开信息分离。

对于涉及商业敏感数据的交互，这一区分至关重要。区块链上的验证并不必然要求协议的每个细节都公开可见。

尽管如此，保护隐私的合约并不能自动证明某个 AI 代理值得信任，或某项链下任务已被正确完成。

零知识证明用于验证已定义的计算陈述。仍需额外机制来确立代理身份、管理权限，并验证区块链之外的活动。

BlockPQR 尚未发布技术架构，说明这些组件将如何与 Midnight 对接。

[NEWSBREAK]

BlockPQR 考虑为 Compact 引入形式化验证

从 Hegarty 对 BlockPQR 高保障工程职责的讨论中，出现了第二个发展方向。

该公司参与制定形式化规范和验证方法，旨在提升关键区块链软件的可靠性。

Hegarty 提及了诸如 Blaster 等未来工具，并讨论了将验证能力扩展到现有 Cardano 环境之外的可能性，潜在地包括 Midnight 上的 Compact。

形式化验证使用数学技术来确定软件是否满足明确定义的性质。对于智能合约，这些方法相较于仅依赖常规测试，能够为特定安全需求提供更强保证。

此类能力可能与管理金融权限、交易条件或其他敏感操作的保密合约密切相关。

不过，Hegarty 并未确认 Blaster 目前支持 Compact，或 BlockPQR 已完成任何基于 Midnight 的 AI 代理合约的形式化验证。

这些言论指向的是一个可能的未来方向，而非当前可用的开发工具。

BlockPQR 已确认的内容

讨论中得到确认的核心进展是 BlockPQR 已成立内部团队，研究面向自主 AI 代理的基础设施。

其研究范围包括 Cardano Layer 1、Layer 2 系统以及 Midnight 的保密智能合约。Hegarty 提出的五个领域为理解所考量的技术能力提供了初步框架。

此外，该公司正在探索高保障工程工具如何最终支持更多智能合约环境，包括 Compact。

这两项计划之间的关系尚未正式界定。BlockPQR 尚未宣布专门的 Midnight 代理协议、公共代码库、可运行的演示或发布日期。

目前，随着 BlockPQR 探索自主代理如何通过区块链基础设施进行交互，Midnight 仍是正在评估的技术之一。Hegarty 的披露界定了该项研究的范围，并未将公司承诺于具体实现。