def sq
import bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field.bend as Fieldimport Base
185def sq(+a: List<&2, U32>) -> List<&2, U32>:
186 mul(a, a)
Uses (3)
Used by (23)
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field:pow_ones
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/mulw:sq_okb
- bend-collections-laws-crypto@1.0.0.0/src/crypto/curve25519/field:pow_bit
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/pow:po_okb
- bend-collections-laws-crypto@1.0.0.0/proofs/crypto/curve25519/mulw:sq_mod
- …