pub(crate) fn assert_root_public_values_valid<C, H>(
    builder: &mut Builder<C>,
    public_values: &RootPublicValues<Felt<C::F>>,
) where
    C: CircuitConfig,
    H: Posedion2BabyBearHasherVariable<C>,
{
    let expected_digest = root_public_values_digest::<C, H>(builder, &public_values.inner);
    for (value, expected) in public_values.inner.digest.iter().copied().zip_eq(expected_digest) {
        builder.assert_felt_eq(value, expected);
    }
}
Assert that the digest of the root public values is correct.
crates/recursion/circuit/src/machine/public_values.rs