Tezos
Tezos – платформа, которая позволяет создавать смарт-контракты и dapps поверх нее, но постоянно развивается ее сообществом, чтобы сгладить любые недостатки. Это первая в мире саморегулирующаяся криптовалютная и блокчейн-платформа.
Содержание
Принцип работы
На платформе особое внимание уделяется членам сети Tezos-проект, который направлен на то, чтобы позволить держателям токенов Tezos полностью управлять платформой и улучшать качество экосистемы. Tezos задались целью создать настоящую цифровую сеть содружества, в которой все вовлеченные люди могут услышать их голоса в общей лояльности. Tezos представляет собой блокчейн-платформу, помещая ее в ту же категорию, что и Ethereum, NEO и EOS. Tezos разработал процесс, который обеспечивает непрерывное обновление протокола Tezos посредством управления по цепочке. Это позволяет процессу Tezos постепенно увеличиваться с течением времени, а не радикально изменяться время от времени, что может привести к hard fork. Tezos твердо против hard fork и предусматривает платформу, которая не должна проходить через hard fork, поскольку постоянно обновляется на основе предложений и голосов пользователей. Любой параметр протокола Tezos может быть изменен сетью. Для обновления платформы разработчики самостоятельно подают предложения по обновлению протоколов. Эти предложения также включают ожидаемую компенсацию разработчику за разработку и выпуск указанного обновления. Владельцы токенов Tezos могут проголосовать за эти предложения, и если они будут одобрены, разработчики могут начать работу над обновлением. Средства хранятся на условном депонировании по протоколу Tezos и распределяются после реализации одобренного предложения по модернизации. Поскольку разработчики получают достойную компенсацию, могут работать независимо и непрерывно до тех пор, пока есть одобрение сообщества. Протокол призван стимулировать собственный прогресс.
Проверка смарт-контрактов
Tezos имеет собственный язык программирования смарт-контракт под названием Michelson. Этот функциональный язык специально разработан для облегчения создания смарт-контрактов на блокчейне Tezos. Michelson используется для того, чтобы включить официально проверку франтовских подрядов. В этом контексте формальная верификация является методом, математически доказывающим правильность кода, регулирующего транзакции. Это означает, что пользователи могут подтвердить свойства своего контракта и, таким образом, значительно повысить безопасность чувствительных или финансовых смарт-контрактов. Формальные методы верификации часто используются в инженерных процессах с небольшим количеством ошибок, таких как проектирование летательных аппаратов и ядерная разработка. Благодаря модели управления Tezos, язык может постоянно меняться в соответствии с пожеланиями сообщества Tezos.
Делегированное доказательство доли
Для достижения консенсуса на платформе Tezos использует делегированный алгоритм доказательства доли. Поскольку DPoS позволяет виртуальный майнинг, а не физический, например, с доказательством работы Биткойна, это высокоэффективный консенсусный протокол. Каждый держатель токена может быть частью процесса майнинга Tezos, либо в качестве делегата, либо в качестве избирателя для делегатов. Если пользователь решает проголосовать за делегата,это означает, что теперь этот делегат управляет голосованием за предложения. Это делает процесс управления более эффективным и оказывает давление на делегатов сообщества, чтобы они действовали в соответствии с интересами сети. Злоупотребление полномочиями делегата приведет к исчезновению голосов за этого делегата. В отличие от других проектов Dpo, верхний предел числа делегатов Tezos отсутствует. Любой может стать делегатом, и любой может делегировать маркеры другим.
Решение масштабируемости
Tezos внедрил подход для обеспечения долгосрочной масштабируемости платформы, используя концепции доказательства с нулевым разглашением, механизм, популярный в проекте Zcash. Концепции доказательства с нулевым разглашением используются для выполнения смарт-контракта и разделяют фактическое выполнение смарт-контракта и его проверку узлами консенсуса. Это значительно снижает нагрузку на консенсусные узлы, которые только проверяют доказательство смарт-контракта, но не должны выполнять весь смарт-контракт. Помимо сокращения рабочей нагрузки, этот метод может также значительно снизить затраты на сетевые транзакции и обеспечить более эффективное выполнение сложных смарт-контрактов.
Управление токенами
После ICO, средства Tezos управляются фондом Tezos. Этот базирующийся в Швейцарии некоммерческий фонд также имеет право вето на блокирование предложений в течение первого года работы сети. Эта власть не распространяется на подачу предложений, которые все должны быть демократически одобрены. Фонд Tezos уже планировал постепенно снять свою власть ради децентрализации. Этот процесс будет определяться голосами сообщества. Родным маркером Tezos-блокчейн является Tezzies. Tezzies используются в качестве хранилища стоимости платформы, для оплаты сетевых транзакционных сборов и для заправки смарт-контрактов. Поскольку блокчейн Tezos использует делегированный механизм консенсуса по доказательству доли, токен также используется для управления платформой, в которой каждый токен представляет собой голос. Эти голоса отдаются делегатам, которые затем используют их для голосования по утверждению или отклонению предложений по улучшению. Проверка транзакций в сети Tezos называется выпечкой и похожа на майнинг в Биткоине, только на основе доказательства доли. За выпечку, таким образом подтверждающую транзакцию на блокчейне и защищающую сеть, пекари получают вознаграждение Tezzies. Маркер используется также на основе консенсуса узлов, чтобы купить ставку облигаций и фактора для расчета выпечки награды.
Команда
Tezos с 2014 года и была основана супружеской парой Артуром Брейтман и Кэтлин Брейтман. Артур имеет впечатляющий опыт в прикладной математике и информатике. В 18-летнем возрасте завоевал первую медаль Франции на международной олимпиаде по информатике, после чего продолжил обучение в этой области. После получения образования Артур Брейтман работал в Google X инженером-исследователем и в Goldman Sachs количественным аналитиком. Кэтлин имеет такое же впечатляющее резюме, заполнив стратегические позиции в таких компаниях, как Accenture, Bridgewater Associates, The Wall Street Journal и blockchain consortium R3. Заметное дополнение к руководству Tezos Райан Есперсен. Йесперсен стал президентом фонда Tezos после того, как стал голосом обеспокоенности сообщества во время судебных процессов и невзгод с которыми сталкивается фонд. Из-за его действия, таких как подача петиций и общественных пресс-релизы, ему дали должность всячески способствовать продолжению Tezos. Остальная часть команды в значительной степени неизвестна и, по оценкам, состоит из 40 основных разработчиков.
Инвесторы
Проект Tezos имеет серьезную поддержку инвесторов. Одним из них является компания Winklevoss Capital. Близнецы Винклвосс были восходящими звездами в крипто индустрии биржи, тем не менее, они не вкладывают слишком много цифровых активов. Tezos является одним из немногих криптовалютных проектов, в которые влиятельные близнецы инвестировали, помимо Биткойна, Ethereum и Zcash, и некоторые предполагают, что это может указывать на близкое будущее Gemini листинг.
Дорожная карта
Несмотря на то, что ICO Tezos закончилось в июле 2017 года, Tezzies пробились на биржи через год — 1 июля 2018 года. Команда Tezos пострадала от серьезных задержек из-за юридических проблем и споров с членами совета директоров и других осложнений, с которыми столкнулись. Что в основном является причиной того, что токен Tezos стал доступным для торговли. Споры закончились после нескольких месяцев, потраченных впустую на урегулирование споров вместо того, чтобы работать на платформе Tezos, когда тогдашний президент фонда Tezos Иоганн Геверс ушел в отставку в феврале. После этого команда смогла вернуться к делу и 30 июня сумела выдавить Tezos betanet. По словам команды, эта бета-версия блокчейна Tezos полностью функциональна, но очень экспериментальна. Простои и даже последний курорт хардфорка остаются за гранью возможного на данном этапе.