def block
import bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/limbs.bend as Limbsimport Base
94# One Poly1305 block: h = (h + c) r, partially reduced mod p.
95def block(+r: List<&2, U32>, h: List<&2, U32>, c: List<&2, U32>) -> List<&2, U32>:
96 reduce(fold(mul(add(h, c), r)))
Uses (6)
Used by (6)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/poly1305/poly1305:absorb
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/step:block_inv
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/mac:absorb_inv
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/mac:absorb_ok
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/poly1305/mac:step_mod
- …