pub fn assert_trailing_zeros<let N: u32>(input: [Field; N], in_len: u32)
Asserts that all fields in input after the first in_len fields are zero.
input
in_len
Asserts that all fields in
inputafter the firstin_lenfields are zero.