Isolated Lending Vault (D02)

A collateralized credit market with indexed debt, LTV/liquidation-threshold math and atomic bad-debt socialization. Ships with an independent Python reference model and a live, source-verified demo market on Base Sepolia.

Web3DeFiLending

Live Demo Source Code

Key Results

66 contract tests including economic-attack and invariant suites

4/4 contracts source-verified on Base Sepolia; 12 on-chain business receipts

Independent reference model with differential testing

Green CI: build, tests, coverage and static analysis on every push

Tech Stack

SolidityFoundryOpenZeppelinNext.jswagmiPython