def key_size
import bend-collections@1.0.0.0/src/crypto/aead.bend as Aeadimport Base
43def key_size(alg: Alg) -> Nat:
44 match alg:
45 case CHACHA20_POLY1305{}: 32n
46 case XCHACHA20_POLY1305{}: 32n
47 case AES_128_GCM{}: 16n
48 case AES_256_GCM{}: 32n