def pow2mod

bend-collections-laws-crypto@1.0.0.0 · spec/math/random/rand.bend:45

import Base

45def pow2mod(w: Nat, +n: Nat) -> Nat:
46  match w:
47    case 0n:
48      Nat.mod(1n, n)
49    case 1n+k:
50      Nat.mod(Nat.double(pow2mod(k, n)), n)