From 4b104d9342acdd809faadf47cde3de964ff04519 Mon Sep 17 00:00:00 2001 From: Uncle Stretch Date: Wed, 8 Oct 2025 19:26:21 +0200 Subject: [PATCH] Update Description --- Description.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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) $$