Оновлення Василя Cardano знаменує важливу віху в еволюції блокчейну

Пересічний спостерігач Крипто , знаючи, що Ethereum щойно завершив свій довгоочікуваний перехід на систему перевірки доказу частки, може бути заданий питанням, що в цілому можна вивести з Василь оновлення блокчейну Cardano о 21:44 UTC у четвер, 22 вересня. T , що завершиться через п’ять днів, 27 вересня.)

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

Читайте також: Що принесе довгоочікуваний хардфорк Vasil Cardano

Cardano, іноді рекламований як «Вбивця Ethereum ,” грає в довгу гру. Критики цього процесу (розділити на «епохи» названий на честь поетів-романтиків, комп’ютерників і мислителів епохи Просвітництва) часто критикують протокол за відставання від інших розумний контракт блокчейни, які вже містять процвітаючі екосистеми децентралізованого Фінанси (DeFi) і накопичили мільярди доларів у загальній заблокованій вартості.

Але перші досягнення передової платформи смарт-контрактів, Ethereum, є «геніальними, але неструктурованими», за словами Аггелоса Кіайаса, головного наукового співробітника компанії Cardano Input Output Global (IOG). Смарт-контракти на Cardano «інші», — каже Кіайас, який також є професором криптографії в Единбурзькому університеті.

Розумні контракти на Cardano

Це тому, що Cardano базується на функціональному програмуванні, точному та математичному способі написання коду, який використовує незмінні дані, щоб вказувати програмі, що саме робити, на відміну від досягнення результатів через об’єкти, які змінюють стан програми.

«Я думаю, що багато людей зіткнулися з труднощами, коли смарт-контракти були запущені в Cardano, тому що вони сподівалися, що буде простий спосіб негайно перенести складні контракти з Ethereum на Cardano», — сказав Кіайас в інтерв’ю CoinDesk. «Але це вимагає знайомства з функціональним програмуванням і переосмислення, який би був найкращий спосіб програмувати речі в цьому новому середовищі?»

Для Kiayias функціональне програмування не тільки є простим і природним підходом, але коли справа доходить до критичної інфраструктури, це має сенс. Це тому, що намір комп’ютерної програми тоді стає дуже зрозумілим і його легко перевірити. Ця простота також передбачає можливу автоматизацію такої перевірки. І хоча потрібні певні витрати часу, Кіайяс сказав, що тонкощі функціонального сценарію Cardano Plutus можна спростити за допомогою предметно-спеціальних мов, таких як Марлоу.

Cardano — не єдиний блокчейн, який цінує формальну перевірку смарт-контрактів; блокчейн Tezos також був розроблений з урахуванням цього. Однак сьогодні такі занепокоєння, можливо, вийшли з моди на тлі стрімкого зростання DeFi.

Bitcoin в крові

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

На відміну від Ethereum, який використовує модель на основі рахунку, схожу на банківську, Cardano базується на «виході невитрачених транзакцій» (UTXO) система, спосіб підрахунку того, що зберігається в Bitcoin гаманцях, відстежуючи здачі, що залишаються, коли витрачаються частки монет. Але Cardano розширює цю практику, тому вона не обмежена обмеженнями даних блокчейну Bitcoin , підхід, відомий як «розширені невитрачені виходи транзакцій» (EUTXO).

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

«Або транзакція відповідає поточному розширеному набору UTXO і витрачає деякі UTXO та вводить інші, або вона T підходить», — сказав він. «Тож у мене є детермінована впевненість у тому, як моя транзакція взаємодіятиме зі станом блокчейну і не буде змінена жодними іншими транзакціями».

Це не стосується такої моделі на основі облікових записів, як Ethereum, зазначив Кіайяс. «У цьому випадку я не можу повністю передбачити, як моя транзакція взаємодіятиме зі станом блокчейну, оскільки інші транзакції можуть бути «затиснуті» перед моєю транзакцією, змінюючи її, і тоді моя транзакція в основному взаємодіє зі станом, якого не існувало, коли Я його видав. Це насправді має величезну різницю для смарт-контрактів».

Безпека в масштабі

Пов’язуючи це зі змінами, які впроваджує Василь, модель Cardano UTXO буде легше посилатися, утримуючи більше навантаження від ланцюжка, що краще для масштабування, а також є кращим з точки зору безпеки.

«Оновлення Vasil зробить можливим звернення до UTXO, і це значно заощадить простір», — сказав Кіайас. «Тож хоча в теорії це невеликий бухгалтерський розгляд, на практиці це величезна перевага».

Кіайас сказав, що у світі Технології немає нічого нового, коли люди поспішають вперед, що, мабуть, перетворив DeFi на своєрідний майданчик для хакерів.

«Якщо я хочу підвищити зручність використання або швидкість, я завжди можу зробити краще, ніж ви, пожертвувавши безпекою», — сказав Кіайяс, захищаючи методичний підхід Cardano та кропіткий процес академічної експертної оцінки.

«Але я думаю, що нам завжди потрібен науковий спосіб оцінки безпеки систем», — додав він.

Рідна Криптовалюта Cardano, ADA, зріс приблизно на 4% за останні 24 години, торгуючись на рівні 46 центів на момент публікації.

Оновлення: п’ятниця, 23 вересня 2022 р., 01:27 UTC: Відредаговано, щоб відобразити оновлення о 21:44 UTC у першому абзаці.