law cmask

bend-collections-laws-crypto@1.0.0.0 · proofs/crypto/poly1305/mac.bend:81

import Base
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/poly1305.bend as R
import bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/poly1305.bend as P

81law cmask:
82  for +i: Nat
83  {P.clamp_mask(i) == R.clamp_mask(i) : U32}