Автор: dt, DODO Research; 0xNing0x, старший научный сотрудник EMC Fund
Монтажер: Лиза
Ранее основатель Ethereum Виталик (далее в этой статье — Виталик) опубликовал в Twitter свою последнюю статью «Выходные игры для EVM-валидиумов: возвращение Plasma». Статья посвящена внедрению технологии расширения Plasma и намерена направляйте текущий План расширения Plasma, который становится все более маргинальным, сочетается с доказательством с нулевым разглашением ZK. Как только эта статья вышла, многие проекты, связанные с технологией Plasma, резко выросли, и эта технология, которая была заменена Rollup и постепенно исчезла из публики. глаз, вернулся на путь расширения Ethereum.
CryptoSnap на этой неделе, пусть DODO Research
Что такое плазма?
Вопрос расширения всегда был ключевым исследовательским проектом для разработчиков в мире блокчейна.Для достижения цели создания децентрализованного мирового компьютера необходимо построить дешевый и быстрый блокчейн.Поэтому вокруг Ethereum возникли различные проблемы. План расширения, а Plasma когда-то была основным планом расширения для Ethereum.
Под Plasma можно просто понимать создание цепочки в основной сети Ethereum и контроль взаимодействия депозитов и выводов средств между основной сетью и цепочкой Plasma посредством смарт-контрактов. необходимо регулярно. Конечное состояние цепочки передается обратно в основную сеть Ethereum, но в отличие от технологии Rollup цепочка Plasma не возвращает данные транзакции по всей цепочке, а только корень дерева Меркеля, который является состоянием. в цепочке Плазма.
Источник: https://learnblockchain.cn/2018/10/20/plasma-framework.
Выход из игры Безопасный механизм выхода из игры
Поскольку вычисления не выполняются в основной сети, цепочка Plasma может значительно улучшить масштабируемость всей сети и имеет относительно безопасный механизм проверки для предотвращения злоумышленников. Когда речь заходит о безопасности, нельзя не упомянуть «Игру на выход», упомянутую в названии Бутерина, безопасный механизм «игры на выход» цепочки Plasma.
В конструкции платформы Plasma безопасность защищена механизмом выхода.Когда пользователь хочет вернуться в основную сеть или считает, что произошла атака на цепочку Plasma, пользователь может предложить «выход» из контракта Plasma. в основной цепочке сети и предоставить доказательства того, что если в течение семи дней в течение периода оспаривания ни один претендент не докажет, что оспаривает «выход», активы могут быть успешно получены в основной сети. успешен, «выход» не удастся, и злоумышленнику придется понести соответствующее наказание.
Существует три распространенных варианта поведения атаки:
Существует три распространенных варианта поведения атаки:
- Вывод средств сразу после отправки транзакции (не последний владелец): эта атака означает, что когда пользователь отправляет транзакцию перевода, он немедленно выводит актив в течение периода проверки. Это недействительно, поскольку последний владелец актива должен быть получателем транзакции, и сеть может оспорить этот выход, чтобы доказать, что актив был передан кому-то другому.
- Атака двойного расходования: Атака двойного расходования означает, что один и тот же актив незаконно тратится дважды или более. Например, Алиса передает токен Бобу, а затем Алиса передает тот же токен Чарли. Сеть может обнаружить двойное использование токена и, следовательно, оспорить незаконную передачу.
- История незаконных транзакций (Недействительная история): это означает, что в истории транзакций с активами был обнаружен незаконный переход состояния, например, существует вывод транзакции, который не был соответствующим образом использован. Пользователь может ответить на этот запрос, предоставив соответствующее доказательство. потребления.
Плазменные деньги
Затем V God представил в этой статье проект Plasma Cash с использованием платформы Plasma. В Plasma Cash каждый токен, внесенный пользователем, будет рассматриваться как NFT. Каждый NFT имеет историю транзакций и основан на настройках по умолчанию. Он записывается в Форма дерева Керра.Однако из-за уникальной и неделимой природы NFT Plasma Cash имеет ограниченные сценарии использования и может служить только конкретным целям передачи.В это время появилась улучшенная версия, основанная на модели UTXO.Plasma Cash может быть решена Неразрывная дилемма в оригинальном дизайне NFT-переводов Cash помогла развитию сферы погашения, но также затруднила взаимодействие со смарт-контрактами.
Источник: https://vitalik.ca/general/2023/11/14/neoplasma.html.
Техническое узкое место в плазме
Текущим техническим узким местом Plasma является сложность реализации EVM. Поскольку многие объекты состояния в контракте EVM не имеют четкого «владельца», это противоречит модели безопасности Plasma. Механизм выхода Plasma требует, чтобы каждый объект состояния имел Четкий владелец. Владелец несет ответственность за мониторинг данных этого объекта состояния и выход при необходимости для защиты безопасности активов. Однако в контракте EVM есть много объектов состояния, которые не имеют явных владельцев. Например, пул ликвидности в Uniswap или позиция MakerDAO CDP не имеют единого владельца. В этом случае, если есть проблема с Plasma цепи, произойдет следующее: Эта ситуация:
- Без владельца, который сможет выполнить выход из состояния, состояние может быть заблокировано в цепочке Plasma навсегда.
- Даже если посторонние могут инициировать выход, атаки на выход из игры могут произойти, и риск высок.
- Контракты со сложными государствами трудно проверить.
Плазма + ЗК-СНАРК
Что касается технических узких мест, с которыми в настоящее время сталкивается Plasma, Бутерин ответил, что, если ее можно объединить с ныне зрелой технологией доказательства достоверности (zk-SNARKs), некоторые из узких мест будут эффективно решены, которые можно разделить на следующие пять пунктов:
- zk-SNARK могут доказать достоверность блоков Plasma в основной цепочке и снизить зависимость от механизма выхода.
- Он может реализовать немедленный вывод активов из цепочки Plasma, исключить семидневный период проверки доказательств мошенничества и уменьшить проблему реорганизации цепочки.
- Вы можете построить параллельную структуру UTXO, которая представляет состояние EVM, использовать zk-SNARK для доказательства ее эквивалентности и избежать некоторых проблем EVM.
- Использование zk-SNARK значительно сократит объем данных о состоянии, которые пользователям необходимо проверять и хранить, оптимизируя работу пользователей.
- Для смарт-контрактов, владельцев которых сложно определить, частичные гарантии безопасности также можно получить, если ключевые части можно разделить на проверяемые объекты.
Хотя эти методы по-прежнему не могут охватить все сложные контракты EVM, с дальнейшим развитием технологии ZK и постоянным исследованием возможностей проектирования Plasma мы ожидаем найти новые решения, которые обеспечат лучший компромисс между безопасностью, масштабируемостью и удобством.
Мнение автора
ДТ @19971122::
До прочтения этой статьи Бутерина автор не был знаком с технической архитектурой Plasma.В конце концов, можно сказать, что в текущем плане расширения Ethereum почти доминирует технология Rollup.Различные команды спешат запустить сети L2 с технологией Rollup, а также разработали уровень доступности данных (уровень DA) построен на модульной архитектуре других сетей (Celestia, EigenLayer и Avail), поэтому есть такие люди, как Данкрад Файст, исследователь из Ethereum Foundation, который сказал в Твиттере: « Не используйте ETH в качестве модульного блокчейна уровня DA (уровня доступности данных) — это не Rollup, и это не Ethereum L2». Точно так же, как все обеспокоены развитием Rollup. Когда дискуссия была интенсивной, статья V God была все равно что дать Plasma укол в руку, сообщив сообществу Ethereum, что Rollup — не единственное решение для расширения Ethereum, и новый направление ZK+Plasma также может быть вариантом.
Автор считает, что в децентрализованном мире диверсифицированная разработка является естественным процессом, но если учитывать эффективность капитала, то модульная и гомогенная разработка кажется более экономичной, и появились стандартизированные структуры, такие как OP Stack или Polygon zkEVM CDK. используются различными компаниями капитала для построения собственных сетей L2, но в то же время они также теряют часть своего разнообразия.Действие Бутерина может быть направленным руководством, основанным на убеждении, что развитие плана расширения Ethereum потеряло баланс. Разработка Это то, что мы должны отслеживать, если команда бросается реализовывать это.Как давний пользователь и сторонник Ethereum, автор также рад видеть сбалансированное развитие технологии расширения Ethereum.
НинНин @0xNing0x:
Plasma — это решение, предназначенное для улучшения масштабируемости блокчейна за счет перемещения большей части данных и вычислений за пределы цепочки. Впервые он появился в 2017 году и прошел несколько итеративных версий, включая Plasma Cash, Plasma Cashflow и т. д. Однако из-за фундаментальных ограничений Plasma в плане выхода за рамки платежей (проблема бесхозяйного государства и проблема потока стимулов) решение Plasma L2 постепенно становится маргинальным.
В то же время Rollup стал массовым решением L2, и его основными преимуществами являются простота дизайна и удобство для разработчиков. Однако с внедрением и развитием технологии ZkEVM Plasma открыла новое пространство для проектирования, предоставляя новые возможности для упрощения работы разработчиков и защиты пользовательских ресурсов.
Целью Виталика продвижения Plasma L2 на этот раз может быть подчеркнуть важность разнообразия и инноваций в парадигме L2, а не верить в то, что решение Plasma L2 новой парадигмы может бросить вызов основному статусу решения Rollup L2. В настоящее время решение Rollup L2 находится в абсолютном лидерстве по масштабу TVL и количеству пользователей, и за счет Эффекта Мэтью эта позиция будет еще более укрепляться в обозримом будущем.
За последние два дня новая парадигма L2 Blast, запущенная командами Paradigm и Blur, показывает еще один путь исследования. Хотя его архитектура не соответствует строгому определению L2, данному Виталиком, он добился значительных успехов на рынке и в сообществе, быстро привлекая внимание сообщества и существенное финансовое участие. Это показывает, что рынок и сообщество стремятся к разнообразию парадигм L2 и больше не довольствуются одним или двумя стандартными конструкциями.
В целом, решения Plasma L2 обладают определенным потенциалом и инновациями, но разработка L2 не должна опираться на проект, разработанный дизайнером высшего уровня с высочайшей рациональностью, а должна вырастать из сложной и нелинейной рыночной конкуренции.
Все комментарии