pub fn build_verification_program(
vparams: VerificationDataWithFriParams<BabyBearPoseidon2Config>,
compiler_options: CompilerOptions,
) -> (Program<BabyBear>, Vec<Vec<InnerVal>>)
pub fn build_verification_program(
vparams: VerificationDataWithFriParams<BabyBearPoseidon2Config>,
compiler_options: CompilerOptions,
) -> (Program<BabyBear>, Vec<Vec<InnerVal>>)