$ loading_
为智能体免费生成并验证 STARK 证明回执,提升可验证性与安全性。
复制安装指令,让 AI 自动完成配置 · 推荐新手
请帮我安装 askskill 上的 "TinyZKP" MCP 服务: 执行:claude mcp add --transport http io-github-logannye-tinyzkp https://mcp.tinyzkp.com
请使用 TinyZKP 为这个智能体任务生成 STARK 证明回执:输入为订单摘要、执行时间和输出结果,并返回可保存的回执信息。
返回一份可保存的 STARK 证明回执,包含任务关联信息与验证所需标识。
请用 TinyZKP 验证这份 STARK 证明回执是否有效,并告诉我验证结果、失败原因或相关校验信息。
返回证明是否通过验证,并附上关键校验结果或错误说明。
请设计一个基于 TinyZKP 的审计流程:在每次智能体完成关键步骤后生成证明回执,并说明后续如何批量验证这些回执。
给出可执行的审计方案,说明回执生成节点、存储方式与批量验证思路。
帮助开发者审计零知识电路中的健全性与约束漏洞,提升证明系统安全性。