pub fn prepare_verifying_key<E: PairingEngine>(
    vk: VerifyingKey<E>
) -> PreparedVerifyingKey<E>