package tezos-protocol-alpha

  1. Overview
  2. Docs
Tezos protocol alpha package

Install 

dune-project
 Dependency

www.tezos.com Readme Edit opam file Versions (8)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-octez-v20.1.tag.bz2
sha256=ddfb5076eeb0b32ac21c1eed44e8fc86a6743ef18ab23fff02d36e365bb73d61
sha512=d22a827df5146e0aa274df48bc2150b098177ff7e5eab52c6109e867eb0a1f0ec63e6bfbb0e3645a6c2112de3877c91a17df32ccbff301891ce4ba630c997a65

doc/tezos_raw_protocol_alpha/Tezos_raw_protocol_alpha/Script_cache/index.html

Module Tezos_raw_protocol_alpha.Script_cacheSource

This module manages the cache for smart contracts.

This cache must be consistent with the on-disk representation of the smart contracts. In particular, update must be called each time a contract storage is updated.

Sourcetype identifier

Each cached script has a unique identifier in the cache.

The cache holds the unparsed and the internal representation of the contract.

find ctxt contract returns (ctxt', identifier, script) where:

  • ctxt' is ctxt with less gas;
  • identifier is the identifier identifying the contract in the cache;
  • script = None if there is no such contract in ctxt;
  • script = Some (unparsed_script, ir_script) where
  • unparsed_script is the contract code and storage;
  • script_ir is a typed internal representation of the contract, i.e., the abstract syntax tree of its code as well as its storage.

This function consumes gas depending on the cache. If the contract is not in the cache, then the function also consumes the gas of Contract.get_script and Script_ir_translator.parse_script.

update ctxt identifier unparsed_script ir_script size refreshes the cached contract identified by identifier with a new unparsed_script, a new ir_script, and a new size.

entries ctxt returns the contracts in the cache as well as their respective size. The list is sorted by date of last modification: the least recently updated entry comes first.

Sourceval contract_rank : Alpha_context.context -> Contract_hash.t -> int option

contract_rank ctxt contract returns the number of contracts older than contract in the cache of ctxt. This function returns None if contract does not exist in the cache of ctxt.

Sourceval size : Alpha_context.context -> int

size ctxt is an overapproximation of the cache size in memory (in bytes).

Sourceval size_limit : Alpha_context.context -> int

size_limit ctxt is the maximal size of the cache (in bytes).