DEX + Compliance Demo
First end-to-end CAP + Capkin vertical slice.
DEX + Compliance Demo
The first MVP demo connects two independent services through a shared CAP trace:
DEXcommitsSwapInput;ComplianceevaluatesKycAndRiskPolicy;- the machine transitions from
RequestedtoApproved; DEXcommitsSwapExecutionOutput;- the trace projection reaches
output_committed; - the proof verifies the commitment root.
Run locally:
pnpm docker:local:up:detached
pnpm docker:local:demo
pnpm docker:local:downThe demo script calls:
POST /run-contract
POST /project-trace
GET /projection/trace
POST /anchor/solana-local
GET /proof/solana-localThe output includes the Capkin-driven trace, Solana-local anchor and proof verification flags.
DEX + compliance proof run
Запускает Capkin-defined contract, показывает новые commitments, projection, local anchor и proof verification прямо внутри docs.
Что происходит сейчас
Нажми Run scenario: Capkin source начнет подсвечиваться по мере исполнения.
live compiler playback
Feature: ComplianceGatedSwap# @registry:CAPKIN-PROTOCOL-001 Background: Given machine ComplianceGatedSwapbound And principal DEXbound And principal Compliancebound And capability DEX may commit SwapInputbound And capability Compliance may evaluate SwapInputbound And capability DEX may commit SwapExecutionOutputbound Scenario: CAPKIN-PROTOCOL-001 Given DEX commits SwapInputbound When Compliance evaluates guard KycAndRiskPolicybound Then the machine transitions from Requested to Approvedbound And DEX may commit SwapExecutionOutputbound And the trace proof verifies every commitmentbounddex-compliance-demo
Waiting for run
not projected
state=pending
waiting
local proof adapter
not run
root + last hash
requests are intentionally paced for demo clarity
Prepare trace window
Compiler фиксирует контракт и открывает чистое окно trace.
Commit capability
Runtime доказывает, что Compliance имеет capability на SwapInput.
Commit input
DEX вносит SwapInput как первый вход машины.
Evaluate guard
Compliance применяет KycAndRiskPolicy и оставляет проверяемый след.
Commit transition
CAP machine принимает детерминированный переход Requested -> Approved.
Commit output
DEX выпускает SwapExecutionOutput только после approved state.
Project trace
Projection превращает commitments в человекочитаемый state.
Anchor range
Свежий диапазон commitments якорится в local proof adapter.
Verify proof
Verifier пересчитывает root и last hash: trace либо сходится, либо нет.
fresh commitments from the last run
Capability
ComplianceCompliance may evaluate SwapInput
pending
Input
DEXDEX commits SwapInput
pending
Guard
ComplianceCompliance evaluates KycAndRiskPolicy
pending
Transition
ComplianceRequested -> Approved
pending
Output
DEXDEX commits SwapExecutionOutput
pending
runtime output
runtime output
runtime output