~/jendhub

def decompress

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

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/secp256k1/curve.bend as Curve
import Base
import bend-collections-laws-crypto@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)))

Uses (6)

Used by (5)