Method get_tz21_ciphertext_and_commitment

proof_system/src/verifier.rs:1863–1876

Get the compressed ciphertext and commitment to needed to decrypt message encrypted using DKGitH protocol

(
        &self,
        index: usize,
    )

    /// Get the compressed ciphertext and commitment to needed to decrypt message encrypted using DKGitH protocol
    pub fn get_tz21_ciphertext_and_commitment<D: FullDigest + Digest>(
        &self,
        index: usize,
    ) -> Result<(dkgith_decls::Ciphertext<E::G1Affine>, E::G1Affine), ProofSystemError> {
        let st = self.statement_proof(index)?;
        if let StatementProof::VeTZ21(s) = st {
            let ve_proof = &s.ve_proof;
            // TODO: Make Shake256 a generic and ensure it matches the one used on proof generation
            let ct = ve_proof.compress::<{ dkgith_decls::SUBSET_SIZE }, D, Shake256>()?;
            Ok((ct, s.commitment))
        } else {
            Err(ProofSystemError::NotAVeTZ21StatementProof)
        }
    }

    /// Get the compressed ciphertext and commitment to needed to decrypt message encrypted using Robust DKGitH protocol
    pub fn get_tz21_robust_ciphertext_and_commitment<D: FullDigest + Digest>(