package tezos-protocol-012-Psithaca

precheck_manager_contents_list validation_state contents_list Returns an updated context, and a list of prechecked contents containing balance updates for fees related to each manager operation in contents_list

If mempool_mode, the function checks whether the total gas limit of this batch of operation is below the gas_limit of a block and fails with a permanent error when above. Otherwise, the gas limit of the batch is removed from the one of the block (when possible) before moving on.

value_of_key ctxt k builds a value identified by key k so that it can be put into the cache.

cache_layout describes how the caches needed by the protocol. The length of the list defines the number of caches while each element of this list corresponds to the size limit of each cache.

Check if endorsements are required for a given level.

Check if a block's endorsing power is at least the minim required.

check_manager_signature validation_state op raw_operation The function starts by retrieving the public key hash pkh of the manager operation. In case the operation is batched, the function also checks that the sources are all the same. Once the pkh is retrieved, the function looks for its associated public key. For that, the manager operation is inspected to check if it contains a public key revelation. If not, the public key is searched in the context.

• returns

  Error Invalid_signature if the signature check fails

• returns

  Error Unrevealed_manager_key if the manager has not yet been revealed

• returns

  Error Failure "get_manager_key" if the key is not found in the context

• returns

  Error Inconsistent_sources if the operations in a batch are not from the same manager