Hyperproofs Please see: hyperproofs-go: Contains the vector commitment scheme. Uses the following projects: kzg-go for KZG commitments gipa-go for proof aggregation go-mcl for elliptic curve operations bellman-bignat: Contains the scripts that compute the proving and verification time of SNARKs based Merkle-proof aggregation.