LCS port to python and ruby

What I Made
#1

We release the python and ruby implementaion for the Libra Canonical Serialization (LCS) Spec.

LCS for pythoner

LCS for rubyer

Feedback is welcome.

6 Likes
#2

LCS for python canoser-python is updated from version 0.3.x to version 0.4, with following updates:

  • Support optional type. Optional type is needed in ledger_info verification, because next_validator_set field of ledger_info is optional, and the hash of ledger_info is computed from its LCS bytes.
  • Support rust tuple struct in python with ā€˜canoser.DelegateTā€™ type.
  • Pretty printing

We implemented all libra test cases, even those in the libra readme document.
Libra Canonical Serialization Readme Test

1 Like
#3

During writting test cases for the LCS Readme document, we found some mismatches between the document and the libra code. For example:

Program in document:

{
sender: 3a24a61e05d129cace9e0efc8bc9e33831fec9a9be66f50fd352a2638a49b9ee,
sequence_number: 32,
payload: Program {
code: ā€œmoveā€,
args: [{STRING: CAFE D00D}, {STRING: cafe d00d}],
modules: [[CA][FED0][0D]],
} ,
max_gas_amount: 10000,
gas_unit_price: 20000,
expiration_time: 86400 seconds
}

Real code output:

{
sender: 3a24a61e05d129cace9e0efc8bc9e33831fec9a9be66f50fd352a2638a49b9ee,
sequence_number: 32,
payload: Program(
Program {
code: ā€œmoveā€,
args: [
{STRING: CAFE D00D},
{STRING: cafe d00d},
],
},
),
max_gas_amount: 10000,
gas_unit_price: 20000,
expiration_time: 86400s,
}

The modules fields is missing.
The WriteSet has even more mismatches.

2 Likes
#4

LCS for python canoser-python is updated to version 0.6, support the latest address change in LCS. Now, there are three types of bytes in LCS.

  1. varaible length. such as code:
code : [Uint8]
  1. fixed length, and the length info is written to LCS output. such as public_key and signature:
public_key, [Uint8, ED25519_PUBLIC_KEY_LENGTH]
signature, [Uint8, ED25519_SIGNATURE_LENGTH]
  1. fixed length, and the length info is NOT written to LCS output. The only case is Address, represented in canoser as:
Address, [Uint8, 32, False]
#5

Because the address format is changed, many address related path is changed too.
For example:

  • account_resource_path, from which parse the account balance etc.
  • event_path, such as account_sent_event_path, account_received_event_path.
  • validator_set_address
  • faucet key
  • account_event

libra-client has made all this changes by using canoser-python.

1 Like
#6

@yuan-xy thanks a lot!

#7

LCS for pythoner is update to version 0.8.2 to support uleb128 encoding

commit b9a97072a62b5f941c041368145fe3ff8e461899
[LCS] uleb128 for lengths and variant indexes