Kadena випускає оновлену мову смарт-контрактів для «гібридних блокчейнів»

«Pact 3.0 загалом робить доступними функції, які роблять гібридні блокчейни реальністю... Тепер у нас є мова смарт-контрактів для гібридних блокчейнів».

Це Стюарт Попджой, колишній керівник блокчейн-групи інвестиційно-банківського гіганта JP Morgan і засновник багатомільйонного блокчейн-стартапу під назвою Kadena.

Сьогодні Popejoy і команда Kadena випустили нову версію своєї рідної мови комп’ютерного програмування під назвою Pact, призначену для безпечної та простої розробки смарт-контрактів на блокчейні. У третьому великому випуску коду Попджой стверджує, що розширений набір функцій Pact 3.0 нарешті підтримує крос-блокчейн виконання смарт-контрактів між приватними та публічними мережами.

На даний момент Kadena вже створила приватну блокчейн-платформу під назвою Масштабований BFT і буде запущено в жовтні цього року публічна блокчейн-платформа під назвою Chainweb.

«Програміст [тепер] може написати дуже простий смарт-контракт, який здатний FORTH даними між загальнодоступною та приватною частинами гібридної блокчейн-додатки, не виходячи з комфорту смарт-контракту Pact», — сказав Попджой CoinDesk.

Точніше, сьогоднішній випуск Pact 3.0 має три ключові набори функцій.

По-перше, Pact 3.0 пропонує підтримку простої перевірки платежів (SPV). Це означає, що розробники можуть розгортати середовища смарт-контрактів у блокчейні Kadena , які незалежно перевіряють транзакції, що відбуваються поза ланцюгом в інших мережах блокчейну.

Деякі з безпосередніх наслідків цього інструменту, як окреслив Попджой, включають «доведення того, що щось трапилося в загальнодоступному блокчейні в приватному блокчейні, доведення того, що щось трапилося в приватному блокчейні в загальнодоступному блокчейні, [і] доведення того, що щось трапилося в іншому [доказу роботи] блокчейні (тобто Bitcoin, Ethereum)».

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

«У найзагальнішому розумінні здатність можна розглядати як право робити щось, що існує в даних», — пояснив Попджой.

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

Незмінність проти оновлень

Нарешті, Pact 3.0 також представляє модульне управління, що дозволяє розробникам достовірно змінювати або оновлювати код смарт-контракту. На відміну від більшості інших мов розумних контрактів, таких як Солідність на блокчейні Ethereum Pact не є повною мовою Тьюрінга і не має незмінних децентралізованих програм (dapps).

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

«З самого початку у нас були смарт-контракти з можливістю оновлення, але це T було повним управлінням, тому що модель з одним або кількома підписами — це в основному централізована модель», — підкреслив Попейджой. «Тепер ви можете контролювати управління будь-якою логікою, яку тільки можете придумати, і очевидним прикладом може бути якесь управління на основі [держателя токенів], яке ми бачимо в будь-якій системі ставок».

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

«Дійсно легко об’єднати ці два, [незмінність і смарт-контракти].» Тим не менш, Попджой стверджує, що смарт-контракти насправді T стосуються незмінних, самовиконуваних програм. Вони стосуються забезпечення безпечної роботи бізнес-моделей на платформі блокчейн.

Попджой підкреслив:

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

Зображення Стюарта Попджоя надано Kadena