`RLP_AUTH` module review

[OlivierBBB]

[letypequividelespoubelles]

this is not true

(rlp prefix of a list != rlp prefix bytestring)

[letypequividelespoubelles]

I get ut's the same as LC in RlpTxn / RlpTxnRcpt / RlpAddr ? If yes, why such a renaming ?

[letypequividelespoubelles]

THEN insteand of AND ?

[letypequividelespoubelles]

utils/IS_NONCE is missing in columns description

[letypequividelespoubelles]

is just a sanity check as it's fully defined with the next two constraints

[letypequividelespoubelles]

would be nice to have shorthand last-row-of-tx, etc instead, easier to read

[letypequividelespoubelles]

what's rhe diff between

and

?

[letypequividelespoubelles]

you can impose only one to be tx cst as the sum is IOMF

• typo wrt cstrat 4 and note

[letypequividelespoubelles]

Idu why we need this, how could this value matters during padding ?

[letypequividelespoubelles]

it just means tx constant right ? easier to read

[letypequividelespoubelles]

isn't it N256 instead ?

it's ok in the computation, just an issue in the graphic representation

[letypequividelespoubelles]

the EIP says LEQ, not LT

so should be LEQ here too: