tezos-protocol-environment

Interface layer between the protocols and the shell
Description

The protocol-environment is a two-sided component sitting between the shell and the protocols.

On one side, it provides a restricted typing environment to compile the protocols against. This is a series of modules which replace the standard library of OCaml. These modules purposefully omit many functionalities, thus preventing the protocols from, say, directly writing to disk.

On the other side, it provides the shell with specific call-sites in the protocols. These are the only entry-points into the otherwise black-box protocols.

Install
Published
03 Jun 2022
Sources
tezos-v13.0.tar.bz2
sha256=e9f47a476c7c8fd359f6fb2bd0f2807de1774c96220e51f83e0a9939faf1b5ab
sha512=9d67a2cb737956741b53a5155b743ef611785eb393789cfe8d4d7680e87d097d67b93f489efbdce63ad4c783d0e397ebb1400c46636906ed0debe76de47c5562
Dependencies
lwt
with-test & >= "5.4.0"
qcheck-alcotest
with-test & >= "0.18"
tezos-test-helpers
with-test & = version
alcotest-lwt
with-test & >= "1.5.0"
tezos-context
= version
tezos-sapling
= version
tezos-base
= version
ringo-lwt
= "0.8"
ringo
= "0.8"
zarith
>= "1.12" & < "1.13"
bls12-381
>= "3.0.0" & < "3.1.0"
data-encoding
>= "0.5.3" & < "0.6"
tezos-crypto
= version
tezos-stdlib
= version
ocaml
>= "4.12"
dune
>= "2.9"
Reverse Dependencies
tezos-proxy
= "13.0"