risc0/risc0

🧠 RISC Zero: Nền tảng zk-STARKs chứng minh đúng mã nguồn bằng RISC-V

Chứng minh bạn đã chạy đúng code mà không cần tiết lộ bất kỳ dữ liệu nào.

RISC Zero là một nền tảng tính toán chung có thể chứng minh bằng chứng không biết mật (zero-knowledge proof) dựa trên công nghệ zk-STARKs và vi mô trường RISC-V. Dự án cho phép người dùng viết mã bằng Rust, C, hoặc C++, biên dịch sang RISC-V rồi chạy trong một máy ảo zkVM để tạo ra bằng chứng xác thực.

✨ Điểm nổi bật

• zkVM: Máy ảo RISC-V chạy mã khách và tạo bằng chứng.
• zk-STARKs: Công nghệ chứng minh không biết mật dựa trên STARKs.
• Multi-language: Hỗ trợ Rust, C, và C++ qua toolchain RISC-V.
• Guest-Host: Mô hình giao tiếp an toàn giữa môi trường khách và máy chủ.
• Journal: Ghi log chỉ đọc để lưu kết quả đầu ra.
• Receipt: Kết quả bao gồm journal và seal (dữ liệu mật mã) để xác minh.
• Recursive Proofs: Hệ thống bằng chứng đệ quy 3 lớp với Groth16.
• Security Calculator: Công cụ đánh giá độ an toàn trong soundness.rs.

💡 Vì sao đáng chú ý

RISC Zero khác biệt bằng cách kết hợp zk-STARKs với kiến trúc RISC-V, cho phép chứng minh bất kỳ chương trình nào nếu có bộ biên dịch hỗ trợ. Điều này mở rộng khả năng sử dụng so với các nền tảng zk-SNARKs truyền thống chỉ hỗ trợ ngôn ngữ giới hạn. Phù hợp cho các ứng dụng blockchain, xác thực tính toán, và hệ thống yêu cầu minh bạch nhưng bảo mật.

#zk-STARKs #RISCZero #ZeroKnowledge #RISC-V #zkVM #TiniX