Нова технологія Ethereum закликає слов'янських богів для безпеки

Слов'янський бог блискавки Перун входить в екосистему Ethereum (принаймні по духу).

Натхненний біткойнами мережа блискавки, група дослідників під керівництвом доцента Варшавського університету Стефана Дзембовського та професора Технічного університету Дармштадта Себастьяна Фауста оприлюднили нова біла книгапід назвою «Основи мереж державних каналів», в якому описано протокол, розроблений для того, щоб допомогти масштабувати Ethereum для підтримки великих обсягів більш складнихрозумні контракти.

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

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

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

Можливо, поступове нововведення, але Джембовський, співавтор статті, стверджує, що T можна недооцінювати, враховуючи природу передачі вартості.

Він сказав CoinDesk:

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

Виявляється, це настільки затребувана мета, що дослідники вже співпрацюють з технологічним гігантом Bosch, щоб створити прототип. Мало того, проект отримав високу оцінку від творця Ethereum Віталіка Бутеріна.

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

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

Поїздка до штату

Але якщо відійти назад, шлях команди до Перуна був BIT звивистим.

Дзембовський розповів CoinDesk, що спочатку він і команда хотіли створити «чесну» програму для обміну файлами на основі Ethereum , але невдовзі в процесі розробки програми зіткнулися з критичними проблемами.

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

Це саме те, що відчули інші розробники, найвідоміше з додатком для колекціонування цифрових котів З'явилися CryptoKitties як улюблений користувач, що спричиняє ці повільні транзакції та високі комісії. Відтоді спільноті Ethereum було FORTH кілька рішень для масштабування, але команда Perun насправді знайшла натхнення в зовсім іншій мережі.

Саме блискавична мережа біткойнів, ще одне «рішення другого рівня» для блокчейну Bitcoin , викликала їх інтерес. Саме тоді команда, до якої також входять дослідники Крістіна Хостакова та Ліза Екі, почала працювати над Технології , яка функціонуватиме на більш амбітній платформі Ethereum.

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

Назустріч реальності?

Тим не менш, команда Перуна і навіть Бутерін розуміють, що попереду ще довгий шлях.

Дзембовський сказав, що прототип його команди ще T готовий для живого використання, але зараз «переважно для дослідницьких цілей». І Бутерін сказав, що його турбує майбутній «ризик помилки», оскільки теорія втілюється на практиці з реальним кодом смарт-контракту.

Говорячи про ці ризики, Дзембовський під назвою The DAO, заснована на ефіріумі організація, яка мала покладатися лише на код, але припинила роботу після того, як користувачів зламали на понад 50 мільйонів доларів ефіру, як приклад того, що та скільки може піти не так.

Тим не менш, багато хто в захваті від цих зусиль.

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

Говорячи про творчість Перуна, Бутерін продовжив:

«Особисто я задоволений тим, що принципово можливо досягти всього того, про що ви стверджуєте, у спосіб, яким ви це робите».

Дослідницька група відповіла йому, що вони працюють над простою реалізацією.

BLUR в русі зображення через Shutterstock