Function powersoftau::verify_transform

pub fn verify_transform(
    before: &Accumulator, 
    after: &Accumulator, 
    key: &PublicKey, 
    digest: &[u8]
) -> bool

Verifies a transformation of the Accumulator with the PublicKey, given a 64-byte transcript digest.