A circuit obfuscator is an algorithm that translates logic circuits into functionally-equivalent similarly-sized logic circuits that are hard to understand. While ad hoc obfuscators exist, theoretical progress has mainly been limited to no-go results. In this work, we propose a new notion of circuit obfuscation, which we call partial-indistinguishability. We then prove that, in contrast to previous definitions of obfuscation, partial-indistinguishability obfuscation can be achieved by a polynomial-time algorithm. Specifically, our algorithm re-compiles the given circuit using a gate that satisfies the relations of the braid group, and then reduces to a braid normal form. A variant of our obfuscation algorithm can also be applied to quantum circuits.
CITATION STYLE
Jacobson, S., Marcus, E. M., & Pugsley, S. (2018). Higher Cortical Functions. In Neuroanatomy for the Neuroscientist (pp. 531–553). Springer International Publishing. https://doi.org/10.1007/978-3-319-60187-8_17
Mendeley helps you to discover research relevant for your work.