pub fn alt_bn128_addition(
    input: &[u8]
) -> Result<Vec<u8, Global>, AltBn128Error>