Upgradeable, provably safe contracts
Upgradeable Solidity contracts on UUPS proxies, ERC-7201 storage, and OpenZeppelin AccessControl. Invariant and fuzz testing proves that payouts can never exceed secured funds and that valid settlements never get stuck.