Economic protocol features

This page groups the documentation helping developers and users in understanding the basic concepts of the economic protocol (Proof Of Stake, consensus, voting, etc), its features (Michelson, Sapling, etc), and some details about its implementation.

• Overview of the economic protocol
  • The role of the economic protocol
  • Shell-protocol interaction
  • Blocks, Operations and their Validation
  • Protocol constants
  • See also

• Proof-of-stake
  • Overview
  • Delegation and Staking
  • Delegates’ rights selection
  • Proof-of-stake parameters
  • Further External Resources

• Randomness generation
  • Overview
  • Cryptographic primitives
  • Protocol

• The consensus algorithm
  • History
  • Overview
  • Consensus related protocol parameters
  • Shell-protocol interaction revisited
  • Further External Resources

• The Amendment (and Voting) Process
  • Periods
  • Activation
  • Voting Power
  • Super-majority and Quorum
  • The Hash and the Protocol
  • Operations
  • Client Commands
  • Further External Resources

• Accounts and addresses
  • Implicit accounts

• Michelson: the language of Smart Contracts in Mavryk
  • Semantics of smart contracts and transactions
  • Language semantics
  • Introduction to the type system and notations
  • Types and instructions
  • Macros
  • Concrete syntax
  • Annotations
  • Entrypoints
  • JSON syntax
  • Development tools
  • Examples
  • Full grammar
  • Reference implementation
  • TZT, a Syntax extension for writing unit tests

• On-chain Views
  • Homonyms
  • Execution flow
  • Declaration
  • Forbidden types

• Time-lock
  • Cryptographic design
  • Opcode and types
  • Implementation of the time-lock puzzle
  • Example

• Sapling integration
  • Sapling
  • Mavryk integration

• Liquidity Baking
  • Contracts
  • Subsidy
  • Toggle vote

• Global Constants
  • Global Constant Registration
  • Originating a Contract that uses Global Constants
  • Global Constants at Runtime

• Michelson Anti-Patterns
  • Storing unbounded data
  • Refunding to a list of contracts
  • Avoid batch operations when users can increase the size of the batch
  • Signatures alone do not prevent replay attacks
  • Storing/transferring private data
  • Not setting all state before a transfer

• Token transfers and balance updates
  • Overview
  • Source, container, and sink accounts
  • Token transfers and metadata

• Prechecking of manager operations
  • Solvable operations
  • Co-precheckable operations

• Smart Optimistic Rollups
  • Overview
  • Glossary

• Protocol Plugins
  • Prevalidator filters

• Contract events
  • Sending events
  • Event
  • Example
  • Retrieving events

• Blocks and Operations
  • Validation Passes
  • Consensus Operations
  • Voting Operations
  • Anonymous Operations
  • Manager Operations
  • Failing_noop operation

• Validation and Application
  • Validation modes
  • Block Validation
  • Operation Validation and Application

• Tickets
  • Semantics
  • Operations on tickets

• Adaptive Issuance and Staking
  • Adaptive Issuance
  • New Staking mechanism
  • Feature activation vs protocol activation

• DAL support
  • DAL publish commitment
  • DAL attestation payloads
  • Smart rollups integration
  • DAL-related protocol constants