Os circuitos superrestritos são um desafio em circuitos de conhecimento zero? O que representa uma ameaça maior: circuitos sub-restritos ou super-restritos? @IsilDillig o decompõe.
377