Single-program secure computation
=============================================================