1. We are more than excited to announce NEBRA UPA, the first Universal Proof Aggregation protocol in production. NEBRA UPA brings 10x plus gas cost reduction and composability for zero-knowledge proof verification.

2. We are a group of researchers, engineers, and entrepreneurs who believe that blockchain is the technology for global scale coordination, and (zero-knowledge) proofs will be the final form of the settlement onchain. see our vision and identity article:

The Shared Settlement Layer (SSL) for the new internet

2. We are a group of researchers, engineers, and entrepreneurs who believe that blockchain is the technology for global scale coordination, and (zero-knowledge) proofs will be the final form of the settlement onchain. see our vision and identity article: https://nebra.one/blog/post1

3. NEBRA UPA is our first product: it uses recursive SNARKs (a.k.a proof aggregation) to effectively scale zero-knowledge proof verification on Ethereum/EVM chains. Using NEBRA UPA, proof verification cost can get more than 10x reduction (an average Groth16 verify costs 250K).

5. UPA is performant. In December, 2023, we did a stress test of UPA: NEBRA UPA aggregated 1,000,000 proofs within 36 hours. This corresponds to a 10 proofs/second throughput. And the average latency of verifying a proof is around 2 mins.

5. UPA is performant. In December, 2023, we did a stress test of UPA: NEBRA UPA aggregated 1,000,000 proofs within 36 hours. This corresponds to a 10 proofs/second throughput. And the average latency of verifying a proof is around 2 mins. https://sepolia.etherscan.io/address/0x98D2c8A4FDDC1bdCbC8A059081Bf1918316CAB6B

6. NEBRA UPA is a permissionless protocol and leverages the same force-inclusion designs similar to Layer 2s so that we cannot censor your proofs.  Details of the specs and the censorship resistant property can be found at

6. NEBRA UPA is a permissionless protocol and leverages the same force-inclusion designs similar to Layer 2s so that we cannot censor your proofs.  Details of the specs and the censorship resistant property can be found at https://docs.nebra.one/upa-protocol-specification#censorship-resistance

7. NEBRA UPA will be open sourced at MIT/BSD licenses once the security audit is finished. We have been working closely with ABDK Consulting and Zellic for the audits.

8. Meanwhile, NEBRA is standing on the shoulders of giants, we leverage open source contributions from Zcash Foundation, PSE, @scrollzkp, @taikoxyz, and Axiom on the Halo2 proof system that is powering NEBRA UPA.

9. - NEBRA Testnet: https://demo.nebra.one
    - NEBRA Docs: https://docs.nebra.one
    - NEBRA UPA Specs: https://docs.nebra.one/upa-protocol-specification
    - NEBRA Proof Explorer: https://nebrascan.io
We will write a technology deep dive on how NEBRA UPA works internally soon.

4. This is achieved without adding additional trust assumptions, such as trusting hardware vendors (i.e. TEE), or trusting a small set of signers.  NEBRA UPA's security is purely backed by 1 million Ethereum validators and cryptographic security (i.e. Math).