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

Chào mừng đến với ZK Mesh, bản tin hàng tháng cung cấp thông tin mới nhất về mật mã nâng cao 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 các nghiên cứu gần đây, bài viết hữu ích, video, podcast, tweet, công cụ, cập nhật dự án và sự kiện. Mong đợi một phiên bản mới mỗi tháng. Hãy chia sẻ và đăng ký !

Nghiên cứu

• ColliderVM: Tính toán trạng thái trên Bitcoin mà không cần bằng chứng gian lận | Victor I. Kolobov, Avihu M. Levy và Moni Naor

• SNARK hiệu quả cho mạch Boolean thông qua Sumcheck trên trường Tower | Tianyi Liu và Yupeng Zhang

• Chứng minh việc thực thi CPU trong không gian nhỏ | Vineet Nair, Justin Thaler và Michael Zhu

• Need for Zkspeed: Tăng tốc HyperPlonk cho Bằng chứng zero-knowledge | Alhad Daftardar, Jianqiao Mo, Joey Ah-kiow, Benedikt Bünz, Ramesh Karri, Siddharth Garg và Brandon Reagen

• Giao thức GIGA: Mở khóa tính toán song song Không cần tin cậy trong chuỗi khối | Alberto Garoffolo, Dmytro Kaidalov, Roman Oliynykov, Daniele Di Tullio và Mariia Rodinko

• Mixnet có thể xác minh hiệu quả từ mạng lưới, được xem xét lại | Jonathan Bootle, Vadim Lyubashevsky và Antonio Merino-Gallardo

• Chia sẻ bí mật có thể xác minh công khai dựa trên thuộc tính | Liang Zhang, Xingyu Wu, Qiuling Yue, Haibin Kan và Jiheng Zhang

• MProve-Nova: Giao Bằng chứng dự trữ cho Monero | Varun Thakore và Saravanan Vijayakumaran

• Các kế hoạch chia sẻ bí mật tổng quát có thể xác minh công khai và các ứng dụng của chúng | Liang Zhang, Dongliang Cai, Tao Liu, Haibin Kan và Jiheng Zhang

• Số học trường ngoài hiệu quả trong PLONK | Miguel Ambrona, Denis Firsov và Inigo Querejeta-Azurmendi

• Giao thức Zero-Knowledge cho kiến ​​thức về logarit rời rạc đã biết: Ứng dụng cho giao dịch bí mật vòng và Zether ẩn danh | Li Lin, Tian Qiu, Xin Wang, Hailong Wang, Changzheng Wei, Ying Yan, Wei Wang và Wenbiao Zhao

• Threshold (Đầy đủ) Mã hóa đồng cấu | Carl Bootland, Kelong Cong, Daniel Demmler, Tore Kasper Frederiksen, Benoit Libert, Jean-Baptiste Orfila, Dragos Rotaru, Nigel P. Smart, Titouan Tanguy, Samuel Tap và Michael Walter

• Threshold FHE với giải mã không đồng bộ hiệu quả | Zvika Brakerski, Offir Friedman, Avichai Marmor, Dolev Mutzari, Yuval Spiizer và Ni Triệu

• GKR cho mạch Boolean với hoạt động RAM tuyến tính phụ | Yuncong Hu, Chongrong Li, Zhi Qiu, Tianchen Xie, Yue Ying, Jiaheng Zhang và Zhenfei Zhang

• Tổng hợp được đóng gói trên các trường có đặc điểm nhỏ với ứng dụng cho FHE có thể xác minh | Yuanju Wei, Kaixuan Wang, Binwu Xiang, Xinxuan Zhang, Yi Deng, Hailong Wang và Xudong Zhu

• Các sơ đồ tích lũy thời gian tuyến tính | Benedikt Bünz, Alessandro Chiesa, Giacomo Fenzi, William Wang

• FICS và FACS: IOPP nhanh và tích lũy thông qua chuyển mã | Anubhav Baweja, Pratyush Mishra, Tushar Mopuri, Matan Shtepel

• Myco: Mở khóa quyền truy cập đa logarit trong tin nhắn siêu dữ liệu-riêng tư | Darya Kaviani, Deevashwer Rathee, Bhargav Annem, Raluca ADA Popa

Bài viết/ Threads

• Tính thân thiện với phần cứng của HyperPlonk, Phần 2 | Ingonyama

• Mở rộng lên 10GB Infinity Blocks: Khả năng mở rộng theo chiều ngang của Avail | Avail

• Tối ưu hóa mã trong bối cảnh mật mã hậu lượng tử | Khám phá quyền riêng tư và mở rộng quy mô (PSE)

• Shielded ZEC Trong Ví Brave | Zcash | Công ty Tiền Điện Tử

• Khả năng tương thích mã byte Máy ảo Ethereum (EVM) hiện đã có trên ZKsync Era | ZKsync

• Giới thiệu SP1-2FA: Thêm lớp bảo mật thứ hai cho zkVM bằng TEE | Succinct

• Lens Chuỗi ra mắt: Mở rộng quy mô SocialFi với Avail và ZKsync | Avail

• Hợp đồng thông minh chỉ là sự khởi đầu: Tại sao tương lai của Ethereum là sự thực thi được ZK chứng minh | Kakarot

• Chuẩn hóa đầu vào của ZK-EVM Prover | Kakarot

• Điểm dừng chân tiếp theo của Kakarot: Một tương lai có thể chứng minh được | Kakarot

• Đã cập nhật! Tài trợ nghiên cứu Ingonyama 2025 | Ingonyama

• BaseFold±: Một cải tiến đơn giản cho lược đồ cam kết đa thức đa tuyến tính của BaseFold bằng cách sử dụng… | Ingonyama

• Tiền thường kích hoạt chuyển đổi doanh thu được cung cấp bởi Brevis | Brevis

• Giới thiệu CoFHE: Mã hóa dựa trên FHE ở mọi nơi chỉ bằng một dòng mã | Fhenix

• Mở rộng theo chiều ngang: Khối 10GB với máy khách nhẹ và nhiều bằng chứng | Avail

• Trí tuệ của Iroh | Lớp Lambda

• Đơn xin nhà ở bảo vệ sự riêng tư với David | Hylé

• An toàn trong đa dạng: Kakarot giúp Ethereum an toàn hơn gấp 2 lần như thế nào | Kakarot

• Avail hỗ trợ SocialFi như thế nào với Lens Chuỗi | Avail

• Đánh giá chuẩn Bionetta, Khung zkML phía máy khách | Rarimo

• Succinct hợp nhất 120 Cosmos Chains với Ethereum | Succinct

• Phần thưởng USUAL Không cần tin cậy và được ZK hỗ trợ hiện có trên Mainnet | Brevis

• Nâng cấp Tangerine: Kích hoạt BitVM trên Clementine & Nâng cấp giao thức Core | Citrea

• Lịch sử của Aztec: Tiên phong về quyền riêng tư trong Web3 | Aztec

• Xây dựng ứng dụng Next.js đơn giản với Light Client của Avail | Avail

• Trò chuyện bên lò sưởi với Jacob Weightman: RISC Zero đạt được bảo mật zkVM liên tục và có thể chứng minh bằng cách nào với… | Veridise

• Vapps: Ứng dụng có thể xác minh ở quy mô Internet | Succinct

• Đề xuất lớp thực thi l1 dài hạn thay thế Máy ảo Ethereum (EVM) bằng risc-v | Vitalik Buterin

• 10 trường hợp sử dụng ZK | Hyle

• Giải thích về Giao thức Spartan | Srinath Setty

• Tiến hóa zkTLS: Tính toán bảo vệ quyền riêng tư từ Oracles phi tập trung | Nillion

• Số dư bảo mật: Tăng cường tính bảo mật trong hệ sinh thái Solana | Helius

• WHIR | @tcoratger

• Chứng minh hiệu suất của các mô hình AI nguồn đóng | EZKL

• Ba zkVM mới được tiết lộ trên cuộc gọi Ethproofs số 1 | @eth_proofs

• Miden: Blockchain Edge | @0xMiden

Video/Podcast

• Phối hợp Provers với Norbert từ ZkCloud | Podcast Zero Knowledge

• ZK Benchmarks với Conner Swann | Podcast Zero Knowledge

• Xây dựng ZK Registries Onchain với Rarimo | Podcast Zero Knowledge

• Ethproofs Call #1 | zkVMs | Ethereum

• Danh sách phát bản ghi âm của ZK Hack Meetup | ZK Hack

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

• Giải thích về ZK dạng lưới | ZKV

• Hướng dẫn về các vấn đề về độ ổn định của Halo2 | @0xteddav

• Các biến thể của KZG: Phần I, Đơn biến | zkSecurity

• Tăng tốc chứng minh ZK với WebGPU: Kỹ thuật và thách thức | zkSecurity

• Hypercube IR: Nền tảng của Hệ thống Bằng chứng không tri thức | Cysic

Công cụ/Triển khai

• Thư viện JS Micro zk-proofs | Paul Miller

Cập nhật dự án

• Giới thiệu R0VM 2.0 | RISC Zero

• DeFi 3.0: Không cần tin cậy, Thích ứng và Thời gian thực | EZKL

• Xác nhận zk-rollup đầu tiên với Giai đoạn 1: Nó là gì và tại sao nó quan trọng | Cuộn

• MINA Community Call: Những thay đổi chiến lược và cập nhật hệ sinh thái | MINA

Sự kiện/Hackathon

• Khu vườn vô hình | Costa Rica. 21 tháng 4 - 31 tháng 5 năm 2025

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

• ZK Hack Meetup #13 | Prague, Cộng hòa Séc. Ngày 28 tháng 5 năm 2025

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

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

• Cuộc thi hackathon 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 - Ngày 3 tháng 7 năm 2025

————

Vậy là xong! Hy vọng bạn thích phiên bản ZK Mesh này. Hãy đă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ó ý tưởng gì đó mà bạn nghĩ nên đư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 theo địa chỉ @__zkhack__ !