package octez-plonk

You can search for identifiers within the package.

in-package search v0.2.0

Plonk zero-knowledge proving system

Install

Dune Dependency

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

Authors

T

Tezos devteam

Maintainers

C

contact@tezos.com

Sources

tezos-17.3.tar.gz

sha256=7062cd57addd452852598a2214ade393130efa087b99068d53713bdf912b3680

sha512=08e4091144a03ce3c107fb91a66501bd8b65ca3278917c455a2eaac6df3e108ade63f6ab8340a4bb152d60f404326e464d0ec95d26cafe8e82f870465d24a5fc

doc/octez-plonk.communication/Communication/Distributed_wrapper/index.html

Module `Communication.Distributed_wrapper`Source

Wrapper for the Distributed library. The new API is designed for the distribution of protocols based on a 1 master N workers architecture, in which at each step of the protocol:

The master asks all the workers to compute the same function over different inputs. We call these messages requests. Each protocol step will define a request (see Message module), whose payload will change for every worker.
Each worker computes the reply to the received request, and sends it back to the master. Each protocol step will define a reply (see Message module).
The master waits to receive all the replies from the workers.

Instead of directly using the send and receive, the new API provides two abstractions, `dmap` and `handle_request`, to implement this interaction from the master and worker respectively. These abstractions will enforce via the type-system that the request and reply used correspond to the same protocol step.

Sourcemodule Logger : sig ... end

Sourcemodule type Enriched_message_type = sig ... end

Messages are refined into either a request or a reply. Both these types are parameterized by their protocol step. The ground type of messages (t) is enforced to be bytes, to avoid relying on the Marshalling performed by the Distributed library.

Sourcemodule type Enriched_process = sig ... end

Source

module Make
  (A : Enriched_message_type) : 
  Enriched_process
    with type message_type = A.t
     and type M.t = A.t
     and type 'a M.step = 'a A.step
     and type 'a M.request = 'a A.request
     and type 'a M.reply = 'a A.reply
     and type 'a io = 'a Lwt.t