Новая технология Ethereum призывает славянских богов для безопасности

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

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

Но в то время как ряд проектов Ethereum разрабатывают решения этой проблемы, подход Perun к своему протоколу уникален, а именно, его акцент на безопасности, поскольку он предоставляет формальные определения безопасности и доказательства безопасности для своего протокола.

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

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

Возможно, это постепенная инновация, но Дзембовски, соавтор статьи, утверждает, что ее T недооценивать, учитывая характер передачи ценностей.

Он сказал CoinDesk:

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

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

На самом деле, Бутерин был первым, ктопохвалить идею, утверждая, что реализованные командой доказательства безопасности являются шагом в правильном направлении для экосистемы в целом и должны быть изучены, если не приняты, путем масштабирования проектов всех видов.

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

Путешествие в штат

Однако, если отойти назад, путь команды к Перуну был BIT извилистым.

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

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

Это именно то, с чем столкнулись другие разработчики, наиболее известный пример — приложение для коллекционирования цифровых кошек.Появились CryptoKitties как любимая пользователями, вызывающая эти медленные транзакции и высокие комиссии. С тех пор сообществу Ethereum было FORTH несколько решений по масштабированию, но команда Perun на самом деле нашла свое вдохновение в совершенно другой сети.

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

К счастью, другие уже начали развивать эту идею с помощью Технологии , известной как «каналы состояния» — посредством которой Lightning распространяется на сложные смарт-контракты Ethereum. Таким образом, статья Перуна просто продолжает это исследование, формулируя спецификацию, которая описывает набор требований, которые любая фактическая реализация канала состояния должна выполнить, чтобы защитить себя от «мощных противников».

К реальности?

Тем не менее, команда Перуна и даже Бутерин понимают, что предстоит еще долгий путь.

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

Говоря об этих рисках, Дзембовскиназванный DAO, организация на базе Ethereum, которая должна была полагаться только на код, но в итоге прекратила свое существование после того, как пользователи были взломаны и украли более 50 миллионов долларов эфира, как пример того, что и в каком объеме может пойти не так.

Тем не менее, многие с энтузиазмом относятся к этим усилиям.

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

Говоря о работе Перуна, Бутерин продолжил:

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

Исследовательская группа ответила ему, что они работают над простой реализацией.

BLUR изображенияизображение через Shutterstock