NEBRA is a research and development organization building zero-knowledge-proof infrastructure. Its Universal Proof Aggregation (UPA) technology aggregates proofs from different circuits and proof systems to reduce on-chain verification costs and support applications across Ethereum and other blockchains.