Function u4_push_modulo_for_blake

bitvm/src/u4/u4_add_stack.rs:17–30

Pushes the table for calculating the modulo, i.e. x % 16 for x < 48. i.e. 15 (max u4) * 3 (max # numbers to sum) + 2 (max carry)

(stack: &mut StackTracker)

/// Pushes the table for calculating the modulo, i.e. x % 16 for x < 48. i.e. 15 (max u4) * 3 (max # numbers to sum) + 2 (max carry)
pub fn u4_push_modulo_for_blake(stack: &mut StackTracker) -> StackVariable {
    stack.custom(
        script! {
            for i in (0..48).rev() {
                { i % 16 }
            }
        },
        0,
        false,
        0,
        "",
    );
    stack.define(48, "modulo")
}

/// Pushes the table for calculating the quotient, i.e. floor(x / 16) for x < 48. i.e. 15 (max u4) * 3 (max # numbers to sum) + 2 (max carry)
pub fn u4_push_quotient_for_blake(stack: &mut StackTracker) -> StackVariable {