Tyapkin
Runbooks

Co-founder Demo

Short walkthrough for the CAP + Capkin DEX compliance demo.

Co-founder Demo

Pitch:

Capkin lets us describe an integration as readable behavior.
The compiler turns that behavior into a CAP machine contract.
The runtime records every accepted transition as a cryptographic trace.
Independent services can integrate by speaking the contract, not by rewriting
their whole system.

Demo:

DEX commits SwapInput
Compliance evaluates KycAndRiskPolicy
Machine transitions Requested -> Approved
DEX commits SwapExecutionOutput
Trace proof verifies every commitment

Run:

pnpm docker:local:up:detached
pnpm docker:local:demo

What to show:

  • Capkin source;
  • compiled IR;
  • trace commitments;
  • projection status output_committed;
  • proof flags root_verified=true and last_commitment_hash_verified=true.

On this page