pub fn validate_system_witness_with_prove_verify<U>(
cs: &ConstraintSystem<B128>,
witness: WitnessIndex<'_, '_, PackedType<U, B128>>,
boundaries: Vec<Boundary<B128>>,
prove_verify: bool,
)where
U: UnderlierType + PackScalar<B1> + PackScalar<B8> + PackScalar<B16> + PackScalar<B32> + PackScalar<B64> + PackScalar<B128> + PackScalar<BinaryField128bPolyval>,
PackedType<U, B128>: PackedFieldIndexable + PackedTransformationFactory<PackedType<U, BinaryField128bPolyval>>,
PackedType<U, BinaryField128bPolyval>: PackedTransformationFactory<PackedType<U, B128>>,