def ad.sq.ka
import bend-osdev-aead@0.1.0.0/seqiv.bend as Seqivimport Base
34def ad.sq.ka(~KA: Data, k: AdSeqivKey<KA>) -> KA:
35 match k:
36 case AdSeqivKey{ka, salt}:
37 ka
import bend-osdev-aead@0.1.0.0/seqiv.bend as Seqivimport Base
34def ad.sq.ka(~KA: Data, k: AdSeqivKey<KA>) -> KA:
35 match k:
36 case AdSeqivKey{ka, salt}:
37 ka