This repository contains the synthesis library (from the original TinyGarble [1]) and the Verilog source code for the program interface of the TinyGarble2 framework. It also contains a set of Benchamrks functions used to evaluate TinyGarble2 for correctness or performance. In addition, it provides the parser to convert the synthesized netlist to the circuit format readable by TintGarble2. The repository can also be used to generate custom netlists for TinyGarble2.
[1] Ebrahim M. Songhori, Siam U. Hussain, Ahmad-Reza Sadeghi, Thomas Schneider and Farinaz Koushanfar, "TinyGarble: Highly Compressed and Scalable Sequential Garbled Circuits." Security and Privacy, 2015 IEEE Symposium on May, 2015.