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);
});
This is a helper library to read r1cs binary files defined here
const readR1cs = require("r1csfile").readR1cs
readR1cs("myfile.r1cs").then((r1cs) => {
console.log(r1cs);
});