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

от

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

🌊 Не дай волне пройти мимо! В CryptoWave ловят тренды, которые уносит с собой даже самый уверенный инвестор.

Присоединиться в Telegram

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

Я, как аналитик, обсуждал Binius в сообщении в блоге, опубликованном 29 апреля. В этом посте я объяснил, что Binius — это новая система для создания высокоэффективных криптографических доказательств с использованием двоичных полей. Эта система призвана превосходить традиционные системы проверки, такие как zk-SNARK, обеспечивая значительный прирост производительности.

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

Вдохновением для создания этой системы послужили передовые криптографические методы, такие как SNARK (краткие неинтерактивные аргументы знаний) и STARK (масштабируемые прозрачные аргументы знаний), которые могут обрабатывать целые числа большего размера, например 64-битные или 256-битные числа.

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

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

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

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

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

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

В своем официальном документе 2023 года под названием «Краткие аргументы по поводу башен бинарных полей» криптографы Бенджамин Э. Даймонд и Джим Позен впервые представили эту идею.

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

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

Смотрите также

2024-05-01 09:06