¿Son los circuitos sobrerestringidos un desafío en los circuitos de conocimiento cero? ¿Qué representa una amenaza mayor: circuitos con restricciones insuficientes o excesivas? @IsilDillig lo desglosa.
380