Ethereum Yellow Paper: Please see equation 220 and 221.
On equation 220, we obtain the transaction that can be sent to the network and will be tracked by a 256 bit transaction-id. Its right most 160-bits is equalled to S(T) which is the defined as the sender function S of the transaction.
My question is related to Equation 221 which is an assertion about: :
The assertion that the sender of a signed transaction equals the address of the signer should be self-evident
[Q] Why and how the sender of a signed transaction(
S(T) on the eq. 220) equals the address of the signer (
A(pr)) ? Is there any well explained documentation related to this.
Could we conclude the following statement:
B96...255(KEC(ECDSARECOVER(h(T),Tw,Tr,Ts))) == B96...255((KEC(ECDSAPUBKEY(pr)))
Thank you for your valuable time and help.