Skip to content

Commit 17a58b7

Browse files
committed
docs: trim feedback to actionable suggestions
Drop point 3 (it only stated Eqs. 3-5 are already correct, not a suggestion); fold its one actionable sliver — the ℋ_msg wording fix — into point 2.
1 parent 163ee5e commit 17a58b7

1 file changed

Lines changed: 2 additions & 8 deletions

File tree

docs/paper/feedback.md

Lines changed: 2 additions & 8 deletions
Original file line numberDiff line numberDiff line change
@@ -26,13 +26,7 @@ paper and the implementation now diverge.
2626
should state that there are two simulator sources (SV1 + DM1) and a Toeplitz extractor,
2727
and that the extractor output supplies both `q_num` and the 32-byte nonce `r`. This is
2828
what makes the Eq. (3) replay-resistance claim true and what justifies the [0, 1000]
29-
range — without it, neither holds.
30-
31-
3. **Eqs. (3)–(5) are now accurate — verify the wording matches.** The implemented
32-
derivation is `𝒮 = SHAKE-256(username ‖ q_num ‖ r)`, `ℋ_pk = SHA-256(𝒮[0:32])[0:12]`
33-
(uppercase), and `𝒢 = base64(SHA-256(ℋ_msg : ℋ_ent : ℋ_pk))[0:24]` with
34-
`ℋ_msg = SHA-256(message)` and `ℋ_ent = SHA-256(q_num)`. This matches Eqs. (3)–(5); just
35-
confirm `ℋ_msg` is described as hashing the message content (the earlier code hashed
36-
`username|message|q_num`, which no longer applies).
29+
range — without it, neither holds. (Eqs. 3–5 themselves now match the code; the only
30+
wording fix is to describe `ℋ_msg` as hashing the message content alone.)
3731

3832
*Source-code and notebook line references for each point are in `feedback-code-refs.md`.*

0 commit comments

Comments
 (0)