Update Description
parent
1ce4a237df
commit
4b104d9342
@ -36,7 +36,7 @@ Below is a concise, step‑by‑step verifier procedure and the verification for
|
||||
|
||||
$$ msg = keccak256(message) $$
|
||||
|
||||
$$ a_i = taggedhash(a_il, a_ir, taggedhash(X_i)) $$
|
||||
$$ a_i = taggedhash($a_{\text{il}}$, $a_{\text{ir}}$, taggedhash(X_i)) $$
|
||||
|
||||
$$ b = taggedhash(H_{\text{agg}}, (R_x, R_y), msg) $$
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user