Prototype code and helpers for the Zero-Knowledge Control-Flow Attestation (ZEKRA) protocol
control-flow-graph
zero-knowledge
privacy-enhancing-technologies
control-flow-integrity
zk-snarks
verifiable-computation
-
Updated
Dec 22, 2022 - Java