OpenSkillIndex← back to search
openclawsecurity

Skills proof

install
source · Clone the upstream repo
git clone https://github.com/openclaw/skills
OpenClaw · Install into ~/.openclaw/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/openclaw/skills "$T" && mkdir -p ~/.openclaw/skills && cp -r "$T/skills/agenticio/proof" ~/.openclaw/skills/openclaw-skills-proof && rm -rf "$T"
manifest: skills/agenticio/proof/skill.md
tags
#cryptography#zkp#formal-verification#security#local-execution#snarkjs
source content

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