snark

Согласно данным аналитика на блокчейне ZachXBT, недавно запущенный проект 10K PFP NFT zkSNARKs на блокчейне Zcash подозревается в мошенничестве. Проект привлек 16,971 ставок через слепые аукционы и в конечном итоге завершил распределение 8,000 токенов по цене ликвидации 1.5 ZEC (примерно 2,190 долларов), общий объем торгов составил 25,305 ZEC (примерно 36,940,000 долларов), возврат 13,309 ZEC (примерно 19,430,000 долларов) уже был частично возвращен.ZachXBT отметил, что проект собрал около 17,000,000 долларов, при этом предусмотрены 10% для команды, 5% роялти и около 2,000 долларов за выпуск, но не имеет никакой практической ценности, что вызывает подозрения в использовании привычной схемы "заработать деньги и сбежать", характерной для серии Ordinals.

Команда исследований a16z crypto сегодня выпустила новую версию открытого zkVM Jolt под названием Lattice Jolt. Архитектура этой версии такая же, как и у предыдущей, но базовая криптография была изменена с эллиптической кривой на решетку, при этом обеспечивается постквантовая безопасность, а скорость доказателя и проверяющего увеличивается в 2-3 раза, а размер доказательства составляет менее 100 КБ.Lattice Jolt заменяет ранее использовавшую эллиптическую кривую Dory новой схемой многочленных обязательств Akita, основанной на предположении Module-SIS, с целью достижения полной безопасности 128 бит. Akita была разработана исследователями и инженерами LayerZero в сотрудничестве с Университетом Карнеги-Меллона, Университетом Южной Калифорнии и командой a16z crypto. На одной машине, только с использованием CPU, Lattice Jolt достигает более 2 миллионов RISC-V циклов в секунду, а с ускорением Apple Metal GPU — более 10 миллионов циклов в секунду, размер доказателя снижен до примерно 200 байт на цикл.

Сообщение ChainCatcher, что команда формальной верификации Фонда Эфириума в сотрудничестве с Yukon и zkSecurity разработала открытую автоматизированную исследовательскую задачу better.codes, которая теперь доступна. Платформа формализует самосодержащие проблемы из Proximity Prize в Lean и помещает надежность машинной проверки koalaIRS12 в публичный рейтинг, чтобы любой мог способствовать улучшению, продвигая основанные на хэшах SNARK и постквантовые связанные с Эфириумом стандарты безопасности.Решатели могут использовать свои AI-агенты для доказательства более высокой нижней границы надежности по этой задаче соседства Рида-Соломона, приближаясь к фиксированной цели в 128 бит. Ядро Lean проверяет каждую подачу, и повышенные доказательства улучшат публичную границу, а новые леммы, методы доказательства и результаты невозможности будут синхронизированы вверх по потоку, чтобы все участники могли их повторно использовать. Большинство хэш SNARK в производственной среде зависит от связанных промежутков соседства и связанных соглашений, и в настоящее время доказанные результаты все еще ниже, чем доверительные стандарты исследователей; эта задача направлена на то, чтобы открытым, инкрементальным и проверяемым образом сократить этот разрыв.koalaIRS12 основан на соответствующей статье и формализован от начала до конца в ArkLib. Участники могут войти через GitHub и клонировать репозиторий задачи, подавая заявки в рамках фиксированных утверждений теорем и верификационной структуры; результаты, подтвержденные компаратором и ядром Lean, записываются в публичный репозиторий с указанием решателя и используемой модели. Сегодня запущен вызов на повышение надежности koalaIRS12 до 128 бит, в дальнейшем могут быть добавлены дополнительные задачи, детали будут определяться условиями проекта.

Сообщение ChainCatcher, Джастин Дрейк на платформе X заявил, что Ethereum L1 больше не будет использовать хэш-функцию Poseidon, дружественную к SNARK, которая доминировала с 2019 года, и перейдет на традиционные хэш-функции, такие как SHA2 или BLAKE2s.Это изменение основано на прогрессе в области проектирования SNARK, сосредоточив внимание с "дружественного к SNARK хэша" на "дружественный к хэшу SNARK". Благодаря нативному выравниванию булевых операций в традиционных хэшах в двоичном поле, производительность доказательства традиционного хэша в SNARK достигла 1 миллиона в секунду, с накладными расходами около 100 раз.Исследования, такие как Binius и Flock, способствовали соответствующему прогрессу. Команда Ethereum Foundation по постквантовым технологиям продвигает этот маршрут, дорожная карта включает развертывание производственного уровня leanVM в 2027 году, а также развертывание на уровне консенсуса, уровне исполнения и уровне обработки данных в 2028 году.Джастин Дрейк также отметил, что возможности ИИ в области криптоанализа усилились, что привело к недавним ударам по схемам HAWK и SQIsign. Основные хэш-схемы используются для постквантовых подписей в блокчейне. Тенденция к автоматизированным исследованиям с открытым исходным кодом также ускоряется, SNARK.fast достиг доказательства BLAKE3 на уровне 1,8 миллиона в секунду.

ChainCatcher message, Vitalik Buterin posted on X stating: "One of the many things we need to accelerate is the abolition of Groth16. Trust setups for every application are not feasible in the 2020s. At least there should be a universal setup, ideally no setup at all. This requires significant improvements in infrastructure and the standardization of new SNARK algorithms."It is reported that the Groth16 algorithm is an algorithm published by Jens Groth in 2016. The advantages of this algorithm are the small number of proof elements provided (only 3 are needed), simple verification equations, and reliability under integrity and polynomial computation capabilities.

ChainCatcher news, Ethereum Foundation researcher Justin Drake published a paper revealing details related to the BeamSNARKs algorithm. BeamSNARKs is an enhanced ZK algorithm that allows provers to demonstrate the truth of a statement to verifiers without revealing underlying data and without requiring interaction.For Ethereum, the BeamSNARKs developed by Moonchain represents a transformative advancement in two key areas: privacy and scalability. In terms of privacy, BeamSNARKs enable the verification of transactions or computations without exposing sensitive data, thereby supporting use cases such as confidential transactions and private smart contracts.It is reported that Beam Chain is an indispensable consensus layer improvement for the Ethereum 3.0 era. This is a proposal to redesign Ethereum announced by Justin Drake at DevCon. Ethereum is expected to take several years to transition completely from the PoS era to the ZK era, at which point Ethereum itself will be fully equipped with ZK capabilities.

ChainCatcher news, according to CoinDesk, the infrastructure supporting the Bitcoin second layer network, BitcoinOS (BOS), has announced the open-sourcing of the BitSNARK verification protocol for further experimentation in Bitcoin.The team stated that BitSNARK allows zk-SNARK proofs to run on Bitcoin without altering the core protocol. With advanced cryptographic techniques, any code can be compiled and run on Bitcoin.

ChainCatcher message, Ethereum Foundation member Justin Drake answered the question "Are there any further plans to expand Ethereum Layer 1?" during the AMA.Justin Drake stated: "The long-term sustainable elegant plan is to leverage SNARKs to scale L1 EVM execution without limits. Through real-time L1 EVM SNARKing, validators can verify cheap SNARKs instead of re-executing EVM transactions. In addition to the vertical scaling benefits brought by significantly increasing the L1 EVM gas limit, there is also the opportunity to use EVM-in-EVM precompiles for arbitrary horizontal scaling, allowing for cheap verification of EVM execution within EVM."

ChainCatcher news, according to The Block, a16z Crypto has released a zkEVM solution called Jolt to provide a framework for EVM-compatible Rollups using SNARK.a16z Crypto stated: "In addition to the increased speed, Jolt is based on a new design paradigm that makes it easier for developers to scale and easier to audit, thereby enhancing security."

ChainCatcher news, the zero-knowledge proof acceleration platform Ulvetanna has released a research paper titled "Binius: Hardware-Optimized SNARK," which demonstrates a performance optimization construction method for SNARK based on binary fields and explains the performance improvements it can bring to the real-world ZKP generation process. In addition, the team is working on the Rust implementation of this system (named Binius).