Бутерин назвал самый мощный инструмент криптографии

Сооснователь Ethereum Виталик Бутерин опубликовал очередной исследовательский пост в сети. Разработчик назвал обфускацию одним из самых мощных примитивов в криптографии. По его словам, она позволяет превратить программу в «зашифрованную программу», которая скрывает свою внутреннюю логику, но при этом выдает те же результаты на тех же входных данных.

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

Как работает обфускация и зачем нужен блокчейн

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

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

Обфускация, как отметил Бутерин, идет дальше: вместе с хеш-функциями она позволяет создать симулированную доверенную сторону почти для любого протокола. Сам термин «доверенная третья сторона без доверия» он связал с концепцией «протоколов бога», описанной криптографом Ником Сабо еще в 1997 году.

Схема взаимно доверенного виртуального компьютера в криптографии

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

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

Почему технология пока далека от практики

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

Параллельно шла многолетняя работа над математически доказуемой защитой. По словам Виталика, еще в 2001 году было доказано, что идеальная форма обфускации в принципе невозможна, поскольку код программы всегда раскрывает чуть больше, чем ее выходные данные.

После этого исследователи переключились на второй по силе вариант — обфускацию неразличимости (iO). По словам разработчика, «это двадцатилетний проект с множеством неудачных попыток, но в последние годы появилась хорошая новость: достичь iO удалось при разумных предположениях о безопасности».

Внутри хорошей новости, как отметил Бутерин, скрыта плохая: время работы таких схем оказалось «галактическим». Оно технически конечно, но настолько велико, что может превышать срок жизни Вселенной, поскольку требует наслоения почти всех криптографических примитивов друг на друга.

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

Хотите получить доступ к экспертным инсайдам? Подписывайтесь на наш новостной телеграм-канал, а также вступайте в сообщество BeInCrypto! Читайте последние новости и свежую аналитику криптовалют, ИИ и фондовых рынков. Будьте на шаг впереди толпы каждый день!

Источник: https://ru.beincrypto.com/buterin-obfuskaciya-blokcheyn-kriptografiya/

Наверх