Method get_saver_ciphertext_and_proof

proof_system/src/verifier.rs:1838–1848

(
        &self,
        index: usize,
    )

    }

    pub fn get_saver_ciphertext_and_proof(
        &self,
        index: usize,
    ) -> Result<(&Ciphertext<E>, &ark_groth16::Proof<E>), ProofSystemError> {
        let st = self.statement_proof(index)?;
        if let StatementProof::Saver(s) = st {
            Ok((&s.ciphertext, &s.snark_proof))
        } else {
            Err(ProofSystemError::NotASaverStatementProof)
        }
    }

    pub fn get_legogroth16_proof(
        &self,