CLARA
RODRÍGUEZ NÚÑEZ
Predoctoral FPI
![Foto de CLARA](/img/nophoto.png)
![Foto de Harvard University](/img/noimage_org.png)
Harvard University
Cambridge, Estados UnidosPublications en collaboration avec des chercheurs de Harvard University (1)
2023
-
Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs
Proceedings of the ACM on Programming Languages, Vol. 7