def mac_data

bend-collections-laws-crypto@1.0.0.0 · src/crypto/aead/chacha20poly1305.bend:34

import Base

34def mac_data(+aad: List<&2, U32>, +ct: List<&2, U32>) -> List<&2, U32>:
35  List.append(&2, U32, aad, List.append(&2, U32, pad16(aad), List.append(&2, U32, ct,
36    List.append(&2, U32, pad16(ct), List.append(&2, U32, le8(8n, List.length(&2, U32, aad)), le8(8n, List.length(&2, U32, ct)))))))