REVIEW 1 cited by
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
Signed reviews
read the original abstract
We present ZK-SecreC, a domain-specific language for zero-knowledge proofs. We present the rationale for its design, its syntax and semantics, and demonstrate its usefulness on the basis of a number of non-trivial examples. The design features a type system, where each piece of data is assigned both a confidentiality and an integrity type, which are not orthogonal to each other. We perform an empiric evaluation of the statements produced by its compiler in terms of their size. We also show the integration of the compiler with the implementation of a zero-knowledge proof technique, and evaluate the running time of both Prover and Verifier.
Forward citations
Cited by 1 Pith paper
-
Zero-Knowledge Proof-of-Location Protocols for Vehicle Subsidies and Taxation Compliance
ZK-PoL protocols let vehicle owners prove subsidy eligibility or tax brackets from signed GPS trails without revealing the coordinates.
Discussion (0). Continue with ORCID to comment.