Новые неполные по Тьюрингу смарт-контракты Algorand 2.0 — это функция, а не ошибка

Блокчейн Proof-of-Stake Algorand теперь поддерживает смарт-контракты.

В четверг фонд Algorand выпустил обновление протокола блокчейна, добавив функции децентрализованного Финансы (DeFi) и долгожданные смарт-контракты. «Algorand 2.0» — это крупнейшее расширение возможностей сети с момента ее запуска в июне 2019 года.

«В этом выпуске новые функции и простые ресурсы для разработчиков открывают новые возможности использования и способствуют более широкому внедрению блокчейна в целом», — заявил генеральный директор Algorand Стив Кокинос в своем выступлении. заявление.

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

Смарт-контракты ASC от Algorand имеют внутренние отличия от смарт-контрактов, впервые разработанных блокчейнами, такими как Ethereum. Это связано с тем, что новый внутренний язык программирования Algorand Transaction Execution Approval Language (TEAL) не является полным по Тьюрингу.

Технически уникальный

Полнота по Тьюрингу — это мера способности языка программирования имитировать другой язык программирования и, возможно, манипулировать его собственными программными инструкциями.

Почти все современные языки программирования являются полными по Тьюрингу, но Algorand рекламирует отличие TEAL как особенность, а не как ошибку. Смарт-контракты TEAL безопаснее писать и выполнять, несмотря на более ограниченную потенциальную функциональность, утверждает Algorand .

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

«Мы T считаем, что тьюринг-полный необходим для большинства случаев использования», — сказал Пол Ригл, руководитель отдела продуктов в Algorand. «Это добавляет огромную поверхность атаки и потенциально сильное влияние на производительность».

Более простая функциональность может означать лучшую безопасность – или, по крайней мере, более прямой путь к тому, чтобы кодеры контрактов ASC непреднамеренно не теряли активы. Проще и быстрее проверять код смарт-контракта на наличие ошибок, когда его язык программирования исключает рекурсивную логику, согласноХакерский полдень.

Другие обновления

Функция стандартной эмиссии активов (ASA) привносит в Algorand широко распространенные функции токенизации, а также является базовым инструментом DeFi.

Фондстраница разработчикасказал, что любой актив может быть оцифрован и сохранен в цепочке с помощью ASA.

Algorand также представила функционал пакетных транзакций с функцией Atomic Transfers, выпущенной в четверг.

С помощью нового инструмента пользователи могут выполнять сложные переводы токенов, такие как круговые сделки и внутренние расчеты по счетам, за ONE транзакцию. страница разработчика сказал.

Фонд заявил, что Algorand 2.0 не повлияет на Algorand соблюдение шариатасертификация, при этом другие ключевые характеристики остались неизменными.

По данным Algorand , рыночная капитализация компании составляет 108 миллионов долларов. Номики, и занимает 48-е место среди крупнейших блокчейнов, согласноCoinMarketCap.