ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs

Authors: Bogdanov, Dan, Jaager, Joosep, Laud, Peeter, Nestra, Harmel, Pettai, Martin, Randmets, Jaak, Rebane, Raul-Martin, Sokk, Ville, Tali, Kert, Valdma, Sandhra-Mirella

Source: 2024 IEEE 37th Computer Security Foundations Symposium (CSF) CSF Computer Security Foundations Symposium (CSF), 2024 IEEE 37th. :372-387 Jul, 2024

Relation: 2024 IEEE 37th Computer Security Foundations Symposium (CSF)