Efficient RAM and Control Flow in Verifiable Outsourced Computation | Synapse