Виталик Бутерин в своей последней статье представляет новое решение для эффективного ZK-EVM
Коротко
Виталик Бутерин опубликовал в своем блоге новую статью под названием «Изучая круг STARK», в которой представляет новое решение для эффективного ZK-EVM.
Сооснователь Ethereum Виталик Бутерин опубликовал в своем блоге новую статью под названием «Изучая круг STARK». В статье подчеркивается, что Starkware с децентрализованным объединением действительности без разрешения может обрабатывать 620,000 2 хеш-значений Poseidon3 в секунду на ноутбуке с чипом M2. Это достижение предполагает, что если PoseidonXNUMX будет доверять как хэш-функции, то возникнет проблема в разработке эффективной функции с нулевым разглашением. Эфириум Виртуальная машина (EVM) решена.
В статье отмечается, что круговые STARK представляют минимальную дополнительную сложность для разработчиков по сравнению со стандартными STARK. Основные отличия по существу ограничиваются тремя ключевыми моментами при их реализации, в отличие от обычных FRI.
Хотя математические принципы, лежащие в основе «полиномов», используемых в круговых FRI, несколько противоречат здравому смыслу и могут потребовать времени для полного понимания, эта сложность в значительной степени скрыта от разработчиков. В статье подчеркивается, что сложная природа математических принципов круга носит скорее инкапсулированный, чем систематический характер.
Между тем, понимание кругового FRI и кругового БПФ может также послужить полезным введением в другие специализированные БПФ. Примечательно, что сюда входят БПФ для двоичных полей, которые используются в таких системах, как Binius и LibSTARK, а также более сложные конструкции, такие как БПФ на эллиптических кривых. В БПФ на эллиптических кривых используются отображения «несколько к 1», которые хорошо интегрируются с операциями с точками на эллиптических кривых.
Виталик Бутерин считает арифметизацию основных примитивов ключевым достижением в оптимизации STARK
Наконец, Виталик Бутерин предполагает, что объединение таких методов, как Mersenne31, BabyBear, и методов двоичных полей, таких как Binius, приближается к пределу эффективности «базового уровня» STARK. Он предвидит, что будущие достижения в STARK оптимизация будет сосредоточена на оптимизации арифметизации основных примитивов, таких как хэш-функции и подписи, и улучшении самих этих примитивов для достижения цели.
Кроме того, особое внимание будет уделяться разработке рекурсивных конструкций для обеспечения большей распараллеливания, арифметизации виртуальных машин (ВМ) для повышения удобства разработчиков и решению других сложных задач.
Условия использования
В соответствии с Руководство трастового проектаОбратите внимание, что информация, представленная на этой странице, не предназначена и не должна интерпретироваться как юридическая, налоговая, инвестиционная, финансовая или любая другая форма консультации. Важно инвестировать только то, что вы можете позволить себе потерять, и обращаться за независимой финансовой консультацией, если у вас есть какие-либо сомнения. Для получения дополнительной информации мы предлагаем обратиться к положениям и условиям, а также к страницам справки и поддержки, предоставленным эмитентом или рекламодателем. MetaversePost стремится предоставлять точную и объективную отчетность, однако рыночные условия могут быть изменены без предварительного уведомления.
Об авторе
Алиса, преданный журналист MPost, специализируется на криптовалюте, доказательствах с нулевым разглашением, инвестициях и обширной сфере Web3. Внимательно следя за новыми тенденциями и технологиями, она всесторонне освещает события, информируя и вовлекая читателей в постоянно развивающуюся среду цифровых финансов.
Другие статьи
Алиса, преданный журналист MPost, специализируется на криптовалюте, доказательствах с нулевым разглашением, инвестициях и обширной сфере Web3. Внимательно следя за новыми тенденциями и технологиями, она всесторонне освещает события, информируя и вовлекая читателей в постоянно развивающуюся среду цифровых финансов.
