← work
btc-yield-vault
2026
An autonomous agent that manages a BTC portfolio where every decision is ZK-proven on Starknet via Pedersen commitments: a ProofRegistry re-derives the expected action and an AgentVault enforces spend, risk, and action constraints onchain. Cairo 2, Starknet Foundry, 78 passing tests.
Cairo · Starknet · ZK proofs · TypeScript