Verifiable computation and rollups

Security and Privacy of Decentralized Systems and DLTs