package tezos-protocol-003-PsddFKi3

You can search for identifiers within the package.

in-package search v0.2.0

tezos-protocol-003-PsddFKi3
- Tezos_protocol_003_PsddFKi3
  - Protocol
tezos-protocol-003-PsddFKi3.environment
- Tezos_protocol_environment_003_PsddFKi3
  - Environment
    
    Base58
    
    Blake2B
    
    Make
    
    Map
    
    Name
    
    Register
    
    Set
    
    Make_minimal
    
    Name
    
    Name
    
    PrefixedName
    
    Block_hash
    
    Map
    
    Set
    
    Block_header
    
    CamlinternalFormatBasics
    
    Chain_id
    
    Map
    
    Set
    
    Compare
    
    Bool
    
    COMPARABLE
    
    Char
    
    Float
    
    Int
    
    Int32
    
    Int64
    
    List
    
    P
    
    Make
    
    P
    
    Option
    
    P
    
    S
    
    String
    
    Uint32
    
    Uint64
    
    Z
    
    Context
    
    Context_hash
    
    Map
    
    Set
    
    Data_encoding
    
    Binary
    
    Bounded
    
    Fixed
    
    Json
    
    Variable
    
    Ed25519
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    Error_monad
    
    Fitness
    
    Format
    
    Int32
    
    Int64
    
    Lift
    
    P
    
    List
    
    Logging
    
    Lwt
    
    Lwt_list
    
    MBytes
    
    LE
    
    Map
    
    Make
    
    Ord
    
    OrderedType
    
    Micheline
    
    Name
    
    Operation
    
    Operation_hash
    
    Map
    
    Set
    
    Operation_list_hash
    
    Map
    
    Set
    
    Operation_list_list_hash
    
    Map
    
    Set
    
    Option
    
    P256
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    Pervasives
    
    Protocol
    
    Protocol_hash
    
    Map
    
    Set
    
    RPC_answer
    
    RPC_arg
    
    RPC_context
    
    simple
    
    RPC_directory
    
    RPC_path
    
    RPC_query
    
    RPC_service
    
    Raw_hashes
    
    S
    
    B58_DATA
    
    ENCODER
    
    HASH
    
    Map
    
    Set
    
    HASHABLE
    
    INDEXES
    
    Map
    
    Set
    
    MAP
    
    MERKLE_TREE
    
    Map
    
    Set
    
    MINIMAL_HASH
    
    RAW_DATA
    
    SET
    
    SIGNATURE
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    T
    
    Secp256k1
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    Set
    
    Make
    
    Ord
    
    OrderedType
    
    Signature
    
    Public_key
    
    Public_key_hash
    
    Map
    
    Set
    
    String
    
    LE
    
    Time
    
    Updater
    
    PROTOCOL
    
    Z
    
    proto_rpc_context
    
    proto_rpc_context_of_directory
tezos-protocol-003-PsddFKi3.raw
- Tezos_raw_protocol_003_PsddFKi3
  - Alpha_context
    
    BASIC_DATA
    
    Block_header
    
    Bootstrap
    
    Commitment
    
    Constants
    
    Contract
    
    Big_map
    
    Cycle
    
    Map
    
    Delegate
    
    Fees
    
    Fitness
    
    Gas
    
    Global
    
    Kind
    
    Level
    
    Nonce
    
    Operation
    
    Encoding
    
    Manager_operations
    
    Period
    
    Raw_level
    
    Roll
    
    Script
    
    Script_int
    
    Script_timestamp
    
    Seed
    
    Tez
    
    Timestamp
    
    Vote
    
    Voting_period
  - Alpha_services
    
    Nonce
    
    Seed
  - Amendment
  - Apply
  - Apply_results
  - Baking
  - Blinded_public_key_hash
    
    Index
    
    Map
    
    Set
  - Block_header_repr
  - Bootstrap_storage
  - Commitment_repr
  - Commitment_storage
  - Constants_repr
    
    CompareListInt
  - Constants_services
  - Constants_storage
  - Contract_hash
    
    Map
    
    Set
  - Contract_repr
    
    Index
  - Contract_services
  - Contract_storage
    
    Big_map
  - Cycle_repr
    
    Index
    
    Map
  - Delegate_services
    
    Baking_rights
    
    Endorsing_rights
  - Delegate_storage
  - Fees_storage
  - Fitness_repr
  - Fitness_storage
  - Gas_limit_repr
  - Helpers_services
    
    Forge
    
    Manager
    
    Parse
    
    Scripts
  - Init_storage
  - Level_repr
  - Level_storage
  - Main
  - Manager_repr
  - Michelson_v1_gas
    
    Cost_of
    
    Typechecking
    
    Unparse
  - Michelson_v1_primitives
  - Misc
  - Nonce_hash
    
    Map
    
    Set
  - Nonce_storage
  - Operation_repr
    
    Encoding
    
    Manager_operations
    
    Kind
  - Parameters_repr
  - Period_repr
  - Qty_repr
    
    Make
    
    T
    
    QTY
    
    S
  - Raw_context
    
    T
  - Raw_level_repr
    
    Index
  - Roll_repr
    
    Index
  - Roll_storage
    
    Contract
    
    Delegate
  - Script_expr_hash
    
    Map
    
    Set
  - Script_int_repr
  - Script_interpreter
  - Script_ir_annot
  - Script_ir_translator
  - Script_repr
  - Script_tc_errors
  - Script_tc_errors_registration
  - Script_timestamp_repr
  - Script_typed_ir
    
    Boxed_map
    
    OPS
    
    Boxed_set
    
    OPS
  - Seed_repr
  - Seed_storage
  - Services_registration
  - State_hash
    
    Map
    
    Set
  - Storage
    
    Active_delegates_with_rolls
    
    Commitments
    
    Contract
    
    Balance
    
    Big_map
    
    Code
    
    Counter
    
    Delegatable
    
    Delegate
    
    Delegate_desactivation
    
    Delegated
    
    Frozen_deposits
    
    Frozen_fees
    
    Frozen_rewards
    
    Global_counter
    
    Inactive_delegate
    
    Manager
    
    Paid_storage_space
    
    Spendable
    
    Storage
    
    Used_storage_space
    
    Delegates
    
    Delegates_with_frozen_balance
    
    Last_block_priority
    
    Ramp_up
    
    Rewards
    
    Security_deposits
    
    Roll
    
    Delegate_change
    
    Delegate_roll_list
    
    Last_for_snapshot
    
    Limbo
    
    Next
    
    Owner
    
    Snapshot
    
    Snapshot_for_cycle
    
    Successor
    
    Seed
    
    For_cycle
    
    Nonce
    
    Vote
    
    Ballots
    
    Current_period_kind
    
    Current_proposal
    
    Current_quorum
    
    Listings
    
    Listings_size
    
    Proposals
    
    Proposals_count
  - Storage_description
    
    INDEX
  - Storage_functors
    
    INDEX
    
    Make_data_set_storage
    
    C
    
    I
    
    Make_indexed_carbonated_data_storage
    
    C
    
    I
    
    V
    
    Make_indexed_data_snapshotable_storage
    
    C
    
    I
    
    Snapshot
    
    V
    
    Make_indexed_data_storage
    
    C
    
    I
    
    V
    
    Make_indexed_subcontext
    
    C
    
    I
    
    Make_carbonated_map
    
    N
    
    V
    
    Make_map
    
    N
    
    V
    
    Make_set
    
    N
    
    Raw_context
    
    Make_single_data_storage
    
    C
    
    N
    
    V
    
    Make_subcontext
    
    C
    
    N
    
    Pair
    
    I1
    
    I2
    
    Wrap_indexed_data_storage
    
    C
    
    K
  - Storage_sigs
    
    Data_set_storage
    
    Indexed_data_snapshotable_storage
    
    Snapshot
    
    Indexed_data_storage
    
    Indexed_raw_context
    
    Make_carbonated_map
    
    N
    
    V
    
    Make_map
    
    N
    
    V
    
    Make_set
    
    N
    
    Raw_context
    
    NAME
    
    Non_iterable_indexed_carbonated_data_storage
    
    Non_iterable_indexed_data_storage
    
    Single_carbonated_data_storage
    
    Single_data_storage
    
    VALUE
  - Tez_repr
  - Time_repr
  - Vote_repr
  - Vote_storage
  - Voting_period_repr
  - Voting_services

Legend:
Library
Module
Module type
Parameter
Class
Class type

type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=

| Invalid_fitness_gap of int64 * int64

type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=

| Timestamp_too_early of Alpha_context.Timestamp.t * Alpha_context.Timestamp.t

type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=

| Invalid_block_signature of Tezos_base__TzPervasives.Block_hash.t * Tezos_base__TzPervasives.Signature.public_key_hash

type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=

| Unexpected_endorsement

type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=

| Invalid_signature

type Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error +=

| Invalid_stamp

val minimal_time : 
  Alpha_context.context ->
  int ->
  Tezos_base__TzPervasives.Time.Protocol.t ->
  (Tezos_base__TzPervasives.Time.Protocol.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

minimal_time ctxt priority pred_block_time returns the minimal time, given the predecessor block timestamp pred_block_time, after which a baker with priority priority is allowed to bake. Fail with Invalid_time_between_blocks_constant if the minimal time cannot be computed.

val check_baking_rights : 
  Alpha_context.context ->
  Alpha_context.Block_header.contents ->
  Tezos_base__TzPervasives.Time.Protocol.t ->
  (Alpha_context.public_key,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

check_baking_rights ctxt block pred_timestamp verifies that: * the contract that owned the roll at cycle start has the block signer as delegate. * the timestamp is coherent with the announced slot.

val endorsement_rights : 
  Alpha_context.context ->
  Alpha_context.Level.t ->
  ((Alpha_context.public_key * int list * bool)
     Tezos_protocol_environment_003_PsddFKi3__Environment.Signature.Public_key_hash.Map.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

For a given level computes who has the right to include an endorsement in the next block. The result can be stored in Alpha_context.allowed_endorsements

val check_endorsement_rights : 
  Alpha_context.context ->
  Tezos_base__TzPervasives.Chain_id.t ->
  Alpha_context.Kind.endorsement Alpha_context.Operation.t ->
  (Alpha_context.public_key_hash * int list * bool,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

Check that the operation was signed by a delegate allowed to endorse at the level specified by the endorsement.

val endorsement_reward : 
  Alpha_context.context ->
  block_priority:int ->
  int ->
  (Alpha_context.Tez.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

Returns the endorsement reward calculated w.r.t a given priority.

val baking_priorities : 
  Alpha_context.context ->
  Alpha_context.Level.t ->
  Alpha_context.public_key Misc.lazy_list

baking_priorities ctxt level is the lazy list of contract's public key hashes that are allowed to bake for level.

val first_baking_priorities : 
  Alpha_context.context ->
  ?max_priority:int ->
  Alpha_context.public_key_hash ->
  Alpha_context.Level.t ->
  (int list,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

first_baking_priorities ctxt ?max_priority contract_hash level is a list of priorities of max ?max_priority elements, where the delegate of contract_hash is allowed to bake for level. If ?max_priority is None, a sensible number of priorities is returned.

val check_signature : 
  Alpha_context.Block_header.t ->
  Tezos_base__TzPervasives.Chain_id.t ->
  Alpha_context.public_key ->
  (unit,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

check_signature ctxt chain_id block id check if the block is signed with the given key, and belongs to the given chain_id

val check_header_proof_of_work_stamp : 
  Alpha_context.Block_header.shell_header ->
  Alpha_context.Block_header.contents ->
  int64 ->
  bool

Checks if the header that would be built from the given components is valid for the given diffculty. The signature is not passed as it is does not impact the proof-of-work stamp. The stamp is checked on the hash of a block header whose signature has been zeroed-out.

val check_proof_of_work_stamp : 
  Alpha_context.context ->
  Alpha_context.Block_header.t ->
  (unit,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

verify if the proof of work stamp is valid

val check_fitness_gap : 
  Alpha_context.context ->
  Alpha_context.Block_header.t ->
  (unit,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

check if the gap between the fitness of the current context and the given block is within the protocol parameters

val dawn_of_a_new_cycle : 
  Alpha_context.context ->
  (Alpha_context.Cycle.t option,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t

val earlier_predecessor_timestamp : 
  Alpha_context.context ->
  Alpha_context.Level.t ->
  (Alpha_context.Timestamp.t,
    Tezos_protocol_environment_003_PsddFKi3__Environment.Error_monad.error list)
    Stdlib.result
    Lwt.t