The self-amending crypto-ledger
We'll keep you updated on our progress.
What is Tezos?
Tezos is a secure, future-proof smart contract system.
As a smart contract platform, Tezos allows you to code just about anything from a lottery to an insurance policy to a crowdfunding agreement and put it on the blockchain.
But Tezos goes way beyond what other smart contract platforms offer with a unique, built-in governance system that gives stakeholders the power to make decisions on protocol upgrades.
This ensures changes to the software happen in a safe, secure, and transparent way without the risk of hard forks.
More than just a cool idea, Tezos code exists today. Our code is publicly available on Github, we already have an operational test net, and we have a robust, open community on Slack.
We are launching a crowd sale of tokens soon. Join us, and help shape the evolution of blockchain technology.
Tezos is currently scheduled for release in early Q2 2017
Smarter
Smart
Contracts
People will use Tezos to automate financial agreements between parties who may not trust each other, resulting in smoother, more seamless transactions with the need for fewer intermediaries.
Tezos smart contracts are unique because of the platform’s powerful, reliable smart contract language, Michelson — a brand-new language designed for the unique requirements of smart contracts on a public ledger.
For instance: Once a smart contract gets uploaded to the blockchain, changes are difficult to make. That is why you want to make sure your code works as intended before you introduce it to the world.
Tezos helps you do that with a purely functional and statically typed smart contract language that enables full formal specification.
That makes it much easier to subject your smart contract to formal verification, a process that allows you to catch some errors and revise them before they make it onto the blockchain.
Currently, no other smart contract language offers this feature.
More more information, see the formal specification for Michelson.
What will people
use Tezos for?
People will use Tezos to automate financial agreements between parties who may not trust each other, resulting in smoother, more seamless transactions with the need for fewer intermediaries.
You can use Tezos smart contracts for decentralized markets (where investors deal with other investors without the need for an exchange), insurance contracts, and crowdfunding platforms.
Other examples include:
- Phone services — A cell carrier could use a blockchain-based smart contract for cell phone service, tying usage directly to payments.
- Property rentals — A smart contract could be implemented in a hotel ’s mobile app, allowing people to make payments via the blockchain. Once payment is made, the smart contract delivers a virtual “key” to the customer’s phone app, allowing them to unlock the door.
- Freelance contracts — A smart contract could link payment to delivery of a specific piece of work, such as a functional piece of code or a specific number of hours. Once the work has been verified, the contract would automatically release the agreed-upon funds to the contractor.
Our Team
Tezos team
Contact
Please check our FAQ first if you have any question, and feel free to submit new ones. If you'd like to get in touch for any other reason, use the form below and we'll get back to you shortly.