waxwing on Nostr: x-only just makes it more confusing, but it's a separate thing right. The general ...
x-only just makes it more confusing, but it's a separate thing right. The general pattern for DLEQ is:
proving P_1 and P_2 have same DL for A,B:
s = r + ex, where e = H(R_1,R_2,P_1, P_2) where R_1 = rA and R_2 = rB and P_1 = xA and P_2=xB.
Then return s, e, R_1, R_2
Then verify with
sA =?= R_1 + eP_1, sB =?= R_2 + eP_2, with e calculated as above.
Published at
2023-03-24 21:43:09Event JSON
{
"id": "0b177a5ced42f85d95765ade33df24361ed89954acdb032192a93aaa4fa8df24",
"pubkey": "675b84fe75e216ab947c7438ee519ca7775376ddf05dadfba6278bd012e1d728",
"created_at": 1679694189,
"kind": 1,
"tags": [
[
"e",
"ae24b406ea82d91320dd9eddece943f0529cff7b101b032cc632e81fd014900c",
"",
"root"
],
[
"e",
"d4ecdb5e3a6672a7c644a337a249bec1fe86630dd66b5ac283adce52a0be4311",
"",
"reply"
],
[
"p",
"6a3301c4584124c509efa3efeef04dfa4e7413032797fb79d0207689a085f10c"
],
[
"p",
"6a3301c4584124c509efa3efeef04dfa4e7413032797fb79d0207689a085f10c"
]
],
"content": "x-only just makes it more confusing, but it's a separate thing right. The general pattern for DLEQ is:\n\nproving P_1 and P_2 have same DL for A,B:\n\ns = r + ex, where e = H(R_1,R_2,P_1, P_2) where R_1 = rA and R_2 = rB and P_1 = xA and P_2=xB.\n\nThen return s, e, R_1, R_2\n\nThen verify with \n\nsA =?= R_1 + eP_1, sB =?= R_2 + eP_2, with e calculated as above.",
"sig": "2166670c5626da9788284ac314917b824f18cd6eaab85905f53ec37c0804761c073eb13a03dcb7fcca354ee30870f55013c6d95cd8a081980a6eaea4ba9f9cf6"
}
