package tezos-protocol-environment

  1. Overview
  2. No Docs
Interface layer between the protocols and the shell

Install

Dune Dependency

www.tezos.com Edit opam file Versions (29)

Authors

  1. T
    Tezos devteam

Maintainers

  1. C
    contact@tezos.com

Sources

tezos-17.2.tar.gz
sha256=451f30679472dcd47ce7ab48289efdaf6a250f5b851e61cdf18191f9f44c7a5d
sha512=7144b0e67228429685ea335d0a6f15ce312f06042712eeeb39cef6473cf60542d486c7480c2df44d3b62069db626503f1de8aeac527ed2b391f2a6ec8e3f67cb

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.

Published: 26 Jul 2023

Dependencies (20)

  1. tezos-event-logging = version
  2. tezos-context = version
  3. tezos-micheline = version
  4. tezos-sapling = version
  5. tezos-base = version
  6. aches-lwt >= "1.0.0"
  7. aches >= "1.0.0"
  8. class_group_vdf >= "0.0.4"
  9. tezos-crypto-dal = version
  10. zarith_stubs_js
  11. zarith >= "1.12" & < "1.13"
  12. octez-plonk = version
  13. bls12-381 >= "6.1.0" & < "6.2.0"
  14. data-encoding >= "0.7.1" & < "1.0.0"
  15. tezos-scoru-wasm = version
  16. tezos-lwt-result-stdlib = version
  17. tezos-crypto = version
  18. tezos-stdlib = version
  19. ocaml >= "4.14.0" & < "4.15"
  20. dune >= "3.0"

Dev Dependencies (5)

  1. lwt with-test & >= "5.6.0"
  2. qcheck-alcotest with-test & >= "0.20"
  3. tezos-test-helpers with-test & = version
  4. octez-alcotezt with-test & = version
  5. tezt with-test & >= "3.1.0"

Used by (83)

  1. octez-protocol-compiler = "17.2"
  2. tezos-baking-016-PtMumbai = "17.2"
  3. tezos-baking-016-PtMumbai-commands = "17.2"
  4. tezos-baking-017-PtNairob = "17.2"
  5. tezos-baking-017-PtNairob-commands = "17.2"
  6. tezos-baking-alpha = "17.2"
  7. tezos-baking-alpha-commands = "17.2"
  8. tezos-client-001-PtCJ7pwo = "17.2"
  9. tezos-client-002-PsYLVpVv = "17.2"
  10. tezos-client-003-PsddFKi3 = "17.2"
  11. tezos-client-004-Pt24m4xi = "17.2"
  12. tezos-client-005-PsBabyM1 = "17.2"
  13. tezos-client-006-PsCARTHA = "17.2"
  14. tezos-client-007-PsDELPH1 = "17.2"
  15. tezos-client-008-PtEdo2Zk = "17.2"
  16. tezos-client-009-PsFLoren = "17.2"
  17. tezos-client-010-PtGRANAD = "17.2"
  18. tezos-client-011-PtHangz2 = "17.2"
  19. tezos-client-012-Psithaca = "17.2"
  20. tezos-client-013-PtJakart = "17.2"
  21. tezos-client-014-PtKathma = "17.2"
  22. tezos-client-015-PtLimaPt = "17.2"
  23. tezos-client-016-PtMumbai = "17.2"
  24. tezos-client-017-PtNairob = "17.2"
  25. tezos-client-alpha = "17.2"
  26. tezos-client-genesis = "17.2"
  27. tezos-context-ops = "17.2"
  28. tezos-embedded-protocol-000-Ps9mPmXa = "17.2"
  29. tezos-embedded-protocol-001-PtCJ7pwo = "17.2"
  30. tezos-embedded-protocol-002-PsYLVpVv = "17.2"
  31. tezos-embedded-protocol-003-PsddFKi3 = "17.2"
  32. tezos-embedded-protocol-004-Pt24m4xi = "17.2"
  33. tezos-embedded-protocol-005-PsBABY5H = "17.2"
  34. tezos-embedded-protocol-005-PsBabyM1 = "17.2"
  35. tezos-embedded-protocol-006-PsCARTHA = "17.2"
  36. tezos-embedded-protocol-007-PsDELPH1 = "17.2"
  37. tezos-embedded-protocol-008-PtEdo2Zk = "17.2"
  38. tezos-embedded-protocol-008-PtEdoTez = "17.2"
  39. tezos-embedded-protocol-009-PsFLoren = "17.2"
  40. tezos-embedded-protocol-010-PtGRANAD = "17.2"
  41. tezos-embedded-protocol-011-PtHangz2 = "17.2"
  42. tezos-embedded-protocol-012-Psithaca = "17.2"
  43. tezos-embedded-protocol-013-PtJakart = "17.2"
  44. tezos-embedded-protocol-014-PtKathma = "17.2"
  45. tezos-embedded-protocol-015-PtLimaPt = "17.2"
  46. tezos-embedded-protocol-016-PtMumbai = "17.2"
  47. tezos-embedded-protocol-017-PtNairob = "17.2"
  48. tezos-embedded-protocol-alpha = "17.2"
  49. tezos-embedded-protocol-demo-counter = "17.2"
  50. tezos-embedded-protocol-demo-noops = "17.2"
  51. tezos-embedded-protocol-genesis = "17.2"
  52. tezos-mockup = "17.2"
  53. tezos-mockup-proxy = "17.2"
  54. tezos-mockup-registration = "17.2"
  55. tezos-protocol-000-Ps9mPmXa = "17.2"
  56. tezos-protocol-001-PtCJ7pwo = "17.2"
  57. tezos-protocol-002-PsYLVpVv = "17.2"
  58. tezos-protocol-003-PsddFKi3 = "17.2"
  59. tezos-protocol-004-Pt24m4xi = "17.2"
  60. tezos-protocol-005-PsBABY5H = "17.2"
  61. tezos-protocol-005-PsBabyM1 = "17.2"
  62. tezos-protocol-006-PsCARTHA = "17.2"
  63. tezos-protocol-007-PsDELPH1 = "17.2"
  64. tezos-protocol-008-PtEdo2Zk = "17.2"
  65. tezos-protocol-008-PtEdoTez = "17.2"
  66. tezos-protocol-009-PsFLoren = "17.2"
  67. tezos-protocol-010-PtGRANAD = "17.2"
  68. tezos-protocol-011-PtHangz2 = "17.2"
  69. tezos-protocol-012-Psithaca = "17.2"
  70. tezos-protocol-013-PtJakart = "17.2"
  71. tezos-protocol-014-PtKathma = "17.2"
  72. tezos-protocol-015-PtLimaPt = "17.2"
  73. tezos-protocol-016-PtMumbai = "17.2"
  74. tezos-protocol-017-PtNairob = "17.2"
  75. tezos-protocol-alpha = "17.2"
  76. tezos-protocol-demo-counter = "17.2"
  77. tezos-protocol-demo-noops = "17.2"
  78. tezos-protocol-genesis = "17.2"
  79. tezos-protocol-updater = "17.2"
  80. tezos-proxy = "17.2"
  81. tezos-shell = "17.2"
  82. tezos-shell-context = "17.2"
  83. tezos-store = "17.2"

Conflicts

None

OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events Blog 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