Виталик Бутерин рассказал о новой модели для ускорения ZKP

Новости

Сооснователь Ethereum (ETH) Виталик Бутерин нашел способ, как увеличить скорость технологии доказательства с нулевым знанием (ZK)

Бутерин представил новую систему криптографических доказательств под названием Binius. По его словам, она более эффективна чем такие традиционные модели, как SNARK и STARK.

Какие бывают криптографические доказательства

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

Бутерин отметил, что одно из значимых нововведений в STARK — это использование полей меньшего размера, в отличие от его предшественника SNARK. Для последнего требовались большие 256-битные числа. Переход на STARK значительно уменьшает объем вычислений и значительно ускоряет процесс проверки.

К примеру инструмента на STARK можно отнести Plonky2, работающий с 64-битными числами. Plonky2 создает доказательства в сотни раз быстрее, чем все предыдущие методы.

«Главным новшеством Plonky2 стало выполнение арифметических действий по модулю меньшего прайма: 264-232+1=18446744069414584321. Теперь каждое сложение или умножение всегда можно выполнить всего за несколько инструкций на процессоре, а хеширование всех данных происходит в четыре раза быстрее, чем раньше», — объяснил Виталик.

Смотрите последние новости криптовалют, видеообзоры, подборки полезных советов, гайды и интервью на YouTube-канале BeInCrypto.

Новая система Бутерина

Виталик не ограничивается одной только оптимизацией числовых полей в криптографии. В своей последней работе он рассмотрел преимущества использования бинарных полей — простых нулей и единиц. Такой подход реализован в новой ZKP-системе Binius, которая использует различные математические стратегии для дальнейшего упрощения процесса создания доказательств.

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

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

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

Ранее Виталик рассказал о следующем обновлении Ethereum под названием The Purge (пер. «Чистка»). Апгрейд направлен на упрощение структуры блокчейна второй по капитализации криптовалюты и снижение нагрузки на узлы.

Оцените статью
Добавить комментарий