def big.go

bend-osdev-crypto@0.1.0.0 · check.bend:272

import Base
import bend-osdev-bytes@0.1.0.0/bytes.bend as B

272# a long message: n pseudo-random bytes
273def big.go(n: Nat, +x: U32, acc: List<&2, U32>) -> List<&2, U32>:
274  match n:
275    case 0n:
276      acc
277    case 1n+p:
278      big.go(p, U32.add(U32.mul(x, 1103515245), 12345), Con{B.byte(U32.shrn(x, 16n)), acc})