and constructions, hardware-assisted garbled circuit protocols, and the modular design