all InfoSec news
ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs. (arXiv:2203.15448v2 [cs.PL] UPDATED)
Aug. 29, 2022, 1:24 a.m. | Dan Bogdanov (1), Joosep Jääger (1), Peeter Laud (1), Härmel Nestra (1), Martin Pettai (1), Jaak Randmets (1), Ville Sokk (1), Kert Tal
cs.CR updates on arXiv.org arxiv.org
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 …
More from arxiv.org / cs.CR updates on arXiv.org
Jobs in InfoSec / Cybersecurity
SOC 2 Manager, Audit and Certification
@ Deloitte | US and CA Multiple Locations
Information Security Engineers
@ D. E. Shaw Research | New York City
Werkstudent (w/m/d) - Cyber Security
@ IONOS | Karlsruhe, Germany
Security Operations Manager
@ BambooHR | Utah | Hybrid
Senior Risk and Compliance Analyst
@ Cricket.com | Hyderabad
Cyber Security Architect
@ Lilium | Munich