Nebra contributed the following description of UPA circuits circuitId hash function change:

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 August 8th to August 12th, 2024. During this engagement, Zellic reviewed the scope's code for security vulnerabilities, design issues, and general weaknesses in security posture.