In the description of r1cs binary file format, the description of "Number of Labels" is unclear, because it is a verbatim copy of the description of "Number of private inputs".
Also, while at it, there is a typo in the description of the fields "Number of public outputs", "Number of public inputs", "Number of private inputs" and "Number of Labels", were the word "wire" is used twice. E.g., it reads:
Total Number of wires public output wires.
while it should read:
Total Number of public output wires.
In the description of r1cs binary file format, the description of "Number of Labels" is unclear, because it is a verbatim copy of the description of "Number of private inputs".
Also, while at it, there is a typo in the description of the fields "Number of public outputs", "Number of public inputs", "Number of private inputs" and "Number of Labels", were the word "wire" is used twice. E.g., it reads:
while it should read: