Synthesis

Verato

Verato's Team

claude-opus-4-6claude-codeCustom Solidity settlement protocol with TypeScript SDK and Cloudflare Workers agent runtimeFoundryviemViteReactpnpm+5

Problem Statement

AI agents are increasingly capable of managing DeFi positions, but delegating control today means either granting blanket token approvals (risky) or manually executing every transaction yourself (defeats the purpose). There is no middle ground where users can specify exactly which operations an agent may perform, verify the agent's reputation on-chain, and enforce safety invariants like health factor minimums — all without trusting a centralized intermediary. This is especially acute for complex multi-step strategies like forex hedging on Celo, where an agent needs to atomically execute swaps, deposits, and borrows across multiple protocols. Verato solves this with: 1. **Cryptographic delegation** — Merkle-proof-scoped permissions per operation (deposit, borrow, repay, withdraw, swap) 2. **On-chain agent reputation** — ERC-8004 identity and minimum reputation scores embedded in orders 3. **Oracle-verified swaps** — Uniswap swaps verified against Aave oracle prices with user-signed tolerance 4. **Atomic settlements** — Everything succeeds or reverts; no partial executions 5. **Autonomous yield optimization** — Agent evaluates positions across Aave V3, Moola, and Morpho to find migration opportunities

Verato is a trustless settlement gateway on Celo that lets users safely delegate complex DeFi operations to autonomous AI agents. Users sign EIP-712 orders encoding a Merkle tree of permitted operations — agents can only execute actions whose Merkle proofs verify against the user-signed root. Every settlement is atomic: it either completes within the user's safety bounds or reverts entirely. Verato covers the full lifecycle of lending positions across Aave V3, Morpho Blue, and Moola (Celo-native), supporting deposits, borrows, repays, withdrawals, oracle-verified swaps via Uniswap, and flash-loan-powered leveraged trading. Solver trust is embedded directly in signed orders via a flexible model: users can go permissionless, require a minimum on-chain reputation score (backed by ERC-8004 registries), whitelist a specific agent, or combine both. This makes Verato ideal for forex hedging strategies on Celo — agents can autonomously rebalance leveraged positions across stablecoins (cUSD, cEUR, cREAL, USDC, USDT) with oracle-verified swap pricing, health factor enforcement, and fee caps. **Live on Celo Mainnet:** - Verato Settlement: [0x8bDed3d811501273Fe60da50fbA91FD0bC25B9F1](https://celoscan.io/address/0x8bDed3d811501273Fe60da50fbA91FD0bC25B9F1) - Settlement Forwarder: [0x54b3c0aeB93b3A00675cb7bcC88ee9B0a25a4223](https://celoscan.io/address/0x54b3c0aeB93b3A00675cb7bcC88ee9B0a25a4223) - Aave Oracle Adapter: [0x8E41Fc8EB1e241aC5BFcE280FEC1A0b180a60343](https://celoscan.io/address/0x8E41Fc8EB1e241aC5BFcE280FEC1A0b180a60343) **Proven on-chain settlements (all 3 settlement types):** 1. Same-token collateral migration (Moola → Aave V3): [tx](https://celoscan.io/tx/0xa6e920ef7fd4d74e85353489dbc8046c0ecd10c2119605b3bc319566f9d7f464) 2. Cross-asset swap CELO → USDC via Uniswap + deposit to Aave V3: [tx](https://celoscan.io/tx/0x505e70fa3502ad354add1df46e5178a38ba39440c1b2d3e435a0057f2d1c9752) 3. Full debt position migration with Morpho flash loan (Aave V3 → Moola): [tx](https://celoscan.io/tx/0x55558b31a88cad064d8c65db17561ee49f57a0e8952dbc333159b04ed5a33a01) **Uniswap Integration:** Agents use the Uniswap Trading API (with x-permit2-disabled for direct approval flow) to get optimal swap routes on Celo. The quote → swap flow fetches calldata for the Proxy Universal Router, which the settlement forwarder executes atomically. Oracle-verified swap output ensures users are protected against slippage beyond their signed tolerance. Multi-hop routing (CELO → USDT → USDC) is supported automatically. **Architecture:** - **Smart Contracts** (Foundry/Solidity): Verato settlement executor with Merkle proof verification, oracle-verified swaps via forwarder sandbox, Morpho flash loans, ERC-8004 reputation checks, multi-protocol lending adapters (Aave V3, Moola/Aave V2, Morpho Blue) - **Settlement SDK** (TypeScript): Merkle tree builder, EIP-712 signing, order/execution/filler calldata encoding, Uniswap Trading API integration with x-permit2-disabled - **Frontend** (React/Vite): Token/lender selector, permit signature collection, order builder with auto-generated swap conversions and oracle tolerance controls, user position dashboard - **Agent Worker** (Cloudflare Workers): Autonomous order scanner, position interpreter, yield migration evaluator (collateral-only, cross-asset swap, debt migration with flash loan), Uniswap API integration, LLM-assisted fill decisions (OpenAI/Anthropic), multicall tx builder - **Order Backend** (Cloudflare Workers + D1): Queryable order book for signed settlement orders - **Portal Proxy** (Cloudflare Workers): Lending data API proxy for pool rates and user positions

Build Timeline

Mar 17, 2026Mar 21, 2026
3d 16hbuild time
21commits
1contributor

Team

Verato

admin

MandateMandate

Increase your chances to win

  • ›Most agents in the hackathon are exposed to prompt injection
  • ›This might cause overspending and loss of funds
  • ›Security is a crucial part of the hackathon
Free for participants

Share on X

Tell the world about this project

Intention

Plans to continue

Verato is being developed as core infrastructure for 1delta DAO's agent-enabled DeFi protocol suite. Plans to expand protocol coverage, add flash-loan leverage paths, and deploy across multiple chains.