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