def steps

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/aes/ghash_defs.bend:25

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/aes/gcm.bend as I

25# The implementation's steps over a list of coefficients.
26def steps(cs: List<&2, Bool>, acc: I.Acc) -> I.Acc:
27  match cs:
28    case Nil{}:
29      acc
30    case c <> r:
31      steps(r, I.step(bit(c), acc))