Visible to the public Pythia: Intellectual Property Verification in Zero-Knowledge

TitlePythia: Intellectual Property Verification in Zero-Knowledge
Publication TypeConference Paper
Year of Publication2020
AuthorsMouris, Dimitris, Georgios Tsoutsos, Nektarios
Conference Name2020 57th ACM/IEEE Design Automation Conference (DAC)
Keywordscomposability, 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
AbstractThe 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.
Citation Keymouris_pythia_2020