taking proof - based verified computation a few steps closer to practicality ( extended version ) .
Faster Secure Two-Party Computation Using Garbled Circuits