Блокчейн Tezos создан на языке OCaml, который отличается высокой скоростью, что вкупе с алгоритмом dPoS предлагает пользователям платформу для работы быстрых и полнофункциональных смарт-контрактов в его экосистеме. Создатели Tezos называют её первой саморегулирующейся криптоплатформой которая может адаптироваться через консенсус держателей токенов Tezos. В сети Тезос происходит непрерывное обновление протокола через управление по цепочке что позволяет избежать хардфорка сети, как это происходит во многих альтернативных сетях.
Для разработки смарт-контрактов в Tezos использует собственный язык программирования Michelson который основан на стеке с высокоуровневыми типами данных и их строгой статической проверкой в котором много позаимствовано у таких языков как Forth, Scheme, ML и Cat. Язык Michelson обладает функцией формальной проверки, которая подтверждает поддержку определенных свойств контракта, что позволяет разработчикам проверять код смарт-контракта перед его развертыванием в блокчейне. Разработчики Tezos утверждают что формальная проверка позволяет избежать фатальных ошибок в коде смарт-контракта что в некоторых случаях ведёт к его неправильной работе или в худшем варианте приводит к потере средств пользователей.
Смарт-контракты Tezos выполняются в виртуальной машине Tezos Virtual Machine (TVM), где за хранение данных и выполнение смарт-контракта используется газ. Язык Michelson весьма дружелюбен к разработчикам и позволяет писать смарт-контракты полные по тьюрингу. Изначально блокчейн Tezos создавался с целью составить конкуренцию Ethereum
Компания Наумов Лаб оказывает услуги по разработке смарт-контрактов для Tezos. Используйте страницу контакты для связи с нами