Module `Tezos_raw_protocol_alpha.Vote_storage`Source

Manages all the voting related storage in Storage.Vote.

val get_delegate_proposal_count : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  int Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

get_delegate_proposal_count ctxt proposer returns the number of proposals already made by proposer in the current voting cycle.

This number of proposals, aka count, has its own storage bucket.

returns
0 if the count of the proposer was not initialized.

returns
Error Storage_error if the deserialization of count fails.

Source

val set_delegate_proposal_count : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  int ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

set_delegate_proposal_count ctxt proposer count sets proposer's number of submitted proposals to count.

More precisely, the relevant storage bucket is allocated and initialized to count if it didn't exist; otherwise it is simply updated.

Source

val has_proposed : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  Tezos_protocol_environment_alpha.Protocol_hash.t ->
  bool Tezos_protocol_environment_alpha.Lwt.t

has_proposed ctxt proposer proposal indicates whether the proposer has already proposed the proposal.

Source

val add_proposal : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  Tezos_protocol_environment_alpha.Protocol_hash.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

add_proposal ctxt proposer proposal records the submission of proposal by proposer.

Source

val get_proposals : 
  Raw_context.t ->
  int64 Tezos_protocol_environment_alpha.Protocol_hash.Map.t
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Computes for each proposal how many delegates proposed it.

Source

val clear_proposals : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Sourcetype ballots = {

yay : int64;
nay : int64;
pass : int64;

}

Counts of the votes

Sourceval ballots_zero : ballots

All vote counts set to zero.

Sourceval ballots_encoding : ballots Tezos_protocol_environment_alpha.Data_encoding.t

Encoding for ballots.

Sourceval equal_ballots : ballots -> ballots -> bool

Equality check for ballots.

Source

val pp_ballots : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  ballots ->
  unit

Pretty printer for ballots.

Source

val has_recorded_ballot : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
  bool Tezos_protocol_environment_alpha.Lwt.t

Source

val record_ballot : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
  Vote_repr.ballot ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Records a vote for a delegate, returns a Error (Storage_error Existing_key) if the vote was already registered

Source

val get_ballots : 
  Raw_context.t ->
  ballots Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Computes the sum of the current ballots weighted by stake.

Source

val get_ballot_list : 
  Raw_context.t ->
  (Tezos_protocol_environment_alpha.Signature.Public_key_hash.t
   * Vote_repr.ballot)
    list
    Tezos_protocol_environment_alpha.Lwt.t

Source

val clear_ballots : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Source

val listings_encoding : 
  (Tezos_protocol_environment_alpha.Signature.Public_key_hash.t * int64) list
    Tezos_protocol_environment_alpha.Data_encoding.t

Source

val update_listings : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Populates !Storage.Vote.Listings using the currently existing staking power and sets `Voting_power_in_listings`. Inactive delegates or delegates without the minimal required stake are not included in the listings.

Source

val in_listings : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.Public_key_hash.t ->
  bool Tezos_protocol_environment_alpha.Lwt.t

Verifies the presence of a delegate in the listing.

Source

val get_listings : 
  Raw_context.t ->
  (Tezos_protocol_environment_alpha.Signature.Public_key_hash.t * int64) list
    Tezos_protocol_environment_alpha.Lwt.t

Sourcetype delegate_info = {

voting_power : Tezos_protocol_environment_alpha.Int64.t option;
current_ballot : Vote_repr.ballot option;
current_proposals : Tezos_protocol_environment_alpha.Protocol_hash.t list;
remaining_proposals : int;

}

Source

val pp_delegate_info : 
  Tezos_protocol_environment_alpha.Format.formatter ->
  delegate_info ->
  unit

Source

val delegate_info_encoding : 
  delegate_info Tezos_protocol_environment_alpha.Data_encoding.t

Source

val get_delegate_info : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  delegate_info Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val get_voting_power_free : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  int64 Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val get_voting_power : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Signature.public_key_hash ->
  (Raw_context.t * int64) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val get_total_voting_power_free : 
  Raw_context.t ->
  int64 Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Returns the sum of all voting power in the listings, without accounting for gas cost.

Source

val get_total_voting_power : 
  Raw_context.t ->
  (Raw_context.t * int64) Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Returns the sum of all voting power in the listings.

Source

val get_current_quorum : 
  Raw_context.t ->
  int32 Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val get_participation_ema : 
  Raw_context.t ->
  int32 Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val set_participation_ema : 
  Raw_context.t ->
  int32 ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Source

val current_proposal_exists : 
  Raw_context.t ->
  bool Tezos_protocol_environment_alpha.Lwt.t

Indicates whether there is a current proposal in the storage.

Source

val get_current_proposal : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Protocol_hash.t
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Retrieves the current proposal.

returns
Error Storage_error if there is no current proposal, or if the deserialization fails.

Source

val find_current_proposal : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Protocol_hash.t option
    Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Retrieves the current proposal.

returns
None if there is no current proposal.

returns
Error Storage_error if the deserialization fails.

Source

val init_current_proposal : 
  Raw_context.t ->
  Tezos_protocol_environment_alpha.Protocol_hash.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Registers a current proposal.

returns
Error (Storage_error Existing_key) if there was already a current proposal.

Source

val clear_current_proposal : 
  Raw_context.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Lwt.t

Removes the current proposal. Does nothing if there was no current proposal.

Source

val init : 
  Raw_context.t ->
  start_position:Tezos_protocol_environment_alpha.Int32.t ->
  Raw_context.t Tezos_protocol_environment_alpha.Error_monad.tzresult
    Tezos_protocol_environment_alpha.Lwt.t

Sets the initial quorum to 80% and period kind to proposal.

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Vote_storage/index.html

Module `Tezos_raw_protocol_alpha.Vote_storage`Source

package tezos-protocol-alpha

Install

Dune Dependency

Authors

Maintainers

Sources

doc/tezos-protocol-alpha.raw/Tezos_raw_protocol_alpha/Vote_storage/index.html

Module Tezos_raw_protocol_alpha.Vote_storageSource

Module `Tezos_raw_protocol_alpha.Vote_storage`Source