Lending Market & Liquidation Engine

Snow LeopardARCHITECT

Compound / Aave Model with Health Factors & Dutch Auction Liquidations

🛡️Audit Rig

Protocol Files1 Files

EVM Primitives

▸Compound Interest Continuous Accrual Indices
▸Collateral Factor Health Computation
▸Close Factor & Liquidation Incentive Discounts
▸Normalized Decimals (6-decimal USDC vs 18-decimal WETH)

🐆DeFi Risk & Money Market Engineer

Pass the invariant fuzz suite to unlock a Soulbound NFT mint in Prüfstand.

Architecture Blueprint

Comptroller acts as risk oracle validating borrows and collateral factors. cToken represents deposited assets accruing interest over continuous per-second indices.

1. Caller ➔ [Entry Call] ➔ ZehnComptroller.sol

2. Execute protocol-defined state transition

3. Verify invariants hold post-transition

Protocol Files1 Files

EVM Primitives

▸Compound Interest Continuous Accrual Indices
▸Collateral Factor Health Computation
▸Close Factor & Liquidation Incentive Discounts
▸Normalized Decimals (6-decimal USDC vs 18-decimal WETH)

🐆DeFi Risk & Money Market Engineer

Pass the invariant fuzz suite to unlock a Soulbound NFT mint in Prüfstand.

Architecture Blueprint

Comptroller acts as risk oracle validating borrows and collateral factors. cToken represents deposited assets accruing interest over continuous per-second indices.

1. Caller ➔ [Entry Call] ➔ ZehnComptroller.sol

2. Execute protocol-defined state transition

3. Verify invariants hold post-transition

Solidity 0.8.28Prague EVMFoundry Native

UTF-8src/ZehnComptroller.sol

Ready · Press Ctrl+Enter

⚠️No automated Forge test suite has been authored for this capstone yet — compiling and running an invariant suite isn't available until one exists. You can still edit and compile the protocol files.

🔒

🛡️Protected Zone · Sign In Required

Pioneer Sign-In Required for Capstone Workspace

Guests can explore the curriculum roadmap on the landing page, but you must select an account to edit protocol files, compile multi-contract architectures, and run invariant test suites.

← Return to Curriculum Map🔒 Secure EVM Platform