Сергей Егоров, руководитель компании Pruvendo, которая занимается формальной верификацией (проверкой) смарт-контрактов на блокчейне Free TON рассказывает о том, что такое математическое доказательство правильности смарт-контракта, а также о том, почему Free TON, чье сообщество активно развивается во всех странах, в том числе в Украине, призван стать самой высокотехнологичной децентрализованной платформой.
- Вы работаете с экосистемой Free TON уже 1,5 года, то есть, даже раньше, чем она вышла на рынок. Как это произошло?
- Да, мы работали с проектом, когда не было никакого Free TON, а был проект TON Павла Дурова. Free TON скоро исполняется год, так что мы знаем проект с самого “рождения”. Сейчас внутри Free TON образован целый subgov формальной верификации и я являюсь его активным участником (у Free TON нет централизованного руководства и всеми процессами управляют subgovs)
- Что такое формальная верификация смарт-контракта? Для обывателя звучит очень сложно.
- Это можно сравнить с запуском спутника в космос. Когда мы запускаем спутник, мы понимаем, что если допущена ошибка, то он улетит не туда, не попадет на орбиту и будет потерян навсегда. Также и со смарт-контрактом. Если в нем есть ошибка, а он уже запущен, вы можете потерять все свои средства и вернуть их будет нельзя. Формальная верификация смарт-контракта - это математическое доказательство его правильности, доказательство того, что все пройдет хорошо.
Кроме того, мы все пользуемся различными приложениями и часто сталкиваемся с тем, что они работают неправильно. Чаще всего это мелкие недоработки, которые просто можно проигнорировать. Но в случае со смарт-контрактом на блокчейне даже небольшая ошибка может стать критичной. Средства могут быть украдены или просто зависнут. Так что тут ошибки недопустимы.
- В истории блокчейна были такие случаи?
- Да, самый, известный, пожалуй, это хакерская атака на DAO в 2016 году. В результате уязвимости в коде проекта, хакер украл у пользователей 53 миллиона долларов США, что привело к полному обвалу курса DAO, а вслед за ним и Эфириума, на базе блокчейна которого была построена децентрализованная платформа DAO. Проблемы в коде были и у проектов Parity и Rubixi. Подобных примеров множество. Во всех случаях пользователи теряют огромные средства или испытывают другие неудобства, поэтому наша работа так важна.
Популярные сейчас
Рада поддержала автоматизированный арест депозитов должников
Раньше Бундесвера: Украина получила немецкие армейские машины Caracal
- Откуда проще украсть деньги - из блокчейна или с банковского счета?
- Блокчейн безопасен, если в нем нет ошибок. Но децентрализованный блокчейн в любом случае открыт всем ветрам. Банковский счет защищают файерволлы, работают департаменты информационной безопасности. Но, как вы знаете, банки тоже могут закрываться.
- То есть, если в смарт-контракте есть ошибка и он запущен, то исправить его уже нельзя?
- Если вы нашли ошибку, то да, у вас есть ряд инструментов, если вы об этом позаботились заранее. Но если не позаботились, то ничего изменить нельзя.
- На каком этапе могут возникнуть ошибки и когда их можно исправить?
- Ошибка может возникнуть в результате написания смарт-контракта. Есть программисты, которые пишут программу под названием смарт-контракт. Потом ее превращают в машинный код, который отправляется в блокчейн, как корабль на орбиту. Ошибки формируются на этапе написания. Перед запуском в блокчейн проводится проверка качества программы. Для проверки используется несколько методов - формальный или математический и традиционная проверка, то есть по сути тестирование. Формальные методы строго математические, они доказывают, что ошибок нет. И формальные, и традиционные методы - это огромный пласт работы.
- Математические подходы к проверке блокчейна дороги, а специалистов мало. Где вы их находите?
- Это огромная проблема, потому что готовых специалистов нет. Из всей команды, которая у нас работает, только один пришел к нам уже готовым, состоявшимся специалистом. Как правило, мы берем программистов или студентов-математиков, которые понимают в программировании. Потому что зрелые математики не умеют программировать, и не все программисты понимают в математике.
- Давайте вернемся к Free TON. Сейчас, при посещении его сайта, простому обывателю не очень понятно, чем он может быть полезен и как им пользоваться. С точки зрения программистов - в чем основная идея Free TON?
- Мое мнение таково, что идея Free TON - наконец-то, научить людей пользоваться блокчейном. Сегодня блокчейн ассоциируется с токенами и с получением спекулятивного дохода или серыми и черными схемами. Несколько лет назад появился Эфириум и все думали, что смарт-контракты наконец придут в массы. А Free TON это высокотехнологичная платформа для разработчиков, чтобы писать быстрые различные DEFI приложения, которые будут полезны всем людям.
Кроме того, Free TON как проект, наглядно показывает то, как можно всем вместе управлять проектом, не имея единого центра или офиса. В этом его чуть ли не философская миссия. Блокчейн и технологию смарт-контрактов, конечно, иногда применяют там, где он не нужен или неэффективен. Но это хорошо влияет на рынок, приходит много сильных игроков. Блокчейн пригодится везде, где нужны быстрые дешевые транзакции, передача и анализ больших объемов данных, когда надо исключить возможность подделки информации, подтвердить права и многое другое.
- Почему Free TON, созданный для людей и допускающий очень широкое использование, пока известен только профессионалам: программистам и инвесторам. Почему так происходит?
- На самом деле Free TON - самая технологичная децентрализованная экосистема в мире. Но об этом действительно пока знают только профессионалы. Почему? Потому что программисты - грубо говоря - это посредники между человеком и компьютером или иным устройством или технологией. Free TON - это проект для людей, здесь будет много полезных и интересных приложений. Но чтобы он стал проектом для людей, программисты его должны наполнить.
Сегодня Free TON пока еще проект для программистов, а монета TON Crystal пока обращается на небольшом количестве бирж. Много шуму было когда проект TON Дурова был закрыт, а о том, что запущен Free TON широко так и не было объявлено. Проект оказался в тени всего этого хайпа с SEC. Известность и признание Free TON - всего лишь вопрос времени. Недавно на Free TON обратили внимание разработчики государственного блокчейн Китая - и, конечно, это признание.
- Free TON - децентрализованный проект и он стремится к абсолютной децентрализации. Вам удобно работать в таких условиях или проще приехать к заказчику в офис?
- У децентрализации есть плюсы и минусы - это не рай на Земле. Минусы пока что в достаточно долгом процессе принятия решений и голосовании, но это поправимо с развитием проекта. А плюсы в том, что никто не может прийти и поменять правила игры. Такая система защищена от злоупотреблений, мошенничества или цензуры.
- Куда движется Free TON в плане программирования?
- Самое важное, что можно будет увидеть - это появление DEX - распределенной криптовалютной биржи, где можно будет торговать производными TIP-3 токенами, обменивать их на TON Crystal и где будут созданы мосты с токенами Эфириума. Это то, что сейчас ожидает большое количество пользователей. Все хотят выпускать собственные токены, в том числе и NFT.
- Почему курс TON Crystal не растет сейчас, когда растут все альткоины?
- Free TON это не про PR, это глубоко технологическая платформа. Как только пользователи это поймут и начнут пользоваться приложениями, рост произойдет нативно, без хайпа.
- В чем сегодня технологическое превосходство Free TON?
Два основных преимущества - скорость и масштабирование. Скорость - это высокая пропускная способность блокчейн за счет стандарта TIP-3. Сейчас скорость блокчейна самая высокая в мире. И масштабируемость. Вы сами видите, что происходит с Эфириум - транзакции становятся медленнее, комиссии растут. Free TON будет практически бесконечно масштабируемым без ущерба для конечных пользователей