Glossary
Tezos
An on-chain-governed Layer-1 launched in 2018, known for self-amending upgrades, formal verification, and a NFT scene rooted in OBJKT and Hicetnunc.
Tezos launched in 2018 with the distinguishing feature of on-chain governance: protocol upgrades are proposed, voted on, and activated by validators ("bakers") without a contentious hard fork. Several major upgrades have shipped this way since launch.
Contracts are written in Michelson (a stack-based language) or higher-level languages like SmartPy and Ligo, and the toolchain emphasizes formal verification. The chain has a notable independent NFT scene rooted in platforms like OBJKT and the original Hicetnunc.