Les circuits surcontraints sont-ils un défi dans les circuits à connaissance zéro ? Qu’est-ce qui représente la plus grande menace : les circuits sous-contraints ou sur-contraints ? @IsilDillig le décompose.
410