Den MLS Wallet is a self-custodial, multi-signature smart-contract wallet for on-chain organizations. Every transaction is gated by three independent security layers that must all approve any state change. Certora performed a manual code review of the smart contract code and identified security risks. The full report below includes the methodology, threat analysis, findings, and Den responses.