$150K · SCF #46★ Stellar Mainnet LIVE

Stellar: Soroban commit + first funded gated swap (ledger 65,338,112) — requesting $150K

LIVE · Core Mainnet 1116 · L1 VERIFIED

Logs assert. CoreGuard proves.

The verifiable execution truth layer for Bitcoin DeFi and the agent economy. Independently verifiable evidence of what was authorized — and what actually executed. Deterministic. Replayable by anyone. UNKNOWN stays HELD.

$ npm install && npm run demo:90s:live

01

Signed intent

02

Firewall ALLOW

03

Execution

04

Independent verify

05

Anchored on Core

One ladder · three networks

Pinned per ecosystem.

The product ladder

Full catalog →
LIVE

★ Stellar DEX-GATE/1 — Signed Swap Gate

First signed funded swap on Stellar mainnet: 4.0598146 XLM → 0.6306239 USDC, both gates VERIFIED before submission (ledger 65,338,112).

LIVE

★ SOROBAN/1 Commitment Anchor

Live Soroban contract; first commit(proofId, commitment) invoked on mainnet with byte-exact read-back (ledger 65,337,373).

LIVE

CGEP/1 Execution Receipts

Intent → policy → commitment → receipt → independent verifier → anchor.

SHIPPED

Execution Firewall

Wrap any action — swap, lend, bridge, vote, agent proposal — with ALLOW / DENY / HOLD.

SHIPPED

x402 Reserve-before-sign

Payment-gated escrow with deterministic replay and on-chain commission.

DRY_RUN

ESCROW/1 — Bounty Escrow Mirror

SHIPPED JS mirror · NOT LAUNCHED. Verify-before-release, digest-bound signatures, single-spend release and full refund; no chain calls or funds moved.

SHIPPED

AgentProof

Declared, signer-bound actor provenance — never a behavioural guess.

SHIPPED

DDE/1 Dispute Boundary

Execution/acceptance disputes resolved with offline, deterministic evidence packages.

Proof Artifact #1

A real agent execution. Verified on Core Mainnet.

An automated agent transferred 0.001 CORE. CoreGuard recovered the signer, checked the policy, anchored the commitment and re-derived the verdict independently: L1 VERIFIED.

Inspect the evidence →
tx
0xe67c61fda81200bf026faee31c23a7b7e7f56ed24f06ffe24f071fa06891a9b8
block
38712625
registry
0x037dF08F2d43c5D03759279Fe35664f6AFf9EA6E
receiptId
0x4f9d85865b6c42e007496615a47309aa30579bd05f396ae801703447bb51767a

Building on Core, Stellar or Pi? Put proof in front of your users.