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