github
PSE-Halo2 is a re-architected, KZG-backended fork of Zcash's Halo2, an instantiation of PLONK, with support for more curves and other features.
A modern ZKP language and compiler for plonkish and AIR arithmetizations