Нові смарт-контракти Algorand 2.0, не повні за Тьюрингом, є функцією, а не помилкою

Блокчейн Algorand із підтвердженням частки тепер підтримує розумні контракти.

У четвер Algorand Foundation випустив оновлення протоколу блокчейну, додавши функції децентралізованого Фінанси (DeFi) і довгоочікувані смарт-контракти. «Algorand 2.0» — це найбільше розширення можливостей мережі з моменту запуску мережі в червні 2019 року.

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

Протягом місяців співробітники Algorand були натякаючи на розгляді розвитку. Це перший раз, коли Algorand підтримує смарт-контракти, керовані кодом контракти, які можуть відстежувати та виконувати умови офіційних угод з часом.

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

Технічно унікальний

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

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

Наприклад, ASC не підтримує рекурсивна логіка, згідно з сторінка розробника.

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

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

Інші оновлення

Функція стандартного випуску активів (ASA) надає широко поширені функції токенізації в Algorand, а також є базовим інструментом DeFi.

Фонд сторінка розробника сказав, що будь-який актив можна оцифрувати та зберігати в мережі за допомогою ASA.

Algorand також представив функцію пакетних транзакцій за допомогою функції атомарних переказів, випущеної в четвер.

За допомогою нового інструменту користувачі можуть виконувати складні перекази токенів, такі як циклічні операції та внутрішні розрахунки за рахунками, за ONE транзакцію, сторінка розробника сказав.

У фонді заявили, що Algorand 2.0 не впливає на Algorand відповідність шаріату сертифікація, інші ключові характеристики залишаються незмінними.

Згідно з даними, ринкова капіталізація Algorand становить 108 мільйонів доларів Номікиі займає 48-е місце серед блокчейнів CoinMarketCap.