package octez-protocol-018-Proxford-libs

  1. Overview
  2. Docs
Octez protocol 018-Proxford libraries

Install 

dune-project
 Dependency

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

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

octez-19.0.tar.gz
sha256=c6df840ebbf115e454db949028c595bec558a59a66cade73b52a6d099d6fa4d4
sha512=d8aee903b9fe130d73176bc8ec38b78c9ff65317da3cb4f3415f09af0c625b4384e7498201fdb61aa39086a7d5d409d0ab3423f9bc3ab989a680cf444a79bc13

doc/octez-protocol-018-Proxford-libs.test-helpers/Tezos_018_Proxford_test_helpers/Op/index.html

Module Tezos_018_Proxford_test_helpers.OpSource

Sourceval pack_operation : Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.signature option -> 'a Tezos_protocol_018_Proxford.Protocol.Alpha_context.contents_list -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.packed_contents_list -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation
Sourceval raw_attestation : ?delegate:Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key_hash -> ?slot:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Slot.t -> ?level:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Raw_level.t -> ?round:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t -> ?block_payload_hash:Tezos_protocol_018_Proxford.Protocol.Block_payload_hash.t -> ?branch:Tezos_base.TzPervasives.Block_hash.t -> Block.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.attestation Tezos_protocol_018_Proxford.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 and/or block_payload_hash.

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_018_Proxford.Protocol.Alpha_context.public_key_hash -> ?slot:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Slot.t -> ?level:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Raw_level.t -> ?round:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t -> ?block_payload_hash:Tezos_protocol_018_Proxford.Protocol.Block_payload_hash.t -> ?branch:Tezos_base.TzPervasives.Block_hash.t -> Block.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.public_key_hash -> ?slot:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Slot.t -> ?level:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Raw_level.t -> ?round:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t -> ?block_payload_hash:Tezos_protocol_018_Proxford.Protocol.Block_payload_hash.t -> ?branch:Tezos_base.TzPervasives.Block_hash.t -> Block.t -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.public_key_hash -> ?slot:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Slot.t -> ?level:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Raw_level.t -> ?round:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Round.t -> ?block_payload_hash:Tezos_protocol_018_Proxford.Protocol.Block_payload_hash.t -> ?branch:Tezos_base.TzPervasives.Block_hash.t -> Block.t -> Tezos_protocol_018_Proxford.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_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?parameters: Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.lazy_expr -> ?entrypoint:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Entrypoint.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval unsafe_transaction : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?parameters: Tezos_protocol_018_Proxford.Protocol.Michelson_v1_primitives.prim Tezos_micheline.Micheline.canonical Tezos_base.TzPervasives.Data_encoding.lazy_t -> ?entrypoint:Tezos_protocol_018_Proxford.Protocol.Entrypoint_repr.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key_hash option -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval set_deposits_limit : ?force_reveal:bool -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez option -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval increase_paid_storage : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> source:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> destination:Tezos_protocol_018_Proxford.Protocol.Contract_hash.t -> Z.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval revelation : ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?forge_pkh: Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key_hash option -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key -> (Tezos_protocol_018_Proxford.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.tez: 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_018_Proxford.Protocol.Alpha_context.public_key_hash -> string -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval contract_origination : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?delegate:Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key_hash -> script:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.t -> ?public_key:Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key -> ?credit:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed * Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?delegate:Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key_hash -> script:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.t -> ?public_key:Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key -> ?credit:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed * Tezos_protocol_018_Proxford.Protocol.Contract_hash.t) Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval originated_contract : Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t
Sourceval register_global_constant : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?public_key:Tezos_base.TzPervasives.Signature.public_key -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> source:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> value:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.lazy_expr -> (Tezos_protocol_018_Proxford.Protocol.operation, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval double_attestation : Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.attestation Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.attestation Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed
Sourceval double_preattestation : Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.preattestation Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed
Sourceval double_baking : Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Block_header.block_header -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Block_header.block_header -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed
Sourceval activation : Context.t -> Tezos_base.TzPervasives.Signature.Public_key_hash.t -> Tezos_protocol_018_Proxford.Protocol.Blinded_public_key_hash.activation_code -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval combine_operations : ?public_key:Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?spurious_operation: Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation -> source:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation list -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval batch_operations : ?recompute_counters:bool -> source:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation list -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Raw_level.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Nonce.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed

Reveals a seed_nonce that was previously committed at a certain level

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

Reveals a VDF with a proof of correctness

Sourceval proposals_contents : Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> ?period:int32 -> Tezos_base.TzPervasives.Protocol_hash.t list -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.proposals Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Contract.t -> ?period:int32 -> Tezos_base.TzPervasives.Protocol_hash.t list -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Contract.t -> ?period:int32 -> Tezos_base.TzPervasives.Protocol_hash.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Vote.ballot -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Kind.ballot Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Contract.t -> ?period:int32 -> Tezos_base.TzPervasives.Protocol_hash.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Vote.ballot -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Script.t
Sourceval dummy_script_cost : Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t
Sourceval transfer_ticket : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> source:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> contents:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.lazy_expr -> ty:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.lazy_expr -> ticketer:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> amount:Tezos_protocol_018_Proxford.Protocol.Ticket_amount.t -> destination:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> entrypoint:Tezos_protocol_018_Proxford.Protocol.Entrypoint_repr.t -> (Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?whitelist: Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Whitelist.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Kind.t -> boot_sector:string -> parameters_ty: Tezos_protocol_018_Proxford.Protocol.Alpha_context.Script.lazy_expr -> (Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation * Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Commitment.t -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?force_reveal:bool -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Commitment.Hash.t -> output_proof:string -> (Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval sc_rollup_recover_bond : ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> ?force_reveal:bool -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key_hash -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> string list -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval sc_rollup_refute : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key_hash -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Game.refutation -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval sc_rollup_timeout : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.tez -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Sc_rollup.Game.Index.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval dal_publish_slot_header : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Dal.Operations.Publish_slot_header.t -> (Tezos_protocol_018_Proxford.Protocol.Alpha_context.packed_operation, Tezos_base.TzPervasives.tztrace) result Lwt.t
Sourceval zk_rollup_origination : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> public_parameters:Plonk.Main_protocol.verifier_public_parameters -> circuits_info: [ `Public | `Private | `Fee ] Tezos_protocol_018_Proxford.Protocol.Alpha_context.Zk_rollup.Account.SMap.t -> init_state: Tezos_protocol_018_Proxford.Protocol.Alpha_context.Zk_rollup.State.t -> nb_ops:int -> (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Operation.packed * Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.public_key -> (Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.packed_operation Tezos_base.TzPervasives.tzresult Lwt.t
Sourceval zk_rollup_publish : ?force_reveal:bool -> ?counter:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> zk_rollup:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Zk_rollup.t -> ops: (Tezos_protocol_018_Proxford.Protocol.Alpha_context.Zk_rollup.Operation.t * Tezos_protocol_018_Proxford.Protocol.Alpha_context.Zk_rollup.Ticket.t option) list -> Tezos_protocol_018_Proxford.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_018_Proxford.Protocol.Alpha_context.Manager_counter.t -> ?fee:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Tez.t -> ?gas_limit:gas_limit -> ?storage_limit:Z.t -> Context.t -> Tezos_protocol_018_Proxford.Protocol.Alpha_context.Contract.t -> zk_rollup:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Zk_rollup.t -> update:Tezos_protocol_018_Proxford.Protocol.Alpha_context.Zk_rollup.Update.t -> Tezos_protocol_018_Proxford.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.