3 речі, які потрібні смарт-контрактам, перш ніж вони нарешті запрацюють

Артур Брейтман є генеральним директором, а Кетлін Брейтман — головним операційним директором Tezos (Tezos.com), нова блокчейн-платформа, яка зараз розробляється. До заснування Tezos Артур працював у Goldman Sachs і Morgan Stanley, де обіймав посаду віце-президента. Кетлін була старшим консультантом зі стратегії блокчейн-консорціуму R3.

У цій спеціальній функції CoinDesk 2016 in Review Брейтмани надають огляд поточних проблем із розробкою смарт-контрактів, вибираючи лише три, які, на їхню думку, залишаються перешкодами для масового використання.

Смарт-контракти мають величезні перспективи як «програма-вбивця» для блокчейнів.

Якщо ви не знайомі, a розумний контракт це комп’ютерна програма, яка автоматично виконує умови контракту на блокчейні. В принципі, ви можете використовувати смарт-контракти для різноманітних цілей, таких як контракти на надання послуг бездротового зв’язку, оренда квартир і готельних номерів, контракти на роботу фрілансерів, автоматизація платежів – будь-де, де ви захочете відмовитися від середньої особи.

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

Також очевидно, що ця Технології пропонує надійну перевагу традиційним Ринки.

Наприклад, розглянемо варіант використання позабіржового (OTC) ринку деривативів, умовна вартість якого складає 700 трильйонів доларів США на рік. Перенесення навіть невеликого відсотка цих угод на смарт-контракти означає величезну потенційну економію.

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

Ось три способи, якими системи розумних контрактів можуть заслужити нашу довіру в 2017 році:

1. Забезпечте можливість формальної перевірки

Написати код, який працює саме так, як ми хочемо, неймовірно важко.

Усе програмне забезпечення вразливе до помилок або різного роду атак, але зі смарт-контрактами реальні активи поставлені під загрозу. Нам потрібен кращий спосіб забезпечити надійність і надійність цих контрактів. ONE із способів - використовувати формальна перевірка, математична техніка перевірки коду, щоб довести, що він виконуватиметься за призначенням.

Розумні контракти мають бути реалізовані мовою, яку легко перевірити. З цієї причини функціональні мови, такі як Haskell і OCaml, краще підходять для коду смарт-контрактів, ніж імперативні, такі як C/C++, Java і JavaScript, оскільки їхню структуру легше міркувати та формально перевіряти.

Дійсно, більше програмістів знайомі з JavaScript, але акцент потрібно перемістити з простоти використання на безпеку.

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

Крім того, формальна перевірка може підтвердити лише ті властивості, які ми насправді хочемо перевірити; якщо ви T перевірите правильні речі, ви можете залишити вразливі місця відкритими. Але все ж це крок у правильному напрямку, якщо його правильно реалізувати.

2. Забезпечте прозорість, щоб можна було перевірити код

ONE із найбільших експериментів зі смарт-контрактами став The DAO, віртуалізований інвестиційний механізм, який залучив 150 мільйонів доларів, а потім одразу став жертвою зловмисника, який перевів 50 мільйонів доларів на їхній власний рахунок.

Коли дослідники безпеки почали аналізувати DAO, було важко зрозуміти, що він насправді робить, оскільки байт-код DAO (код віртуальної машини) був єдиним, що було видно в блокчейні, і було незрозуміло, яка версія вихідного коду насправді розгорталася.

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

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

3. Забезпечити чіткий механізм управління

Оскільки розумні контракти зберігаються в блокчейні, за визначенням код є незмінним, тобто в ідеальному світі код T змінюється.

Але програмне забезпечення ніколи не буває ідеальним. Зміни базової платформи можуть і будуть відбуватися, що може вплинути на виконання коду смарт-контракту. Те, як певний блокчейн обробляє ці зміни, має вирішальне значення для встановлення довіри до його платформи.

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

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

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

І, як і в Інтернеті, ми T думати про Технології, що стоїть за ним, ми просто знаємо, що він працює – послідовно та надійно.

Виправлення: Попередня версія цієї статті вказувала, що материнська компанія CoinDesk, Digital Currency Group, інвестувала в Tezos. Це було переглянуто.

Зображення зльоту літака через Shutterstock