ves-stark-cli 0.2.3

CLI tool for VES STARK proof generation and verification
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75

# ves-stark-cli

CLI tool for VES STARK proof generation and verification.

## Installation

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

Binary name: `ves-stark`

## Commands

### `prove` — Generate a compliance proof

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

### `verify` — Verify a proof

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

### `batch-prove` — Generate a batch proof for multiple events

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

### `inspect` — Inspect proof metadata

```bash
ves-stark inspect --proof proof.bin
```

### `test-data` — Generate test data for development

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

### `sequencer-sim` — Simulate sequencer interaction

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

## Supported Policies

| Policy | Flag | Description |
|--------|------|-------------|
| AML Threshold | `aml.threshold` | Amount must be below threshold |
| Order Total Cap | `order_total.cap` | Amount must not exceed cap |
| Agent Authorization | `agent.authorization.v1` | Amount within authorized limit with intent binding |

## Features

| Feature | Description |
|---------|-------------|
| `dev` | Enable development mode (sequencer connectivity) |

## License

MIT