Виталик Бутерин подробно рассказывает о «локальном смешивании» в третьем посте, призванном запутать ситуацию

В пятницу сооснователь Ethereum Виталик Бутерин опубликовал третью часть своей серии статей о криптографической обфускации. 

Он исследовал метод, называемый «локальным смешиванием», который отбрасывает решетки и эллиптические кривые в пользу идей, заимствованных из проектирования хеш-функций.

Бутерин опубликовал первую часть 29 июня, а вторая, посвященная алмазной технологии iO, была опубликована 28 июля. 

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

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

Мусорные ворота и схема, работающая в обратном направлении

Процесс локального смешивания начинается со схемы, состоящей из логических элементов, таких как XOR, AND и NOT, которая проходит через конвейер, обеспечивающийdentвыходного сигнала и одновременно удаляющий любые tracвнутренней логики.

Бутерин писал, что локальное смешивание проходит через следующую исходную схему, добавляя обратимость, упрочнение, механизацию, смешивание и, наконец, затемнение.

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

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

Обратимость стоит на первом месте, потому что она делает возможным всё остальное. Бутерин объясняет, что обратимый вентиль можно переписать как произвольный набор других обратимых вентилей с аналогичным поведением. Это сложнее сделать с помощью логического элемента И или ИЛИ. 

Ставка, основанная на прошлых неудачах

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

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

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

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

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

Почему стоит прибегать к обфускации?

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

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