Function verify_impl 

fn verify_impl<AppState>(
    app_state: &AppState,
    proof: &PicklesProofProofsVerified2ReprStableV2,
    vk: &VK<'_>,
) -> Result<bool>
where
    AppState: ToFieldElements<Fp>,