SkillHub

proof

v2.0.1

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.

Sourced from ClawHub, Authored by agenticio

Installation

Please help me install the skill `proof` from SkillHub official store. npx skills add agenticio/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