zkVM Mới Nhất Tại đây, 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: @brevis_zk, @DelphinusLab, Jolt (@a16zcrypto), @ligero_inc, @0xMiden, @NexusLabs, @RiscZero/@boundless_xyz, @SuccinctLabs, @ziskvm, & @ProjectZKM. 🔹 Ghé thăm để xem thêm các báo cáo từ khắp nơi trong ngành 🔹

Brevis 🔹 Tài liệu trắng ProverNet 🔹 @brevis_zk đã phát hành tài liệu trắng ProverNet phác thảo một thị trường phi tập trung nơi các ứng dụng yêu cầu khả năng chứng minh ZK và các nhà cung cấp chuyên biệt cạnh tranh để cung cấp nó: Hệ thống sử dụng cơ chế đấu giá trực tuyến trung thực để ghép nối các khối lượng công việc khác nhau với các nguồn lực phù hợp trong khi thực thi chất lượng dịch vụ thông qua các động lực kinh tế. ProverNet giới thiệu token BREV cho thanh toán, staking và quản trị, và một mạng chính beta với một cuộc đấu giá đơn giản hóa dự kiến sẽ ra mắt sớm. 🔹 Truyền thông 🔹 Trong một tập gần đây của @HouseofZK Radio, @no89thkey, đồng sáng lập của Brevis đã đề cập đến cách mà đội ngũ đã chuyển từ nguồn gốc DeFi sang xây dựng tính toán có thể xác minh và chứng minh gần thời gian thực: Ông đã nói về Pico zkVM, trình chứng minh phân tán Pico Prism được sử dụng cho chứng minh khối @Ethereum, và cách mà kiến trúc đồng xử lý mô-đun của Brevis hỗ trợ lòng trung thành trên chuỗi, phần thưởng hợp lý và tích hợp cầu nối CEX/DEX. Podcast đầy đủ: 🔹 Sự kiện 🔹 Brevis đã tổ chức và tham gia nhiều phiên quan trọng trong @EFDevcon, mang đến những góc nhìn thực tiễn về tính toán có thể xác minh và sự chuyển mình sang các mô hình thực thi dựa trên chứng minh ngoài chuỗi: • Brevis đã tổ chức ZKONNECT, với House of ZK là đồng tổ chức, tập trung vào cách mà zkVMs, các đồng xử lý ZK, zkML và zkTLS đang chuyển từ khái niệm sang sản xuất. Chương trình đã làm nổi bật các triển khai thực tiễn của tính toán có thể xác minh, truy cập dữ liệu chuỗi chéo, và suy diễn AI, cùng với một số bài phát biểu chính và thảo luận phác thảo cách mà các đội đang áp dụng cơ sở hạ tầng ZK vào các ứng dụng thực tế. • Michael đã có một bài phát biểu chính tại Verifying Intelligence 3.0, được tổ chức bởi House of ZK và đồng tổ chức bởi Brevis: Ông đã phác thảo lý do tại sao hầu hết tính toán blockchain sẽ di chuyển ra ngoài chuỗi và được xác minh thông qua ZKPs, trình bày Brevis như là lớp tính toán vô hạn thực hiện logic nặng ngoài chuỗi và trả về các đầu ra ngắn gọn, có thể xác minh. Bài nói đã đề cập đến Pico zkVM, chứng minh Ethereum thời gian thực, kiến trúc mô-đun của Brevis, và các tích hợp hiện tại đang thúc đẩy DeFi thông minh, các chứng nhận bảo vệ quyền riêng tư, và các hệ thống khuyến khích liên tục. 🔹 Đối tác 🔹 Cuối cùng, Brevis và @vana đã trình bày một mô hình chung để sử dụng dữ liệu riêng tư trong AI bằng cách kết hợp các đầu vào được xác thực với tính toán cục bộ mà không tiết lộ thông tin thô: Brevis zkTLS chứng minh nguồn gốc dữ liệu, trong khi Pico zkVM xử lý nó trên thiết bị của người dùng. Vana quản lý sự đồng ý và phần thưởng, cung cấp cho các nhà phát triển các chỉ số đã được xác minh và cho phép người dùng giữ toàn quyền kiểm soát dữ liệu của họ. 🔹 Truy cập để biết thêm báo cáo từ khắp nơi trong ngành 🔹

Jolt (@a16zcrypto) 🔹 Cuộc gọi Ethproofs 🔹 @SuccinctJT, Nhà nghiên cứu tại @a16zcrypto, đã trình bày tại cuộc gọi @eth_proofs gần đây. Anh ấy đã nhấn mạnh cách mà các zkVM hiện tại kiểm soát bộ nhớ prover bằng cách chia các trace thành các khối và tổng hợp các chứng minh một cách đệ quy, nhưng điều này làm tăng độ phức tạp, rủi ro lỗi và chi phí hiệu suất. Dấu thời gian - 32:30: Justin tiếp tục giải thích cách mà Jolt nhằm thay thế điều này bằng một phương pháp streaming mà giới hạn bộ nhớ prover gần vài gigabyte, bất kể số chu kỳ. Hai trong số khoảng hai mươi thành phần Sumcheck cần thiết đã đang streaming, với công việc còn lại dự kiến sẽ hoàn thành sớm. 🔹 Nghiên cứu 🔹 Justin cũng đã công bố một bài báo dựa trên kết quả của một cuộc khảo sát tập trung vào cách thiết kế SNARK hiện đại đạt được chứng minh nhanh bằng cách tập trung vào giao thức sum-check: Bài báo phác thảo lý do tại sao các kỹ thuật như đánh giá theo lô, lập luận tra cứu, đa thức ảo và bảo tồn giá trị nhỏ làm giảm công việc và chi phí cam kết của prover. Sử dụng Jolt làm nghiên cứu chính, nó cho thấy cách khai thác cấu trúc tính toán lặp lại cho phép các zkVM hiệu quả và hướng dẫn các cải tiến hiệu suất trong tương lai. 🔹 Truy cập để xem thêm báo cáo từ khắp nơi trong ngành 🔹

Miden 🔹 Testnet v0.12 🔹 @0xMiden đã phát hành Testnet v0.12, giới thiệu các cập nhật lớn trong các quy trình bảo mật, quản lý khóa, xử lý địa chỉ và công cụ cho nhà phát triển: Phiên bản này thêm một định dạng địa chỉ mới với hỗ trợ mã hóa, một lớp vận chuyển ghi chú riêng tư với @Nethermind, ký ECDSA thông qua các precompile, và cải tiến trong việc xử lý dữ liệu trong nút. Nó cũng bao gồm các biện pháp bảo vệ cơ bản cho khả năng hiển thị dữ liệu giao dịch, trình cài đặt midenup mới cho việc onboard dễ dàng hơn, một devnet chuyên dụng cho thử nghiệm, và nhiều cải tiến cấp VM cho khả năng kết hợp và gỡ lỗi. 🔹 Xuất bản 🔹 Dự án đã công bố một bài viết giải thích cách mà multisig riêng tư trở nên khả thi thông qua một hệ thống mới gọi là Quản lý Trạng thái Riêng tư, được đồng phát triển với @OpenZeppelin: Bài viết phác thảo lý do tại sao multisig truyền thống dựa vào trạng thái công khai chia sẻ, cách mà mô hình bảo mật của Miden làm phức tạp việc phối hợp, và cách mà các lớp đồng bộ hóa, phối hợp và xác thực của PSM giữ cho các tài khoản riêng tư được đồng bộ. Nó kết thúc với các ví dụ về các trường hợp sử dụng thực tiễn và lưu ý rằng một Bằng chứng Khái niệm sớm đã có sẵn. 🔹 Sự kiện 🔹 Tại @EFDevcon, Miden đã tổ chức và tham gia vào một số sự kiện, bao gồm: • Salon Bảo mật, một sự kiện do Miden tổ chức đã quy tụ các nhà xây dựng, nhà nghiên cứu và người sáng lập cho các bài nói ngắn, tập trung vào ý tưởng và thảo luận mở về bảo mật, hệ thống phi tập trung, và các giao điểm đang phát triển của crypto, web3, và tài chính truyền thống. • Xác minh Trí tuệ 3.0, được tổ chức bởi @HouseofZK, nơi @huitseeker, Trưởng phòng Kỹ thuật tại Miden, đã nói về vai trò của zkVM trong zkML, giải thích sự khác biệt giữa việc chứng minh suy diễn và đào tạo, những hạn chế của TEE, và cách thiết kế của Miden hỗ trợ các kịch bản xác minh AI thực tiễn, chống lại sự thù địch. Thời gian - 02:50:12: 🔹 Tích hợp 🔹 Dự án đã giới thiệu hai quan hệ đối tác mới mở rộng hệ sinh thái của nó trong các lĩnh vực bảo mật, onboarding, và cơ sở hạ tầng, bao gồm: • @get_para: Tích hợp ví nhúng của Para và xác thực MPC phân tán để cho phép onboarding không giám sát liền mạch cho các ứng dụng Miden. Sự hợp tác này đã giới thiệu đăng nhập không cần mật khẩu, tạo ví ngay lập tức, và quy trình người dùng không ma sát, đồng bộ hóa ngăn xếp UX của Para với mô hình bảo mật tuân thủ của Miden để hỗ trợ DeFi riêng tư, fintech, trò chơi, và các ứng dụng tổ chức được xây dựng trên thực thi ZK: • @gateway_eth: Đối tác với để cung cấp cơ sở hạ tầng cấp doanh nghiệp cho mạng blockchain tập trung vào bảo mật và có thể mở rộng của Miden. Quan hệ đối tác này đảm bảo tính khả dụng cao, truy cập dữ liệu nhanh chóng, và độ tin cậy hoạt động khi Miden mở rộng, với Gateway chạy các thành phần cốt lõi như cầu nối gốc, prover, và trình khám phá khối để hỗ trợ việc triển khai kiến trúc thực thi biên của Miden: 🔹 Truy cập để biết thêm báo cáo từ khắp nơi trong ngành 🔹

Nexus 🔹 DEX Alpha 🔹 @NexusLabs đã ra mắt phiên bản Alpha của sàn giao dịch hợp đồng tương lai vĩnh viễn phi tập trung như một phần của Testnet III, cung cấp một nền tảng CLOB không lưu ký đơn giản được xây dựng trên cơ sở hạ tầng có thể xác minh: Bản phát hành tập trung vào các chức năng giao dịch cốt lõi, quy trình onboarding được tinh giản và quỹ thử nghiệm thay vì tài sản thực. Mặc dù giao diện rất tối giản, nhưng sổ lệnh cơ bản được thiết kế cho hiệu suất độ trễ thấp và sẽ mở rộng với phản hồi từ cộng đồng và các chứng minh mật mã được giới thiệu dần dần. 🔹 Trạng thái Mạng 🔹 Nexus đã phát hành báo cáo mạng tháng 11: Các điểm nổi bật bao gồm: • Mạng đã xử lý 87.198 triệu giao dịch, với 87.038 triệu giao dịch hoàn thành, cho thấy độ tin cậy cao và khoảng cách rất nhỏ giữa hoạt động đã khởi động và đã hoàn tất. • Thông lượng chứng minh đã điều chỉnh từ 5.810 xuống 4.16 chứng minh mỗi giây trong suốt tháng, phản ánh sự trở lại với một cơ sở chứng minh ổn định hơn sau đợt tăng nhanh vào tháng 10. • Số hợp đồng đã xác minh đạt 2.548 triệu, cho thấy sự tin tưởng liên tục của các nhà phát triển vào môi trường chứng minh mặc dù độ trễ cao hơn và thông lượng được điều chỉnh. • Phí giao dịch trung bình là 0.048 NEX, giữ cho chi phí xác minh thấp và để lại không gian cho việc lặp lại nhanh chóng và các tương tác trên chuỗi thường xuyên. 🔹 Sự kiện 🔹 Giám đốc Khoa học của Nexus @JensGroth16 đã tham gia một buổi trò chuyện bên lửa tại sự kiện Verifying Intelligence của @HouseofZK trong khuôn khổ @EFDevcon, thảo luận về cách mà ZKP đã phát triển từ công việc lý thuyết ban đầu đến các ứng dụng ngày nay trong AI có thể xác minh: Ông đã phác thảo sự tập trung của Nexus vào việc kết hợp tính chính xác có thể chứng minh với an ninh kinh tế và nhấn mạnh sự cần thiết của các tiêu chuẩn, giáo dục và sự tin tưởng rộng rãi từ các tổ chức để đảm bảo rằng các hệ thống có thể xác minh trở nên khả dụng và được áp dụng rộng rãi. 🔹 Truy cập để xem thêm báo cáo từ khắp nơi trong ngành 🔹

Risc Zero & Boundless 🔹 Cuộc gọi Ethproofs 🔹 Trong cuộc gọi @eth_proofs gần đây #6, @BruestleJeremy, Giám đốc điều hành và Đồng sáng lập của @RiscZero, đã chia sẻ cách mà đội ngũ đã khởi động thành công một kernel Linux thực sự bên trong zkVM sau khi thêm hỗ trợ Risc-V S-mode, MMU đầy đủ và bộ nhớ ảo. Thời gian - 20:30: Bản demo đã cho thấy nhiều quy trình đang chạy và một môi trường gần như xác định, phù hợp cho các ngăn xếp phần mềm rộng hơn. Risc Zero dự định phát hành điều này trong bản mạch tiếp theo khi tiến trình trên prover tiếp tục. 🔹 Sự kiện 🔹 @boundless_xyz đã tham gia vào một số sự kiện trong Devconnect tại Buenos Aires, bao gồm: • Một phiên đọc Whitepaper được tổ chức bởi @HouseofZK hợp tác với @WPReadingClub và @invisiblgarden, nơi Boundless, @citrea_xyz, @MinaProtocol và @o1_labs đã tham gia vào các cuộc thảo luận bàn tròn về các phát triển nghiên cứu gần đây và các ý tưởng mới nổi trong hệ sinh thái Web3 và ZK. • Một phiên thảo luận về Verifying Intelligence 3.0, nơi @reka_eth, Giám đốc Marketing tại Boundless, đã đóng góp vào một cuộc thảo luận về việc chứng minh sự đóng góp của con người trong một kỷ nguyên được hình thành bởi AI và robot, cùng với các diễn giả @humpty0x của @OntologyNetwork, @zKsisyfos của @StarkWareLtd, @DacEconomy của @ProjectZKM, và @Viggy_117 của @eigencloud. Thời gian - 00:57:54: 🔹 Truy cập để xem thêm báo cáo từ khắp nơi trong ngành 🔹

Succinct 🔹 SP1 Hypercube 🔹 @SuccinctLabs báo cáo rằng phiên bản mới nhất của SP1 Hypercube zkVM có thể chứng minh 99.7% các khối L1 của @ethereum trong vòng chưa đầy 12 giây trên 16 GPU RTX 5090, mở rộng cột mốc chứng minh thời gian thực trước đó: Bản phát hành này bổ sung các cải tiến hiệu suất lớn, xác minh chính thức tất cả các ràng buộc RISC-V, loại bỏ các phụ thuộc vào giả thuyết khoảng cách gần, và các biện pháp bảo mật mới. Hypercube đang hoàn tất các cuộc kiểm toán và sẽ được phát hành mã nguồn mở và thông qua Mạng Chứng Thực Succinct. 🔹 Nghiên cứu 🔹 Trong một nghiên cứu gần đây của @ronrothblum, Trưởng bộ phận Mật mã tại Succinct, @benediktbuenz (@EspressoSys), @GiacomoFenzi (@EPFL), và @kleptographic (@NYU_Courant), các tác giả trình bày TensorSwitch, một phương pháp cam kết đa thức dựa trên băm gần như tối ưu: Nó giải quyết hai hạn chế chính trong SNARGs dựa trên băm: thời gian chứng thực và kích thước chứng minh lớn. Sử dụng mã tensor và chứng minh oracle tương tác, TensorSwitch đạt được thời gian cam kết và mở ra tuyến tính theo kích thước đầu vào, chi phí băm dưới tuyến tính, và truy vấn xác minh tối thiểu theo asymptotic, mà không cần dựa vào thiết lập tin cậy hoặc mật mã dựa trên nhóm. 🔹 C2PA 🔹 Succinct đã tham gia @C2PA_org, làm việc cùng với các thành viên khác phát triển các tiêu chuẩn mở cho việc xác minh nội dung kỹ thuật số: Khi phương tiện do AI tạo ra ngày càng tăng, dự án giới thiệu xác minh ZK để củng cố quy trình nguồn gốc với quyền riêng tư và các chứng nhận có thể mở rộng. Succinct nhằm hỗ trợ các tiêu chuẩn siêu dữ liệu thống nhất và cải thiện khả năng tương tác giữa các nền tảng. Bằng cách tham gia C2PA, dự án dự định đóng góp nghiên cứu và hỗ trợ triển khai các công cụ xác thực nội dung trong các bối cảnh thực tiễn. 🔹 OP Succinct Lite 🔹 @Celo đã nâng cấp mạng thử nghiệm Sepolia của mình lên OP Succinct Lite thông qua hardfork Jello, tiến gần hơn đến việc ra mắt mainnet: Đầu năm nay, Celo đã chuyển sang Ethereum L2 để hỗ trợ thanh toán thực tế và trở thành chuỗi đầu tiên áp dụng OP Succinct Lite với EigenDA v2. 🔹 Truy cập để xem thêm các báo cáo từ khắp nơi trong ngành 🔹

ZKM 🔹 Kiểm toán 🔹 Ziren của ZKM đang được kiểm toán bởi @VeridiseInc, sử dụng nền tảng xác minh Picus của họ: Veridise đã điều chỉnh các ràng buộc Plonky3 của Ziren và thực hiện phân tích thông qua @AuditHubDev. Kết quả ban đầu xác nhận hành vi xác định cho phép cộng và trừ trong chip AddSub. Các đội ngũ dự định mở rộng xác minh cho các mạch đầy đủ và tích hợp các kiểm tra vào quy trình phát triển của ZKM. 🔹 Xuất bản 🔹 @ProjectZKM đã xuất bản một bài viết giải thích cách mà giao thức GKR xác minh các phép toán mạch số bằng cách kiểm tra tính nhất quán qua các lớp mạch một cách đệ quy sử dụng giao thức Sumcheck đa biến: Bài viết giải thích cấu trúc mạch theo lớp, vai trò của các mở rộng đa tuyến, cách mà Sumcheck giảm xác minh thành các đánh giá điểm, và cách mà đệ quy kết thúc ở lớp đầu vào. Nó cho thấy lý do tại sao GKR hiệu quả cho các mạch lớn và là nền tảng trong các hệ thống ZK hiện đại. 🔹 Sự kiện 🔹 ZKM đã phát hành một bài viết về thời gian của họ tại @EFDevcon, với những điểm nổi bật là: • ZKONNECT bởi @brevis_zk và House of ZK: CTO của ZKM @sd_eigen đã tham gia vào bảng thảo luận về chứng minh thời gian thực EVM Proved in 10 Seconds bàn về các hệ thống chứng minh tăng tốc GPU. • Verifying Intelligence bởi House of ZK và Brevis: Stephen đã nói về quyền riêng tư dựa trên ZK trong các quy trình AI và đã xem xét kiểm toán Ziren với @VeridiseInc. Đồng sáng lập @DacEconomy đã tham gia vào bảng thảo luận về AI và Công việc về việc xác minh đóng góp của con người. • @EtherArgentina Hackathon: ZKM đã tài trợ cho sự kiện với Stephen là giám khảo và Trưởng bộ phận Giáo dục @alicelingl hướng dẫn các đội. • Native BTCFi Summit bởi @babylonlabs_io và @build_on_bob: thảo luận về tài chính phù hợp với @Bitcoin và mở rộng BTC. • StarkConnect bởi @Starknet: Stephen đã tham gia vào một phiên thảo luận về việc mở rộng Bitcoin với Starknet, @AlpenLabs và @atomiqlabs. • ZK Real World Summit: bảng thảo luận về các chuỗi bảo vệ quyền riêng tư với @MantaNetwork, @ZKVProtocol và @nillion. • Cultural Vivo bởi @invisiblgarden: ZKM đã trở lại với tư cách là nhà tài trợ hỗ trợ trung tâm cho các nhà phát triển ZK và AI. 🔹 Truy cập để biết thêm báo cáo từ khắp nơi trong ngành 🔹