Now that we have confirmation about exponents of the form $2^t+1$ in prime fields, we could potentially reduce the number of constraints in the joinsplit circuit.

• Small update to specs to mention the values specified there
• Update zeth circuits, contract code and python
• Update values for BW6-761 and MNT{4,6} in Zecale