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

  1. Pailoor, S.
  2. Chen, Y.
  3. Wang, F.
  4. Rodríguez, C.
  5. Van Geffen, J.
  6. Morton, J.
  7. Chu, M.
  8. Gu, B.
  9. Feng, Y.
  10. Dillig, I.
Aldizkaria:
Proceedings of the ACM on Programming Languages

ISSN: 2475-1421

Argitalpen urtea: 2023

Alea: 7

Mota: Artikulua

DOI: 10.1145/3591282 GOOGLE SCHOLAR lock_openSarbide irekia editor
Datuen iturria: Scopus