Maintaining

As with any smart-contract blockchain platform, Mavkit is a quite complex software system, at the crossroad of several domains including distributed systems, cryptography, programming languages, and applied formal methods. Additionally, the specific evolution features of Mavryk, enabling powerful online governance, imply an extra infrastructure meta-layer and an orthogonal versioning scheme for protocols, and hence, more complex maintenance procedures.

The following howtos are intended to facilitate different maintenance tasks by providing detailed guides to platform developers, but are also potentially interesting for other actors in the ecosystem (communication, management, etc.).

• How to start reading protocol Alpha
  • The MAVRYK_PROTOCOL structure
  • The big abstraction barrier: Alpha_context
  • Below the Alpha_context
  • Above the Alpha_context
• Adding a new instruction to Michelson language
  • Michelson primitives
  • Michelson types
  • Internal representation (IR)
  • The translator
  • The interpreter
  • The Gas model
  • Documentation
• Protocol Release Checklist
  • Summary
  • Timeline and Checklist
• How to Freeze Protocols
  • Update Manifest
  • Remove Accuser, Baker
  • Remove Protocol Tests
  • Remove lib_delegate
  • Remove Protocol Tests From Tezt
  • Remove Testnet From bin_node
  • Remove RW Commands From lib_client_commands
  • Remove Mempool Protocol Plugins
  • Remove Old Docker-Compose Files
  • Add an Entry in CHANGES.rst
• Adding a new protocol environment
  • Bootstrap
  • Activating the environment
  • Making changes in the environment