def open_core

bend-collections-laws-crypto@1.0.0.0 · src/crypto/aes/gcm.bend:175

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/types.bend as T
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/aes.bend as A

175def open_core(+sched: A.Schedule, +n0: T.Quad, +n1: T.Quad, +n2: T.Quad, +aad: List<&2, U32>, +input: List<&2, U32>) -> Maybe<&2, List<&2, U32>>:
176  +n = List.length(&2, U32, input)
177  open_split(sched, n0, n1, n2, aad, input, n, Nat.is_lt(n, 16n))