AEIP-14 State UTXO

[bchamagne]

Description

Add a new kind of UTXO (Unspent Output) to store the state of smart contract.
See https://github.com/archethic-foundation/aeip/blob/main/AEIP-14.md

• Documentation
• Playground
• Serialization of state algorithm
• Fees calculation
• Limiting the state size

Fixes #1217

Type of change

• New feature (non-breaking change which adds functionality)

How Has This Been Tested?

Many unit tests and this scenario:

(the authorized key is the StorageNoncePublicKey)

endpoint: local
access_seed: sc2
transaction_type: contract
smart_contract: |
  @version 1

  condition triggered_by: transaction, as: [
    content: get_count() < 10
  ]

  actions triggered_by: transaction do
    count = get_count()
    new_count = count + 1
    State.set("count", new_count)
  end


  export fun get_count() do
    State.get("count", 0)
  end
ownerships:
  - secret: sc2
    authorized_keys:
      - 0001AED84392F0AE24C0349F518271892A841A2205E0F0FB2C67D9FB72369DE22983

endpoint: local
access_seed: bastien
transaction_type: transfer
recipients:
  - to: 00002223BBD4EC3D64AE597696C7D7ADE1CEE65C639D885450AD2D7B75592AC76AFA

Tested with 1 node
Tested with 3 nodes

Checklist:

• My code follows the style guidelines of this project
• I have performed a self-review of my own code
• I have commented my code, particularly in hard-to-understand areas
• I have made corresponding changes to the documentation
• My changes generate no new warnings
• I have added tests that prove my fix is effective or that my feature works
• New and existing unit tests pass locally with my changes
• Any dependent changes have been merged and published in downstream modules

[bchamagne]

I've merged and retested 👍

[Neylix]

You could also ensure the resulting state is the same. As if it's not we will have an invalid contract execution which is more accurate than an invalid unspent outputs

[bchamagne]

LGTM