pub fn format_proof_for_solidity(proof: &[u8]) -> Bytes
No-op for UltraHonk proofs – BB already outputs the correct format.
UltraHonk