package tezos-protocol-015-PtLimaPt

You can search for identifiers within the package.

in-package search v0.2.0

Tezos/Protocol: economic-protocol definition

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/tezos-protocol-015-PtLimaPt.raw/Tezos_raw_protocol_015_PtLimaPt/Liquidity_baking_repr/index.html

Module `Tezos_raw_protocol_015_PtLimaPt.Liquidity_baking_repr`Source

Options available for the Liquidity Baking per-block vote

Sourcetype liquidity_baking_toggle_vote =

| LB_on
| LB_off
| LB_pass

Source

val liquidity_baking_toggle_vote_encoding : 
  liquidity_baking_toggle_vote
    Tezos_protocol_environment_015_PtLimaPt.Data_encoding.encoding

Exponential moving average of toggle votes. Represented as an int32 between 0 and 2,000,000. It is an exponential moving average of the LB_off votes over a window of the most recent 2000 blocks that did not vote LB_pass.

Sourcemodule Toggle_EMA : sig ... end

Source

val compute_new_ema : 
  toggle_vote:liquidity_baking_toggle_vote ->
  Toggle_EMA.t ->
  Toggle_EMA.t

compute_new_ema ~toggle_vote old_ema returns the value new_ema of the exponential moving average old_ema updated by the vote toggle_vote.

It is updated as follows:

if toggle_vote is LB_pass then new_ema = old_ema,
if toggle_vote is LB_off, then new_ema = (1999 * eman // 2000) + 1,000,000,
if toggle_vote is LB_on, then new_ema = (1999 * eman // 2000).

The multiplication is performed in Z.t to avoid overflows, division is rounded toward 1,000,000,000 (the middle of the interval).