• Его цель — добиться существенного улучшения производительности по сравнению с традиционными системами проверки.

  • Биниус может более эффективно обрабатывать базовые данные, работая с битами напрямую, как это делает Бутерин.

Виталик Бутерин, соучредитель Ethereum, обсудил новый метод криптографического доказательства, который сделает доказательства с нулевым разглашением более эффективными.

Метод быстрого криптографического доказательства над двоичными полями, «Биниус», был подробно описан в блоге Бутерина 29 апреля. Система стремится добиться существенного улучшения производительности по сравнению с традиционными системами доказательства, такими как zk-SNARKs.

Повышение существенной эффективности

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

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

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

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

Выделенные новости криптовалют сегодня:

Заседание FOMC стимулирует волатильность криптовалют, медведи берут на себя инициативу