Ở đây chúng tôi báo cáo về tiến độ của các nhà xây dựng hàng đầu trong Dịch vụ chứng minh ZKonomy, ghi lại các bản phát hành quan trọng gần đây, đột phá kỹ thuật và các bản cập nhật 👇 chung

ZkCloud @thezkcloud đã nhận được một khoản tài trợ từ @ethereumfndn để liên tục tạo ra ZKP cho các khối mainnet của @ethereum trong suốt Q2 2025. Tất cả các chứng minh đều được công khai qua @eth_proofs. Mục tiêu là để chứng minh cơ sở hạ tầng có thể mở rộng cho việc chứng minh theo thời gian thực. ZkCloud sử dụng một cụm 24-GPU và các công cụ mã nguồn mở đã được chỉnh sửa, với kế hoạch áp dụng các zkVM nhanh nhất có sẵn và giảm độ trễ cho các chứng minh khối dưới 12 giây: Ngoài ra, dự án đã thêm bốn validator mới vào Testnet của mình: @kintsugi_tech, @DeSpreadTeam, @CalBlockchain, và @AhnLab_ABC. Các nhóm này mang đến những điểm mạnh đa dạng - từ cơ sở hạ tầng địa phương và an ninh mạng đến nghiên cứu và hoạt động của validator. Sự tham gia của họ củng cố việc chứng minh phi tập trung khi ZkCloud tiến gần hơn đến Mainnet và tăng cường khả năng chứng minh theo thời gian thực trong mạng lưới của mình: Hơn nữa, ZkCloud là một trong những nhà tài trợ chính của Hội nghị Ethproofs của House of ZK trong tuần @BerBlockWeek. Giám đốc sản phẩm @NorbertVadas đã tham gia ba phiên tại sự kiện: 1) Đầu tiên, ông đã có một bài phát biểu chính nơi ông nói về các nút thắt kiến trúc và kỹ thuật trong việc mở rộng chứng minh ZK - từ việc tối ưu hóa việc lấy dữ liệu RPC đến việc xử lý sự biến đổi bất ngờ trong độ phức tạp của khối do các opcode EVM với chi phí chứng minh không tương xứng: 2) Sau đó, Norbert đã tham gia cùng @Khovr của Quỹ Ethereum, @0xAlecJames của @NexusLabs, @MayaD09111862 của @StarkWareLtd, và @alicelingl của @HouseofZK để thảo luận về cách các tiêu chuẩn benchmark zkVM có thể gây hiểu lầm khi được tối ưu hóa cho các chỉ số hẹp, tầm quan trọng của việc đánh giá hiệu suất nhận thức phần cứng, và nhu cầu về các khung công khai, đa chiều phản ánh khối lượng công việc thực tế và xây dựng niềm tin vào tính toán có thể xác minh: 3) Cuối cùng, cùng với @carlo_cretino50 của @0xLita, @DacEconomy của @ProjectZKM, @schmiddominik1 của @0xMiden, và Alice Liu của House of ZK, ông đã khám phá sự tiến hóa của khả năng tương tác zkVM, nhấn mạnh tiềm năng để vượt ra ngoài các cầu nối truyền thống, vai trò của các nhà cung cấp chứng minh phi tập trung, và tầm quan trọng của các tiêu chuẩn chung cho các ứng dụng blockchain có thể mở rộng và an toàn:

Ingonyama @Ingo_zk đã phát hành một triển khai tăng tốc của ML-KEM, một giao thức bao bọc khóa dựa trên lưới được NIST chọn cho mật mã hậu lượng tử. Mã nguồn dựa trên CUDA là mã nguồn mở theo giấy phép MIT và đạt được thông lượng cao hơn tới 30% so với các triển khai hiện tại. ML-KEM hỗ trợ ba mức độ bảo mật tương ứng với Kyber512, Kyber768 và Kyber1024: Ngoài ra, @BagadSuyash và @yuval_domb của Ingonyama, @QuangVDao của @CarnegieMellon, và @SuccinctJT của @a16zcrypto đã phát hành một bài báo mô tả việc tích hợp hai tối ưu hóa chính giúp tăng tốc đáng kể giao thức kiểm tra tổng, một thành phần cơ bản của SNARKs. Các kỹ thuật này nhắm vào các đầu vào đa thức giá trị nhỏ và các dạng đa thức bằng nhau, cho phép giảm thời gian chứng minh từ 2-4× trong Jolt zkVM, với những cải tiến lớn hơn khi bộ nhớ bị hạn chế. Những kết quả này trực tiếp giải quyết các nút thắt cổ chai của người chứng trong các hệ thống như Spartan trong Jolt:

Fermah @fermah_xyz đã ra mắt Giai đoạn 2 của testnet, bao gồm việc tích hợp các Node Prover bên ngoài, cải thiện công cụ cho nhà phát triển và chạy các bài kiểm tra tùy chỉnh. Giai đoạn này được đặt theo tên Giáo sư Amit Sahai, người có công trình đã định hình đáng kể nền tảng của mật mã ZK. Fermah lưu ý rằng các giai đoạn trong tương lai sẽ mở rộng sự tham gia vượt ra ngoài mạng lưới cơ sở hạ tầng hiện tại, báo hiệu sự phát triển liên tục và sự tham gia rộng rãi hơn của cộng đồng: Ngoài ra, @vanishree_rao, Người sáng lập Fermah, trong cuộc gọi @eth_proofs #2 đã chia sẻ rằng Fermah đã tích hợp với @RiscZero và @openvm_org để tạo ra các chứng minh cục bộ, nhằm hỗ trợ tất cả các zkVM và gửi những chứng minh hiệu quả nhất đến Ethproofs. Cô cũng đã chia sẻ một đề xuất cho một định nghĩa an ninh mới - khả năng trích xuất chứng minh đã chọn - nhấn mạnh những khoảng trống trong các tiêu chuẩn hiện tại. [Thời gian - 02:04:50]:

Cysic @cysic_xyz giới thiệu ComputeFi, nhằm mục đích phân quyền sức mạnh tính toán, điều này rất quan trọng cho cả công nghệ AI và ZK. Nền tảng cho phép người dùng kiếm tiền từ phần cứng và cung cấp cho các nhà phát triển quyền truy cập vào tài nguyên tính toán một cách minh bạch và giá cả phải chăng. Bằng cách giảm sự phụ thuộc vào các nhà cung cấp tập trung, Cysic cho biết các nhà phát triển có thể đổi mới một cách tự do, an toàn và hiệu quả về chi phí - mở đường cho sự tham gia kỹ thuật số rộng rãi hơn và các ứng dụng tập trung vào quyền riêng tư: Ngoài ra, dự án đã ra mắt Giai đoạn III: Khởi động của mạng thử nghiệm - xây dựng trên các giai đoạn trước đó đã giới thiệu một hệ thống token kép, các nhà cung cấp GPU và các xác minh di động. Khởi động là một phiên bản beta công khai cho phép người dùng tham gia vào tính toán phân quyền và kiếm phần thưởng từ mạng thử nghiệm. Quyền truy cập hiện tại chỉ dành cho những người được mời, với hỗ trợ di động sẽ đến sớm: Cuối cùng, tại cuộc gọi gần đây @eth_proofs Call #2, đồng sáng lập của Cysic @leofanxiong đã chia sẻ cập nhật về các ASIC tùy chỉnh được xây dựng cho ZKPs. Các chip hỗ trợ các lĩnh vực ZK chính và cung cấp hơn 1,3 triệu băm Keccak/giây. Chúng sử dụng một mạng trên chip tùy chỉnh để sắp xếp dữ liệu hiệu quả và kết hợp phần cứng chức năng cố định với CPU để linh hoạt. Mặc dù vẫn đang trên FPGA, chúng đang vượt trội hơn so với thông lượng GPU điển hình:

Snarkify Trong cuộc gọi @eth_proofs gần đây nhất, @drouyang, Đồng sáng lập & Giám đốc điều hành của @Snarkify_ZKP, đã thông báo với các người tham dự rằng Snarkify đã xây dựng bộ prover H2 GPU nhanh nhất trên mạng chính @Scroll_ZKP và vượt qua 750 MHz về tốc độ mô phỏng RISC-V. Nhóm đã chuyển toàn bộ quá trình tạo trace sang GPU, tăng cường đáng kể thông lượng. Sản phẩm của họ, cho phép chứng minh theo thời gian thực cho bất kỳ zkVM nào, sẽ ra mắt vào cuối tháng Sáu. [Thời gian - 01:12:30]:

Marlin @MarlinProtocol đã thông báo rằng các nhà phát triển xây dựng trên @SuiNetwork sẽ có quyền truy cập không giới hạn vào thị trường tính toán TEE của nó thông qua Nautilus. Họ sẽ có thể chọn giữa các VM bảo mật chuyên dụng hoặc thực thi không máy chủ, thanh toán bằng USDC. Các công cụ bao gồm hỗ trợ Docker, quản lý khóa và xác thực: Hơn nữa, Marlin đã thông báo rằng các Môi trường Thực thi Đáng tin cậy của nó hiện hỗ trợ lớp thanh toán của @cyclenetwork_GO và cơ sở hạ tầng thanh khoản không cầu nối, nâng cao khả năng xử lý dữ liệu offchain an toàn. Cập nhật này đáp ứng nhu cầu bảo mật của các tổ chức trong khi cho phép thanh toán với thông lượng cao: