pub(super) fn dump_tx_verification( txs: &[(&Statement<SokDigest>, &PicklesProofProofsVerified2ReprStableV2, &VK<'_>)], )