过度约束电路是否是零知识电路中的挑战？ 哪个构成更大的威胁：约束不足还是过度约束的电路？@IsilDillig分解了它。