Document changes in data structures (CRS etc) #2
Description
In the Zeth code base (on the develop branch), elements of the verification key are negated to save point negation on the contracts. It is worth documenting such changes in the specs, maybe somewhere in the "implementation" section.