Update TVM Whitepaper: Correct Serialization Instruction for F4A6_

[zqy-691001]

Hello Team,

I've noticed a discrepancy in the TVM whitepaper regarding the serialization instruction for the opcode F4A6_. The current text states that "the instruction can be obtained by first serializing F4A8," which appears to be an error.

Upon reviewing the binary representation, F4A6 in binary is 11110100101001. It's not possible to append bits to this sequence to form F4A8, as the latter would require a different binary pattern. Instead, the correct subsequent serialization that matches the expected pattern is 1111010010100100, which corresponds to F4A4.

I have conducted experiments and confirmed that the compiled FIFT code for the contract indeed results in the opcode F4A4, not F4A8. This change is crucial for maintaining the accuracy and consistency of the whitepaper with the actual behavior of the TVM.

Proposed Changes:

• Change "instruction can be obtained by first serializing F4A8" to "instruction can be obtained by first serializing F4A4" in the TVM whitepaper.

This adjustment will ensure that the documentation accurately reflects the serialization process and avoids any confusion for developers working with the TVM.

Additional Notes:

• I have attached the binary representations and the results of my experiments as proof of this correction.
• I recommend a review of related sections in the whitepaper to ensure there are no other discrepancies that may have been overlooked.

"Asm.fif" include
// automatically generated from `/home/zqy/tonlearn/my_first_contract/contracts/main.fc` incl:`/home/zqy/tonlearn/my_first_contract/contracts/stdlib.fc` 
PROGRAM{
  DECLPROC recv_internal

  recv_internal PROC:<{
  
  }>


}END>s dup  csr.  runvmcode .s 

// x{FF00F4A413F4BCF2C80B}
// x{D3}
// execute SETCP 0
// execute DICTPUSHCONST 19 (xC_,1)
// execute DICTIGETJMPZ

Thank you for considering this important update. I believe it will greatly benefit the community by providing a more reliable and accurate resource.

Best regards,