Synthesizing free-xor-compatible garbled circuit constructions via Linicrypt - View it on GitHub