Publicacións en colaboración con investigadores/as de Harvard University (1)

2023

  1. Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs

    Proceedings of the ACM on Programming Languages, Vol. 7