Verifiable computation outsourcing has become a critical tool in various applications, particularly in scaling blockchain networks like Ethereum. A prominent example is the use of rollups, a layer-2 scaling solution designed to increase Ethereum’s transaction throughput. In this approach, …