火星財經消息，Flashbots核心貢獻者Philip Daian、康奈爾大學計算機安全博士生Kushal Babel和Mahimna Kelkar以及康奈爾理工學院教授Ari Juels共同發布關於Clockwork Finance Framework （CFF）的新論文，這是一種DeFi智能合約經濟安全的形式化驗證框架。論文中表示，CFF具有三個關鍵特性，合約完備、以漸近最優的模型大小實現、在構造上窮舉攻擊。 CFF可以支持多個目標，開發者對合約的經濟安全性分析、用戶對DeFi交易風險的分析、機器人或礦工對套利機會的優化。此外，CFF框架引入了一個新的DeFi合約經濟安全概念，可提取價值（EV）。團隊成員通過對Uniswap、Uniswap V2、SushiSwap和MakerDAO構建了模塊化的、可讀的、可組合的CFF模型，驗證了在沒有明確編程攻擊策略的情況下，CFF平均每月發現5600萬美元的EV。
火星財經訊