NEBRA is building a proof aggregation service on Ethereum that uses a general ZK-ZK proof aggregation structure to aggregate ZKPs for various applications, including but not limited to privacy-preserving identity, storage proofs, ZKML, and zkEVM proofs.