Field.sqrt_bits: def of bend-collections@1.0.0.0
Import: import bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend as Field
Lines 102-104 of bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend: https://jend.leeeet.dev/read.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend&start_line=102&end_line=104

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

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

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/field.bend&name=init2
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=bits
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=cbits
  https://jend.leeeet.dev/definition.txt?path=bend-collections@1.0.0.0/src/crypto/secp256k1/limbs.bend&name=norm16