diff --git a/Description.md b/Description.md index bba0e29..2d9dcd0 100644 --- a/Description.md +++ b/Description.md @@ -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) $$