package tezos-protocol-013-PtJakart

  1. Overview
  2. Docs
package tezos-protocol-013-PtJakart
Legend:
Library
Module
Module type
Parameter
Class
Class type

The basic components of an optimistic rollup for smart-contracts.

An optimistic rollup for smart-contracts is made of two main components:

  • a proof generating virtual machine (PVM), which provides the essential semantics for the rollup operations to be validated by the layer 1 in case of dispute about a commitment ;
  • a database which maintains the cemented operations of the rollup as well as the potentially-disputed operations.
module Address : sig ... end

A smart-contract rollup has an address starting with "scr1".

module Internal_for_tests : sig ... end

Number of messages consumed by a single commitment. This represents a claim about the shape of the Inbox, which can be disputed as part of a commitment dispute.

Number of ticks computed by a single commitment. This represents a claim about the state of the PVM, which can be disputed as part of a commitment dispute.

module Commitment : sig ... end

A commitment represents a claim about the state of the Inbox and PVM at some Inbox level.

type t = Address.t

A smart contract rollup is identified by its address.

A Staker is an implicit account, identified by its public key hash.

The data model uses an index of these addresses.

module Kind : sig ... end

A smart contract rollup has a kind, which assigns meaning to rollup operations.

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