「検証可能な状態（verifiable state）」の概念は、分散型取引所（DEX）のセキュリティにおける変革的アプローチとして注目を集めています。このモデルは、ゼロ知識ロールアップと高度な暗号技術を活用し、すべての状態遷移が数学的証明によって独立して検証可能であることを保証します。これにより、Uniswapのコード信頼、GMXのL2共有信頼、dYdXのコンセンサス信頼といった現在のDEXモデルの信頼前提や性能制約を克服することを目指しています。支持者は、検証可能な状態がDEXセキュリティの新たな基準を打ち立て、信頼不要で高性能かつ数学的に監査可能なフレームワークを提供すると提唱しています。