ZEKRO: Zero-Knowledge Proof of Integrity Conformance

Heini Bergsson Debes, Thanassis Giannetsos

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


In the race toward next-generation systems of systems, the adoption of edge and cloud computing is escalating to deliver the underpinning end-to-end services. To safeguard the increasing attack landscape, remote attestation lets a verifier reason about the state of an untrusted remote prover. However, for most schemes, verifiability is only established under the omniscient and trusted verifier assumption, where a verifier knows the prover’s trusted states, and the prover must reveal evidence about its current state. This assumption severely challenges upscaling, inherently limits eligible verifiers, and naturally prohibits adoption in public-facing security-critical networks. To meet current zero trust paradigms, we propose a general ZEro-Knowledge pRoof of cOnformance (ZEKRO) scheme, which considers mutually distrusting participants and enables a prover to convince an untrusted verifier about its state’s correctness in zero-knowledge, i.e., without revealing anything about its state.
Original languageEnglish
Title of host publicationProceedings of the 17th International Conference on Availability, Reliability and Security
Number of pages10
PublisherAssociation for Computing Machinery
Publication date2022
ISBN (Print)978-1-4503-9670-7
Publication statusPublished - 2022
Event17th International Conference on Availability, Reliability and Security - Vienna , Austria
Duration: 23 Aug 202226 Aug 2022


Conference17th International Conference on Availability, Reliability and Security


Dive into the research topics of 'ZEKRO: Zero-Knowledge Proof of Integrity Conformance'. Together they form a unique fingerprint.

Cite this