Анализ принципов Binius STARKs и размышления об их оптимизации
1. Введение
В процессе эволюции STARKs эффективность кодирования постепенно увеличивается, но все еще существует потери. Binius реализовал более компактное и эффективное кодирование с помощью прямых битовых операций и имеет потенциал стать 4-м поколением STARK. Binius использует технологии, такие как аритметика в двоичной области, улучшенные проверки произведений и перестановок HyperPlonk, а также обязательства многочленов над малыми полями, чтобы повысить эффективность с разных сторон. В области двоичных умножений, ZeroCheck, SumCheck, PCS и других областях также возможна дальнейшая оптимизация для повышения скорости доказательства и уменьшения размера доказательства.
2. Анализ принципов
Binius сочетает в себе HyperPlonk PIOP, Brakedown PCS и двоичное поле, включает пять ключевых технологий:
Арифметизация на основе башенной двоичной области
Адаптированная версия проверки произведения и перестановки HyperPlonk
Новая многолинейная смещение теорема
Улучшенная версия теоремы поиска Lasso
Программа обязательств маломасштабных многочленов
2.1 Конечное поле: арифметика на основе башен двоичных полей
Башенная бинарная область поддерживает эффективные вычисления и упрощенную арифметику. Элементы бинарной области могут гибко представляться, без дополнительных вычислительных затрат можно преобразовывать между областями разных размеров.
2.2 PIOP: адаптированная версия HyperPlonk Product и PermutationCheck
Binius использует усовершенствованный механизм проверки ядра HyperPlonk, включая GateCheck, PermutationCheck, LookupCheck и др. Основные улучшения включают:
Оптимизация ProductCheck
Обработка деления на ноль
Поддержка проверки перестановок в кросс-колоннах
2.3 PIOP: новый аргумент многомерного сдвига
Binius вводит два ключевых метода: Packing и битовые сдвиги, которые эффективно строят и обрабатывают виртуальные многочлены.
2.4 PIOP: переработанная версия аргумента поиска Lasso
Binius адаптировал Lasso для бинарных операций, ввел умножающую версию протокола Lasso и решил потенциальные проблемы безопасности.
2.5 PCS: адаптированная версия Brakedown PCS
Binius предлагает две схемы многочленных обязательств Brakedown, основанные на бинарной области, используя обязательства многочлена малой области и оценку расширенной области, универсальную конструкцию малой области и технологии блокового кодирования.
3. Оптимизация мышления
3.1 PIOP на основе GKR: бинарное умножение в области на основе GKR
Использование протокола GKR для замены алгоритма Lasso Lookup может значительно сократить накладные расходы на обязательства.
3.2 ZeroCheck PIOP оптимизация
Оптимизация эффективности операции ZeroCheck путем регулирования распределения рабочей нагрузки между стороной, предоставляющей доказательства, и стороной, проверяющей их.
3.3 Суммирование PIOP оптимизация
Оптимизация для проверки суммы в малом поле, дальнейшее снижение вычислительной нагрузки в малом поле.
Оптимизация 3.4 ШТ: FRI-Binius
FRI-Binius реализует механизм сворачивания двоичных областей FRI, что значительно уменьшает размер доказательства Binius.
4. Итог
Binius устранил узкое место в обязательствах commit Prover, новое узкое место связано с протоколом Sumcheck. FRI-Binius является вариантом FRI, который может устранить накладные расходы на встраивание доказательства в поле. Binius разрабатывает рекурсивный уровень и сотрудничает с несколькими командами для создания реализации zkVM и FPGA.
Посмотреть Оригинал
На этой странице может содержаться сторонний контент, который предоставляется исключительно в информационных целях (не в качестве заявлений/гарантий) и не должен рассматриваться как поддержка взглядов компании Gate или как финансовый или профессиональный совет. Подробности смотрите в разделе «Отказ от ответственности» .
12 Лайков
Награда
12
7
Поделиться
комментарий
0/400
GasBandit
· 08-03 17:05
Оптимизация невозможна для оптимизации.
Посмотреть ОригиналОтветить0
consensus_failure
· 08-02 22:51
Снова начали увеличивать производительность?
Посмотреть ОригиналОтветить0
Ser_APY_2000
· 08-02 02:57
Эта штука когда-нибудь запустится на Основной сети?
Посмотреть ОригиналОтветить0
MemeKingNFT
· 08-01 02:20
неудачники еще смотрят на графики, а я уже Все в stark.
Посмотреть ОригиналОтветить0
ChainComedian
· 08-01 02:18
Ха-ха, Stark тоже собирается запустить четвертое поколение.
Binius: Анализ технологии STARK четвёртого поколения с оптимизацией бинарной области
Анализ принципов Binius STARKs и размышления об их оптимизации
1. Введение
В процессе эволюции STARKs эффективность кодирования постепенно увеличивается, но все еще существует потери. Binius реализовал более компактное и эффективное кодирование с помощью прямых битовых операций и имеет потенциал стать 4-м поколением STARK. Binius использует технологии, такие как аритметика в двоичной области, улучшенные проверки произведений и перестановок HyperPlonk, а также обязательства многочленов над малыми полями, чтобы повысить эффективность с разных сторон. В области двоичных умножений, ZeroCheck, SumCheck, PCS и других областях также возможна дальнейшая оптимизация для повышения скорости доказательства и уменьшения размера доказательства.
2. Анализ принципов
Binius сочетает в себе HyperPlonk PIOP, Brakedown PCS и двоичное поле, включает пять ключевых технологий:
2.1 Конечное поле: арифметика на основе башен двоичных полей
Башенная бинарная область поддерживает эффективные вычисления и упрощенную арифметику. Элементы бинарной области могут гибко представляться, без дополнительных вычислительных затрат можно преобразовывать между областями разных размеров.
! Исследование битlayer: Анализ принципов Биниуса СТАРКСА и оптимизационное мышление
2.2 PIOP: адаптированная версия HyperPlonk Product и PermutationCheck
Binius использует усовершенствованный механизм проверки ядра HyperPlonk, включая GateCheck, PermutationCheck, LookupCheck и др. Основные улучшения включают:
2.3 PIOP: новый аргумент многомерного сдвига
Binius вводит два ключевых метода: Packing и битовые сдвиги, которые эффективно строят и обрабатывают виртуальные многочлены.
! Исследование битlayer: анализ принципов Биниуса СТАРКСА и оптимизационное мышление
2.4 PIOP: переработанная версия аргумента поиска Lasso
Binius адаптировал Lasso для бинарных операций, ввел умножающую версию протокола Lasso и решил потенциальные проблемы безопасности.
2.5 PCS: адаптированная версия Brakedown PCS
Binius предлагает две схемы многочленных обязательств Brakedown, основанные на бинарной области, используя обязательства многочлена малой области и оценку расширенной области, универсальную конструкцию малой области и технологии блокового кодирования.
3. Оптимизация мышления
3.1 PIOP на основе GKR: бинарное умножение в области на основе GKR
Использование протокола GKR для замены алгоритма Lasso Lookup может значительно сократить накладные расходы на обязательства.
3.2 ZeroCheck PIOP оптимизация
Оптимизация эффективности операции ZeroCheck путем регулирования распределения рабочей нагрузки между стороной, предоставляющей доказательства, и стороной, проверяющей их.
3.3 Суммирование PIOP оптимизация
Оптимизация для проверки суммы в малом поле, дальнейшее снижение вычислительной нагрузки в малом поле.
Оптимизация 3.4 ШТ: FRI-Binius
FRI-Binius реализует механизм сворачивания двоичных областей FRI, что значительно уменьшает размер доказательства Binius.
4. Итог
Binius устранил узкое место в обязательствах commit Prover, новое узкое место связано с протоколом Sumcheck. FRI-Binius является вариантом FRI, который может устранить накладные расходы на встраивание доказательства в поле. Binius разрабатывает рекурсивный уровень и сотрудничает с несколькими командами для создания реализации zkVM и FPGA.