Permutation Circuit Synthesis via Embedded Languages and Recursion
The ability to synthesize logical circuits as data structures (without any intention of implementing such circuits as hardware) is becoming increasingly relevant as technologies such as garbled circuit protocols and…