Sunt circuitele supra-constrânse o provocare în circuitele zero-knowledge? Care reprezintă o amenințare mai mare: circuitele subconstrânse sau supra-constrânse? @IsilDillig o descompune.
358