fn snapp_proof_data<'a>(
witness: &'a ZkappCommandSegmentWitness<'_>,
) -> Option<(&'a PicklesProofProofsVerifiedMaxStableV2, VerificationKey)>
fn snapp_proof_data<'a>(
witness: &'a ZkappCommandSegmentWitness<'_>,
) -> Option<(&'a PicklesProofProofsVerifiedMaxStableV2, VerificationKey)>