ves-stark-cli

CLI tool for VES STARK proof generation and verification.

Installation

cargo install --path crates/ves-stark-cli

Binary name: ves-stark

Commands

prove — Generate a compliance proof

ves-stark prove \
  --amount 5000 \
  --policy aml.threshold \
  --limit 10000 \
  --public-inputs inputs.json

verify — Verify a proof

ves-stark verify \
  --proof proof.bin \
  --public-inputs inputs.json \
  --witness-commitment <hex>

batch-prove — Generate a batch proof for multiple events

ves-stark batch-prove \
  --events events.json

inspect — Inspect proof metadata

ves-stark inspect --proof proof.bin

test-data — Generate test data for development

ves-stark test-data --policy aml.threshold --limit 10000

sequencer-sim — Simulate sequencer interaction

ves-stark sequencer-sim --url http://localhost:8080

Supported Policies

Features

License

MIT