All available Proven CLI commands with syntax, flags, and examples.
Execute a computation and generate a cryptographic receipt with intermediate checkpoints and a Merkle tree commitment.
Run two-layer verification on a receipt: integrity check (SHA-256 hashes, Ed25519 signature, Merkle root) and semantic check (spot-check replay of intermediate checkpoints).
Initialize a new Certificate Authority with Ed25519 key pair. Creates ~/.proven/ca/ directory with private key, public key, and CA metadata.
Verify a receipt and, if it passes both layers, sign it with the CA's Ed25519 private key and register it in the append-only ledger.
Independently verify a CA signature on a certified receipt without re-running the full verification pipeline.
Look up the certification status of a receipt by its hash in the local registry ledger.
List all entries in the append-only registry ledger with their certification status, timestamps, and CA signatures.