verify_presented_pair
QC-021 Presented two-way affine pair. A (or k) is the private face - 64-hex or decimal; Q (or q_hex, object) is the public face; lock_q is a lock face to verify against. A == x(Q) is the FALSE FACE - x(Q) is public data, APART_x_of_Q_is_public_not_a_face, never WIN (founder 2026-09-02). The one WIN is Face*G == Q_live (kG==Q): A=1 with Q=G -> WIN 'kG==Q'. Hex A legally contains e; a decimal point is the float. An empty call {} returns REFUSED_NO_INSTANCE with detail 'no complete instance posted: missing A; or instead Q; or instead k; or instead lock_q; or instead object; or instead q_hex' - post at least one face. Does not invent a third scalar. Does not ECDLP.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| A | No | private face, 64-hex or decimal scalar, e.g. 1 (its public face is G itself) | |
| Q | No | public face: uncompressed 04-prefixed secp256k1 point, 130 hex characters, e.g. 0479BE667E...B8 for A=1 | |
| k | No | same face as A, old label. e.g. 1 | |
| q_hex | No | same face as Q, old label. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 | |
| lock_q | No | a lock face: the public point the pair must be verified against, same shape as Q. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 | |
| object | No | alias of q_hex. e.g. 0279be667ef9dcbbac55a06295ce870b07029bfcdb2dce28d959f2815b16f81798 |