Згадуючи Plasma. Віталік Бутерін про новий погляд на стару технологію – ForkLog UA

Співзасновник Ethereum Віталік Бутерін опублікував есе, в якому згадав про технологію Plasma і розповів про способи її застосування в поточних реаліях.

  • Бутерін пояснив принцип роботи та недоліки Plasma.
  • Інтеграція із ZK-SNARK може вирішити багато проблем технології.

Як влаштована Plasma

Plasma — презентоване 2017 року рішення для масштабування блокчейну Ethereum, яке дає змогу зберігати всі дані та обчислення поза ланцюжком, за винятком інформації про депозити, виведення коштів і коріння дерева Меркла.

Згодом технологія «обросла» кількома ітераціями — Minimal Viable Plasma, Plasma Cash, Plasma Cashflow і Plasma Prime. Усі вони виконували одне завдання, але працювали за дещо різними принципами.

На думку Бутеріна, розробка відкривала двері для прориву в масштабованості мережі. Однак пізніше через високі витрати на зберігання даних на стороні клієнта і технологічні обмеження ролапи витіснили Plasma.

Найпростіша для ознайомлення версія Plasma Cash працює, розглядаючи кожну окрему монету як невзаємозамінний токен і відстежуючи історію переміщень для кожної з них.

У ланцюзі Plasma є оператор, який відповідає за створення і регулярну публікацію блоків, транзакції в яких зберігаються у вигляді сепарованого дерева Меркла. Таким чином можна точно знати, якому користувачеві належала конкретна монета в певний момент часу.

Проблеми Plasma

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

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

За словами співзасновника Ethereum, вищезгадана конструкція працює для NFT, але щоб застосувати її до взаємозамінних токенів, необхідно вносити зміни в алгоритми. Він припустив, що можна відстежувати окремо тільки частину монети (не 1 ETH, а 0,01 ETH), але тоді виникають занадто великі витрати на газ.

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

«Однак обидва ці підходи стикаються з проблемою фрагментації. Якщо ви отримуєте по 0,001 ETH від сотень людей, які купують у вас каву, у вас буде 0,001 ETH у багатьох місцях дерева Меркла. А виведення цих ETH, як і раніше, вимагає створення безлічі окремих точок виходу, що зробить плату за газ непомірно високою. Протоколи дефрагментації продумані, але їх складно імплементувати», — пояснив Бутерін.

Крім того, технологію практично неможливо реалізувати в рамках EVM. Одна з ключових проблем полягає в тому, що багато об’єктів в екосистемі не мають чіткого «власника», а основа безпеки Plasma якраз полягає в обов’язковому підтвердженні права власності.

Чим допоможе ZK-SNARK

На думку Бутеріна, поява доказів правдивості (також відомих як ZK-SNARK) дає привід переосмислити принципи Plasma.

Основне, чим може допомогти ZK-SNARK, це спрощення верифікації кожного блоку в ланцюзі Plasma. Такий підхід скорочує кількість станів, які користувачеві необхідно завантажити з конкретної гілки Меркла для певної монети.

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

У EVM-мережах Бутерін запропонував використовувати ZK-SNARK у поєднанні з моделлю «виведення невитрачених транзакцій» (UTXO) для реалізації паралельного графа токенів ETH і ERC-20. Така система зможе перевіряти та доводити історію володіння певною монетою.

За словами співзасновника Ethereum, використання Plasma в EVM все ще не опрацьовано до кінця і має потенційні проблеми конфіденційності.

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

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

Нагадаємо, у жовтні засновник Ethereum розповів, як абстракція облікових записів здатна зробити акаунти користувачів стійкими до злому за допомогою квантових комп’ютерів.

Раніше Бутерін поділився своїми поглядами на майбутнє Ethereum.

Источник

No votes yet.
Please wait...

Залишити відповідь

Ваша e-mail адреса не оприлюднюватиметься. Обов’язкові поля позначені *