zekrom is an open-source library of arithmetization-oriented constructions for zkSNARK circuits. - View it on GitHub