the number of constraints that the circuit will produce and the power of tau ceremony are deeply related.
