Вспоминая Plasma. Виталик Бутерин о новом взгляде на старую технологию

Соучредитель Ethereum Виталик Бутерин опубликовал эссе, в котором вспомнил о технологии Plasma и рассказал о способах ее применения в текущих реалиях.  Бутерин объяснил принцип работы и недостатки Plasma.  Интеграция с ZK-SNARK может решить многие проблемы технологии. Как устроена Plasma Plasma — представленное в 2017 году решение для масштабирования блокчейна Ethereum, которое позволяет хранить все данные и вычисления вне цепочки, за исключением информации о депозитах, выводе средств и корнях дерева Меркла. Со временем технология «обросла» несколькими итерациями — Minimal Viable Plasma, Plasma Cash, Plasma Cashflow и Plasma Prime. Все они выполняли одну задачу, но работали по несколько различным принципам.  По мнению Бутерина, разработка открывала двери для прорыва в масштабируемости сети. Однако позднее из-за высоких затрат на хранение данных на стороне клиента и технологических ограничений роллапы вытеснили Plasma. Самая простая для ознакомления версия Plasma Cash работает, рассматривая каждую отдельную монету как невзаимозаменяемый токен и отслеживая историю перемещений для каждой из них. В цепи Plasma есть оператор, который отвечает за создание и регулярную публикацию блоков, транзакции в которых хранятся в виде сепарированного дерева Меркла. Таким образом можно точно знать, какому пользователю принадлежала конкретная монета в определенный момент времени.  Принцип работы Plasma, на котором видно, что одна и та же монета всегда находится в одном положении дерева Меркла. Данные: vitalik.eth.limo.  Проблемы 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. Такая система сможет проверять и доказывать историю владения определенной монетой.  Схема работы параллельного графа UTXO вместе с ZK-SNARK. Данные:  vitalik.eth.limo. По словам соучредителя Ethereum, использование Plasma в EVM все еще не проработано до конца и имеет потенциальные проблемы конфиденциальности.  «Подобные схемы являются мощными, но не способны предоставить полные гарантии безопасности всем пользователям. Наиболее явно они разрушаются в ситуациях, когда конкретный объект состояния не имеет четкого владельца», — пояснил разработчик.  Однако Бутерин считает Plasma «недооцененным дизайнерским пространством», которое может упростить работу программистов, избавляя их от необходимости думать о графиках владения внутри приложения.  Напомним, в октябре основатель Ethereum рассказал, как абстракция учетных записей способна сделать аккаунты пользователей устойчивыми ко взлому с помощью квантовых компьютеров. Ранее Бутерин поделился своими взглядами на будущее Ethereum.