package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
Tezos/Protocol: economic-protocol definition

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-16.1.tar.gz
sha256=43723d096307603703a1a89ed1b2eb202b365f5e7824b96b0cbf813b343a6cf7
sha512=b2a637f2e965000d3d49ad85277ca24d6cb07a1a7cf2bc69d296d8b03ad78c3eaa8e21e94b9162e62c2e11649cd03bc845b2a3dafe623b91065df69d47dc8e4f

doc/tezos-protocol-013-PtJakart.raw/Tezos_raw_protocol_013_PtJakart/Receipt_repr/index.html

Module Tezos_raw_protocol_013_PtJakart.Receipt_reprSource

Sourcetype balance =
  1. | Contract of Contract_repr.t
  2. | Block_fees
  3. | Deposits of Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t
  4. | Nonce_revelation_rewards
  5. | Double_signing_evidence_rewards
  6. | Endorsing_rewards
  7. | Baking_rewards
  8. | Baking_bonuses
  9. | Storage_fees
  10. | Double_signing_punishments
  11. | Lost_endorsing_rewards of Tezos_protocol_environment_013_PtJakart.Signature.Public_key_hash.t * bool * bool
  12. | Liquidity_baking_subsidies
  13. | Burned
  14. | Commitments of Blinded_public_key_hash.t
  15. | Bootstrap
  16. | Invoice
  17. | Initial_commitments
  18. | Minted
  19. | Frozen_bonds of Contract_repr.t * Bond_id_repr.t
  20. | Tx_rollup_rejection_punishments
  21. | Tx_rollup_rejection_rewards

Places where tez can be found in the ledger's state.

Sourceval compare_balance : balance -> balance -> int

Compares two balances.

Sourcetype balance_update =
  1. | Debited of Tez_repr.t
  2. | Credited of Tez_repr.t

A credit or debit of tez to a balance.

Sourcetype update_origin =
  1. | Block_application
    (*

    Update from a block application

    *)
  2. | Protocol_migration
    (*

    Update from a protocol migration

    *)
  3. | Subsidy
    (*

    Update from an inflationary subsidy

    *)
  4. | Simulation
    (*

    Simulation of an operation *

    *)

An origin of a balance update

Sourceval compare_update_origin : update_origin -> update_origin -> int

Compares two origins.

Sourcetype balance_updates = (balance * balance_update * update_origin) list

A list of balance updates. Duplicates may happen. For example, an entry of the form (Rewards (b,c), Credited am, ...) indicates that the balance of frozen rewards has been increased by am for baker b and cycle c.

The property Json.destruct (Json.construct balance_updates) = balance_updates does not always hold for balance_updates_encoding when balance_updates contains entries of the form (_, _ Tez_repr.zero, _). This is because the balance_update (_ Tez_repr.zero) always decodes into (Credited Tez_repr.zero).

Group updates by (balance x origin), and remove zero-valued balances.