def sqrt_bits

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/field.bend:102

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/limbs.bend as L

102# the bits of (p + 1) / 4: p + 1 = 2^256 - 1 - (c - 2), without its last two bits
103def sqrt_bits() -> List<&2, Nat>:
104  init2(L.cbits(L.bits(L.norm16([975n, 0n, 1n]))))