Circuitree: A Datalog Reasoner in Zero-Knowledge

Circuitree: A Datalog Reasoner in Zero-Knowledge

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 without disclosing any further information. As ZKPs are rather complex to design, frameworks that transform high-l...

Full description

Bibliographic Details
Main Authors: Tom Godden, Ruben De Smet, Christophe Debruyne, Thibaut Vandervelden, Kris Steenhaut, An Braeken
Format: Article
Language:English
Published: IEEE 2022-01-01
Series:IEEE Access
Subjects:
Access control
bulletproofs
datalog
privacy
zero-knowledge proof
security
Online Access:https://ieeexplore.ieee.org/document/9718332/

Internet

https://ieeexplore.ieee.org/document/9718332/

Similar Items