Ethereum RISC-V hóa được đưa lên chương trình nghị sự: RISC Zero xây dựng zkVM phổ quát, Boundless mở ra một kỷ nguyên mới cho tính toán có thể xác minh.
Trong bối cảnh tính toán có thể xác minh đang tiến tới trung tâm câu chuyện công nghiệp, RISC Zero đang tái định hình hiệu suất và ranh giới niềm tin của Blockchain bằng một cấu trúc tính toán zero knowledge tổng quát và mở hơn. Với zkVM tổng quát đầu tiên dựa trên RISC-V trong ngành và lớp tính toán có thể xác minh cross chain Boundless, đội ngũ geek này đang đưa zero knowledge proof từ công cụ ngách tới khả năng tính toán đám mây quy mô, cố gắng lắp đặt "động cơ tính toán siêu" có thể xác minh cho internet phi tập trung.
Gần đây, đồng sáng lập Ethereum Vitalik Buterin đã đề xuất kế hoạch thực hiện những điều chỉnh lớn đối với lớp thực thi mạng Ethereum: thay thế mã byte của Máy ảo Ethereum (Ethereum Virtual Machine, EVM) bằng tập lệnh RISC-V. Giải pháp mới sẽ không thay đổi các chức năng cốt lõi của hợp đồng thông minh như tài khoản và lưu trữ, nhưng sẽ thay đổi căn bản cách biên dịch và vận hành mã hợp đồng. Ở một mức độ nào đó, đề xuất của Vitalik không chỉ là một lần nâng cấp tiêu chuẩn hóa và khả năng kết hợp của lớp thực thi Ethereum, mà còn đưa "tính toán có thể xác minh" – một công nghệ từng được coi là tốn kém và mang tính thử nghiệm – trở lại trung tâm của câu chuyện ngành.
Một, RISC Zero: Người tiên phong của zkVM đa năng
Trên con đường phát triển của tính toán có thể xác minh, công ty khởi nghiệp về zk-SNARK đến từ Mỹ, RISC Zero, là một trong những thực hành sớm nhất và điển hình nhất. Họ không chỉ xây dựng zkVM chung đầu tiên trong ngành dựa trên kiến trúc RISC-V mà còn phát triển Boundless, một lớp tính toán có thể xác minh, cố gắng nâng cấp zk-SNARK từ công cụ điểm đơn thành "khả năng tính toán đám mây" chia sẻ chuỗi cross và có thể thị trường hóa. Điều này có nghĩa là, trong tương lai, các nhà phát triển sẽ không còn bị ràng buộc bởi chi phí Gas cao trên chuỗi hoặc các hạn chế của EVM, mà có thể truy cập gần như vô hạn tài nguyên tính toán có thể xác minh trên bất kỳ chuỗi khối nào.
Hiện tại, phiên bản Beta của mạng chính Boundless đã được ra mắt. Giám đốc điều hành Shiv Shankar cho biết: "Boundless đạt được khả năng tính toán an toàn cross-chain bằng cách tránh các nhiệm vụ tính toán trùng lặp, từ đó nâng cao tính khả thi mở rộng của blockchain. Điều này không chỉ nâng cao hiệu quả và tăng cường an ninh mà còn cho phép các nhà phát triển và thợ mỏ tham gia vào các hệ sinh thái khác nhau." Nhà nghiên cứu của Quỹ Ethereum Justin Drake cho biết: "RISC Zero zkVM hỗ trợ hệ sinh thái Boundless đáp ứng tất cả các yêu cầu quan trọng cho việc mở rộng Ethereum: khả năng chứng minh ngay lập tức, môi trường xác minh GPU đa nhiệm vụ tại nhà, giấy phép mã nguồn mở thoải mái, và thực hiện từ dưới lên hoàn toàn mới."
Trong vài ngày ngắn ngủi trên phiên bản Beta của mạng chính Boundless, thị trường đầu tiên xác thực đồng thuận Ethereum này đã đạt quy mô lớn nhất hiện tại (30 tỷ) gấp 10 lần (500 tỷ); có tổng cộng 576 người chứng nhận đã thành công trong việc nộp chứng nhận, biến nó thành mạng lưới người chứng nhận phân quyền nhất toàn cầu; quy mô thị trường đạt mức tăng trưởng gấp 10 lần, số lượng đơn hàng hàng ngày cao nhất đạt 8000 đơn, số vòng tính toán lên tới 2.6 triệu tỷ, gần như không có thời gian ngừng hoạt động, hoàn thành hơn 99% đơn hàng hàng ngày; một người chứng nhận bên ngoài đã thiết lập kỷ lục tốc độ mới, đạt 5.63MHz, vượt xa 2.5MHz trước đó; số lượng đơn hàng gần như luôn duy trì ở mức 0 đơn hàng bị khóa, điều này cho phép chúng tôi nhìn thấy trước tác động tiềm năng của POWV (chứng nhận công việc chứng nhận) đối với việc áp dụng ZK chứng nhận trong giai đoạn đầu ra mắt mạng chính; sự đổi mới mở giữa các người chứng nhận đã bắt đầu, một trong những điểm nổi bật là người chứng nhận có thể khóa nhiệm vụ trong cùng một khối với tốc độ dưới 100 mili giây.
Hai, Nguyên lý hoạt động và đột phá thiết kế của Boundless
Trên con đường phát triển zk-SNARK từ công cụ điểm đơn thành lớp tính toán tổng quát, bước đột phá quan trọng của Boundless là chuyển đổi khả năng tính toán có thể xác minh từ khả năng công nghệ cô lập thành cơ sở hạ tầng chuỗi trên có thể tiếp thị và có thể kết hợp.
Cụ thể, logic cốt lõi của Boundless có ba yếu tố chính: zkVM tổng quát, giao thức xác minh chuỗi cross và mô hình kinh tế PoVW (Proof of Verifiable Work).
zkVM chung: Nền tảng Boundless dựa trên zkVM (R0VM 2.0) tự phát triển của RISC Zero, nó dựa trên kiến trúc RISC-V tiêu chuẩn mở, có thể thực thi bất kỳ chương trình chung nào và tạo ra chứng minh không biết. Điều này có nghĩa là, cho dù là hợp đồng thông minh EVM, chứng minh trạng thái Rollup, hay tính toán phức tạp ngoài chuỗi, tất cả đều có thể được zkVM đảm nhận để tạo ra chứng minh tính hợp lệ, sau đó được chuyển cho hợp đồng trên chuỗi để xác minh nhanh chóng, toàn bộ quá trình đều minh bạch đối với người dùng cuối và chuỗi chính.
Giao thức xác thực chuỗi cross: Boundless không bị giới hạn trong một chuỗi nào, mà từ đầu đã được thiết kế theo cách nguyên sinh chuỗi cross: nó thông qua việc triển khai đồng thời hợp đồng Boundless Market trên nhiều chuỗi, tạo ra một thị trường thanh toán không cần giấy phép, tự động ghép nối nhu cầu chứng minh của các nhà phát triển với tài nguyên khả năng tính toán của các nút Prover trên toàn cầu. Quan trọng hơn, Boundless Market đã được triển khai nguyên sinh trên tất cả các chuỗi chính, các nhà phát triển không cần rời bỏ môi trường sinh thái quen thuộc của mình, chỉ cần tương tác với địa chỉ hợp đồng địa phương, có thể thanh toán phí bằng token nguyên sinh của chuỗi mình và ngay lập tức nhận được chứng minh tính toán có thể xác minh. Thiết kế của thị trường phân tán chuỗi cross này đã giảm đáng kể ngưỡng tiếp cận, khiến cho tính toán có thể xác minh thực sự trở thành tài nguyên công cộng trên chuỗi có thể được điều phối, thanh toán và kết hợp giống như dịch vụ đám mây.
Cơ chế khuyến khích PoVW: Phần đột phá nhất nằm ở cơ chế khuyến khích PoVW. Khác với PoW chỉ thưởng cho việc tính toán băm, PoS thưởng cho vốn nhàn rỗi, PoVW lần đầu tiên biến khối lượng công việc tính toán thực tế của zk-SNARK thành hàng hóa, hoàn thành chu trình khép kín bằng việc đo lường và thanh toán trên chuỗi. Prover hoàn thành bao nhiêu vòng hiệu quả, sẽ nhận được phần thưởng token tương ứng với khối lượng công việc, và dữ liệu đo lường được ghi lại trên chuỗi, có thể kiểm toán. Cơ chế này không chỉ đảm bảo tính linh hoạt trong cung cấp khả năng tính toán, mà còn khuyến khích nhiều nút tiếp tục tối ưu hóa hiệu suất chứng minh và giảm chi phí, hình thành thị trường cung cầu cho khả năng tính toán có thể xác minh.
Người phụ trách sản phẩm công nghệ Jacob Everly đã tiết lộ trong cuộc phỏng vấn với truyền thông vào tháng 3 năm nay rằng Ngân hàng Thanh toán Quốc tế (BIS) của Singapore đã sử dụng công nghệ của RISC Zero và Boundless để phát triển một hệ thống nguyên mẫu, có khả năng xác minh xem các nhà giao dịch ở khu vực Châu Á - Thái Bình Dương có thể giao dịch trên Sở giao dịch chứng khoán Singapore mà không cần cung cấp thông tin cá nhân đầy đủ. Người dùng chỉ cần tải lên hộ chiếu và số điện thoại di động, có thể tạo ra một chứng minh không biết (ZKP) để chứng minh họ đủ điều kiện giao dịch. Hiện tại, đã có hơn 30 đội ngũ dự định xây dựng và triển khai ứng dụng trên Boundless. Jacob Everly nói: "Mục tiêu của chúng tôi là đạt được 100 đội hợp tác vào năm tới, để Boundless trở thành tiêu chuẩn của ngành."
Ba, Bản đồ công nghệ đa chiều của RISC Zero
Ngoài Boundless, RISC Zero còn liên tục lặp lại về khả năng sử dụng và khả năng mở rộng của zk-SNARK, đã ra mắt nhiều sản phẩm quan trọng, củng cố thêm vị thế của mình như một nền tảng tính toán có thể xác minh chung.
R0VM 2.0: Phiên bản hoàn toàn mới của zkVM cốt lõi, không chỉ rút ngắn thời gian chứng minh cho một khối Ethereum từ 35 phút xuống còn 44 giây, mà chi phí chứng minh của chuỗi OP còn giảm tới 5 lần, giao dịch đơn lẻ chỉ cần tối thiểu 0.0012 đô la, giảm đáng kể rào cản tiếp cận ZK cho các nhà phát triển. Đồng thời, phiên bản R0VM 2.0 đã tăng cường hỗ trợ bộ nhớ và biên dịch trước, có khả năng xử lý chứng minh EVM quy mô lớn hơn và nội dung truyền thông có thể xác minh, và dự kiến sẽ đạt được chứng minh thời gian thực cấp độ 12 giây trong năm nay, đẩy mạnh việc chuyển đổi chứng minh không biết thành sản xuất hàng loạt. Đáng chú ý, phiên bản R0VM 3.0 cũng đang được phát triển và dự kiến sẽ ra mắt vào cuối năm nay. Phiên bản này sử dụng hệ thống chứng minh Binius mới nhất mà Ethereum vừa ra mắt, lúc đó tốc độ chứng minh sẽ được cải thiện hơn nữa.
ZK đồng xử lý Steel 2.0: Để giải quyết những hạn chế cố hữu của hệ sinh thái EVM, RISC Zero cũng đã phát hành ZK đồng xử lý Steel 2.0, có thể thực hiện các phép toán phức tạp, truy cập trạng thái lịch sử và tính toán xuyên khối ngoài chuỗi, đồng thời đạt được xác minh an toàn trên chuỗi với chi phí chứng minh chỉ 27 triệu gas, tương thích với Solidity và R0-Helios nhẹ, thuận tiện cho việc triển khai trên Ethereum và OP Stack.
Mô hình hiệu quả OP Kailua: Cung cấp khả năng chuyển tiếp mượt mà từ OP Rollup sang ZK Rollup mà không cần tái cấu trúc lớn, đạt được độ bảo mật cao và thanh toán nhanh chóng do ZK mang lại. Các dự án như Base, BOB đã tiên phong tích hợp, cung cấp các tùy chọn nâng cấp hiệu quả về chi phí cho các chuỗi có khả năng thông lượng cao.
Bốn, Sứ mệnh và tham vọng của RISC Zero
RISC Zero, là một đội ngũ kết hợp giữa tinh thần nổi loạn và theo đuổi công nghệ lý tính. Đầu năm 2022, tại hội nghị ETH Denver, một vài thành viên của RISC Zero đã cầm trên tay những mảnh vải mua từ cửa hàng in địa phương và các công cụ đơn giản, thành công hòa vào hội trường. Cũng chính trong cuộc "đột phá của hacker" này, họ đã đạt được ý định đầu tư sớm với nhóm nhà đầu tư đầu tiên.
Nhờ vào tinh thần mạo hiểm không theo lối mòn và sự khám phá sâu sắc về công nghệ tính toán zk-SNARK, RISC Zero tiếp tục nhận được sự đầu tư liên tục từ thị trường vốn: vào tháng 3 năm 2022, họ đã hoàn thành vòng gọi vốn thiên thần 2 triệu USD, và vào tháng 8 cùng năm đã thu về 12 triệu USD trong vòng gọi vốn hạt giống; vào tháng 7 năm 2023, họ lại thành công huy động được 4 triệu USD trong vòng tài trợ mới.
Khác với các dự án zero-knowledge khác, RISC Zero đã chọn một con đường tổng quát hơn: dựa trên bộ lệnh RISC-V mã nguồn mở, tạo ra zkVM đầu tiên trên thế giới có thể thực thi mã chương trình tổng quát, giúp chứng minh không biết thực sự có khả năng tính toán phổ quát và giảm bớt rào cản phát triển, cho phép các nhà phát triển tiếp tục sử dụng các công cụ lập trình quen thuộc, như Rust và các ngôn ngữ hiện đại khác, mà không cần phải lo lắng về hiệu suất ZK và công cụ dễ sử dụng.
Ngày nay, nhóm nhỏ gồm các geek và những người theo chủ nghĩa tương lai này đang cố gắng xây dựng một hệ sinh thái tính toán có thể xác minh mở, chuỗi cross và không cần phép trên zkVM, mang lại một nền tảng tin cậy mới cho Internet phi tập trung - đây cũng chính là lý do và tham vọng của Boundless.
Kết luận:
Boundless không chỉ là một nỗ lực công nghệ lần nữa của RISC Zero trong lĩnh vực zk-SNARK, mà còn là một buổi diễn tập thực tế hướng tới thị trường mở, hợp tác chuỗi cross và khả năng tính toán đám mây quy mô. Khi Boundless và các thành phần như zkVM, PoVW tiếp tục phát triển, thí nghiệm xung quanh "công cụ siêu tính toán phi tập trung có thể xác minh" này, có thể đang mở ra một con đường khả năng tính toán chung hơn và tham vọng hơn cho thế giới Blockchain.
Trang này có thể chứa nội dung của bên thứ ba, được cung cấp chỉ nhằm mục đích thông tin (không phải là tuyên bố/bảo đảm) và không được coi là sự chứng thực cho quan điểm của Gate hoặc là lời khuyên về tài chính hoặc chuyên môn. Xem Tuyên bố từ chối trách nhiệm để biết chi tiết.
Ethereum RISC-V hóa được đưa lên chương trình nghị sự: RISC Zero xây dựng zkVM phổ quát, Boundless mở ra một kỷ nguyên mới cho tính toán có thể xác minh.
Trong bối cảnh tính toán có thể xác minh đang tiến tới trung tâm câu chuyện công nghiệp, RISC Zero đang tái định hình hiệu suất và ranh giới niềm tin của Blockchain bằng một cấu trúc tính toán zero knowledge tổng quát và mở hơn. Với zkVM tổng quát đầu tiên dựa trên RISC-V trong ngành và lớp tính toán có thể xác minh cross chain Boundless, đội ngũ geek này đang đưa zero knowledge proof từ công cụ ngách tới khả năng tính toán đám mây quy mô, cố gắng lắp đặt "động cơ tính toán siêu" có thể xác minh cho internet phi tập trung.
Gần đây, đồng sáng lập Ethereum Vitalik Buterin đã đề xuất kế hoạch thực hiện những điều chỉnh lớn đối với lớp thực thi mạng Ethereum: thay thế mã byte của Máy ảo Ethereum (Ethereum Virtual Machine, EVM) bằng tập lệnh RISC-V. Giải pháp mới sẽ không thay đổi các chức năng cốt lõi của hợp đồng thông minh như tài khoản và lưu trữ, nhưng sẽ thay đổi căn bản cách biên dịch và vận hành mã hợp đồng. Ở một mức độ nào đó, đề xuất của Vitalik không chỉ là một lần nâng cấp tiêu chuẩn hóa và khả năng kết hợp của lớp thực thi Ethereum, mà còn đưa "tính toán có thể xác minh" – một công nghệ từng được coi là tốn kém và mang tính thử nghiệm – trở lại trung tâm của câu chuyện ngành.
Một, RISC Zero: Người tiên phong của zkVM đa năng
Trên con đường phát triển của tính toán có thể xác minh, công ty khởi nghiệp về zk-SNARK đến từ Mỹ, RISC Zero, là một trong những thực hành sớm nhất và điển hình nhất. Họ không chỉ xây dựng zkVM chung đầu tiên trong ngành dựa trên kiến trúc RISC-V mà còn phát triển Boundless, một lớp tính toán có thể xác minh, cố gắng nâng cấp zk-SNARK từ công cụ điểm đơn thành "khả năng tính toán đám mây" chia sẻ chuỗi cross và có thể thị trường hóa. Điều này có nghĩa là, trong tương lai, các nhà phát triển sẽ không còn bị ràng buộc bởi chi phí Gas cao trên chuỗi hoặc các hạn chế của EVM, mà có thể truy cập gần như vô hạn tài nguyên tính toán có thể xác minh trên bất kỳ chuỗi khối nào.
Hiện tại, phiên bản Beta của mạng chính Boundless đã được ra mắt. Giám đốc điều hành Shiv Shankar cho biết: "Boundless đạt được khả năng tính toán an toàn cross-chain bằng cách tránh các nhiệm vụ tính toán trùng lặp, từ đó nâng cao tính khả thi mở rộng của blockchain. Điều này không chỉ nâng cao hiệu quả và tăng cường an ninh mà còn cho phép các nhà phát triển và thợ mỏ tham gia vào các hệ sinh thái khác nhau." Nhà nghiên cứu của Quỹ Ethereum Justin Drake cho biết: "RISC Zero zkVM hỗ trợ hệ sinh thái Boundless đáp ứng tất cả các yêu cầu quan trọng cho việc mở rộng Ethereum: khả năng chứng minh ngay lập tức, môi trường xác minh GPU đa nhiệm vụ tại nhà, giấy phép mã nguồn mở thoải mái, và thực hiện từ dưới lên hoàn toàn mới."
Trong vài ngày ngắn ngủi trên phiên bản Beta của mạng chính Boundless, thị trường đầu tiên xác thực đồng thuận Ethereum này đã đạt quy mô lớn nhất hiện tại (30 tỷ) gấp 10 lần (500 tỷ); có tổng cộng 576 người chứng nhận đã thành công trong việc nộp chứng nhận, biến nó thành mạng lưới người chứng nhận phân quyền nhất toàn cầu; quy mô thị trường đạt mức tăng trưởng gấp 10 lần, số lượng đơn hàng hàng ngày cao nhất đạt 8000 đơn, số vòng tính toán lên tới 2.6 triệu tỷ, gần như không có thời gian ngừng hoạt động, hoàn thành hơn 99% đơn hàng hàng ngày; một người chứng nhận bên ngoài đã thiết lập kỷ lục tốc độ mới, đạt 5.63MHz, vượt xa 2.5MHz trước đó; số lượng đơn hàng gần như luôn duy trì ở mức 0 đơn hàng bị khóa, điều này cho phép chúng tôi nhìn thấy trước tác động tiềm năng của POWV (chứng nhận công việc chứng nhận) đối với việc áp dụng ZK chứng nhận trong giai đoạn đầu ra mắt mạng chính; sự đổi mới mở giữa các người chứng nhận đã bắt đầu, một trong những điểm nổi bật là người chứng nhận có thể khóa nhiệm vụ trong cùng một khối với tốc độ dưới 100 mili giây.
Hai, Nguyên lý hoạt động và đột phá thiết kế của Boundless
Trên con đường phát triển zk-SNARK từ công cụ điểm đơn thành lớp tính toán tổng quát, bước đột phá quan trọng của Boundless là chuyển đổi khả năng tính toán có thể xác minh từ khả năng công nghệ cô lập thành cơ sở hạ tầng chuỗi trên có thể tiếp thị và có thể kết hợp.
Cụ thể, logic cốt lõi của Boundless có ba yếu tố chính: zkVM tổng quát, giao thức xác minh chuỗi cross và mô hình kinh tế PoVW (Proof of Verifiable Work).
zkVM chung: Nền tảng Boundless dựa trên zkVM (R0VM 2.0) tự phát triển của RISC Zero, nó dựa trên kiến trúc RISC-V tiêu chuẩn mở, có thể thực thi bất kỳ chương trình chung nào và tạo ra chứng minh không biết. Điều này có nghĩa là, cho dù là hợp đồng thông minh EVM, chứng minh trạng thái Rollup, hay tính toán phức tạp ngoài chuỗi, tất cả đều có thể được zkVM đảm nhận để tạo ra chứng minh tính hợp lệ, sau đó được chuyển cho hợp đồng trên chuỗi để xác minh nhanh chóng, toàn bộ quá trình đều minh bạch đối với người dùng cuối và chuỗi chính.
Giao thức xác thực chuỗi cross: Boundless không bị giới hạn trong một chuỗi nào, mà từ đầu đã được thiết kế theo cách nguyên sinh chuỗi cross: nó thông qua việc triển khai đồng thời hợp đồng Boundless Market trên nhiều chuỗi, tạo ra một thị trường thanh toán không cần giấy phép, tự động ghép nối nhu cầu chứng minh của các nhà phát triển với tài nguyên khả năng tính toán của các nút Prover trên toàn cầu. Quan trọng hơn, Boundless Market đã được triển khai nguyên sinh trên tất cả các chuỗi chính, các nhà phát triển không cần rời bỏ môi trường sinh thái quen thuộc của mình, chỉ cần tương tác với địa chỉ hợp đồng địa phương, có thể thanh toán phí bằng token nguyên sinh của chuỗi mình và ngay lập tức nhận được chứng minh tính toán có thể xác minh. Thiết kế của thị trường phân tán chuỗi cross này đã giảm đáng kể ngưỡng tiếp cận, khiến cho tính toán có thể xác minh thực sự trở thành tài nguyên công cộng trên chuỗi có thể được điều phối, thanh toán và kết hợp giống như dịch vụ đám mây.
Cơ chế khuyến khích PoVW: Phần đột phá nhất nằm ở cơ chế khuyến khích PoVW. Khác với PoW chỉ thưởng cho việc tính toán băm, PoS thưởng cho vốn nhàn rỗi, PoVW lần đầu tiên biến khối lượng công việc tính toán thực tế của zk-SNARK thành hàng hóa, hoàn thành chu trình khép kín bằng việc đo lường và thanh toán trên chuỗi. Prover hoàn thành bao nhiêu vòng hiệu quả, sẽ nhận được phần thưởng token tương ứng với khối lượng công việc, và dữ liệu đo lường được ghi lại trên chuỗi, có thể kiểm toán. Cơ chế này không chỉ đảm bảo tính linh hoạt trong cung cấp khả năng tính toán, mà còn khuyến khích nhiều nút tiếp tục tối ưu hóa hiệu suất chứng minh và giảm chi phí, hình thành thị trường cung cầu cho khả năng tính toán có thể xác minh.
Người phụ trách sản phẩm công nghệ Jacob Everly đã tiết lộ trong cuộc phỏng vấn với truyền thông vào tháng 3 năm nay rằng Ngân hàng Thanh toán Quốc tế (BIS) của Singapore đã sử dụng công nghệ của RISC Zero và Boundless để phát triển một hệ thống nguyên mẫu, có khả năng xác minh xem các nhà giao dịch ở khu vực Châu Á - Thái Bình Dương có thể giao dịch trên Sở giao dịch chứng khoán Singapore mà không cần cung cấp thông tin cá nhân đầy đủ. Người dùng chỉ cần tải lên hộ chiếu và số điện thoại di động, có thể tạo ra một chứng minh không biết (ZKP) để chứng minh họ đủ điều kiện giao dịch. Hiện tại, đã có hơn 30 đội ngũ dự định xây dựng và triển khai ứng dụng trên Boundless. Jacob Everly nói: "Mục tiêu của chúng tôi là đạt được 100 đội hợp tác vào năm tới, để Boundless trở thành tiêu chuẩn của ngành."
Ba, Bản đồ công nghệ đa chiều của RISC Zero
Ngoài Boundless, RISC Zero còn liên tục lặp lại về khả năng sử dụng và khả năng mở rộng của zk-SNARK, đã ra mắt nhiều sản phẩm quan trọng, củng cố thêm vị thế của mình như một nền tảng tính toán có thể xác minh chung.
R0VM 2.0: Phiên bản hoàn toàn mới của zkVM cốt lõi, không chỉ rút ngắn thời gian chứng minh cho một khối Ethereum từ 35 phút xuống còn 44 giây, mà chi phí chứng minh của chuỗi OP còn giảm tới 5 lần, giao dịch đơn lẻ chỉ cần tối thiểu 0.0012 đô la, giảm đáng kể rào cản tiếp cận ZK cho các nhà phát triển. Đồng thời, phiên bản R0VM 2.0 đã tăng cường hỗ trợ bộ nhớ và biên dịch trước, có khả năng xử lý chứng minh EVM quy mô lớn hơn và nội dung truyền thông có thể xác minh, và dự kiến sẽ đạt được chứng minh thời gian thực cấp độ 12 giây trong năm nay, đẩy mạnh việc chuyển đổi chứng minh không biết thành sản xuất hàng loạt. Đáng chú ý, phiên bản R0VM 3.0 cũng đang được phát triển và dự kiến sẽ ra mắt vào cuối năm nay. Phiên bản này sử dụng hệ thống chứng minh Binius mới nhất mà Ethereum vừa ra mắt, lúc đó tốc độ chứng minh sẽ được cải thiện hơn nữa.
ZK đồng xử lý Steel 2.0: Để giải quyết những hạn chế cố hữu của hệ sinh thái EVM, RISC Zero cũng đã phát hành ZK đồng xử lý Steel 2.0, có thể thực hiện các phép toán phức tạp, truy cập trạng thái lịch sử và tính toán xuyên khối ngoài chuỗi, đồng thời đạt được xác minh an toàn trên chuỗi với chi phí chứng minh chỉ 27 triệu gas, tương thích với Solidity và R0-Helios nhẹ, thuận tiện cho việc triển khai trên Ethereum và OP Stack.
Mô hình hiệu quả OP Kailua: Cung cấp khả năng chuyển tiếp mượt mà từ OP Rollup sang ZK Rollup mà không cần tái cấu trúc lớn, đạt được độ bảo mật cao và thanh toán nhanh chóng do ZK mang lại. Các dự án như Base, BOB đã tiên phong tích hợp, cung cấp các tùy chọn nâng cấp hiệu quả về chi phí cho các chuỗi có khả năng thông lượng cao.
Bốn, Sứ mệnh và tham vọng của RISC Zero
RISC Zero, là một đội ngũ kết hợp giữa tinh thần nổi loạn và theo đuổi công nghệ lý tính. Đầu năm 2022, tại hội nghị ETH Denver, một vài thành viên của RISC Zero đã cầm trên tay những mảnh vải mua từ cửa hàng in địa phương và các công cụ đơn giản, thành công hòa vào hội trường. Cũng chính trong cuộc "đột phá của hacker" này, họ đã đạt được ý định đầu tư sớm với nhóm nhà đầu tư đầu tiên.
Nhờ vào tinh thần mạo hiểm không theo lối mòn và sự khám phá sâu sắc về công nghệ tính toán zk-SNARK, RISC Zero tiếp tục nhận được sự đầu tư liên tục từ thị trường vốn: vào tháng 3 năm 2022, họ đã hoàn thành vòng gọi vốn thiên thần 2 triệu USD, và vào tháng 8 cùng năm đã thu về 12 triệu USD trong vòng gọi vốn hạt giống; vào tháng 7 năm 2023, họ lại thành công huy động được 4 triệu USD trong vòng tài trợ mới.
Khác với các dự án zero-knowledge khác, RISC Zero đã chọn một con đường tổng quát hơn: dựa trên bộ lệnh RISC-V mã nguồn mở, tạo ra zkVM đầu tiên trên thế giới có thể thực thi mã chương trình tổng quát, giúp chứng minh không biết thực sự có khả năng tính toán phổ quát và giảm bớt rào cản phát triển, cho phép các nhà phát triển tiếp tục sử dụng các công cụ lập trình quen thuộc, như Rust và các ngôn ngữ hiện đại khác, mà không cần phải lo lắng về hiệu suất ZK và công cụ dễ sử dụng.
Ngày nay, nhóm nhỏ gồm các geek và những người theo chủ nghĩa tương lai này đang cố gắng xây dựng một hệ sinh thái tính toán có thể xác minh mở, chuỗi cross và không cần phép trên zkVM, mang lại một nền tảng tin cậy mới cho Internet phi tập trung - đây cũng chính là lý do và tham vọng của Boundless.
Kết luận:
Boundless không chỉ là một nỗ lực công nghệ lần nữa của RISC Zero trong lĩnh vực zk-SNARK, mà còn là một buổi diễn tập thực tế hướng tới thị trường mở, hợp tác chuỗi cross và khả năng tính toán đám mây quy mô. Khi Boundless và các thành phần như zkVM, PoVW tiếp tục phát triển, thí nghiệm xung quanh "công cụ siêu tính toán phi tập trung có thể xác minh" này, có thể đang mở ra một con đường khả năng tính toán chung hơn và tham vọng hơn cho thế giới Blockchain.