15岁少年发布开源项目，旨在对AI代理行为进行问责

admin

15岁少年发布开源项目，旨在对AI代理行为进行问责

作者：James Bentley
来源：Github.com
引用：https://github.com/nobulexdev/nobulex

一位15岁的开发者Nobulex推出了一款名为Nobulex的开源协议，旨在为AI代理提供一种可信赖的行为规范。该协议通过加密行为承诺和无需信任的验证，使AI代理能够声明其行为范围，并证明其遵守承诺，否则将面临经济后果。Nobulex类似于HTTPS通过建立连接的可信度来促进电子商务，它通过使行为可信来促进代理经济。

项目概述：

- Nobulex整合了数月开发，经历了多个协议迭代（Stele → Kova → Kervyx → Nobulex）。

- 加密库历史反映了仓库迁移，而非实际开发时间线。

- 核心功能包括：

- **身份验证**：为每个代理提供W3C DID和Ed25519密钥。

- **承诺**：使用Cedar-inspired DSL定义允许和禁止的行为。

- **证明**：将代理与其承诺绑定。

- **行为日志**：使用SHA-256哈希链和Merkle证明创建不可篡改的记录。

- **验证**：提供确定性验证和违规证明。

- **执行**：通过链上质押/减记进行执行。

使用示例：

- 创建代理身份。

- 编写承诺。

- 使用中间件执行操作。

- 验证合规性。

Nobulex包含六个基本元素，包括身份、承诺、证明、行为日志、验证和执行。它还提供了一种双层保证模型，包括TEE中间件和链上质押/减记。

架构：

- 平台：提供命令行接口、SDK和ElizaOS插件。

- 契约原语：包括身份、承诺语言、证明、行为日志、验证和执行。

- 基础设施：包括核心类型、加密和以太坊虚拟机。

核心包包括：

- @nobulex/core-types：六个原语的TypeScript接口。

- @nobulex/identity：创建W3C DID、使用Ed25519签名和DID文档管理。

- @nobulex/covenant-lang：Cedar-inspired DSL。

- @nobulex/action-log：带有Merkle树证明的哈希链行为日志。

- @nobulex/middleware：预执行执行——阻止禁止的操作。

- @nobulex/verification：后执行验证。

- @nobulex/composability：承诺兼容性、代理匹配和信任拓扑。

- @nobulex/tee：SGX、TDX、SEV-SNP的TEE证明与DID绑定。

- @nobulex/contracts：带有TypeScript绑定的Solidity质押/减记合约。

平台包包括：

- @nobulex/sdk：统一API。

- @nobulex/cli：命令行工具。

- @nobulex/elizaos-plugin：ElizaOS插件。

链上合约（Solidity）：

- CovenantRegistry：在链上注册承诺哈希，防止重复。

- StakeManager：在承诺上质押ETH，在违规时锁定/减记。

- SlashingJudge：提交违规，计算递增惩罚。

演示：

- 使用命令npx tsx demo/covenant-demo.ts创建两个代理，编写承诺，通过中间件执行，阻止禁止的转账，并验证合规性。

开发：

- 使用git clone https://github.com/nobulexdev/nobulex.git克隆项目。

- 使用npm install安装依赖。

- 使用npx vitest run运行测试。

文档：

- 提供详细的文档说明。

与比特币和以太坊的比较：

- Nobulex信任代理行为，而比特币和以太坊分别信任货币转账和合约执行。

- Nobulex使用合规性证明，而比特币和以太坊分别使用工作量证明和权益证明。

许可证：MIT