PROOF 2.0: The Execution Layer
I. System Capability
Proof is now a functional engine for local cryptographic operations. It interfaces with your local environment to provide mathematical certainty.
Key Operations:
- -
proof.zkp_gen: Compiles circuits and generates proofs locally. proof.formal_check: Runs static analysis and formal verification templates on code.proof.audit: Generates a cryptographic manifest for local project files.
II. Local Environment Requirements
- - Node.js & SnarkJS (ZKP)
- ZoKrates (optional)
- Python 3.10+ (glue scripts)
III. Usage & Examples
User: "Generate a ZKP for this statement: x * y = 12."
Agent: (Calls scripts/zkp_tool.py) -> "Compiling circuit... generating witness... proof.json created in \~/.openclaw/workspace/proof/\."
User: "Run a formal check on my Solidity contract."
Agent: (Calls scripts/verify_lib.py) -> "Scanning for reentrancy and integer overflow... Result: PASS."
IV. Security & Privacy
- - Local-only computation
- Workspace isolation (\
~/.openclaw/workspace/proof/\) - No persistent daemons or background processes
- No credentials requested or transmitted
PROOF 2.0：执行层
I. 系统能力
Proof 现已成为一个功能完备的本地密码学操作引擎。它通过连接本地环境提供数学确定性。
核心操作：
- - proof.zkpgen：编译电路并在本地生成证明。
- proof.formalcheck：对代码执行静态分析和形式化验证模板。
- proof.audit：为本地项目文件生成加密清单。
II. 本地环境要求
- - Node.js 与 SnarkJS（零知识证明）
- ZoKrates（可选）
- Python 3.10 及以上版本（胶水脚本）
III. 使用方式与示例
用户：为以下陈述生成零知识证明：x * y = 12。
代理：（调用 scripts/zkp_tool.py）-> 正在编译电路... 生成见证... proof.json 已创建于 ~/.openclaw/workspace/proof/。
用户：对我的 Solidity 合约执行形式化检查。
代理：（调用 scripts/verify_lib.py）-> 正在扫描重入攻击和整数溢出... 结果：通过。
IV. 安全与隐私
- - 仅限本地计算
- 工作区隔离（~/.openclaw/workspace/proof/）
- 无持久守护进程或后台进程
- 不请求或传输任何凭证
