<https://ontology.pflow.xyz/term/zero-knowledge-proof> <http://purl.org/dc/terms/source> "book-pflow-xyz/chapters/appendix-d-glossary.md" .
<https://ontology.pflow.xyz/term/zero-knowledge-proof> <http://www.w3.org/1999/02/22-rdf-syntax-ns#type> <http://www.w3.org/2004/02/skos/core#Concept> .
<https://ontology.pflow.xyz/term/zero-knowledge-proof> <http://www.w3.org/2004/02/skos/core#definition> "A cryptographic protocol where a prover convinces a verifier that a statement is true without revealing any information beyond the truth of the statement. In pflow, ZK proofs verify that a Petri net transition was validly fired without revealing the marking (Chapter 12)."@en .
<https://ontology.pflow.xyz/term/zero-knowledge-proof> <http://www.w3.org/2004/02/skos/core#inScheme> <https://ontology.pflow.xyz/term/scheme/core> .
<https://ontology.pflow.xyz/term/zero-knowledge-proof> <http://www.w3.org/2004/02/skos/core#prefLabel> "Zero-knowledge proof"@en .
<https://ontology.pflow.xyz/term/zero-knowledge-proof> <https://ontology.pflow.xyz/ns#coveredInChapter> "12"^^<http://www.w3.org/2001/XMLSchema#integer> .