def mask
import bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/poly1305.bend as Poly1305import Base
12def mask(xs: List<&2, U32>) -> List<&2, U32>:
13 match xs:
14 case Nil{}: Nil{}
15 case x <> t: U32.and(x, 255) <> mask(t)
Uses (3)
Used by (8)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/poly1305:load
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/mac:mask_fit
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/mac:mask_ev
- bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/poly1305:r_key
- bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/poly1305:s_key
- …