Publicacions en col·laboració amb investigadors/es 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