Method get_tz21_robust_ciphertext_and_commitment

proof_system/src/verifier.rs:1879–1891

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

(
        &self,
        index: usize,
    )

    /// 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>(
        &self,
        index: usize,
    ) -> Result<(rdkgith_decls::Ciphertext<E::G1Affine>, E::G1Affine), ProofSystemError> {
        let st = self.statement_proof(index)?;
        if let StatementProof::VeTZ21Robust(s) = st {
            let ve_proof = &s.ve_proof;
            let ct = ve_proof.compress::<{ rdkgith_decls::SUBSET_SIZE }, D>()?;
            Ok((ct, s.commitment))
        } else {
            Err(ProofSystemError::NotAVeTZ21StatementProof)
        }
    }

    /*/// Used to check if response (from Schnorr protocol) for a witness is equal to other witnesses that
    /// it must be equal to. This is required when the `ProofSpec` demands certain witnesses to be equal.