def sqrt
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
110# a^((p + 1) / 4): a square root of a when a is a square (p = 3 mod 4)
111def sqrt(+a: List<&2, Nat>) -> List<&2, Nat>:
112 pow(a, sqrt_bits(), one())
import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Fieldimport Base
110# a^((p + 1) / 4): a square root of a when a is a square (p = 3 mod 4)
111def sqrt(+a: List<&2, Nat>) -> List<&2, Nat>:
112 pow(a, sqrt_bits(), one())