隔离式抵押借贷金库

抵押借贷市场：指数化债务、LTV 与清算阈值数学、原子化坏账社会化。附带独立的 Python 参考模型，并在 Base Sepolia 上运行经过源码验证的演示市场。

Web3DeFiLending

关键成果

66 项合约测试，含经济攻击与不变量套件

Base Sepolia 上 4/4 合约源码验证，12 笔链上业务回执

独立参考模型 + 差分测试

CI 全绿：每次推送执行构建、测试、覆盖率与静态分析

SolidityFoundryOpenZeppelinNext.jswagmiPython