Lasso và Jolt, một công cụ chứng minh không có kiến thức dựa trên SNARK mới do a16z ra mắt

Bởi Felix, PANews

a16z Crypto đã ra mắt hai công nghệ liên quan đến SNARK: Lasso và Jolt. Trong số đó, Lasso là một tham số tra cứu mới có thể làm tăng đáng kể chi phí của phép chứng thực; Jolt (Chỉ một bảng tra cứu) là một khung được thiết kế cho Rollup tương thích với Máy ảo Ethereum, một cách mới để xây dựng máy ảo SNARK bằng phương pháp Lasso. Lasso và Jolt có thể tăng tốc đáng kể việc mở rộng quy mô và xây dựng các ứng dụng trong Web3, đồng thời, họ cùng nhau đại diện cho một cách tiếp cận mới đối với thiết kế SNARK có thể cải thiện hiệu suất của các chuỗi công cụ được triển khai rộng rãi theo mức độ lớn hoặc hơn. Nó cũng cung cấp trải nghiệm tốt hơn, thuận tiện hơn cho nhà phát triển và giúp việc kiểm tra dễ dàng hơn. Lasso và Jolt giải quyết ba mối quan tâm chính: hiệu suất, trải nghiệm của nhà phát triển và khả năng kiểm toán.

Hiệu suất nhanh hơn

Lasso là một tham số tra cứu mới trong đó người tục ngữ hứa hẹn các giá trị ít hơn và nhỏ hơn so với công việc trước đó. Nhóm nghiên cứu của a16z crypto cho biết Lasso có thể cải thiện đáng kể tốc độ tổng thể của trình chứng minh SNARK, so với các công cụ như chuỗi công cụ Halo2, hiệu suất có thể được cải thiện gấp 10 lần, do đó giúp phát triển ZK-rollup nhanh hơn. Dự kiến hiệu suất sẽ tăng khoảng 40 lần sau khi tối ưu hóa xong. Do đó, nhóm tin rằng công nghệ kiểm chứng của Lasso sẽ vượt trội hơn tất cả các công nghệ kiểm chứng SNARK không kiến thức hiện có được sử dụng bởi các giải pháp mở rộng quy mô Ethereum L2 chính.

Jolt thực hiện "điểm kỳ dị tra cứu" - một tầm nhìn ban đầu được đề xuất bởi Barry Whitehat của Quỹ Ethereum để kích hoạt các công cụ đơn giản hơn và các mạch nhẹ, tập trung vào tra cứu. Nhóm hy vọng Jolt sẽ đạt được hiệu suất tương tự hoặc tốt hơn so với zkVM hiện tại và quan trọng là cung cấp trải nghiệm nhà phát triển hợp lý và dễ tiếp cận hơn.

Trải nghiệm nhà phát triển thuận tiện hơn

Lasso cung cấp một lộ trình triển khai zkVM thân thiện với nhà phát triển và có thể kiểm tra hơn so với các phương pháp hiện có.

Các cách tiếp cận trước đây đối với thiết kế SNARK đã xây dựng các hướng dẫn CPU dưới dạng các mạch và tối ưu hóa chúng theo cách thủ công—một nhiệm vụ cấp thấp và dễ xảy ra lỗi, yêu cầu chuyên môn về ngôn ngữ dành riêng cho miền. Ngược lại, các nhà phát triển của các hệ sinh thái ngôn ngữ khác nhau có thể sử dụng Lasso một cách tương đối dễ dàng.

Điều này là do trong Lasso, một lệnh được xác định bởi sự phân tách bảng phụ của nó: bảng tra cứu "lớn" của nó có thể bao gồm một số "bảng phụ" nhỏ hơn. Quan trọng hơn, sự phân tách như vậy có thể được mô tả ngắn gọn bằng các ngôn ngữ lập trình cấp cao. Ví dụ, một hướng dẫn có thể được thực hiện chỉ trong 50 dòng Rust. Ngoài ra, nhiều hướng dẫn trong các bộ hướng dẫn khác nhau về mặt khái niệm là giống nhau và một lượng lớn mã được phép lặp lại—ví dụ: WASM, EVM và RISC-V đều chỉ định cùng các phép toán số học, bit và so sánh cơ bản giống nhau.

Dễ xem xét hơn

Cách Lasso đơn giản hóa trải nghiệm của nhà phát triển cũng giúp việc kiểm tra dễ dàng hơn các phương pháp trước đây. Khả năng kiểm tra của zkVM đặc biệt có giá trị vì nhiều SNARK đã đạt được giá trị to lớn trên các chuỗi khối ngày nay. Vì Lasso triển khai logic hướng dẫn trong Rust và khuyến khích sao chép mã trên các tập lệnh nên nó tập trung các khu vực cần kiểm tra vào một cơ sở mã tương đối nhỏ và dễ đọc.

Hiện tại, ngoài các công việc cần thiết để triển khai đầy đủ Jolt, có rất nhiều nhiệm vụ đang được các nhà phát triển khác tiến hành hoặc chờ hoàn thành, bao gồm:

• Triển khai/tích hợp các kế hoạch cam kết đa dạng khác nhau, chẳng hạn như Biến thể đa tuyến tính của KZG (PST, Zeromorph, v.v.), Dory, Ligero, Brakedown và Sona
• Thực hiện tối ưu hóa tham số sản phẩm được mô tả trong Phần 6 của bài báo Quarks
• Kiểm tra điểm chuẩn và xử lý lỗi rộng rãi hơn
• Sử dụng đệ quy SNARK để đạt được xác minh bằng chứng trên chuỗi hiệu quả