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.

Published: 08 Dec 2022

Dependencies (24)

  1. lwt with-test & >= "5.6.0"
  2. qcheck-alcotest with-test & >= "0.18"
  3. tezos-test-helpers with-test & = version
  4. alcotest-lwt with-test & >= "1.5.0"
  5. tezos-event-logging = version
  6. tezos-context = version
  7. tezos-micheline = version
  8. tezos-sapling = version
  9. tezos-base = version
  10. ringo-lwt >= "0.9"
  11. ringo >= "0.9" & < "1.0.0"
  12. class_group_vdf >= "0.0.4"
  13. tezos-crypto-dal = version
  14. zarith_stubs_js
  15. zarith >= "1.12" & < "1.13"
  16. tezos-plonk >= "0.1.2"
  17. bls12-381 >= "5.0.0" & < "5.1.0"
  18. data-encoding >= "0.6" & < "0.7"
  19. tezos-scoru-wasm = version
  20. tezos-lwt-result-stdlib = version
  21. tezos-crypto = version
  22. tezos-stdlib = version
  23. ocaml >= "4.14.0" & < "4.15"
  24. dune >= "3.0"

Reverse Dependencies (78)

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

Conflicts

    None

Install

Documentation www.tezos.com Readme MIT License Edit opam file

Authors

Maintainers

Sources

tezos-15.1.tar.gz
sha256=3e7de89044f57a51e83bc445d1bae95a8161768bf3afd1b532075b39bd44d508
sha512=83e483ed96e83886136323d7bce425148bb46ccb6309345eadb339852e6bcdd5bc579d9477ce0ea295de9e371366fc09d44d5a876f09b242772e6ecb928a6b1d