Are over-constrained circuits a challenge in zero-knowledge circuits? Which poses a bigger threat: under-constrained or over-constrained circuits? @IsilDillig breaks it down.
351