def reduce

bend-collections@1.0.0.0 · src/crypto/ed25519/scalar.bend:45

import Base
import bend-collections@1.0.0.0/src/crypto/curve25519/field.bend as F
import bend-collections@1.0.0.0/src/crypto/curve25519/x25519.bend as X

45def reduce(+bs: List<&2, U32>) -> List<&2, U32>:
46  mac(X.bitlen(bs), bs, F.one(), F.zero())