ZK Mesh: Tóm tắt tháng 2 năm 2025

Chào mừng đến với ZK Mesh, một bản tin hàng tháng về những tiến bộ mới nhất trong mật mã học nâng cao tăng cường quyền riêng tư, phát triển giao thức phân tán và nghiên cứu hệ thống zero-knowledge.

ZK Mesh được sản xuất bởi ZK Hack.

Chúng tôi mang đến cho bạn những nghiên cứu gần đây, các bài viết hữu ích, video, podcast, tweet, công cụ, cập nhật dự án và sự kiện. Hãy chờ đợi một ấn bản mới mỗi tháng. Đừng quên chia sẻ và đăng ký!

Nghiên cứu

• LatticeFold+: Faster, Simpler, Shorter Lattice-Based Folding for Succinct Proof Systems | Dan Boneh và Binyi Chen

• Neo: Lattice-based Folding Scheme for CCS Over Small Fields and Pay-per-bit Commitments | Wilson Nguyen và Srinath Setty

• Towards a White-Box Secure Fiat-Shamir Transformation | Gal Arnon và Eylon Yogev

• DFS: Delegation-friendly zkSNARK and Private Delegation of Provers | Yuncong Hu, Pratyush Mishra, Xiao Wang, Jie Xie, Kang Yang, Yu Yu và Yuwen Zhang

• Context-Dependent Threshold Decryption and Its Applications | Dan Boneh, Benedikt Bünz, Kartik Nayak, Lior Rotem và Victor Shoup

• Homomorphic Encryption for Large Integers From Nested Residue Number Systems | Dan Boneh và Jaehyung Kim

• Traceable Verifiable Random Functions | Dan Boneh, Aditi Partap và Lior Rotem

• Zinc: Succinct Arguments with Small Arithmetization Overheads from IOPs of Proximity to the Integers | Albert Garreta, Hendrik Waldner, Katerina Hristova và Luca Dall'Ava

• On the Power of Polynomial Preprocessing: Proving Computations In Sublinear Time, and More | Matteo Campanelli, Mario Carrillo, Ignacio Cascudo, Dario Fiore, Danilo Francati và Rosario Gennaro

• FHE-SNARK Vs. SNARK-FHE: From Analysis to Practical Verifiable Computation | Xinxuan Zhang, Ruida Wang, Zeyu Liu, Binwu Xiang, Yi Deng và Xianhui Lu

• How to Share an NP Statement or Combiners for Zero-Knowledge Proofs | Benny Applebaum và Eliran Kachlon

• HasteBoots: Proving FHE Bootstrapping In Seconds | Fengrun Liu, Haofei Liang, Tianyu Zhang, Yuncong Hu, Xiang Xie, Haisheng Tan và Yu Yu

• Leap: A Fast, Lattice-based OPRF With Application to Private Set Intersection | Lena Heimberger, Daniel Kales, Riccardo Lolato, Omid Mir, Sebastian Ramacher và Christian Rechberger

Bài viết/Threads

• ZKWS S2, the Full Journey | ZK Hack

• Understanding the Math Behind ZKPs | @oskarth

• Balancing Performance and Security in zkVM Benchmarking | Burning Bridges

• Projects That Shaped Modern zkVMs — Part 1 | zkSecurity

• What Does It Take to Prove a ZK-L2? | ZkCloud

• The ZK Endgame: Rollup Interoperability for Ethereum | Conduit

• Verifiable Multi-Exponentiation and Multi-Scalar Multiplication (MSM) | Decentralized Thoughts

• Retrospective: Summa | Privacy and Scaling Explorations (PSE)

• Latticefold and Lattice-based Operations Performance Report | Nethermind

• Privacy-focused Layer 2s Will Transform Ethereum's Enterprise Future | Cryptoslate

• If A 'ZK'-Prover Network Asks For Your Data. Don't Give It to Them. | ICME

• Multiparty Notaries for zkTLS | TACEO

• Why and How TikTok Is Using ZK | ZKV

• zkTLS and the Future of Onchain Entertainment | Sophon

• You Should Not Build Tornado Cash with FHE | Leku

• Towards Formal Verification of the First RISC-V zkVM | Nethermind

• Merkle Mountain Ranges for Performant Data Authentication | commonware

• Lattice-Based Proof Systems | Privacy and Scaling Explorations (PSE)

• Opening the Door to Crypto with zkTLS | Sophon

• Performant Client-side Proving Thread | DCBuilder (@DCbuild3r)

Video/Podcast

• Back to the Future with Zero Knowledge | Zero Knowledge Podcast

• Taking ZK IRL with Cursive | Zero Knowledge Podcast

• ZODA & The Accidental Computer | Zero Knowledge Podcast

• ZK in Solana with Mert Mumtaz | Zero Knowledge Podcast

• Proof is in the Pudding: How To Prove False Statements | Archetype x zkSecurity

Hướng dẫn và Tài nguyên

• zkBugs | zkSecurity

• Publicly Verifiable & Private Collaborative ML Model Training | Hashcloak

• SoK: Understanding zk-SNARKs: The Gap Between Research and Practice | Junkai Liang, Daqi Hu, Pengfei Wu, Yunbo Yang, Qingni Shen và Zhonghai Wu

• Jolt & Lasso: for Newbies (Notes) | backdoor (@backdoor607)

Lỗ hổng/Tiết lộ

• Highlights From the Veridise O1js V1 Audit: Three Zero-knowledge Security Bugs Explained | Veridise

• Responsible Disclosure: A Potential Sequencer-prover Inconsistency In the Cairo VM | Lambda Class

• Uncovering and Fixing an Inflation Bug in Aleo | zkSecurity

• Fuzzer Found Soundness Bug in Noir | Valentin Wüstholz (@vwuestholz)

Công cụ/Triển khai

• Zirgen CIrcuits Compiler and RISC Zero Circuits | RISC Zero

• Adding an Anonymity Revoker to Tornado Cash: Implementation | NP Labs

Cập nhật dự án

• Giới thiệu ZKP2P v2 | ZKP2P

• Ai xác minh người xác minh (zk)? Nethermind! | Nethermind

• Giới thiệu Pluto | Pluto

• Nâng cấp phát triển lớn cho tương lai đa ngăn xếp: Bằng chứng bi quan đang hoạt động trên Agglayer Mainnet | Polygon

• Tháng 1 năm 2025 @ Hylé | Hylé

• [Dự án chưa có tên]: Cái nhìn đầu tiên về Sách trắng | o1Labs

• Giới thiệu ICICLE-Stwo: Một Stwo Prover được tăng tốc bằng GPU | Ingonyama

• Giới thiệu thư viện zkML của Mina: Hướng dẫn dành cho nhà phát triển về Suy luận AI có thể xác minh và bảo mật quyền riêng tư | Mina

• Cầu nối Bitcoin dựa trên BitVM của Citrea - Thiết kế mới nhất của Clementine | Citrea

• Snarks hợp tác với EZKL | EZKL

• Mạng lưới Prover Succinct Testnet đã hoạt động | Succinct

• Giới thiệu Pico: Một zkVM linh hoạt và hiệu suất cao | Brevis

• Union Chain sẽ ra mắt một chuỗi ZK | ZKsync

• Công bố Layer 1 của Nexus | Nexus

• Giới thiệu Hội đồng An ninh Scroll | Scroll

• Giao thức Self, một nguyên tố nhận dạng kháng Sybil dành cho người thực, ra mắt sau khi mua lại dự án ZK hàng đầu OpenPassport | Celo

• Quyền riêng tư trên Starknet Phần 2 | Tính toán riêng tư & Pokémon (Stwokémon) | teddy (@franklyteddy)

• Triển khai Mainnet của Namada | Namada

• Giới thiệu bugs.zksecurity.xyz: Một cơ sở kiến thức về Lỗi ZK | zkSecurity

• Quỹ Aztec ra mắt để thúc đẩy tầm nhìn về Quyền riêng tư có thể lập trình | Aztec

• ICICLE V3.5: Sumcheck với Hàm Lambda | Ingonyama

• Mang Bằng chứng Zero-Knowledge đến Thiết bị di động: EZKL và Inference Labs hợp tác về Subnet 2 | EZKL

• Những câu chuyện từ Khu vực ZK: Herodotus xây dựng một Coprocessor với SP1 | Succinct

• Làm chủ O1js trên Mina: Bốn chiến lược chính để phát triển an toàn | Veridise

• Giới thiệu OP Succinct Lite: Bằng chứng gian lận ZK trên OP Stack | Succinct

• Kế hoạch tổng thể | Proofbase

Sự kiện/Hackathon

• ZKProof 7 | Sofia, Bulgaria. Ngày 23 - 25 tháng 3 năm 2025

• ZK Hack Meetup #10 | Sofia, Bulgaria. Ngày 26 tháng 3 năm 2025

• Real World Crypto | Sofia, Bulgaria. Ngày 26 - 28 tháng 3 năm 2025

• ETHGlobal Taipei | Taipei, Đài Loan. Ngày 4 - 6 tháng 4 năm 2025

• BUIDL Asia | Seoul, Hàn Quốc. Ngày 15 - 16 tháng 4 năm 2025

• Invisible Garden | Costa Rica. Ngày 21 tháng 4 - 31 tháng 5 năm 2025

• zkSummit13 | Toronto. Ngày 12 tháng 5 năm 2025

• ETHGlobal Prague | Prague, Cộng hòa Séc. Ngày 30 tháng 5 - 1 tháng 6 năm 2025

• DappCon 25 | Berlin, Đức. Ngày 16 - 18 tháng 6 năm 2025

• ZK Hack Berlin | Berlin, Đức. Ngày 20 - 22 tháng 6 năm 2025

• ETHCC | Cannes, Pháp. Ngày 30 tháng 6 - 3 tháng 7 năm 2025

————

Đó là tất cả! Hy vọng bạn đã thích phiên bản này của ZK Mesh. Đừng quên đăng ký để nhận phiên bản tiếp theo trong hộp thư đến của bạn.

Cuối cùng, nếu bạn có điều gì đó mà bạn nghĩ nên được đưa vào phiên bản tiếp theo hoặc đề xuất về định dạng, hãy tweet cho chúng tôi @__zkhack__!