The complexity of managing proof data in Ethereum has been underscored by recent discussions. The need to store and update data against which proofs are checked presents significant challenges, as this data can become nearly as large as the state itself. While solutions exist, they involve numerous components and necessitate trade-offs compared to the current Ethereum framework. These challenges highlight the ongoing efforts to optimize Ethereum's scalability and efficiency.