Tezos Developer Portal

Welcome! This is the starting point for all the documentation in Tezos

Explore Documentation
Tezos Developer Portal

Quick links

Learn about Tezos basics

Learn about Tezos basics

Read about how Tezos works, what distinguishes it from other blockchains, what developers use it for, and how it hosts decentralized applications that run independently of any authority.

Become a web3 developer

Become a web3 developer

Learn how to code applications that run on Tezos and take advantage of its features. Tutorials are available in several languages, including variants of JavaScript/TypeScript, Python, and OCaml.

Explore gaming documentation

Explore gaming documentation

Use tools that put gaming assets on Tezos so your players can own, exchange, and interact with parts of your game securely.

Learn about Tezos basics

Become a web3 developer

Explore gaming documentation

Why build on Tezos?

Builders and players are driven to Tezos for its pioneering, state-of-the-art tools, and platforms.

Developer-friendly experience

Tezos supports multiple high-level languages, including variants of JavaScript/TypeScript, Python, and OCaml. The Tezos community provides local testing tools and ways to verify that your code does what you intend it to do.

Support for many digital asset types

Tezos allows you to create a variety of digital assets, whether those assets are unique (as in non-fungible tokens, or NFTs), part of a limited group, or divisible like cryptocurrencies. You write the code that controls how your assets behave, such as what happens when a user transfers an asset to another user.

Upgradeable platform

Tezos has a built-in capability to upgrade itself, which allows the network to evolve without requiring a hard fork. This feature allows Tezos to adapt to new technologies and to address user needs rapidly.

Proof of stake

The proof-of-stake consensus model eliminates the need for high energy use, making it the "green" choice for blockchains. Instead of competing to achieve consensus as in proof-of-work models, Tezos nodes (called bakers) stake Tezos tokens to earn the right to create blocks and receive rewards.

Stakeholder-led governance

Anyone who holds XTZ — the chain's native token — can propose changes to how Tezos works, such as changes to gas fees and block times, new features such as smart rollups, or even major changes like how the consensus mechanism works.

Formal verification

Formal verification is a process that ensures that code on Tezos does what it says it does and has no side effects. Formal verification reduces errors, bugs, and security vulnerabilities in smart contracts and allows users to trust them.

Developer-friendly experience

Tezos supports multiple high-level languages, including variants of JavaScript/TypeScript, Python, and OCaml. The Tezos community provides local testing tools and ways to verify that your code does what you intend it to do.

Support for many digital asset types

Tezos allows you to create a variety of digital assets, whether those assets are unique (as in non-fungible tokens, or NFTs), part of a limited group, or divisible like cryptocurrencies. You write the code that controls how your assets behave, such as what happens when a user transfers an asset to another user.

Upgradeable platform

Tezos has a built-in capability to upgrade itself, which allows the network to evolve without requiring a hard fork. This feature allows Tezos to adapt to new technologies and to address user needs rapidly.

Proof of stake

The proof-of-stake consensus model eliminates the need for high energy use, making it the "green" choice for blockchains. Instead of competing to achieve consensus as in proof-of-work models, Tezos nodes (called bakers) stake Tezos tokens to earn the right to create blocks and receive rewards.

Stakeholder-led governance

Anyone who holds XTZ — the chain's native token — can propose changes to how Tezos works, such as changes to gas fees and block times, new features such as smart rollups, or even major changes like how the consensus mechanism works.

Formal verification

Formal verification is a process that ensures that code on Tezos does what it says it does and has no side effects. Formal verification reduces errors, bugs, and security vulnerabilities in smart contracts and allows users to trust them.

Discover Resources

The Tezos community provides a wide range of information and tools to help developers work with the platform.

Join the community

Join the community

Get in touch with other developers and see what they’re working on.

follow @tezos
follow @tezos
follow @tezos

Tezos Developer Updates

Join our mailing list for updates on Tezos and examples of what developers are doing with the platform.

By signing up to our newsletter, you agree to Tezos's Privacy Policy

FOLLOW US

Feedback or comments? Get in touch with us at reachout@tezos.com

For media inquiries please contact communications@tezos.foundation

GENERAL

Ecosystem Projects

Community & Events

Stats & Facts

Energy Footprint

Tezos Visual Identity