RISC Zero là một dự án phát triển máy ảo RISC Zero nhằm tăng cường tính an toàn và khả năng xác thực của người dùng. Vậy RISC Zero là gì? Hãy cùng Coin68 tìm hiểu về RISC Zero và công nghệ Zero-Knowledge Virtual Machine qua bài viết dưới đây nhé!
RISC Zero là gì? Tìm hiểu về giải pháp máy ảo zero-knowledge (zkVM)
RISC Zero là gì?
RISC Zero không chỉ là một startup trong lĩnh vực crypto mà còn là bước tiến vượt bậc trong việc phát triển máy ảo RISC Zero zero-knowledge (zkVM), nhằm tăng cường tính an toàn và đáng tin cậy cho các ứng dụng phân tán (distributed application). Đây là nền tảng giúp nối liền khoảng cách giữa zero-knowledge proof (ZKP) và các ngôn ngữ lập trình phổ biến như C++ và Rust.
RISC Zero là gì?
Công nghệ ZKP cho phép chương trình không chỉ trả về kết quả mà còn cung cấp chứng minh về nguồn gốc và tính chính xác của dữ liệu. Khi được xác minh bằng mã hóa, người nhận không cần phải tiếp cận dữ liệu đầu vào của chương trình. Điều này có nghĩa là tính chính xác của kết quả có thể được kiểm tra mà không cần tiết lộ thông tin.
Khả năng kiểm chứng này mở ra cơ hội cho các ứng dụng phi tập trung, tiết kiệm thời gian và tài nguyên từ việc phải dựa vào sự tin cậy từ bên thứ ba. RISC Zero giải quyết những thách thức này bằng cách tích hợp ngôn ngữ, công cụ và kỹ năng lập trình viên hiện có vào quá trình phát triển ZKP.
Xem thêm: ZK là gì?
Mặc dù công nghệ SNARKs và STARKs đã rõ ràng thể hiện tiềm năng to lớn của Zero-Knowledge Proofs (ZKP), nhưng trong thực tế, việc xây dựng các ứng dụng vẫn đòi hỏi việc sử dụng các ngôn ngữ lập trình mới và gặp khó khăn trong việc tìm kiếm các công cụ hỗ trợ tương ứng. Để giải quyết vấn đề này, RISC Zero đã đối mặt và khắc phục khó khăn bằng việc tích hợp ngôn ngữ, công cụ và kỹ năng lập trình viên hiện có vào quá trình phát triển Zero-Knowledge Proofs (ZKP).
Nhằm thực hiện mục tiêu này, RISC Zero đã sáng tạo ra một bộ chứng minh Zero-Knowledge Proofs (ZKP) độc đáo và có hiệu suất cao, sau đó sử dụng sản phẩm này để xây dựng máy ảo zero-knowledge (zkVM) thực thi các chỉ thị chuẩn của kiến trúc RISC-V. Mặc dù việc mô phỏng kiến trúc RISC-V có phần phức tạp, nhưng điều này đã tạo ra khả năng tương thích với các ngôn ngữ và công cụ hiện có.
Để cụ thể hơn, RISC Zero đã thực hiện việc tích hợp giữa mã ứng dụng "máy chủ", được viết bằng ngôn ngữ cấp cao và chạy trực tiếp trên bộ xử lý máy chủ (ví dụ: Rust trên arm64 Mac), và mã "khách" sử dụng ngôn ngữ thực thi bên trong zkVM (ví dụ: Rust trên RISC-V, cụ thể là RV32IM). Mô hình này tương tự như mô hình thành công của bộ công cụ CUDA C++ của Nvidia, với sự khác biệt là thay vì GPU, ở đây là một bộ máy chứng minh không có kiến thức.
Tính năng zkVM và Bonsai Network của Risc Zero
zkVM
zkVM (zero-knowledge virtual machine) là một dạng máy ảo độc đáo, có khả năng thực thi mã một cách đáng tin cậy và tạo ra các bằng chứng xác minh cho kết quả của zkVM. RISC Zero đã triển khai zkVM dựa trên kiến trúc RISC-V, thực hiện việc thực thi mã và tạo ra một loại biên nhận tính toán.
Mô hình hoạt động của zkVM
Việc viết các ứng dụng zkApps trên RISC Zero thực tế không phức tạp như bạn nghĩ. Nó tương tự như việc xây dựng bất kỳ dự án Rust nào khác. Bạn không cần phải học một ngôn ngữ tùy chỉnh hay hiểu biết về toán học và cấu trúc mã code phức tạp. zkVM của RISC Zero cho phép bạn chứng minh tính chính xác của mã Rust một cách dễ dàng. Bằng cách cho phép bạn sử dụng các gói Rust đã có sẵn, zkVM giúp bạn nhanh chóng và tiện lợi xây dựng các ứng dụng phần mềm mạnh mẽ có khả năng xác minh.
Ví dụ: Bạn có thể chứng minh khả năng tiết lộ một phần của các tệp JPG và JSON trong khi vẫn bảo vệ tính riêng tư của phần còn lại của tệp.
Bonsai
Bonsai là mạng chứng minh theo dạng zero-knowledge đa dụng (general purpose zero-knowledge proof network), cho phép bất kỳ blockchain nào, giao thức nào và ứng dụng nào cũng có thể tận dụng các tính năng từ các công nghệ ZKP. Nó hoạt động mạnh mẽ, có khả năng lập trình và hiệu suất cao.
General purpose zero-knowledge proof network cho phép người dùng tích hợp công nghệ ZKP trực tiếp vào bất kỳ hợp đồng thông minh nào mà không cần sử dụng mạch tùy chỉnh (custom circuits). Điều này cho phép việc tích hợp ZK trực tiếp vào các ứng dụng phi tập trung trên bất kỳ chuỗi EVM nào và cũng có khả năng hỗ trợ bất kỳ hệ sinh thái nào khác.
zkVM của RISC Zero là nền tảng của Bonsai và cho phép tương thích ngôn ngữ rộng rãi với khả năng hỗ trợ ngôn ngữ Rust có khả năng chứng minh và tiềm năng cho mã có khả năng chứng minh không có kiến thức bằng bất kỳ ngôn ngữ nào biên dịch thành RISC-V như C++, Solidity, Go và nhiều ngôn ngữ khác nữa.
Kết hợp chứng minh đệ quy, trình biên dịch mạch tùy chỉnh, sự liên tục của các trạng thái và các cải tiến liên tục về thuật toán chứng minh, Bonsai cho phép bất kỳ ai cũng có thể tạo ra các chứng minh không có kiến thức hiệu suất cao cho nhiều ứng dụng khác nhau.
Mô hình hoạt động của Bonsai
Qua mô hình trên, ta có thể xem mạng Bonsai như một nơi xử lý các ZKP off-chain. Mô hình này khá giống cách mà Celestia xử lý Data Availability.
Thông tin cơ bản của token
Đang cập nhật.
Lộ trình phát triển dự án
Đang cập nhật.
Đội ngũ phát triển
Brian Retford - Co-founder: Là một trong những người sáng lập của dự án. Anh có kiến thức sâu về công nghệ và phát triển sản phẩm, đóng góp quan trọng vào việc xây dựng nền tảng và phát triển chiến lược của dự án. Brian có kinh nghiệm rộng trong lĩnh vực blockchain và an ninh thông tin, là một nhân tố quan trọng định hình hướng đi của công ty.
Frank Laub - Co-founder: Là một trong những người sáng lập của dự án. Ông đã đóng góp ý tưởng quan trọng và kiến thức sâu về lĩnh vực blockchain và công nghệ không có kiến thức. Frank có khả năng phân tích tinh tế và góp phần xây dựng cơ sở vững chắc cho sự phát triển của dự án.
Jeremy Bruestle - Co-founder: Là một người sáng lập quan trọng của dự án. Ông có kiến thức vững vàng về công nghệ, đặc biệt là về zkVM và lĩnh vực chứng minh không có kiến thức. Sự đóng góp của Jeremy giúp định hình các khía cạnh quan trọng của sản phẩm và hướng dẫn công ty trên con đường phát triển.
Ashleigh Schap - Giám đốc chiến lược: Cô có trách nhiệm xây dựng và triển khai chiến lược tổng thể của dự án, đồng thời quản lý các kế hoạch phát triển dài hạn. Với kinh nghiệm lâu năm trong lĩnh vực kế hoạch chiến lược và phát triển sản phẩm, Ashleigh đóng góp quan trọng vào sự phát triển toàn diện của công ty.
Choong Ng - Giám đốc Kinh doanh chính: Chịu trách nhiệm quản lý các hoạt động kinh doanh và hợp tác cộng tác. Với sự hiểu biết sâu rộng về thị trường và mối quan hệ kinh doanh, Choong Ng đảm bảo rằng dự án có sự phát triển bền vững và tạo ra giá trị thực sự trong ngành công nghệ.
Các nhà đầu tư
Các quỹ đầu tư vào RISC Zero theo crypto fundraising
Nhìn chung, RISC được quỹ đầu tư quan tâm hiện nay và đặc biệt là quỹ Blockchain Capital khi là nhà đầu tư dẫn đầu của vòng Series A với tổng số vốn mà dự án đã gọi lên đến 40 triệu USD.
Tổng kết
Qua bài viết trên, Coin68 đã cung cấp cho các bạn cái nhìn tổng quan về RISC Zero. Đây là một dự án hỗ trợ và phát triển khả năng kiểm tra tính đúng đắn của mã và tạo ra các bằng chứng xác minh một cách tiện lợi và hiệu quả. Điều này mở ra cánh cửa cho việc xây dựng ứng dụng phần mềm không có kiến thức mạnh mẽ và có khả năng xác minh trên nhiều nền tảng khác nhau.
Lưu ý: Thông tin trong bài viết không được xem là lời khuyên đầu tư, Coin68 không chịu trách nhiệm với bất kỳ quyết định nào của các bạn.
