def w256
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C
26# 2^256
27def w256(+one: Nat) -> Nat:
28 C.shift(256n, one)
import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/field.bend as Fieldimport Base
import bend-collections-laws-crypto@1.0.0.0/spec/lib/common.bend as C
26# 2^256
27def w256(+one: Nat) -> Nat:
28 C.shift(256n, one)