the basics of practically efficient secure function evaluation, circuit optimizations