Chúng tôi báo cáo về tiến trình của những nhà phát triển hàng đầu trong hệ sinh thái zkVM, ghi lại những phát hành quan trọng gần đây, những đột phá kỹ thuật và các cập nhật chung. Có sự tham gia của: @SuccinctLabs, @ProjectZKM, @NexusLabs, @boundless_xyz/@RiscZero, @brevis_zk, @0xLita, @ziskvm, @ligero_inc & @openvm_org 👇

Succinct 🔹 Công nghệ 🔹 @SuccinctLabs đã giới thiệu SP1-CC, một coprocessor ZK cho @ethereum cho phép các nhà phát triển đọc trạng thái blockchain lịch sử, thực hiện các phép toán phức tạp ngoài chuỗi và xác minh kết quả trên chuỗi với một bằng chứng duy nhất: SP1-CC loại bỏ các ràng buộc gas và hạn chế EVM mà không thay đổi mã L1, cho phép các trường hợp sử dụng mới trong quản trị, DeFi, airdrop và tiết lộ bảo mật. Các đội như @eigenlayer đã sử dụng nó để giảm chi phí và tăng tính linh hoạt. 🔹 Đối tác 🔹 Dự án gần đây đã công bố một số đối tác mới bao gồm: 🔹 @Snarkify_ZKP: Tham gia vào Mạng Prover Succinct như một đội prover sớm, mang đến một động cơ chứng minh SP1-SRT tùy chỉnh được tối ưu hóa cho việc tạo ZKP theo thời gian thực trên GPU và FPGA, giúp giảm độ trễ và chi phí trên toàn mạng: 🔹 @a41_allforone: Tích hợp vào mạng như một prover đa nút với một bộ lập lịch điều phối hàng trăm GPU, cùng với một backend tối ưu hóa cho Python, cho phép chứng minh thông lượng cao cho các ứng dụng như trò chơi, AI và rollups: 🔹 @cysic_xyz: Được thêm vào mạng như một prover tăng tốc phần cứng chạy các cụm GPU lớn và chuẩn bị ra mắt một ASIC tùy chỉnh cho các khối lượng công việc zkVM, đóng góp chuyên môn sâu từ ZPRIZE và cơ sở hạ tầng ZK cấp sản xuất: 🔹 @worldcoin: Hợp tác để chứng minh tất cả các giao dịch trên World Chain sử dụng OP Succinct, thực hiện một thí nghiệm mainnet kéo dài 7 ngày với xác minh bằng chứng song song và chứng minh các bằng chứng hợp lệ nhanh chóng, tiết kiệm chi phí cho một trong những chuỗi OP Stack lớn nhất: 🔹 @Mantle_Official: Hỗ trợ chuyển đổi Mạng Mantle sang OP Succinct trên testnet, phù hợp với lộ trình của họ để nâng cao bảo mật và phân quyền với các bằng chứng lỗi được hỗ trợ bởi ZK và cơ sở hạ tầng mô-đun: 🔹 @zan_team: Tham gia như một prover đa nút được hỗ trợ bởi @AntChainOpenLab, đóng góp cơ sở hạ tầng tăng tốc phần cứng và tối ưu hóa SP1 dựa trên FPGA giúp cải thiện tốc độ chứng minh gấp 20 lần so với CPU, giúp giảm chi phí mạng và mở đường cho ZK ASICs: 🔹 Truyền thông 🔹 Cuối cùng, Đồng sáng lập Succinct @pumatheuma đã tham gia cùng @alicelingl trong chương trình 'Succinct Special' gần đây, nơi họ đã thảo luận về những phát triển mới nhất của Succinct và mọi thứ liên quan đến ZK:

ZKM 🔹 Công nghệ 🔹 @ProjectZKM đã giới thiệu Ziren - một zkVM tăng tốc GPU với chứng minh phân tán, trước đây được biết đến với tên gọi zkMIPS: Được xây dựng trên kiến trúc MIPS32r2 hiệu quả zk, Ziren đã và đang cung cấp năng lượng cho các ứng dụng thực tế như @GOATRollup và giảm thời gian tạo chứng minh một cách đáng kể so với các phiên bản trước. 🔹 Nghiên cứu 🔹 ZKM đã công bố nhiều bài viết mới nêu bật những tiến bộ mới nhất trong bộ chứng minh ZK của mình: 🔹 Bài viết đầu tiên giới thiệu các nâng cấp đi kèm với việc đổi thương hiệu Ziren - tăng tốc GPU, chứng minh phân tán và các tối ưu hóa ràng buộc khác nhau: 🔹 Bài viết thứ hai giải thích Khung Hệ thống Ziren, bao gồm toàn bộ quy trình từ mã cấp cao đến chứng minh trên chuỗi. Nó chi tiết cách mà các dấu vết thực thi dựa trên MIPS được chuyển đổi thành STARKs, được tổng hợp theo cách đệ quy với PLONK, và được hoàn thiện thành Groth16 để xác minh hiệu quả: 🔹 Bài viết thứ ba hoàn thành bộ ba bài viết trong loạt ISA của ZKM, tập trung vào lý do tại sao ZKM chọn MIPS32r2 thay vì RISC-V. Nó nhấn mạnh sự ổn định của mạch và độ bền của chứng minh, giải thích cách mà MIPS cung cấp một ISA cố định, không thay đổi, đảm bảo rằng các chứng minh vẫn hợp lệ trong nhiều năm mà không cần làm lại: 🔹 Trong bài viết gần đây nhất, ZKM đã giới thiệu Cam kết Đa thức Gợn sóng - một phương pháp để xử lý các ma trận không đều trong zkVMs. Bằng cách sử dụng các chuyển đổi từ thưa sang dày và các giao thức kiểm tra tổng, nó cho phép các cam kết có thể mở rộng và hiệu quả trên các cấu trúc chứng minh động: 🔹 Truyền thông 🔹 Cuối cùng, @DacEconomy (Giám đốc Khoa học của ZKM) và @sd_eigen (cộng tác viên cốt lõi tại GOAT Network) đã tham gia @alicelingl để thảo luận về cách mà zkVM của ZKM cung cấp năng lượng cho Bitcoin L2 của GOAT Network: Họ đã khám phá cơ sở hạ tầng Entangled Rollup, việc tạo chứng minh theo thời gian thực và tổng hợp, và thay thế niềm tin của người xác thực bằng sự chắc chắn toán học - nhấn mạnh kiến trúc và mô hình bảo mật đằng sau cách tiếp cận của GOAT đối với khả năng mở rộng Bitcoin.

RISC Zero/Boundless 🔹 Công nghệ 🔹 @boundless_xyz bởi @RiscZero đã ra mắt Mainnet Beta trên @base, đưa ZKP vào ứng dụng thực tế: 'Tín hiệu' đã được giới thiệu - một khách hàng ZK mã nguồn mở nén tính cuối cùng của @ethereum thành một bằng chứng duy nhất, cho phép xác minh chuỗi chéo. Bằng cách tách biệt thực thi khỏi đồng thuận, Boundless cho phép tính toán mở rộng mà không hy sinh an ninh. Việc chứng minh là không cần phép, với các động lực thực sự và hỗ trợ ứng dụng trực tiếp đã hoạt động trên Base. 🔹 Đối tác 🔹 Tín hiệu của Boundless hiện được hỗ trợ bởi @eigenlayer, @unichain, @LineaBuild, @wormhole, @Optimism, @StellarOrg, @RiscZero, @build_on_bob, @anoma, @alt_layer, @conduitxyz, @taikoxyz, @Alchemy, @hyli_org, @celestia, @AragonProject và @union_build. Cùng nhau, các mạng này cho phép tính cuối cùng dựa trên ZK của @ethereum trở thành một nguyên lý có thể xác minh toàn cầu cho các ứng dụng chuỗi chéo - không cần oracles, cầu nối, hoặc giả định tin cậy:

Trong cuộc gọi Ethproofs mới nhất, @succinct_li của @brevis_zk đã chia sẻ cập nhật về zkVM nội bộ của Brevis, Pico: (Thời gian 11:06) Prover dựa trên GPU của Brevis, Pico v1.0, mang lại tốc độ cải thiện lên đến 20× so với phiên bản CPU của họ và vượt trội hơn các đối thủ hàng đầu khoảng 25-27%. Nhóm dự định phát hành Pico v2.0 vào cuối tháng Tám, với mục tiêu chứng minh theo thời gian thực. Họ cũng dự định mã nguồn mở mã GPU sau khi hoàn thành hỗ trợ đa GPU và đa máy trong những tháng tới.

Lita @0xLita đã giới thiệu Valida 0.10.0, một bản cập nhật lớn cho ngăn xếp zkVM của nó: Bản phát hành này thêm các Continuations cho các chứng minh thực thi một phần, một API WASM phía khách hàng cho các chứng minh zk dựa trên trình duyệt, và hỗ trợ công cụ Rust/LLVM được cải thiện. Nó cũng bao gồm các hình ảnh Docker cho x86 và ARM, hỗ trợ sớm cho Secp256k1 và memcpy, và Reva, một trình thực thi khối @ethereum.

OpenVM @openvm_org đã phát hành phiên bản 1.3.0, giới thiệu các thư viện khách được cải tiến, tách biệt rõ ràng các liên kết cấp thấp khỏi các API cấp cao: Cập nhật bao gồm một thư viện Rust mới để xác minh các chứng minh STARK, các cải tiến CLI hỗ trợ các tùy chọn Cargo, và các bản vá cho các crate mã hóa như k256 và p256. Không có thay đổi nào về mạch. Các nhà phát triển được khuyến khích chuyển sang các thư viện mới.