RLP_AUTH module review

[OlivierBBB]

Note

Include MAGIC and code prefix in RLP construction, replace from_address with sender_address, make sig_s non-malleability ≤, widen sig_r/s to 256-bit, and tighten perspective/transaction rules.

• RLP construction and utils:
  • Include MAGIC and <prefix> before rlp(chain_id) · rlp(address) · rlp(nonce) in utils string assembly and countdown logic.
  • Add explicit RLP_UTILS_byte_string_prefix usage in Lua flow diagrams.
• Address naming:
  • Replace from_address with sender_address across shorthands, comparisons, and Lua tables.
• Signature checks and types:
  • Change non-malleability check to sig_s ≤ secpk1n/2 (Lt → Leq).
  • Update sig_r/sig_s domains from 8-bit to 256-bit in Lua specs.
• Validity/comparisons:
  • Compare authority vs sender using sender_address.
• Flow/perspectives and transactions:
  • Clarify transitions; add link extern_i → utils_{i+1} = ecrecover_attempt_i.
  • Make authority_is_sender_tot transaction-constant and summarize its role.
  • Simplify user_transaction_number rules (direct tie to iomf), and adjust authorityTupleIndex updates; remove reliance on rlpAuthUtilsColumnIsNonce.
• Docs/formatting:
  • Minor clarifications and annotations in notes and equations.

^{Written by Cursor Bugbot for commit efec2f9. This will update automatically on new commits. Configure here.}