MasteringCrypto

@SuccinctLabs Labs đang trong một sứ mệnh để “$PROVE phần mềm của thế giới”—biến các bằng chứng không kiến thức (ZKPs) không chỉ là một chuyên môn của các nhà mật mã, mà còn là một công cụ thân thiện với nhà phát triển cho các ứng dụng hàng ngày.
Họ đạt được điều này thông qua hai đổi mới đột phá:
1. SP1 (Bộ xử lý ngắn gọn 1): Một zkVM hiệu suất cao
SP1 là một máy ảo không biết (zero-knowledge virtual machine) mã nguồn mở, đa mục đích (zkVM) có khả năng biên dịch mã từ các ngôn ngữ phổ biến như Rust hoặc bất kỳ ngôn ngữ tương thích LLVM nào thành các chứng minh có thể xác minh.
Bởi vì nó trừu
Xem bản gốcHọ đạt được điều này thông qua hai đổi mới đột phá:
1. SP1 (Bộ xử lý ngắn gọn 1): Một zkVM hiệu suất cao
SP1 là một máy ảo không biết (zero-knowledge virtual machine) mã nguồn mở, đa mục đích (zkVM) có khả năng biên dịch mã từ các ngôn ngữ phổ biến như Rust hoặc bất kỳ ngôn ngữ tương thích LLVM nào thành các chứng minh có thể xác minh.
Bởi vì nó trừu