NEBRA is building the first proof aggregation service on Ethereum, which uses Universal ZK-ZK Proof Aggregation construction to aggregate ZKPs for all kinds of applications, including but not limited to privacy preserving identities, storage proofs, ZKML, zkEVM proofs.