Over-collateralized lending protocol (Solidity, Foundry, Chainlink) whose math is verified against an independent C++ reference model. Includes fuzz, invariant and fork tests, 100% measured coverage, and a historical risk simulation.
cpp smart-contracts solidity fuzzing foundry chainlink differential-testing defi lending-protocol risk-simulation
-
Updated
Oct 16, 2026 - Solidity