Driven by the increased consciousness in data ownership and privacy, zero-knowledge proofs(ZKPs) have become a popular tool to convince a third party of the truthfulness of a statement withoutdisclosing any further information. As ZKPs are rather complex to design, frameworks that transform high-level languages into ZKPs have been proposed.We propose Circuitree, a Datalog reasoner in zero-knowledge. Datalog is a high-level declarative logiclanguage that is generally used for querying. Furthermore, as a logic language, it can also be used to solvelogic problems. An application using Circuitree can efficiently generate ZKPs, based on Datalog rules andencrypted data, to prove that a certain conclusion follows from a Datalog ruleset and encrypted input data.Compared to existing frameworks, which generally use their own limited imperative languages, Circuitreeuses an existing high-level declarative language.We point out several applications for Circuitree, including EU Digital COVID Certificates and privacy-preserving access control for peer-to-peer (p2p) networks. Circuitree{\textquoteright}s performance is evaluated for accesscontrol in a p2p network. First results show that our approach allows for fast proofs and proof verificationfor this application.
Godden, T, De Smet, R, Debruyne, C, Vandervelden, T, Steenhaut, K & Braeken, A 2022, 'Circuitree: a Datalog Reasoner in Zero-Knowledge', IEEE Access, vol. 10, pp. 21384-21396. https://doi.org/10.1109/ACCESS.2022.3153366
Godden, T., De Smet, R., Debruyne, C., Vandervelden, T., Steenhaut, K., & Braeken, A. (2022). Circuitree: a Datalog Reasoner in Zero-Knowledge. IEEE Access, 10, 21384-21396. https://doi.org/10.1109/ACCESS.2022.3153366
@article{f1be2462792346babed910a194424fae,
title = "Circuitree: a Datalog Reasoner in Zero-Knowledge",
abstract = "Driven by the increased consciousness in data ownership and privacy, zero-knowledge proofs(ZKPs) have become a popular tool to convince a third party of the truthfulness of a statement withoutdisclosing any further information. As ZKPs are rather complex to design, frameworks that transform high-level languages into ZKPs have been proposed.We propose Circuitree, a Datalog reasoner in zero-knowledge. Datalog is a high-level declarative logiclanguage that is generally used for querying. Furthermore, as a logic language, it can also be used to solvelogic problems. An application using Circuitree can efficiently generate ZKPs, based on Datalog rules andencrypted data, to prove that a certain conclusion follows from a Datalog ruleset and encrypted input data.Compared to existing frameworks, which generally use their own limited imperative languages, Circuitreeuses an existing high-level declarative language.We point out several applications for Circuitree, including EU Digital COVID Certificates and privacy-preserving access control for peer-to-peer (p2p) networks. Circuitree{\textquoteright}s performance is evaluated for accesscontrol in a p2p network. First results show that our approach allows for fast proofs and proof verificationfor this application.",
keywords = "Access control, Bulletproofs, datalog, privacy, zero-knowledge proof, security, Identity Management, verifiable computation, Block chain, privacy-enhancing technologies",
author = "Tom Godden and {De Smet}, Ruben and Christophe Debruyne and Thibaut Vandervelden and Kris Steenhaut and An Braeken",
year = "2022",
month = feb,
day = "22",
doi = "10.1109/ACCESS.2022.3153366",
language = "English",
volume = "10",
pages = "21384--21396",
journal = "IEEE Access",
issn = "2169-3536",
publisher = "IEEE",
}