def big.go

bend-osdev-legacy-ciphers@0.1.0.0 · check.bend:172

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

172# n bytes, byte i = 7i + 3 (mod 256)
173def big.go(n: Nat, +i: U32, acc: List<&2, U32>) -> List<&2, U32>:
174  match n:
175    case 0n:
176      B.rev(acc)
177    case 1n+p:
178      big.go(p, U32.add(i, 1), Con{U32.and(255, U32.add(U32.mul(i, 7), 3)), acc})