Rustで独自のEVM「Leviathan」を開発する中で直面したCometBFTとの結合課題を解説。トランザクションの重複防止バグやABCIのスレッドロック競合を解決するためのキャッシュ戦略の変遷を技術的に深掘りする。