Function assert_zeros 

pub fn assert_zeros<AB, const N: usize>(
    builder: &mut AB,
    array: [impl Into<AB::Expr>; N],
)
where
    AB: AirBuilder,