def recover_x

bend-collections-laws-crypto@1.0.0.0 · src/crypto/secp256k1/ecdsa.bend:234

import Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/secp256k1/point.bend as P

234def recover_x(+z: List<&2, Nat>, +r: List<&2, Nat>, +s: List<&2, Nat>, +id: Nat, +x: List<&2, Nat>, ok: Bool) -> Maybe<&2, List<&2, U32>>:
235  match ok:
236    case True{}: recover_r(z, r, s, P.decompress(x, Nat.mod(id, 2n)))
237    case False{}: None{}