Mavryk is a public, open-source Layer 1 blockchain protocol and software stack (Mavkit) for running nodes and building smart contract applications. It uses Liquid Proof-of-Stake and an on-chain self-amendment process with staged proposal and voting periods to activate protocol upgrades without hard forks. Smart contracts use the Michelson language, and the stack emphasizes formal verification for code safety.