Efficient probabilistically checkable proofs and applications to approximations | Synapse