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-v14.0.tar.bz2
sha256=d21d1ab230dc396854755c1c8ff9d6ba046351b53add128d42b598711b9348b1
sha512=873c49894b6e84f70f0312a5c91ac078847084c7e010424eb4cb96b0d467d3c814aa3cbc207cee8ee0e226f8450cb9e76c521d12b7fa1ffc6d097087946f48cd

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: 10 Aug 2022

Dependencies (19)

  1. tezos-event-logging = version
  2. tezos-context = version
  3. tezos-micheline = version
  4. tezos-sapling = version
  5. tezos-base = version
  6. ringo-lwt >= "0.9"
  7. ringo >= "0.9" & < "1.0.0"
  8. class_group_vdf >= "0.0.4"
  9. zarith_stubs_js
  10. zarith >= "1.12" & < "1.13"
  11. tezos-plonk >= "0.1.0" & < "1.0.0"
  12. bls12-381 >= "4.0.0" & < "4.1.0"
  13. data-encoding >= "0.6" & < "0.7"
  14. tezos-scoru-wasm = version
  15. tezos-lwt-result-stdlib = version
  16. tezos-crypto = version
  17. tezos-stdlib = version
  18. ocaml >= "4.12"
  19. dune >= "3.0"

Dev Dependencies (4)

  1. lwt with-test & >= "5.4.0"
  2. qcheck-alcotest with-test & >= "0.18"
  3. tezos-test-helpers with-test & = version
  4. alcotest-lwt with-test & >= "1.5.0"

Used by (81)

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

Conflicts

None