Согласно заявлениям основателя Lexon Хеннинга Дидриха, сделанным им для Cointelegraph, 3 августа был запущен компилятор, позволяющий разработчикам писать контракты на языке Lexon и конвертировать их в Solidity, Sophia или Javascript. Компилятор работает на блокчейн-сети Aeternity (AE) и взимает токены LEX в качестве оплаты за каждый цикл компиляции.
Лексон - это компьютерный язык, который называют "компьютерным языком, который может прочитать каждый", и который должен выглядеть как обычный письменный или устный язык. В частности, текущая версия разработана таким образом, чтобы выглядеть и звучать как обычный английский язык.
В беседе с Cointelegraph Дидрих заявил, что язык и компилятор обеспечивают три основных преимущества для разработчиков и пользователей. Во-первых, его можно использовать в качестве образовательного инструмента для обучения программированию смарт-контрактов. В Remix, популярном инструменте для изучения Solidity, разработан плагин Lexon, который позволяет студентам набирать соглашения в Lexon и видеть их перевод в Solidity, что позволяет им понять, что означает код Solidity на простом английском языке. По мнению Дидриха, это может помочь студентам понять, как работают Solidity и смарт-контракты.
Во-вторых, контракты могут быть написаны на языке Lexon, что делает их "самодокументирующимися". Вместо того чтобы технический писатель писал документацию, объясняющую, что делает код, сам код может быть написан на языке, понятном обычным людям. Программисты пытались разработать алгоритмы, позволяющие создавать документацию из набора кода, но Lexon подходит к этой проблеме по-другому, делая код читаемым, утверждает Дидрих.
В-третьих, Lexon может быть использован для создания более совершенных графических интерфейсов пользователя (GUI) и в более автоматизированном режиме. "Вы можете использовать богатство информации для создания лучших графических интерфейсов, потому что вы можете генерировать больше из [этого] человеческого способа выражения логики, чем когда вы берете в качестве отправной точки язык третьего поколения, такой как Solidity", - заявил Дидрих.
Дидрих предупредил, что компилятор может осуществлять перевод только в одном направлении - с языка Lexon на другой язык. Он не может перевести другой компьютерный язык обратно в Lexon. Это означает, что его нельзя использовать, например, для более удобной отладки смарт-контрактов, которые изначально были написаны не на Lexon, пояснил он:
"Естественный язык, конечно, намного богаче, чем языки третьего поколения, такие как solidity [...] И акт исключения вещей - это фактически то, что делает компилятор [...] Этот первый шаг перевода теряет так много информации, что путь назад действительно труден [...] Потому что он никогда не может быть так хорош, как сам Lexon".
Однако, по его мнению, если Lexon станет общепринятым языком программирования смарт-контрактов, это облегчит понимание обычными людьми принципов работы Web3-приложений, что позволит достичь той же цели, что и компилятор Solidity в Lexon.
По словам Дидриха, команда выбрала Aeternity из-за ее низкой стоимости газа и высокой масштабируемости. В настоящее время команда распространяет LEX в обмен на токены AE.
Сложность чтения контрактов Solidity по-прежнему является камнем преткновения для пользователей DeFi. Пользователи, не умеющие кодить, часто вынуждены полагаться на аудиторов безопасности смарт-контрактов, чтобы определить, есть ли в контракте уязвимость, а это может сделать их уязвимыми перед необнаруженными эксплойтами. 2 июля злоумышленник без разрешения пользователей удалил из приложения Chibi Finance более 1 млн долларов США, что было охарактеризовано исследователями безопасности как "перетягивание ковра". Для вывода средств злоумышленник использовал функцию под названием "panic", о существовании которой большинство пользователей не знали.
В аналогичном примере 28 июля инвесторы вложили не менее 2 млн долл. в мемкоин Pond0x, а затем выяснили, что функция передачи монет Pond0x позволяет любому желающему переводить их без согласия владельцев. Цена токена Pond0x быстро упала почти до нуля.
Источник
