def conv

bend-collections-laws-crypto@1.0.0.0 · src/crypto/curve25519/field.bend:46

import Base

46# the product polynomial: conv(x :: xs, ys) = x ys + 2^8 conv(xs, ys)
47def conv(xs: List<&2, U32>, +ys: List<&2, U32>) -> List<&2, U32>:
48  match xs:
49    case Nil{}:
50      Nil{}
51    case Con{x, xt}:
52      addl(scal(x, ys), Con{0, conv(xt, ys)})