Skip to content

Commit

Permalink
Fix verification vector allocation
Browse files Browse the repository at this point in the history
  • Loading branch information
AaronFeickert committed Mar 22, 2024
1 parent 2cdb1c6 commit e98c88d
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/range_proof.rs
Original file line number Diff line number Diff line change
Expand Up @@ -778,7 +778,7 @@ where
let mut msm_dynamic_len = extension_degree.checked_add(1).ok_or(ProofError::SizeOverflow)?;
for (statement, proof) in statements.iter().zip(range_proofs.iter()) {
msm_dynamic_len = msm_dynamic_len
.checked_add(statement.generators.aggregation_factor())
.checked_add(statement.commitments.len())
.ok_or(ProofError::SizeOverflow)?;
msm_dynamic_len = msm_dynamic_len.checked_add(3).ok_or(ProofError::SizeOverflow)?;
msm_dynamic_len = msm_dynamic_len
Expand Down

0 comments on commit e98c88d

Please sign in to comment.