Bitget App
Торгуйте разумнее
Купить криптовалютуРынкиТорговляФьючерсыStocksEarnКомпаниямИИ и не только
Certora получила грант от Ethereum Foundation для создания ZK-будущего для EVM

Certora получила грант от Ethereum Foundation для создания ZK-будущего для EVM

BlockchainReporterBlockchainReporter2026/02/05 14:05
Показать оригинал
Автор:BlockchainReporter

Нью-Йорк, Нью-Йорк, 5 февраля 2026 года, Chainwire

Certora, платформа комплексной проверки безопасности, которой доверяют самые продвинутые команды в Web3, получила исследовательский грант от Ethereum Foundation для верификации корректности autoprecompiles. Autoprecompiles — это ключевая оптимизация в ZK-вычислениях, разработанная Powdr Labs для инициативы zkEVM от Ethereum Foundation. 

zkEVM обеспечит значительный рост масштабируемости сети Ethereum, заменяя текущую модель исполнения смарт-контрактов на оптимизированную альтернативу с поддержкой ZK. Гарантия корректности движка исполнения zkEVM жизненно важна для успеха этой инициативы. 

Autoprecompiles — это автоматически определяемые низкоуровневые компоненты ZK-схем, которые используются повторно для оптимизации производительности и ускорения криптографических и арифметических операций в zkEVM. Эта оптимизация является неотъемлемой частью создания эффективной zkEVM, и благодаря данному гранту Certora и Powdr Labs сотрудничают для разработки новых методов верификации, гарантирующих правильность этого метода оптимизации.

zkEVM — фундамент будущего на zero-knowledge для EVM с меньшими комиссиями за газ, большей скоростью, более высокой безопасностью и масштабируемостью. Цель — создать гораздо более эффективную модель, приносящую пользу всей экосистеме.

«Autoprecompiles делают слой исполнения zkEVM возможным, но также увеличивают значимость проверки корректности всей цепочки инструментов», — отметил Seth Hallem, CEO Certora. «Мы благодарны Ethereum Foundation за поддержку этой работы, которая привносит математическую верификацию в саму основу ZK-вычислений. Экспертиза Certora в области ZK и наше сотрудничество с Powdr Labs помогут гарантировать, что данный метод оптимизации займет ключевое место в ekEVM toolchain без компромиссов по безопасности или корректности».

Certora сделает открытым исходный код своих спецификаций, доказательств и фреймворков для верификации, разработанных в рамках этой инициативы, внося вклад в создание повторно используемой инфраструктуры для всех реализаций zkEVM, сборщиков rollup и исследователей протоколов ZK.

«Precompiles были важны для производительности zkEVM, а autoprecompiles могут продвинуться еще дальше, автоматически верифицируя эти оптимизации по мере их генерации», — сказал Alexander Hicks, исследователь Ethereum Foundation. «Мы также снизим необходимость проверки ручных precompiles и надеемся разработать в целом полезные методы верификации, которые будут применимы и к другим случаям».

О Certora

Certora — партнер по обеспечению безопасности, которому доверяют самые передовые команды Web3. Основанная в 2018 году пионерами в области языков программирования и формальных методов, Certora помогает ведущим протоколам, таким как Lido, Aave, Uniswap и Compound, надежно обеспечивать безопасность миллиардов долларов.

О Ethereum Foundation

Ethereum Foundation — некоммерческая организация, поддерживающая Ethereum и связанные с ним технологии. Благодаря грантам и исследовательским инициативам EF способствует открытому развитию децентрализованной инфраструктуры.

О Powdr Labs

Powdr Labs разрабатывает технологии компиляторов для эффективных zero-knowledge-доказательств высокоуровневых программ. Специализируя пайплайны компиляции и оптимизации, Powdr сокращает разрыв между производительностью кастомных ZK-схем и zkVM, не жертвуя удобством использования.

Контакты
0
0

Дисклеймер: содержание этой статьи отражает исключительно мнение автора и не представляет платформу в каком-либо качестве. Данная статья не должна являться ориентиром при принятии инвестиционных решений.

PoolX: вносите активы и получайте новые токены.
APR до 12%. Аирдропы новых токенов.
Внести!

Вам также может понравиться

ROI — для министерства финансов под руководством Trump самая сложная часть аукциона — это «хвост»: Маккивер

Мнения, выраженные в этой статье, принадлежат только автору, Джейми МакГиверу, колумнисту Reuters. Орландо, Флорида, 6 октября — Аукционы по размещению государственных облигаций США обычно считаются скучным, предсказуемым и не заслуживающим новостей событием. Но сейчас времена неординарные: администрация Трампа сталкивается с риском, что слабый спрос на облигации станет главной новостью. Министерство финансов США планирует на этой неделе выпустить почти 120 миллиардов долларов в виде облигаций, впервые за две недели — не только краткосрочных казначейских векселей: во вторник будут размещены трехлетние облигации на 58 млрд долларов, в среду — десятилетние на 39 млрд, а в четверг — тридцатилетние на 22 млрд долларов. В обычных условиях эти аукционы прошли бы почти незаметно, но поскольку аукционы с 22 по 24 сентября показали необычайно слабый спрос, к ним привлекли всё больше внимания — особенно аукцион пятилетних облигаций 23 сентября, который вызвал наибольшее с апреля прошлого года повышение доходности облигаций. С тех пор доходности не только не снизились, но и выросли до максимальных за десятилетия уровней по большинству сроков. Стоит отметить, что вероятность “провала” аукциона практически нулевая. Первичные дилеры — 26 оптовых банков и учреждений, одобренных сейчас Федеральным резервом Нью-Йорка в качестве маркет-мейкеров — всегда будут участвовать в процессе размещения. Они фактически несут андеррайтерское обязательство, обеспечивая бесперебойную работу рынка госдолга США на сумму 30 трлн долларов — самого ликвидного рынка мира. В результате, это поддерживает всю мировую финансовую систему: триллионы долларов глобального долга, активов и производных финансовых инструментов использует американские облигации в качестве базиса. Облигации США также служат обеспечением для поддержания “трубопроводов” американской и мировой финансовой системы — включая репо, межбанковское кредитование и финансирование. Короче говоря, пока облигации США остаются основой мировой финансовой системы, на аукционах всегда будут покупатели. Вопрос, как обычно, состоит в цене, по которой эти облигации в итоге будут проданы. Сейчас стоимость заимствований на вторичном рынке достигла максимальных уровней с середины 2000-х, и есть все основания полагать, что проценты по новым аукционам для Минфина тоже будут высокими. Однако, как показали последние размещения, всё же существует возможность неприятных сюрпризов. Слишком большие для рынка? Аукцион пятилетних облигаций на 70 млрд долларов 23 сентября стал одним из самых тревожных за последние годы. Спрос, измеряемый коэффициентом покрытия, оказался самым низким за девять лет. В результате облигации были размещены по доходности 5,033% — на 3 базисных пункта выше уровня рынка на момент завершения приёма заявок. Три базисных пункта — это немного, но для пятилетних облигаций это крайне необычно. Это стало самым большим так называемым tail с июня 2022 года. Как отмечают аналитики JP Morgan, чтобы найти предыдущий аукцион пятилеток с tail в 3 б.п., нужно вернуться к 2011 году — ко времени надвигающегося кризиса потолка госдолга, который привёл к снижению кредитного рейтинга США в августе того года. Сегодня опасения по поводу сложной фискальной перспективы США подталкивают вверх долгосрочные ставки по заимствованиям. Поэтому рынок в целом ожидает, что администрация Трампа будет постепенно смещать акцент финансирования к средней и короткой части кривой — где заимствования дешевле. Вот почему аукцион пятилеток две недели назад вызвал столько беспокойства. “Хвост” в 3 б.п. часто встречается на долгосрочных аукционах, но не на “животе” кривой доходности, где находятся пятилетние облигации. Если Минфину придётся платить всё больше премий для размещения этих облигаций — у нас проблемы. Причины “хвоста” могут быть разными: от волатильности рынка в день аукциона до более глубоких фундаментальных проблем, которые с течением времени могут подорвать спрос. Обычно они идут рука об руку и не исключают друг друга. С более оптимистичной точки зрения, волнения пока не затронули короткий конец кривой доходности. По крайней мере, пока. Доходности трех- и десятилетних облигаций выросли примерно на 50 б.п. по сравнению с предыдущим аукционом месяц назад и составляют около 4,96% и 5,32% соответственно. Доходность тридцатилетних облигаций — плюс 35 б.п., до 5,65%. Должно быть, этого достаточно, чтобы обеспечить сильный спрос и успешные продажи, правда? Наверное. Но если произойдут неожиданные повороты, волатильность и неопределённость могут обрушиться на весь рынок. Инвесторы будут следить за событиями, как ястребы. (Мнения в этой колонке принадлежат только автору, Джейми МакГиверу, колумнисту Reuters) Понравилась эта колонка? Добро пожаловать на новый источник глобальных финансовых комментариев Reuters "Открытые позиции" (ROI). Следите за ROI в LinkedIn и X. Также слушайте ежедневный подкаст "Morning Bid" на Apple, Spotify или в приложении Reuters — получите глубокий анализ главных новостей рынка

路透社•2026/10/06 13:11

Приток средств в денежные фонды резко снизился до 158 миллиардов, краткосрочная ликвидность казначейских облигаций США вызывает тревогу?

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

智通财经•2026/10/06 13:07