proof

# 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