def rounds

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

import Base

137def rounds(k: Nat, +c: List<&2, Nat>, xs: List<&2, Nat>) -> List<&2, Nat>:
138  match k:
139    case 0n: xs
140    case 1n+j: rounds(j, c, carry(32n, fold(c, xs), 0n))