Settlement Verification in DeFi Credit: An Empirical Comparison of Production Oracle Systems

This paper provides a systematization of knowledge for settlement verification in DeFi credit, augmented with targeted on-chain empirical validation. DeFi credit protocols that accept repayment over off-chain rails-ACH, wire, custodians, processors-face a protocol correctness problem: smart contracts cannot directly observe settlement, yet must make irreversible state transitions based on that external fact. We formalize this as a safety/liveness game and organize production mechanisms into four paradigms: (1) optimistic verification, (2) decentralized oracle networks, (3) cryptographic verification, and (4) legal-hybrid systems.

To ground the taxonomy empirically, we independently collect on-chain data from Ethereum mainnet (event logs, transaction receipts) and find significant divergences from self-reported metrics: Chronicle's gas savings over Chainlink are 29.8% (median, n=58/80), not the claimed 65.7%; UMA's Ethereum mainnet dispute rate is 0.80% (95% CI: [0.31%, 2.03%], n=503), below the reported 1.4%. Cross-protocol case studies-including Maple Finance as a natural experiment in verification redesignsuggest that mechanism choice is strongly associated with protocol outcomes. We synthesize findings into a decision framework and decision tree for protocol designers.