Дорожная карта Free TON по завершению разработки оригинального TON
В рамках дорожной карты сообщество Free TON поставило задачу воплотить в полном объеме оригинальный протокол TON, описанный в техническом документе TON, описании виртуальной машины TON, описании блокчейна TON и описании протокола BFT Consensus — документах, вместе составляющих «спецификации» оригинального протокола TON.
Это важнейшая часть нашего общего видения разработки и тонкой настройки процессов управления, дальнейшей децентрализации стейкинга, изменений в расчетах и распределении комиссий, дополнительных криптографических примитивов, виртуальных машин и многого другого.
Существуют значительные пробелы в реализации ноды C ++ по сравнению с оригинальным видением TON, описанным Николаем Дуровым. Поскольку разработка ноды была прекращена, Telegram не удалось воплотить весь объем заявленных характеристик, обещанных в исходной документации. Теперь завершить то, что было начато — задача Free TON.
Митя Горошевский CTO TON Labs и участник Free TON заявил:
“Завершить разработку оригинального TON — это обязательство, взятое на себя сообществом Free TON. Чтобы довести дело до конца, потребуется участие многих членов сообщества. Цель поставлена и ясна. Обязательство очевидно.”
Более подробную информацию можно найти на форуме сообщества.
Pruvendo присоединился к сообществу Free TON для формальной верификации
В рамках этого процесса, в прошлый вторник, 9 июня, во время еженедельного лайвстрима члены сообщества Free TON объявили, что Pruvendo, ведущий поставщик технологии формальной верификации, присоединится к сети как «bug killer».
Сооснователь Pruvendo Сергей Егоров заявил:
«Традиционные подходы, предназначенные для уменьшения количества ошибок в сети, такие как интенсивное тестирование или внешний аудит (популярный подход для проверки смарт-контрактов в Ethereum), приносят лишь частичный успех. Хотя они по-прежнему полезны для выявления дефектов, они далеко не способны полностью исключить такие риски, как потеря значительных активов».
Далее Егоров отметил несколько публичных случаев, в которых миллионы долларов были потеряны или подвергнуты серьезному риску, в том числе скандал с 50 миллионами долларов DAO, случай с Parity, где были заморожены 150 миллионов долларов, и подчеркнул, что теряются сотни миллионов, даже миллиарды долларов ежегодно из-за неисправленных недостатков программного обеспечения.
Реальное решение состоит в том, чтобы использовать формальную верификацию, основанную на строго проверенной математике, — продолжил Егоров. — Подобно тому, как доказываются теоремы, также можно доказать, что программное обеспечение работает так, как задумано».
Pruvendo — это решение для формальной верификации смарт-контрактов, специально разработанное для Free TON. На основе средства доказательства теоремы Кок, часто используемого в транспортной и аэрокосмической отраслях, он был адаптирован для использования в блокчейне для формальной верификации смарт-контрактов, написанных на самых популярных языках программирования, и поддерживает как высокоуровневые доказательства, так и доказательства на уровне виртуальной машины (ассемблера).
Горошевский добавил:
Большинство современных блокчейнов разрабатывают свои собственные доменные языки (DSL) по соображениям безопасности. Они сложны в использовании, либо задерживают обмен технологиями. С первого дня Free TON решил использовать существующие языки высокого уровня, как Solidity, C и C++. В данном случае Pruvendo — идеальное решение, поскольку они верифицируют смарт-контракты, написанные на этих языках, обеспечивая при этом равную или лучшую безопасность. Решение Pruvendo будет использоваться для проверки смарт-контрактов Free TON, а также для проверки частей самого блокчейна, включая виртуальную машину TON и алгоритм консенсуса.
Для получения дополнительной информации о Pruvendo, пожалуйста, напишите им по адресу team@pruvendo.com или свяжитесь с Сергеем Егоровым в Telegram @SergeyEgorovSPb.
Free TON — это децентрализованная блокчейн-сеть, запущенная сообществом разработчиков и валидаторов 7 мая 2020 года.
👉Перевод оригинальной статьи.
