MCPcopy Create free account
hub / github.com/docknetwork/crypto / verify_decryption_given_legogroth16_vk

Method verify_decryption_given_legogroth16_vk

saver/src/encryption.rs:541–552  ·  view source on GitHub ↗

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

Source from the content-addressed store, hash-verified

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(

Callers

nothing calls this directly

Calls 2

get_gs_for_encryptionFunction · 0.70
decomposeFunction · 0.70

Tested by

no test coverage detected