package tezos-protocol-environment

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

Install

Dune Dependency

Authors

Maintainers

Sources

download
sha256=c877d89e9fed2012aa6b541232f54723294d1356baa75bf8af99362ade8d6557
sha512=a7c37b9e3095978d16c7b82e377deca1d2edda1c441cd031f93c4e5d9d0d95ed8b2198d8a99d10407ef923559b8a7e422f61c3d3393f56fcc791bd073e3ca4fb

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: 15 Nov 2022

Dependencies (20)

  1. data-encoding >= "0.6" & < "0.7"
  2. tezos-lwt-result-stdlib = version
  3. tezos-crypto = version
  4. tezos-stdlib = version
  5. tezos-event-logging = version
  6. tezos-scoru-wasm = version
  7. tezos-context = version
  8. tezos-micheline = version
  9. tezos-sapling = 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. tezos-plonk >= "0.1.2" & < "1.0.0"
  15. bls12-381 >= "5.0.0" & < "5.1.0"
  16. zarith_stubs_js
  17. zarith >= "1.12" & < "1.13"
  18. tezos-base = version
  19. ocaml >= "4.14.0" & < "4.15"
  20. dune >= "3.0"

Dev Dependencies (4)

  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"

Used by (78)

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

Conflicts

None

OCaml

Innovation. Community. Security.