def pick
import bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/limbs.bend as Limbsimport Base
98# a when m is all zeros, b when m is all ones.
99def pick(+m: U32, +a: U32, b: U32) -> U32:
100 U32.xor(a, U32.and(m, U32.xor(a, b)))
Uses (3)
Used by (5)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/limbs:select
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/final:pick0
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/final:pick1
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/final:sel0
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/final:sel1