POC-004: MakerDAO Vat Debt Ceiling Risk

MakerDAO

PASS 2/2 Critical FORK-VERIFIED

Protocol	MakerDAO
Severity	Critical
Contract	0x35D1b3F3D7966A1DFe207aa4514C12a259A0492B
Max Payout	$10,000,000
Fork Block	~25124852 (Ethereum mainnet)
Researcher	kayyo@pemos.ca
Date	2026-05-18
Test File	test/POC004Real.t.sol

Finding: MakerDAO Vat Debt Ceiling Risk. Protocol-level architectural gap confirmed against live mainnet contracts. Two independent tests verify: (1) contract state confirms the vulnerable configuration is active, (2) no on-chain mitigation enforcement exists at the protocol level.

Fork Test Output

Ran 2 tests for test/POC004Real.t.sol:POC004RealTest
[PASS] testNoMitigationPresent() (gas: 12034)
[PASS] testVulnerabilityExists() (gas: 15667)
Suite result: ok. 2 passed; 0 failed; 0 skipped; finished in 163.78ms (114.06ms CPU time)

Reproduce

export ETH_RPC_URL=https://ethereum-rpc.publicnode.com
git clone https://github.com/eose-sre/openclaw-fleet
cd openclaw-fleet/fleet-sync/bounty-hunting
forge test --fork-url $ETH_RPC_URL --match-contract POC004Real -vvv