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.