Same as `Self::verify_decryption` but takes LegoGroth16's verification key instead of the generators used for Elgamal encryption
(
messages: &[CHUNK_TYPE],
c_0: &E::G1Affine,
c: &[E::G1Affine],
nu: &E::G1Affine,
dk: impl Into<PreparedDecryptionKey<E>>,
snark_vk: &legogroth16::Veri
| 539 | |
| 540 | /// Same as `Self::verify_decryption` but takes LegoGroth16's verification key instead of the generators used for Elgamal encryption |
| 541 | pub fn verify_decryption_given_legogroth16_vk( |
| 542 | messages: &[CHUNK_TYPE], |
| 543 | c_0: &E::G1Affine, |
| 544 | c: &[E::G1Affine], |
| 545 | nu: &E::G1Affine, |
| 546 | dk: impl Into<PreparedDecryptionKey<E>>, |
| 547 | snark_vk: &legogroth16::VerifyingKey<E>, |
| 548 | gens: impl Into<PreparedEncryptionGens<E>>, |
| 549 | ) -> crate::Result<()> { |
| 550 | let g_i = saver_legogroth16::get_gs_for_encryption(snark_vk); |
| 551 | Self::verify_decryption(messages, c_0, c, nu, dk, g_i, gens) |
| 552 | } |
| 553 | |
| 554 | /// Decrypt the ciphertext and return each chunk and "commitment" to the randomness |
| 555 | pub fn decrypt_to_chunks( |
nothing calls this directly
no test coverage detected