"VC hạng nhất" đang tham gia phát triển: hai công cụ SNARK của tiền điện tử a16z

Tác giả: Arrow@go2mars, Nguồn: Tác giả Twitter @ArrowCrypto_eth

Gần đây, tôi đã theo dõi sự mở rộng và đổi mới của một số quỹ mã hóa ở nước ngoài đối với hệ sinh thái Tiền điện tử. Hãy cùng điểm qua hai công cụ SNARK mới được A16Z Crypto ra mắt trong tháng này. Cố gắng chỉ nói về những điều có thể giải quyết được những vấn đề gì.

Khi nói đến SNARK, trước tiên hãy nói về zkSNARK. Trên thực tế, đây là hai khía cạnh khác nhau trong chủ đề ngày hôm nay.

Kể từ khi chúng tôi bắt đầu với zkSNARK, bằng chứng về các nguyên tắc cơ bản của kiến thức bằng 0 sẽ không được lặp lại. Công nghệ này có ba đặc điểm: tính đầy đủ, tính chính xác và không có kiến thức. Nó có thể được thực hiện để chứng minh kết luận mà không tiết lộ bất kỳ chi tiết nào. Đồng thời, trong bối cảnh mã hóa đồng cấu, độ khó của việc xác minh thấp hơn nhiều so với độ khó của việc tạo ra bằng chứng.

Khi nói về Lớp 2 trước đây, chúng tôi thực sự đã đề cập đến ZK, chẳng hạn như Zk-Rollup, như một cơ chế chứng minh hiệu quả, đề xuất một giải pháp mới cho việc mở rộng Ethereum. Trước đây, mọi người đều bận rộn thực hiện airdrop để thực hiện zkSync tương tác. Cốt lõi của nó là sử dụng ZK để đóng gói nhiều hoạt động thành một bằng chứng và hoàn thành hầu hết công việc tính toán ngoài chuỗi.

zkSNARKs - công nghệ được sử dụng rộng rãi nhất để chứng minh không có kiến thức

zk-SNARK, nghĩa là "Luận cứ kiến thức không tương tác ngắn gọn không có kiến thức", nghĩa là bằng chứng kiến thức không tương tác ngắn gọn không có kiến thức.

Các đặc điểm là ① chứng minh rằng một tuyên bố nhất định là đúng nhưng không tiết lộ bất kỳ thông tin nào khác; ② kích thước bằng chứng nhỏ và dễ xác minh; ③ không có tương tác.

Trên thực tế, hai loại ZKP chính: ZKP tương tác và ZKP không tương tác đều là các quá trình giữa người chứng minh và người xác minh, nhưng quá trình tương tác của bằng chứng là khác nhau.

Lấy giao thức Schnorr làm ví dụ, chế độ tương tác yêu cầu người xác minh tạo một số ngẫu nhiên, trong khi chế độ không tương tác không cần vai trò như vậy và người chứng minh có thể tạo bằng chứng để mọi người xác minh.

Nguyên tắc gần đúng của zkSNARK là:

zkSNARK dựa trên các bài toán NP và các bài toán NP không thể giải được trong thời gian đa thức, nhưng khi đưa ra một giải pháp, nó có thể được xác minh trong thời gian đa thức xem liệu nó có đúng hay không. zkSNARK dựa trên một vấn đề NP nhất định, vấn đề này khó giải quyết nhưng có thể được xác minh nhanh chóng. Thay đổi dạng của bài toán này và thực hiện phép biến đổi chương trình số học bậc hai QAP. Đồng thời, một giải pháp "QAP Witness" tương ứng với mã đầu vào sẽ được xây dựng và sau đó một hệ thống chứng minh không có kiến thức thực tế sẽ được xây dựng dựa trên giải pháp này .

"VC hạng nhất" tham gia phát triển**: hai công cụ SNARK cho tiền điện tử a16z**

Cuối cùng, chúng ta đến với chủ đề hôm nay, đó là hai công cụ SNARK được a16z crypto ra mắt vào ngày 10 tháng 8-**Lasso và Jolt. **

**SNARK (Bằng chứng kiến thức không tương tác ngắn gọn) dưới dạng giao thức mật mã: cho phép mọi người xác nhận với người xác minh không đáng tin cậy rằng họ biết một số thuộc tính nhất định được đáp ứng. **

Đặc biệt hiện nay ứng dụng được Layer2 tổng hợp và chứng minh cho Layer1 rằng Layer2 biết chữ ký số ủy quyền cho một loạt giao dịch. Bằng cách này, bản thân chữ ký không cần phải được lưu trữ và xác minh bởi Layer1, điều này có lợi cho việc mở rộng hơn.

Nền SNARK

Việc chạy tính toán trên blockchain rất tốn kém vì nhiều nút blockchain xác minh và ghi lại từng giao dịch. Để tránh chi phí giao dịch cao hơn, các nhà phát triển thường thực hiện tính toán tối thiểu trên chuỗi để kích hoạt ứng dụng của họ.

SNARK đóng vai trò trung tâm trong việc mở rộng quy mô chuỗi khối: cho phép các ứng dụng tạo ra các khoản thu tính toán đắt tiền ngoài chuỗi và chỉ chịu chi phí xác minh các khoản thu trên chuỗi.

Sự “ngắn gọn” ở đây có nghĩa là những khoản thu này rất ngắn. Việc xác minh có thể được thực hiện với ít công việc hơn nhiều so với việc tính toán lại từng giao dịch.

câu hỏi

Nhưng trên thực tế, SNARK cũng tốn kém về mặt tính toán và khó kiểm tra. Người xác thực buộc phải thực hiện công việc bổ sung có tính song song cao.

SNARK hiệu suất cao hơn có thể tăng tốc Lớp 2 và cũng cho phép các nhà xây dựng mở khóa các ứng dụng chưa được hình dung.

Vì vậy A16Z Crypto giới thiệu hai công nghệ mới:

①Lasso, một tham số tra cứu mới, có thể giảm đáng kể chi phí của bộ chuẩn;

②Jolt, sử dụng công nghệ Lasso, cung cấp một khuôn khổ mới để thiết kế SNARK cho zkVM và thiết kế giao diện người dùng tổng quát hơn.

**Hai công cụ này cùng nhau cải thiện hiệu suất, trải nghiệm của nhà phát triển và khả năng kiểm tra các thiết kế SNARK, đồng thời đẩy nhanh quá trình xây dựng sinh thái trong Web3. **

Việc triển khai Lasso ban đầu hiện tại đã được chứng minh là nhanh hơn 10 lần so với các tham số tra cứu trong chuỗi công cụ SNARK halo2 phổ biến. Theo A16Z Crypto, khi cơ sở mã Lasso được tối ưu hóa hoàn toàn, tốc độ sẽ tăng khoảng 40 lần và Jolt cũng sẽ bao gồm những cải tiến bổ sung trên Lasso.

đối số tra cứu

Đối số tra cứu là một công cụ quan trọng trong thiết kế SNARK, một giao thức cho phép người chứng minh không đáng tin cậy gửi mã hóa tới một vectơ lớn, sau đó chứng minh rằng mỗi mục nhập của vectơ được chứa trong một số bảng được xác định trước.

Các tham số tra cứu có thể giúp duy trì các mạch nhỏ bằng cách xử lý hiệu quả các hoạt động không được tính toán một cách tự nhiên bằng một số phép cộng và phép nhân.

Mặt khác, mạch thực sự là một mô hình tính toán cực kỳ hạn chế. Giao diện người dùng SNARK chỉ đơn giản là một trình biên dịch chuyển đổi chương trình máy tính thành một mạch mà giao diện người dùng SNARK có thể sử dụng được.

Phần phụ trợ SNARK cho phép người xác minh thực hiện cam kết mã hóa đối với giá trị của từng cổng trong mạch. Sau đó, người chứng minh chứng minh rằng giá trị được gửi tương ứng với việc thực hiện đúng quy trình kiểm tra của người xác minh.

Hiện tại, các nhà phát triển triển khai SNARK bằng cách viết chương trình bằng ngôn ngữ dành riêng cho miền đặc biệt (biên dịch chương trình thành các ràng buộc đa thức) hoặc bằng cách mã hóa trực tiếp các ràng buộc bằng tay.

Nhưng điều này tiêu tốn nhân lực, vật lực và thường có lỗ hổng bảo mật. Lasso và Jolt ở đây để giải quyết ba vấn đề sau: hiệu suất, trải nghiệm của nhà phát triển và khả năng kiểm tra.

**Lasso, là một phương pháp "tìm tham số" mới, có bộ chuẩn nhanh hơn. So với các phương pháp trước đó, phương pháp chứng minh hứa hẹn ít giá trị hơn và nhỏ hơn và có thể áp dụng cho các bảng khá lớn. Jolt (Just One Lookup Table) là một phương pháp mới dựa trên thiết kế zkVM (Zero Knowledge Virtual Machine) của Lasso. Là một giao diện người dùng mới, chức năng sử dụng các bảng tra cứu khổng lồ dựa trên Lasso có thể được hiện thực hóa.

Đó là điều cả hai có thể làm.

Tóm lại: Lasso giới thiệu một cách tiếp cận zkVM đơn giản hóa nhằm tránh các mạch được tối ưu hóa thủ công tẻ nhạt bằng cách thực hiện tra cứu trên các bảng có cấu trúc lớn với ít lãng phí hơn;

Máy ảo dựa trên Jolt rất đơn giản, nhanh chóng và dễ kiểm tra.

Và cho phép sử dụng chung SNARK với các ngôn ngữ lập trình phổ biến hiện có, không chỉ những ngôn ngữ được thiết kế cho nhiệm vụ.