diff --git a/ferveo-tdec/src/decryption.rs b/ferveo-tdec/src/decryption.rs index 7c199fde..a86cd829 100644 --- a/ferveo-tdec/src/decryption.rs +++ b/ferveo-tdec/src/decryption.rs @@ -50,7 +50,7 @@ impl ValidatorShareChecksum { return false; } - // TODO: use multipairing here (h_inv) + // TODO: use multipairing here (h_inv) - Issue #192 // e(C_i, ek_i) == e(U, H) if E::pairing(self.checksum, *validator_public_key) != E::pairing(ciphertext.commitment, *h) diff --git a/ferveo/src/pvss.rs b/ferveo/src/pvss.rs index 877f5108..833f43ef 100644 --- a/ferveo/src/pvss.rs +++ b/ferveo/src/pvss.rs @@ -208,6 +208,7 @@ impl PubliclyVerifiableSS { pvss_params.g, self.sigma, // h^s ) + // TODO: multipairing? - Issue #192 } /// Part of checking the validity of an aggregated PVSS transcript @@ -260,7 +261,7 @@ pub fn do_verify_full( // We verify that e(G, Y_i) = e(A_i, ek_i) for validator i // See #4 in 4.2.3 section of https://eprint.iacr.org/2022/898.pdf // e(G,Y) = e(A, ek) - // TODO: consider using multipairing + // TODO: consider using multipairing - Issue #192 let is_valid = E::pairing(pvss_params.g, *y_i) == E::pairing(a_i, ek_i); if !is_valid { return Ok(false);