def decompress

bend-collections@1.0.0.0 · spec/crypto/secp256k1/curve.bend:274

import Base
import bend-collections@1.0.0.0/spec/crypto/secp256k1/field.bend as FS

274def decompress(+p: Nat, +x: Nat, +par: Nat) -> Maybe<&2, SPoint>:
275  decompress_y(p, x, par, FS.fsqrt(p, rhs(p, x)))