Assessment reports>Gnark support in Universal Proof Aggregation circuits>Informational findings>Deprecated ,public_input_pair, function diverged from specification
Category: Code Maturity

Deprecated public_input_pair function diverged from specification

Informational Severity
Informational Impact
N/A Likelihood

Description

In circuits/src/batch_verify/universal/chip.rs, the UniversalBatchVerifierChip::public_input_pair function is an older unused function implementing step 4 of the specification, having been replaced by UniversalBatchVerifierChip::compute_pi_pairs. The implementation of public_input_pair is not functionally equivalent to the current specification anymore, however.

Impact

There is no impact in the current code base, as the function is not used. The documentation comment for the function claims that it implements step 4 of the specification, which is not the case however and could lead to confusion in the future.

Recommendations

We recommend to remove this dead code or to update the documentation comments above the function, which currently claim that this function performs step 4 of the specification.

Remediation

This issue has been acknowledged by Nebra, and a fix was implemented in commit 3af8a51e.

Zellic © 2025Back to top ↑