AI-Managed ERC-4626 Yield Vault with Multi-Criteria Decision Making: Design, Implementation, and Formal Verification

Sergei Solovev

2026-05-01 · Preprint, Figshare · DOI: 10.6084/m9.figshare.32141167

Download PDF View on Figshare

Abstract

Autonomous AI agent managing an ERC-4626 yield vault via MCDM scoring (APY/Risk/Cost/Stability). EIP-712 signed decisions, UUPS-upgradeable, 67 unit tests, 76,800+ invariant calls with zero violations. Sepolia deployment included.

Keywords: decentralized finance; ERC-4626; ERC-712; multi-criteria decision making; formal verification; invariant testing; autonomous agent