Nebra contributed the following description of Universal Proof Aggregator:

NEBRA’s Universal Proof Aggregator (UPA) v1.0.0 reduces the on-chain verification costs of Groth16 proofs by aggregating them into a single proof.

Zellic conducted a security assessment for Nebra from April 15th to May 3rd, 2024. During this engagement, Zellic reviewed Universal Proof Aggregator's code for security vulnerabilities, design issues, and general weaknesses in security posture.