OpenZeppelin audited OffMarket's privacy pool contract in June 2026 without high-severity findings, and StarkWare formally verified the contract in July 2026.