| 1848 | } |
| 1849 | |
| 1850 | pub fn get_legogroth16_proof( |
| 1851 | &self, |
| 1852 | index: usize, |
| 1853 | ) -> Result<&legogroth16::Proof<E>, ProofSystemError> { |
| 1854 | let st = self.statement_proof(index)?; |
| 1855 | match st { |
| 1856 | StatementProof::BoundCheckLegoGroth16(s) => Ok(&s.snark_proof), |
| 1857 | StatementProof::R1CSLegoGroth16(s) => Ok(&s.snark_proof), |
| 1858 | _ => Err(ProofSystemError::NotALegoGroth16StatementProof), |
| 1859 | } |
| 1860 | } |
| 1861 | |
| 1862 | /// Get the compressed ciphertext and commitment to needed to decrypt message encrypted using DKGitH protocol |
| 1863 | pub fn get_tz21_ciphertext_and_commitment<D: FullDigest + Digest>( |