fn verify_forward_secure_key(
    public_key: &FsEncryptionPublicKey,
    pop: &FsEncryptionPop,
    associated_data: &[u8],
) -> Result<(), ()> {
    let crypto_public_key_with_pop = public_key_into_miracl((public_key, pop))?;
    if crypto_public_key_with_pop.verify(associated_data) {
        Ok(())
    } else {
        Err(())
    }
}
/// Verifies that a public key is a point on the curve and that the proof of
/// possession holds.
///
/// # Errors
/// * `Err(())` if
///   - Any of the components of `public_key` is not a correct group element.
///   - The proof of possession doesn't verify.
Verifies that a public key is a point on the curve and that the proof of
possession holds.
Verifies that a public key is a point on the curve and that the proof of possession holds .
fn verify_forward_secure_key(
    public_key: &FsEncryptionPublicKey,
    pop: &FsEncryptionPop,
    associated_data: &[u8],
) -> Result<(), ()> {
    let crypto_public_key_with_pop = public_key_into_miracl((public_key, pop))?;
    if crypto_public_key_with_pop.verify(associated_data) {
        Ok(())
    } else {
        Err(())
    }
}
fn verify_forward_secure_key ( public_key : & FsEncryptionPublicKey , pop : & FsEncryptionPop , associated_data : & [ u8 ] , ) -> Result < ( ) , ( ) > { let crypto_public_key_with_pop = public_key_into_miracl ( ( public_key , pop ) ) ? ; if crypto_public_key_with_pop . verify ( associated_data ) { Ok ( ( ) ) } else { Err ( ( ) ) } }
Verifies that a public key is a point on the curve and that the proof of
possession holds.
Verifies that a public key is a point on the curve and that the proof of possession holds .
public_key
&FsEncryptionPublicKey
pop
&FsEncryptionPop
associated_data
&[u8]
public_key
&FsEncryptionPublicKey
pop
&FsEncryptionPop
associated_data
&[u8]
errors
`Err(())` if
Any of the components of `public_key` is not a correct group element.
The proof of possession doesn't verify.
` Err (( )) ` if Any of the components of ` public_key ` is not a correct group element . The proof of possession doesn ' t verify .