r1csfile

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);
});