2 citations · 2 across the 2 of their papers we have counts for
1 paper · 2 filters
Dan Bogdanov, Joosep Jääger, Peeter Laud +6
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…