ZK-SecreC: a Domain-Specific Language for Zero Knowledge Proofs. - Dan Bogdanov; Joosep Jääger; Peeter Laud; Härmel Nestra; Martin Pettai; Jaak Randmets; Ville Sokk; Kert Tali; Sandhra-Mirella Valdma (CoRR, 2022)

ZK-SecreC: a Domain-Specific Language for Zero-Knowledge Proofs. - Dan Bogdanov; Joosep Jääger; Peeter Laud; Härmel Nestra; Martin Pettai; Jaak Randmets; Raul-Martin Rebane; Ville Sokk; Kert Tali; Sandhra-Mirella Valdma (CSF, 2024)