def random_bytes

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1.bend:53

import Base

53def random_bytes(n: Nat, acc: List<&2, U32>) -> IO(List<&2, U32>):
54  match n:
55    case 0n:
56      IO.pure(List<&2, U32>, acc)
57    case 1n+m:
58      do IO<List<&2, U32>>:
59        w : U32 <- IO.try(U32, IO.random_u32())
60        rest : List<&2, U32> <- random_bytes(m, acc)
61        return word_bytes(w, rest)