TinyZKP

请使用 TinyZKP 为这个智能体任务生成 STARK 证明回执：输入为订单摘要、执行时间和输出结果，并返回可保存的回执信息。

返回一份可保存的 STARK 证明回执，包含任务关联信息与验证所需标识。

请用 TinyZKP 验证这份 STARK 证明回执是否有效，并告诉我验证结果、失败原因或相关校验信息。

返回证明是否通过验证，并附上关键校验结果或错误说明。

请设计一个基于 TinyZKP 的审计流程：在每次智能体完成关键步骤后生成证明回执，并说明后续如何批量验证这些回执。

给出可执行的审计方案，说明回执生成节点、存储方式与批量验证思路。