Function compute_partial_checksum

fn compute_partial_checksum<#uint N, #uint O>(in: [uint<16>; N]) -> [uint<16>; O]
where
    O == N / 2,