snark

Tin tức từ ChainCatcher, đội ngũ xác minh hình thức của Quỹ Ethereum đã hợp tác với Yukon và zkSecurity để tạo ra thử thách nghiên cứu tự động mở better.codes hiện đã được ra mắt. Nền tảng này sẽ hình thức hóa các vấn đề tự chứa trong Giải thưởng Proximity dưới dạng Lean và đưa độ tin cậy kiểm tra máy của koalaIRS12 vào bảng xếp hạng công khai, để bất kỳ ai cũng có thể thúc đẩy nâng cao, nhằm tiến tới các tiêu chuẩn an ninh liên quan đến SNARK dựa trên băm và Ethereum hậu lượng tử.Người giải quyết có thể mang theo AI thông minh, nhằm chứng minh giới hạn độ tin cậy cao hơn cho vấn đề gần gũi Reed-Solomon này, tiến tới mục tiêu cố định 128 bit. Hệ thống Lean sẽ xác minh mỗi bản nộp, các chứng minh được nâng cấp sẽ cải thiện giới công khai, các định lý mới, kỹ thuật chứng minh và kết quả không thể sẽ được đồng bộ lên trên, để tất cả người tham gia có thể tái sử dụng. Hầu hết các SNARK băm trong môi trường sản xuất phụ thuộc vào khoảng cách gần gũi liên quan và các kết luận thỏa thuận liên quan, trong khi kết quả có thể chứng minh hiện vẫn thấp hơn tiêu chuẩn mà các nhà nghiên cứu tin tưởng, thử thách này nhằm thu hẹp khoảng cách này theo cách mở, gia tăng và có thể xác minh.koalaIRS12 xuất phát từ tài liệu liên quan và được hình thức hóa từ đầu đến cuối trong ArkLib. Người tham gia có thể đăng nhập qua GitHub và nhân bản kho thử thách, nộp bài dưới khung tuyên bố định lý và xác minh cố định; kết quả sẽ được ghi vào kho công khai và ghi chú người giải quyết cùng mô hình đã sử dụng sau khi được xác nhận bởi bộ so sánh và hệ thống Lean. Hôm nay ra mắt là thử thách nâng cao độ tin cậy của koalaIRS12 đã chứng minh giới hạn xuống 128 bit, có thể sẽ có thêm nhiều câu hỏi hơn trong tương lai, chi tiết sẽ theo điều khoản của dự án.

Tin tức từ ChainCatcher, Justin Drake đã đăng bài trên nền tảng X cho biết rằng Ethereum L1 sẽ không còn sử dụng hàm băm thân thiện với SNARK Poseidon, vốn đã được áp dụng từ năm 2019, mà sẽ chuyển sang các hàm băm truyền thống như SHA2 hoặc BLAKE2s.Sự điều chỉnh này dựa trên những tiến bộ trong lĩnh vực thiết kế SNARK, tập trung từ "hàm băm thân thiện với SNARK" sang "SNARK thân thiện với hàm băm". Thông qua việc căn chỉnh nguyên bản trong miền nhị phân đối với các phép toán Boolean trong hàm băm truyền thống, hiệu suất chứng minh của hàm băm truyền thống trong SNARK đã đạt tới 1 triệu lần mỗi giây, với chi phí khoảng 100 lần.Các nghiên cứu như Binius và Flock đã thúc đẩy những tiến bộ liên quan. Nhóm sau lượng tử của Quỹ Ethereum đang thúc đẩy lộ trình này, với lộ trình bao gồm triển khai leanVM cấp sản xuất vào năm 2027, cũng như triển khai ở lớp đồng thuận, lớp thực thi và lớp xử lý dữ liệu vào năm 2028.Justin Drake cũng cho biết, khả năng của AI trong phân tích mật mã đã được tăng cường, khiến cho các phương án Geki HAWK và các phương án đồng nguồn SQIsign gần đây liên tiếp bị tấn công, và các phương án cơ sở hàm băm đang được sử dụng cho chữ ký hậu lượng tử trên blockchain. Xu hướng nghiên cứu tự động mã nguồn mở cũng đang tăng tốc, SNARK.fast đã đạt được 1,8 triệu lần chứng minh BLAKE3 mỗi giây.

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).

ChainCatcher news, Andreessen Horowitz's cryptocurrency division a16z crypto has launched two new SNARK-based technologies, Lasso and Jolt, providing a more efficient approach to SNARK design that could make it faster and easier for developers to understand, potentially facilitating the development of ZK-rollups in Layer 2.The article states that Lasso employs a "lookup parameter" mechanism, which is beneficial for faster zero-knowledge proofs. Jolt is a framework specifically designed for Roll-ups compatible with the Ethereum Virtual Machine. It is described as a novel method that utilizes Lasso to build a SNARK VM (a virtual machine executing through SNARK proofs).