Новые Эфириум технологии фокусируются на безопасности

Группа исследователей из Варшавы, вдохновленная сетью Lightning, недавно обнародовала техническую документацию под названием «Основы сетевых каналов», в которой излагается протокол, призванный помочь Ethereum.

Протокол призван помочь Ethereum в обеспечении высоких объемов более сложных смарт-контрактов.

Существует множество Эфириум проектов, нацеленных на решение данной проблемы. Подход же протокола группы исследователей, с другой стороны, уникален. Протокол под названием Перун (Perun) сфокусирован на защите. Он дает формальное определение безопасности и доказательства безопасности для своего протокола.

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

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

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

Соавтор документа и профессор Варшавского университета Стефан Дзембовски отметил, что документ нельзя недооценивать.

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

Создатель Ethereum похвалил документ

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

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

Он добавил, что эту идею следует рассмотреть, если не принять, путем масштабирования задач различных типов.

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