ru.beincrypto.com
Сооснователь 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 (пер. «Чистка»). Апгрейд направлен на упрощение структуры блокчейна второй по капитализации криптовалюты и снижение нагрузки на узлы.