diff --git a/ferveo/src/pvss.rs b/ferveo/src/pvss.rs index 5108f6b9..20e3b52a 100644 --- a/ferveo/src/pvss.rs +++ b/ferveo/src/pvss.rs @@ -267,7 +267,9 @@ pub fn do_verify_aggregation( return Err(Error::InvalidTranscriptAggregate); } - // Now, we verify that the aggregated PVSS transcript is a valid aggregation + // Now, we verify that the first element of the aggregated PVSS transcript + // (i.e. the final DKG public key) is actually the sum of the first element + // of all the transcripts let mut y = E::G1::zero(); for pvss in vss.values() { y += pvss.coeffs[0].into_group();