Для предотвращения ошибок и сбоев в Tezos используется автоматическая формальная верификация кода — решение, математически проверяющее корректность базовых функций контракта. Разработчики Tezos позиционируют проект как новое цифровое содружество, где все участники могут управлять платформой, участвовать в голосованиях и подтверждать транзакции, получая за это вознаграждение в токенах проекта (XTZ).
Команда
Руководство
- Артур Брейтман — основатель;
- Кэтлин Брейтман — генеральный директор;
Разработчики
- Винсент Бернардофф;
- Бозман Чадаш;
- Бенджамин Кану;
- Пьер Чамбарт;
- Грегори Генри;
- Фабрицио Ле Фессант;
- Гиллем Рию;
- Ален Мебсуут.
Советники
- Эндрю Миллер;
- Эмин Гюн Сиер;
- Зуко Вилкокс.
Функционал и особенности
- Механизм планового обновления протоколов исключает возможность хардфорков.
- Исходя из соображений безопасности и надежности сети, разработчики использовали язык программирования Ocaml.
- Для разработки «умных контрактов» создан собственный язык — Michelson.
- Подтверждение транзакций основано на алгоритме Proof of Stake.
Блокчейн проекта Tezos разделен на три уровня:
- сетевой протокол;
- протокол транзакций;
- протокол консенсуса.
Криптовалюту XTZ нельзя майнить.
Преимущества и недостатки
Преимущества
- высококлассные специалисты в команде разработчиков;
- содействие со стороны крупных венчурных инвесторов;
- управление платформой с помощью консенсуса;
- акцент на высоком уровне защиты;
- модульная структура блокчейна исключает возможность проведения форка;
- автоматическое обновление сети Tezos.
Недостатки
- неограниченная эмиссия монет;
- собственный язык программирования.