Tóm tắt Chainfeeds:
Jolt là một máy ảo zkVM mã nguồn mở dựa trên kiến trúc RISC-V, kết hợp hiệu năng cao, bảo mật và tính thân thiện với nhà phát triển.
Nguồn bài viết:
https://x.com/a16zcrypto/status/2021348447656476841
Tác giả bài viết:
a16z
Quan điểm :
a16z: Jolt hoàn toàn là mã nguồn mở. Mã nguồn mở là yếu tố khuếch đại tối ưu, cho phép nhiều người hơn kiểm toán, tái sử dụng, sửa chữa và đổi mới. a16z crypto thành lập phòng nghiên cứu của mình chính xác để thu hẹp khoảng cách giữa lý thuyết hàn lâm và kỹ thuật công nghiệp. Nhiều dự án nghiên cứu mật mã cơ bản không thể hoàn thành thông qua khích lệ thương mại ngắn hạn; cấu trúc của vốn đầu tư mạo hiểm cho phép nó thực hiện các khoản đầu tư dài hạn, ngược chiều và có hệ thống. Jolt là một canh bạc đồng thuận ngược: ý tưởng cốt lõi của nó quay trở lại mô hình bằng chứng tương tác kiểm tra tổng, trực tiếp thách thức kiến trúc SNARK chính thống của 30 năm qua. Sự phát triển của các hệ thống bằng chứng mật mã đã trải qua các bằng chứng tĩnh (logic hình thức Hy Lạp cổ đại, NP), bằng chứng tương tác IP (1985), bằng chứng xác minh xác suất PCP (1990), tương tác + PCP → bằng chứng ngắn gọn (Kilian), và Fiat-Shamir → SNARK không tương tác (Micali). Tuy nhiên, có một quan niệm sai lầm quan trọng trong toàn bộ quá trình tiến hóa: ngành công nghiệp đã lần loại bỏ tính tương tác, chỉ để cuối cùng thêm lại tính tương tác bằng cách sử dụng Fiat-Shamir. Nếu cuối cùng phải loại bỏ tương tác, tại sao không bắt đầu trực tiếp từ các bằng chứng tương tác + kiểm tra tổng và bỏ qua PCP? Đây chính xác là nhận định cốt lõi của Jolt: bỏ qua PCP và xây dựng SNARK trực tiếp dựa trên kiểm tra tổng. Bước tiến kiến trúc như vậy là cực kỳ hiếm trong lịch sử nghiên cứu SNARK kéo dài hàng thập kỷ. Sự đổi mới lớn nhất của Jolt là tối đa hóa việc sử dụng cấu trúc lặp đi lặp lại của quá trình thực thi CPU. Tất cả các CPU đều tuân theo mô hình: tìm nạp → giải mã → thực thi. Jolt nhận thấy cấu trúc này lý tưởng cho việc xác minh hàng loạt + kiểm tra bộ nhớ + kiểm tra tổng, đạt được hiệu quả cực cao, độ phức tạp cực thấp và tính linh hoạt cực mạnh. Ngược lại, các triển khai zkVM khác dựa lượng lớn vào biên dịch trước (tương tự như mô-đun tăng tốc chuyên dụng trong ASIC), mặc dù nhanh nhưng phức tạp, dễ xảy ra lỗi, phụ thuộc vào các chuyên gia mật mã và làm giảm nghiêm trọng trải nghiệm phát triển. Jolt hoàn toàn từ bỏ biên dịch trước, thực sự dân chủ hóa việc thiết kế zkVM. Trong Jolt, mỗi lệnh có thể được mô tả chỉ với khoảng 10 dòng mã Rust, loại bỏ nhu cầu thiết kế các mạch phức tạp.
Nguồn nội dung 
