| Title | Pythia: Intellectual Property Verification in Zero-Knowledge |
| Publication Type | Conference Paper |
| Year of Publication | 2020 |
| Authors | Mouris, Dimitris, Georgios Tsoutsos, Nektarios |
| Conference Name | 2020 57th ACM/IEEE Design Automation Conference (DAC) |
| Keywords | composability, cryptography, Hardware design languages, hardware security, Indexes, integrated circuits, intellectual property security, intellectual property verification, IP networks, IP theft, Logic gates, policy-based governance, pubcrawl, Resiliency, Transforms, trustworthy hardware, zero-knowledge proofs |
| Abstract | The contemporary IC supply chain depends heavily on third-party intellectual property (3PIP) that is integrated to in-house designs. As the correctness of such 3PIPs should be verified before integration, one important challenge for 3PIP vendors is proving the functionality of their designs while protecting the privacy of circuit implementations. In this work, we present Pythia that employs zero-knowledge proofs to enable vendors convince integrators about the functionality of a circuit without disclosing its netlist. Pythia automatically encodes netlists into zero knowledge-friendly format, evaluates them on different inputs, and proves correctness of outputs. We evaluate Pythia using the ISCAS'85 benchmark suite. |
| DOI | 10.1109/DAC18072.2020.9218639 |
| Citation Key | mouris_pythia_2020 |
Pythia: Intellectual Property Verification in Zero-Knowledge