Implementation of zero-knowledge proof circuits for Tendermint. - View it on GitHub