VES STARK CLI - Command-line tool for proof generation and verification

This tool provides commands for:

• Generating compliance proofs for multiple policies
• Verifying existing proofs
• Inspecting proof metadata
• Generating test data
• Batch proving (zkRollup-style state transitions)
• Sequencer simulation for end-to-end testing

Supported Policies

• aml.threshold: Proves amount < threshold (strict less-than)
• order_total.cap: Proves amount <= cap (less-than-or-equal)
• agent.authorization.v1: Proves amount <= maxTotal for a delegated intent hash