---
name: proof
version: 2.0.0
description: >
  A local-first cryptographic toolkit. Executes zero-knowledge proof (ZKP) generation, 
  circuit compilation via SnarkJS/ZoKrates, and formal verification analysis on local files. 
  Requires local toolchains. No external API or cloud data transmission.
---

# 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