Lity. Новый язык смарт-контрактов

Lity. Новый язык смарт-контрактов

На данный момент в сети Ethereum опубликовано более чем 1700 децентрализованных приложений (DApps), и их число не перестает увеличиваться. И хотя все Dapps полагаются на смарт контракты, надежность самих смарт контрактов стоит под вопросом - киберпреступники заработали уже более миллиарда долларов на их взломах.

Для того, чтобы создать жизнеспособный смарт контракт, программисту нужно выучить совершенно новый язык программирования “Solidity”, малейшая ошибка при написании смарт контракта на Solidity может привести к катастрофическим последствиям - утечке информации и/или высокой стоимости транзакции. Недавно обнаруженный баг в смарт контрактах Parity привел к тому, что компания потеряла более полумиллиона эфира (ETH) стоимостью более $169 миллионов.

Стоит ли винить Solidity?

Поскольку подобные инциденты случаются все чаще, мнение сообщества Ethereum о Solidity поменялось в худшую сторону. Смарт контракты, написанные на Solidity испытывают проблемы безопасности, особенно проблему целочисленного переполнения. Хакеры без особого труда находят недочеты в контрактах и крадут миллионы долларов. Многие из этих взломов произошли из-за ошибок, сделанных программистами при написании кода на Solidity. 

Например, the Beauty Chain (BEC) была очень известной криптовалютой в Китае, в первый день продаж на бирже OKeX ее цена выросла на 4000%. С максимальной рыночной стоимости в $70 миллиардов компания в один момент опустилась до $2 миллиардов, когда цена ее токенов стала равна нулю. Это произошло из за баге в смарт контракте ECR20. В случае BEC, разработчик добавил к контракту метод под названием “batchTransfer()”. Этот метод был предназначен для облегчения передачи токена сразу нескольким лицам.

Однако разработчик сделал критическую ошибку в следующей строке кода:

uint256 amount = uint256(cnt) * _value;

Решение проблемы

Чтобы решить проблемы, стоящие перед смарт-контрактами, написанными на Solidity, был создан язык под названием “Lity”. Этот язык используется для разработки смарт контрактов и децентрализованных приложений на блокчейне CyberMiles. Lity состоит из динамически расширяемого языка, компилятора и работы виртуальной машины. Это означает, что все существующие программы на Solidity теперь могут работать без изменений на виртуальной машине CyberMiles (CVM).

Язык Lity более гибкий, более надежный и безопасный, чем Solidity. Например, Lity поддерживает функции нового языка, которые могут быть добавлены при помощи технологии over-the-air. Например, алгоритмы публичных/приватных ключей на сети Ethereum очень долгие и дорогостоящие. Сеть попросту не может поддерживать многие виды приложений. При помощи одной из новых функций, известной как “libENI” время, необходимое на совершение этих операций может быть сокращено до пары миллисекунд (в 10000 раз быстрее, чем сейчас). Эти операции также будут стоить значительно дешевле.

Улучшение в вычислительной способности Lity имеет огромный потенциал для применения в обмене криптоактивами между блокчейнами, а также для включения офф-чейн данных в блокчейн транзакции. 

В конце-концов компилятор Lity проверяет коды в контрактах ERC 20 и ERC 721 на все известные баги и ошибки. А виртуальная машина автоматически предотвращает проблемы вроде целочисленного переполнения или аннулирования владельца контракта.

Будущее смарт контрактов 

К сожалению, Solidity стал козлом отпущения для всех проблем, найденных в современных смарт контрактах. Для того, чтобы в будущем обеспечить надежную работу подобных контактов, были созданы новые языки программирования вроде Lity.

Известно, также, что фонд Ethereum и сам ищет пути для решения данных проблем. Его глава работает над внедрением “Casper” - механизма, при помощи которого Ethereum постепенно перейдет на консенсус PoS. Руководство фонда считает эти изменения необходимыми для того, чтобы решить многие проблемы, связанные с PoW. Фонд CyberMiles, однако, уже сообщил о том, что он нашел решение проблемы - рабочая модель DPoS. 

Эти модификации, несомненно, будут иметь ряд применений для сети Ethereum и для одного из важнейшего ее компонента - смарт контракта.


По материалам hackernoon.com

Читайте также

32432020-11-23

Цена Ethereum пробила $600

Сегодня цена Ethereum установила новый годовой максимум.

Ethereum
25192021-09-06

Ежедневная эмиссия Ethereum приняла отрицательное значение

Впервые в истории Ethereum за день сожгли больше криптовалюты, чем выпустили.

Ethereum

Последние статьи из раздела Ethereum

Свежее видео на канале

Выбор редакции

640702020-10-30

Топ 10 крипто кошельков в 2020 году

По мере роста популярности криптовалют растет и спрос на качественные и безопасные криптовалютные кошельки.

Кошельки
563962017-12-10

Bitcoin: пирамида или нет?

С января 2009 года, когда был сгенерирован первый генезиз-блок bitcoin-сети, прошло уже девять лет, но до сих пор всякого рода "эксперты" ломают копья в спорах: являются ли криптовалюты финансовой пирамидой или нет. Быстрый рост доходности bitcoin и прибыли тех, кто раньше стал участником этой системы, пугает схожестью с пирамидами 90-х.

Bitcoin
531692018-04-28

on-chain и off-chain управление: за и против

Чтобы понять важность управления блокчейном и дискуссии вокруг этого вопроса, сначала нужно определить что такое управление блокчейном, его роль и цели. Управление блокчейном в сфере криптовалют состоит из двух пунктов: правил протокола (кода) и экономических стимулов, на которых основана сеть.

Blockchain
412762021-05-08

Какие альткоины принесут своим держателям доход в 2021 году?

Мы решили помочь тем, кто хочет заработать на криптовалютах, но не располагает большими средствами, чтобы покупать монеты из первой пятерки рейтинга.

Альткоины
376962018-05-12

Эволюция человека и денег

Развитие биткойна и блокчейна началось приблизительно 70000 лет назад, когда хомо сапиенс превзошли свои биологические лимиты как вид. Это история, которая уходит глубоко корнями в эволюцию человечества.

Это интересно
107572024-02-03

Сканер блоков (Blockchain explorer) своими руками: Зачем он нужен?

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

Обучение, Bitcoin, Ethereum, Технологии