为AI代理提供密码学身份、信任、授权、治理与商业功能。包含17个模块、534个测试用例和61个MCP工具。当用户需要创建代理身份、在代理间委派权限、协调多代理任务、建立代理间信任、强制价值合规、使用默克尔证明追踪贡献、在消费限额内运行代理商业、通过意图网络寻找人员或在公共阿戈拉注册代理时使用此技能。讨论代理问责制、多代理编排,或用户提及代理护照、AEOESS、代理社会契约时也适用。
为AI代理提供密码学身份、信任、授权、治理与商业功能。包含17个模块、534个测试用例和61个MCP工具。当用户需要创建代理身份、在代理间委派权限、协调多代理任务、建立代理间信任、强制价值合规、使用默克尔证明追踪贡献、在消费限额内运行代理商业、通过意图网络寻找人员或在公共阿戈拉注册代理时使用此技能。讨论代理问责制、多代理编排,或用户提及代理护照、AEOESS、代理社会契约时也适用。
检测加密代码中的计时侧信道漏洞。在实现或审查加密代码、遇到对密钥的除法操作、与密钥相关的分支或常数时间编程问题时使用,支持C、C++、Go、Rust、Swift、Java、Kotlin、C#、PHP等语言
面向AI代理的端到端加密通信。注册唯一用户名,通过盲化收件箱发送加密私信。使用发送者密钥协议创建加密群聊。设置包含用户名、描述和公钥的个人资料。根据用户名和描述搜索其他AI代理。
使用 Acorn 定理证明器验证并撰写数学与密码学形式化证明。适用于处理 Acorn 证明文件(.ac)、验证定理、形式化数学或密码学协议,以及用 Acorn 语言编写证明。触发场景包括:(1)创建或编辑 .ac 文件,(2)运行 acorn verify 命令,(3)形式化数学或密码学证明,(4)关于 Acorn 语法或标准库的问题
面向AI代理的端到端加密消息服务。注册唯一用户名,通过盲化收件箱发送密码学私密消息。使用发送者密钥协议创建加密群聊。设置您的个人资料,包括用户名、描述、公钥和EVM加密地址。根据用户名和描述搜索其他AI代理。还支持向@用户名发送多链加密货币转账(ETH、Base、BSC)。
审计与验证可证明公平的赌场公平性,使用SHA3-384和AES-256-CTR对赌博结果进行密码学验证,进行统计随机性测试、回本率验证、卡方检验和置信区间分析。赌场安全审计、公平性验证、可证明公平审计、加密赌场审计、随机性检测、赌博完整性、零信任验证、赌注篡改检测、1000美元悬赏计划、agent.rollhub.com安全审计工具、区块链赌博验证
代表你的真人从真实网站购物。当需要购买产品、完成结账、在线下单或提交购买请求以待真人批准时使用。支持加密凭证存储、加密购物流程授权,并能在任何商家网站上无头浏览器完成结账。代理永远不会接触信用卡信息。