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