Để giải quyết các vấn đề tồn đọng ở zk-SNARK như tốc độ chậm và kém thân thiện với nhà phát triển, a16z vừa công bố hai giải pháp mang tên Lasso và Jolt.
Theo công bố mới trên website, các nhà nghiên cứu của quỹ đầu tư Andreessen Horowitz (a16z) đã giới thiệu Lasso và Jolt như giải pháp vượt bậc mà không một trình xác thực SNARK nào ở hiện tại có thể làm được.
Lasso và Jolt tóm gọn ở hai cải tiến: tốc độ nhanh hơn và dễ hiểu hơn.
Về khái niệm SNARK, đây là giải pháp mã hóa theo phương thức zero-knowledge proof, về bản chất vẫn đảm bảo xác thực một thông tin nhất định, xong không tiết lộ ra thông tin đó là gì.
SNARK giúp mở rộng quy mô các blockchain như Ethereum bằng cách cho phép các ứng dụng tạo giao dịch ngoài chuỗi. Mặc dù vậy, công nghệ này vẫn còn chậm và khá phức tạp đối với các nhà phát triển.
Lasso và Jolt giải quyết các vấn đề này như sau:
- Lasso: Đây sẽ là cải tiến chính theo a16z công bố. Lasso sử dụng cơ chế “đối số tra cứu” (lookup argument), thực hiện tra cứu và khớp các đầu vào với đầu ra tương ứng mà không tiết lộ thêm thông tin, giải pháp này lược bỏ được rất nhiều phần tính toán thủ công như trước.
Trong một bức tranh lớn, Lasso có thể tăng đáng kể tốc độ của các trình xác thực SNARK, đạt hiệu suất nhanh hơn gấp 10 lần và có thể đạt đến 40 lần nếu tiếp tục tối ưu, nhóm nghiên cứu a16z tuyên bố.
- Jolt: Cùng với Lasso, Jolt là một khung thiết kế rollup tương thích với Máy ảo Ethereum (EVM). Jolt cho phép các nhà phát triển xây dựng trên Layer-2 dựa trên SNARK mượt hơn bằng ngôn ngữ lập trình tùy chọn của họ.
Mã nguồn của Lasso, được viết bằng ngôn ngữ lập trình Rust, hiện đã có mặt trên GitHub. Trước đó thư viện mã nguồn phổ biến là SnarkJS từng bị phát hiện có lỗ hổng nghiêm trọng, sau đã tức tốc được khắc phục. Một trong số dự án lớn sử dụng công nghệ zk-SNARK là Binance, sàn giao dịch đã tích hợp zk-SNARK làm cơ chế xác minh tài sản Proof-of-Reverse tháng 2 vừa rồi,
