def zeros

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/ed25519/scalar3.bend:35

import Base
import bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/consts.bend as K

35def zeros() -> List<&2, U32>:
36  K.rep(32n, 0, Nil{})