R1CS Binary File Format This is a helper library to read r1cs binary files defined here Usage const readR1cs = require("r1csfile").readR1cs readR1cs("myfile.r1cs").then((r1cs) => { console.log(r1cs); });