Buterin 提議將交易動作與依賴關係分離，讓以太坊日後能夠獨立優化各個組件。依賴關係包括簽章、狀態證明與交易在執行開始前必須滿足的有效性條件。純依賴關係可先由 mempool 檢查一次，之後再壓縮成遞迴式 STARK 證明。EIP-8141 提議以單一交易格式封裝具備可程式化驗證、執行與 gas 支付功能的 frame transactions。目前以太坊開發者尚未批准 EIP-8141 用於主網升級，也尚未公布部署日期。