pub fn poly1305_encode_last(pad_len: BlockIndex, b: &SubBlock) -> FieldElement