GitHub repository: succinctlabs/tendermintx
Primary language: Rust
Description: Implementation of zero-knowledge proof circuits for Tendermint.