github
website
twitter
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 zero-knowledge proof mechanism for Ethereum block verification.