Чт. Авг 5th, 2021
    Free TON roadmap

    На сайте проекта Free TON представлена дорожная карта — документ, который кратко описывает весь путь продвижения платформы в три основных этапа: «Бешеный бык», «Бойцовская рыбка» и «Бойцовский клуб».  Задачи карты Free TON — воплотить в полном объеме документы, составляющие «спецификацию» оригинального протокола TON.

    В TON, каким его видел Николай Дуров, возникли пробелы в реализации ноды (от англ. Node). Ее разработку прекратили до того как Telegram успел воплотить весь объем заявленных характеристик. Ее завершение — первоочередная задача Free TON.

    Митя Горошевский (CTO TON Labs) заявил: «Завершить разработку оригинального TON — это обязательство, взятое сообществом Free TON. Чтобы довести дело до конца, потребуется участие многих членов сообщества. Цель поставлена и ясна. Обязательство очевидно». 

    Для достижения этой цели к сообществу Free TON присоединился Pruvendo — ведущий поставщик технологии формальной верификации. Об этом 9 июня объявили члены сообщества Free TON во время еженедельного стрима.

    По словам сооснователя Pruvendo Сергея Егорова, традиционные подходы уменьшения количества ошибок в сети, успешны лишь частично и не могут полностью исключить такие риски, как потеря значительных активов.

    Сергей Егоров привел в пример публичные случаи, когда терялись или подвергались серьезному риску миллионы долларов: скандал с 50 миллионами долларов DAO и случай с Parity, где замороженными оказались 150 миллионов долларов. Такие колоссальные потери, когда речь идет уже даже не о миллионах, а миллиардах долларов, случаются ежегодно из-за неисправленных недостатков программного обеспечения. Поэтому, отметил Егоров, нужно использовать формальную верификацию, основанную на строго проверенной математике: «Подобно тому, как доказываются теоремы, также можно доказать, что программное обеспечение работает так, как задумано».

    Как отметил Митя Горошевский, большинство современных блокчейнов предпочитают разрабатывать свои собственные доменные языки (DSL). Это оправдано для безопасности, однако они сложны в использовании или же задерживают обмен технологиями. Поэтому от этой идеи Free TON отказался.

    «С первого дня Free TON решил использовать существующие языки высокого уровня, Solidity, C и C++, — заявил Митя Горошевский. — В данном случае Pruvendo — идеальное решение, поскольку они верифицируют смарт-контракты, написанные на этих языках, обеспечивая при этом равную или лучшую безопасность. Решение Pruvendo будет использоваться для проверки смарт-контрактов Free TON, а также для проверки частей самого блокчейна, включая виртуальную машину TON и алгоритм консенсуса».

    1
    0

    Добавить комментарий

    Ваш адрес email не будет опубликован. Обязательные поля помечены *