def poly

bend-collections-laws-crypto@1.0.0.0 · spec/crypto/poly1305.bend:139

import Base

139def poly(+bs: List<&2, List<&2, U32>>, +r: Nat) -> Nat:
140  match bs:
141    case Nil{}: 0n
142    case b <> rest: Nat.add(Nat.mul(coeff(b), Nat.pow(r, 1n+List.length(&2, List<&2, U32>, rest))), poly(rest, r))