TY  - RPRT
TI  - ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs
AU  - Dan Bogdanov
AU  - Joosep Jääger
AU  - Peeter Laud
AU  - Härmel Nestra
AU  - Martin Pettai
AU  - Jaak Randmets
AU  - Ville Sokk
AU  - Kert Tali
AU  - Sandhra-Mirella Valdma
PY  - 2022
UR  - https://arxiv.org/abs/2203.15448
ID  - 2203.15448
ER  -