package octez-protocol-019-PtParisB-libs

  1. Overview
  2. Docs
package octez-protocol-019-PtParisB-libs
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Tezos_019_PtParisB_test_helpers.OpSource

Sourceval pack_operation : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.signature option -> 'a Tezos_protocol_019_PtParisB.Protocol.Alpha_context.contents_list -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation

Assemble the given signature and contents_list into a packed_operation.

The context argument is used to retrieve the branch.

If the signature option argument is None, then the resulting operation is unsigned.

This function is mainly useful to craft an operation with a missing or invalid signatue. Otherwise, it is often better to use one of the helpers below: they handle the signature internally to directly return well-signed operations.

Sourceval sign : ?watermark:Tezos_base.TzPervasives.Signature.watermark -> Tezos_base.TzPervasives.Signature.secret_key -> Tezos_base.TzPervasives.Block_hash.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_contents_list -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation
Sourceval raw_attestation : ?delegate:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> ?slot:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Slot.t -> ?level:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Raw_level.t -> ?round:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Round.t -> ?block_payload_hash:Tezos_protocol_019_PtParisB.Protocol.Block_payload_hash.t -> ?dal_content:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.dal_content -> ?branch:Tezos_base.TzPervasives.Block_hash.t -> Block.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.attestation Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.t Tezos_base.TzPervasives.tzresult Lwt.t

Create an unpacked attestation that is expected for given Block.t.

Optional parameters allow to specify the attested values: level, round, block_payload_hash, and/or dal_content.

They also allow to specify the attester (delegate), and/or the slot. These default to the first slot and its delegate.

Finally, the operation branch can be specified. It defaults to the predecessor of the attested block.

Sourceval raw_preattestation : ?delegate:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> ?slot:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Slot.t -> ?level:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Raw_level.t -> ?round:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Round.t -> ?block_payload_hash:Tezos_protocol_019_PtParisB.Protocol.Block_payload_hash.t -> ?branch:Tezos_base.TzPervasives.Block_hash.t -> Block.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.t Tezos_base.TzPervasives.tzresult Lwt.t

Create an unpacked preattestation that is expected for a given Block.t.

Optional parameters are the same than raw_attestation.

Sourceval attestation : ?delegate:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> ?slot:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Slot.t -> ?level:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Raw_level.t -> ?round:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Round.t -> ?block_payload_hash:Tezos_protocol_019_PtParisB.Protocol.Block_payload_hash.t -> ?dal_content:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.dal_content -> ?branch:Tezos_base.TzPervasives.Block_hash.t -> Block.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

Create a packed attestation that is expected for a given Block.t by packing the result of raw_attestation.

Sourceval preattestation : ?delegate:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> ?slot:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Slot.t -> ?level:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Raw_level.t -> ?round:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Round.t -> ?block_payload_hash:Tezos_protocol_019_PtParisB.Protocol.Block_payload_hash.t -> ?branch:Tezos_base.TzPervasives.Block_hash.t -> Block.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

Create a packed preattestation that is expected for a given Block.t by packing the result of raw_preattestation.

Sourcetype gas_limit =
  1. | Max
    (*

    Max corresponds to the max_gas_limit_per_operation constant.

    *)
  2. | High
    (*

    High corresponds to 50_000 gas unit which should cover a majority of use-cases. This is the default used when forging manager operations.

    *)
  3. | Low
    (*

    Low corresponds to the gas entry cost of a manager operation

    *)
  4. | Zero
  5. | Custom_gas of Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Gas.Arith.integral
Sourceval pp_gas_limit : Format.formatter -> gas_limit -> unit

Pretty printer for gas_limit type.

Sourceval transaction : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?parameters: Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.lazy_expr -> ?entrypoint:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Entrypoint.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval unsafe_transaction : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?parameters: Tezos_protocol_019_PtParisB.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical Tezos_base.TzPervasives.Data_encoding.lazy_t -> ?entrypoint:Tezos_protocol_019_PtParisB.Protocol.Entrypoint_repr.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation Tezos_base.TzPervasives.tzresult Lwt.t

Same as transaction, but with a more generic destination parameter. It is said unsafe because it can construct transactions that will always fail, such as

  • Transaction to the deposit entrypoint of a transaction rollup, as these transactions are necessarily internals.

Optional arguments allow to override defaults:

  • ?force_reveal:bool: prepend the operation to reveal source's public key if the latter has not been revealed yet. Disabled (set to false) by default.
Sourceval delegation : ?force_reveal:bool -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash option -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval set_deposits_limit : ?force_reveal:bool -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t option -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval increase_paid_storage : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> source:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> destination:Tezos_protocol_019_PtParisB.Protocol.Contract_hash.t -> Z.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval revelation : ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?forge_pkh: Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash option -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation, Tezos_base.TzPervasives.tztrace) result Lwt.t

revelation ?fee ?gas_limit ?forge_pkh ctxt pkh Creates a new Reveal manager_operation to reveal a public key pkh applying to current context ctxt.

Optional arguments allow to override defaults:

  • ?fee:Tez.t: specify a fee, otherwise set to Tez.zero.
  • ?gas_limit:Gas.Arith.integral: force a gas limit, otherwise set to 10000 gas units.
  • ?forge_pkh: use a provided pkh as source, instead of hashing pkh. Useful for forging non-honest reveal operations
  • ?storage_limit:Z.t: forces a storage limit, otherwise set to Z.zero
Sourceval failing_noop : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> string -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval contract_origination : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?delegate:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> script:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.t -> ?public_key:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key -> ?credit:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t) Tezos_base.TzPervasives.tzresult Lwt.t

contract_origination ctxt source Create a new contract origination operation, sign it with source and returns it alongside the contract address. The contract address is using the initial origination nonce with the hash of the operation. If this operation is combined with combine_operations then the contract address is false as the nonce is not based on the correct operation hash.

Optional arguments allow to override defaults:

  • ?force_reveal:bool: prepend the operation to reveal source's public key if the latter has not been revealed yet. Disabled (set to false) by default.
Sourceval contract_origination_hash : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?delegate:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> script:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.t -> ?public_key:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key -> ?credit:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed * Tezos_protocol_019_PtParisB.Protocol.Contract_hash.t) Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval originated_contract : Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t
Sourceval register_global_constant : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?public_key:Tezos_base.TzPervasives.Signature.public_key -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> source:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> value:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.lazy_expr -> (Tezos_protocol_019_PtParisB.Protocol.operation, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval double_attestation : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.attestation Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.attestation Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed
Sourceval double_preattestation : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed
Sourceval double_baking : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Block_header.block_header -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Block_header.block_header -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed
Sourceval activation : Context.t -> Tezos_base.TzPervasives.Signature.Public_key_hash.t -> Tezos_protocol_019_PtParisB.Protocol.Blinded_public_key_hash.activation_code -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval combine_operations : ?public_key:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?spurious_operation: Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation -> source:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation list -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval batch_operations : ?recompute_counters:bool -> source:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation list -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation Tezos_base.TzPervasives.tzresult Lwt.t

Batch a list of (already signed) operations and (re-)sign with the source. No revelation is inserted and the counters are kept as they are unless recompute_counters is set to true (defaults false).

Sourceval seed_nonce_revelation : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Raw_level.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Nonce.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed

Reveals a seed_nonce that was previously committed at a certain level

Sourceval vdf_revelation : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Seed.vdf_solution -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed

Reveals a VDF with a proof of correctness

Sourceval proposals_contents : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> ?period:int32 -> Tezos_base.TzPervasives.Protocol_hash.t list -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.proposals Tezos_protocol_019_PtParisB.Protocol.Alpha_context.contents_list Tezos_base.TzPervasives.tzresult Lwt.t

Craft the contents_list for a Proposals operation.

Invocation: proposals_contents ctxt source ?period proposals.

  • parameter period

    defaults to the index of the current voting period in ctxt.

Sourceval proposals : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> ?period:int32 -> Tezos_base.TzPervasives.Protocol_hash.t list -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

Craft a Proposals operation.

Invocation: proposals ctxt source ?period proposals.

  • parameter period

    defaults to the index of the current voting period in ctxt.

Sourceval ballot_contents : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> ?period:int32 -> Tezos_base.TzPervasives.Protocol_hash.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Vote.ballot -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Kind.ballot Tezos_protocol_019_PtParisB.Protocol.Alpha_context.contents_list Tezos_base.TzPervasives.tzresult Lwt.t

Craft the contents_list for a Ballot operation.

Invocation: ballot_contents ctxt source ?period proposal ballot.

  • parameter period

    defaults to the index of the current voting period in ctxt.

Sourceval ballot : Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> ?period:int32 -> Tezos_base.TzPervasives.Protocol_hash.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Vote.ballot -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

Craft a Ballot operation.

Invocation: ballot ctxt source ?period proposal ballot.

  • parameter period

    defaults to the index of the current voting period in ctxt.

Sourceval dummy_script : Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.t
Sourceval dummy_script_cost : Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t
Sourceval transfer_ticket : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> source:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> contents:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.lazy_expr -> ty:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.lazy_expr -> ticketer:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> amount:Tezos_protocol_019_PtParisB.Protocol.Ticket_amount.t -> destination:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> entrypoint:Tezos_protocol_019_PtParisB.Protocol.Entrypoint_repr.t -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation, Tezos_base.TzPervasives.tztrace) result Lwt.t

transfer_ticket allows an implicit account to transfer tickets they owned.

The arguments are:

  • Context.t: the context on which to apply the operation
  • source:Contract.t: the source contract of the operation
  • Tx_rollup.t: the rollup to which the withdrawal pertains
  • Tx_rollup_level.t: the level on which the withdrawal was commited
  • contents:Script.lazy_expr: the contents of the ticket of the withdrawal
  • ty:Script.lazy_expr: the type of the ticket of the withdrawal
  • ticketer:Contract.t: the ticketer of the ticket of the withdrawal
  • Z.t: the quantity of the ticket of the withdrawal
  • destination:Contract.t: the destination contract that should receive the ticket of the withdrawal
  • Entrypoint_repr.t: the entrypoint of the destination contract to which the ticket should be sent

Optional arguments allow to override defaults:

  • ?force_reveal:bool: prepend the operation to reveal source's public key if the latter has not been revealed yet. Disabled (set to false) by default.
Sourceval sc_rollup_origination : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?whitelist: Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.Whitelist.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.Kind.t -> boot_sector:string -> parameters_ty: Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Script.lazy_expr -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.t) Tezos_base.TzPervasives.tzresult Lwt.t

sc_rollup_origination ctxt source kind boot_sector originates a new smart contract rollup of some given kind booting using boot_sector.

Optional arguments allow to override defaults:

  • ?force_reveal:bool: prepend the operation to reveal source's public key if the latter has not been revealed yet. Disabled (set to false) by default.
Sourceval sc_rollup_publish : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.Commitment.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

sc_rollup_publish ctxt source rollup commitment tries to publish a commitment to the SCORU. Optional arguments allow to override defaults:

Optional arguments allow to override defaults:

  • ?force_reveal:bool: prepend the operation to reveal source's public key if the latter has not been revealed yet. Disabled (set to false) by default.
Sourceval sc_rollup_cement : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

sc_rollup_cement ctxt source rollup tries to cement a commitment.

Optional arguments allow to override defaults:

  • ?force_reveal:bool: prepend the operation to reveal source's public key if the latter has not been revealed yet. Disabled (set to false) by default.
Sourceval sc_rollup_execute_outbox_message : ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?force_reveal:bool -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t -> output_proof:string -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval sc_rollup_recover_bond : ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?force_reveal:bool -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

sc_rollup_recover_bond ctxt source sc_rollup staker recovers the commitment bond of staker.

Sourceval sc_rollup_add_messages : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> string list -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval sc_rollup_refute : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key_hash -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.Game.refutation -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval sc_rollup_timeout : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Sc_rollup.Game.Index.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval dal_publish_commitment : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Dal.Operations.Publish_commitment.t -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval zk_rollup_origination : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> public_parameters:Plonk.Main_protocol.verifier_public_parameters -> circuits_info: [ `Public | `Private | `Fee ] Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Zk_rollup.Account.SMap.t -> init_state: Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Zk_rollup.State.t -> nb_ops:int -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Zk_rollup.t) Tezos_base.TzPervasives.tzresult Lwt.t

zk_rollup_origination ctxt source ~public_parameters ~circuits_info ~init_state ~nb_ops tries to originate a ZK Rollup.

Sourceval update_consensus_key : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.public_key -> (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval drain_delegate : Context.t -> consensus_key:Tezos_base.TzPervasives.Signature.Public_key_hash.t -> delegate:Tezos_base.TzPervasives.Signature.Public_key_hash.t -> destination:Tezos_base.TzPervasives.Signature.Public_key_hash.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.packed_operation Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval zk_rollup_publish : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> zk_rollup:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Zk_rollup.t -> ops: (Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Zk_rollup.Operation.t * Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Zk_rollup.Ticket.t option) list -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

zk_rollup_publish ctxt source ~zk_rollup ~op tries to add an operation to the pending list of a ZK Rollup.

Sourceval zk_rollup_update : ?force_reveal:bool -> ?counter:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Contract.t -> zk_rollup:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Zk_rollup.t -> update:Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Zk_rollup.Update.t -> Tezos_protocol_019_PtParisB.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t

zk_rollup_update ctxt source ~zk_rollup ~update tries to apply an update to a ZK Rollup.

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct