TinyGarble: Logic Synthesis and Sequential Descriptions for Yao's Garbled Circuits - View it on GitHub