Nó gần như giống như Uber cho các bằng chứng không kiến thức: ứng dụng là người đi xe, người chứng minh là tài xế, và mạng lưới đảm bảo mọi người chơi công bằng.
SP1 — zkVM
Bây giờ, hãy nói về SP1. Đây là máy ảo zkVM (zero-knowledge của Succinct). Nếu bạn chưa từng làm việc với một cái nào trước đây, hãy hình dung nó như một máy tính chứng minh có thể chạy mã bình thường (như các chương trình Rust) nhưng cũng xuất ra một chứng minh cho thấy nó đã chạy mã đó một cách chính xác. Điều tôi thích ở đây là SP1 không bị khóa bởi một ngôn ngữ lập trình đặc biệt nào, bạn chỉ cần sử dụng Rust với thư viện tiêu chuẩn. Nếu bạn là một lập trình viên, điều đó rất quan trọng vì bạn không cần phải học một hệ thống lạ lẫm nào. Họ thậm chí còn hỗ trợ GPU để làm cho việc chứng minh nhanh chóng, vì vậy đây không chỉ là lý thuyết mà thực sự là thực tiễn.
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.
Nó gần như giống như Uber cho các bằng chứng không kiến thức: ứng dụng là người đi xe, người chứng minh là tài xế, và mạng lưới đảm bảo mọi người chơi công bằng.
SP1 — zkVM
Bây giờ, hãy nói về SP1. Đây là máy ảo zkVM (zero-knowledge của Succinct). Nếu bạn chưa từng làm việc với một cái nào trước đây, hãy hình dung nó như một máy tính chứng minh có thể chạy mã bình thường (như các chương trình Rust) nhưng cũng xuất ra một chứng minh cho thấy nó đã chạy mã đó một cách chính xác.
Điều tôi thích ở đây là SP1 không bị khóa bởi một ngôn ngữ lập trình đặc biệt nào, bạn chỉ cần sử dụng Rust với thư viện tiêu chuẩn. Nếu bạn là một lập trình viên, điều đó rất quan trọng vì bạn không cần phải học một hệ thống lạ lẫm nào. Họ thậm chí còn hỗ trợ GPU để làm cho việc chứng minh nhanh chóng, vì vậy đây không chỉ là lý thuyết mà thực sự là thực tiễn.
$chuyên nghiệp
{tương lai}(CHỨNG MINHUSDT)