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
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
- Published
- 08 Dec 2022
- Authors
- Maintainers
Sources
tezos-15.1.tar.gz
sha256=3e7de89044f57a51e83bc445d1bae95a8161768bf3afd1b532075b39bd44d508
sha512=83e483ed96e83886136323d7bce425148bb46ccb6309345eadb339852e6bcdd5bc579d9477ce0ea295de9e371366fc09d44d5a876f09b242772e6ecb928a6b1d
Dependencies
lwt
with-test & >= "5.6.0"
qcheck-alcotest
with-test & >= "0.18"
tezos-test-helpers
with-test & = version
alcotest-lwt
with-test & >= "1.5.0"
tezos-event-logging
= version
tezos-context
= version
tezos-micheline
= version
tezos-sapling
= version
tezos-base
= version
ringo-lwt
>= "0.9"
ringo
>= "0.9" & < "1.0.0"
class_group_vdf
>= "0.0.4"
tezos-crypto-dal
= version
zarith
>= "1.12" & < "1.13"
tezos-plonk
>= "0.1.2"
bls12-381
>= "5.0.0" & < "5.1.0"
data-encoding
>= "0.6" & < "0.7"
tezos-scoru-wasm
= version
tezos-lwt-result-stdlib
= version
tezos-crypto
= version
tezos-stdlib
= version
ocaml
>= "4.14.0" & < "4.15"
dune
>= "3.0"
Reverse Dependencies
octez-protocol-compiler
>= "15.1"
octez-validator
>= "15.1"
tezos-baking-014-PtKathma
>= "15.1"
tezos-baking-014-PtKathma-commands
>= "15.1"
tezos-baking-015-PtLimaPt
>= "15.1"
tezos-baking-015-PtLimaPt-commands
>= "15.1"
tezos-baking-alpha
>= "15.1"
tezos-baking-alpha-commands
>= "15.1"
tezos-client-001-PtCJ7pwo
>= "15.1"
tezos-client-002-PsYLVpVv
>= "15.1"
tezos-client-003-PsddFKi3
>= "15.1"
tezos-client-004-Pt24m4xi
>= "15.1"
tezos-client-005-PsBabyM1
>= "15.1"
tezos-client-006-PsCARTHA
>= "15.1"
tezos-client-007-PsDELPH1
>= "15.1"
tezos-client-008-PtEdo2Zk
>= "15.1"
tezos-client-009-PsFLoren
>= "15.1"
tezos-client-010-PtGRANAD
>= "15.1"
tezos-client-011-PtHangz2
>= "15.1"
tezos-client-012-Psithaca
>= "15.1"
tezos-client-013-PtJakart
>= "15.1"
tezos-client-014-PtKathma
>= "15.1"
tezos-client-015-PtLimaPt
>= "15.1"
tezos-client-alpha
>= "15.1"
tezos-client-genesis
>= "15.1"
tezos-context-ops
>= "15.1"
tezos-embedded-protocol-000-Ps9mPmXa
>= "15.1"
tezos-embedded-protocol-001-PtCJ7pwo
>= "15.1"
tezos-embedded-protocol-002-PsYLVpVv
>= "15.1"
tezos-embedded-protocol-003-PsddFKi3
>= "15.1"
tezos-embedded-protocol-004-Pt24m4xi
>= "15.1"
tezos-embedded-protocol-005-PsBABY5H
>= "15.1"
tezos-embedded-protocol-005-PsBabyM1
>= "15.1"
tezos-embedded-protocol-006-PsCARTHA
>= "15.1"
tezos-embedded-protocol-007-PsDELPH1
>= "15.1"
tezos-embedded-protocol-008-PtEdo2Zk
>= "15.1"
tezos-embedded-protocol-008-PtEdoTez
>= "15.1"
tezos-embedded-protocol-009-PsFLoren
>= "15.1"
tezos-embedded-protocol-010-PtGRANAD
>= "15.1"
tezos-embedded-protocol-011-PtHangz2
>= "15.1"
tezos-embedded-protocol-012-Psithaca
>= "15.1"
tezos-embedded-protocol-013-PtJakart
>= "15.1"
tezos-embedded-protocol-014-PtKathma
>= "15.1"
tezos-embedded-protocol-015-PtLimaPt
>= "15.1"
tezos-embedded-protocol-alpha
>= "15.1"
tezos-embedded-protocol-demo-counter
>= "15.1"
tezos-embedded-protocol-demo-noops
>= "15.1"
tezos-embedded-protocol-genesis
>= "15.1"
tezos-mockup
>= "15.1"
tezos-mockup-proxy
>= "15.1"
tezos-mockup-registration
>= "15.1"
tezos-protocol-000-Ps9mPmXa
>= "15.1"
tezos-protocol-001-PtCJ7pwo
>= "15.1"
tezos-protocol-002-PsYLVpVv
>= "15.1"
tezos-protocol-003-PsddFKi3
>= "15.1"
tezos-protocol-004-Pt24m4xi
>= "15.1"
tezos-protocol-005-PsBABY5H
>= "15.1"
tezos-protocol-005-PsBabyM1
>= "15.1"
tezos-protocol-006-PsCARTHA
>= "15.1"
tezos-protocol-007-PsDELPH1
>= "15.1"
tezos-protocol-008-PtEdo2Zk
>= "15.1"
tezos-protocol-008-PtEdoTez
>= "15.1"
tezos-protocol-009-PsFLoren
>= "15.1"
tezos-protocol-010-PtGRANAD
>= "15.1"
tezos-protocol-011-PtHangz2
>= "15.1"
tezos-protocol-012-Psithaca
>= "15.1"
tezos-protocol-013-PtJakart
>= "15.1"
tezos-protocol-014-PtKathma
>= "15.1"
tezos-protocol-015-PtLimaPt
>= "15.1"
tezos-protocol-alpha
>= "15.1"
tezos-protocol-demo-counter
>= "15.1"
tezos-protocol-demo-noops
>= "15.1"
tezos-protocol-genesis
>= "15.1"
tezos-protocol-updater
>= "15.1"
tezos-proxy
>= "15.1"
tezos-shell
>= "15.1"
tezos-shell-context
>= "15.1"
tezos-store
>= "15.1"