Heron — Verifiable AI Yield Agent
The heron strikes only when the edge is real.
Heron is a non-custodial, verifiable AI yield agent that autonomously allocates user funds into DeFi protocols — the agent signs transactions within policy-enforced budget limits, pays for market data via pay.sh (opens in a new tab) x402 micro-payments, and stores secrets in GCP Secret Manager.
What it does
- User deposits assets into their own isolated vault (non-custodial)
- AI agent evaluates market conditions using paid data from pay.sh marketplace
- Net-Edge gate ensures the expected return exceeds ALL costs (gas, slippage, signal cost)
- On-chain policy contract enforces caps — the agent cannot exceed per-action, epoch, or position limits
- Venue CPI/call executes the allocation — real yield accrues from borrower interest
- Every decision is hash-chained in a Verifiable Debate Ledger (VDL), replayable and auditable
Key Properties
| Property | How |
|---|---|
| Non-custodial | User withdraws anytime, even while paused; agent cannot block |
| Verifiable | Every decision hash-chained in VDL, replay reproduces plan_hash |
| Policy-enforced | Merkle mandate, per-action cap, epoch cap, position limit — all on-chain |
| Net-edge discipline | Agent stands still when edge ≤ 0 after all costs |
| Per-user isolation | Each wallet gets its own vault PDA/contract, policy, pay.sh wallet |
| Paid signals | Real USDC spent on x402 data gateway, receipt in decision record |
Supported Chains
| Chain | Network | Asset | Venue |
|---|---|---|---|
| Solana | Devnet | wSOL | Solend |
| Arc | Testnet | USDC | Meridian |
| GIWA | Sepolia | WETH | GiwaLend |
Tech Stack
| Layer | Technology |
|---|---|
| Programs | Anchor (Rust), Solana devnet |
| Backend | Python 3.12, FastAPI, uvicorn |
| Frontend | Next.js 15, React, TypeScript, Tailwind |
| Wallet | Reown AppKit (Solana adapter) |
| Payments | pay.sh x402 SDK, Solana mainnet USDC |
| Secrets | GCP Secret Manager |
| TEE | AWS Nitro Enclave (optional attestation) |
| Testing | 420 backend tests (pytest), Anchor integration tests |