def mul_byte

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

import Base

47# The eight bits of a byte, the most significant first.
48def mul_byte(+a: U32, acc: Acc) -> Acc:
49  step(U32.and(1, a), step(U32.and(1, U32.shrn(a, 1n)), step(U32.and(1, U32.shrn(a, 2n)),
50    step(U32.and(1, U32.shrn(a, 3n)), step(U32.and(1, U32.shrn(a, 4n)),
51    step(U32.and(1, U32.shrn(a, 5n)), step(U32.and(1, U32.shrn(a, 6n)),
52    step(U32.and(1, U32.shrn(a, 7n)), acc))))))))