Gần đây tôi đang nghiên cứu bằng chứng không có kiến thức, thường được gọi là zkp.
Trước đây tôi chỉ nghĩ rằng zk tốt hơn op, chẳng hạn như nhanh hơn, tiện lợi hơn, an toàn hơn, v.v. Những nhận xét chung chung này thực ra đã bỏ qua một điểm quan trọng, đó là tại sao nó tốt hơn op, và đó là gì? bản chất của zk?
Một trong những phương pháp chứng minh được zk sử dụng được gọi là snark. Phương pháp chứng minh này rất thú vị. Người chứng minh sẽ tạo ra một bằng chứng để chỉ ra rằng một phép tính nhất định đã được hoàn thành và người xác minh chỉ cần xác minh tính đúng đắn của bằng chứng để xác nhận. Điều này thực sự đã xảy ra.
Mô tả này có thể hơi trừu tượng, tôi dùng một ẩn dụ sống động hơn để mô tả vấn đề “chứng minh”.
Khi bạn có một mô hình AI lớn cần tính toán nhưng không có sẵn công cụ tính toán tương ứng, Xiao Ming bước ra và nói rằng anh ấy có một chiếc máy sẵn sàng giúp bạn tính toán, miễn là bạn trả phí cho anh ấy. Mười ngày sau, Hiểu Minh đưa cho bạn một kết quả AI "Ngày mai thị trường chứng khoán sẽ giảm." Lúc này, bạn đánh giá xem liệu Hiểu Minh có thực sự giúp bạn tính toán hay không? Hay tôi chỉ nên cho bạn biết một kết quả và để nó đi? Nói cách khác, "Tiểu Minh có đáng tin cậy không?" Cách tốt nhất để xác minh là tìm một người khác thực hiện lại phép tính và so sánh kết quả của hai người. Tuy nhiên, điều này sẽ dẫn đến chi phí gấp đôi. Bạn thậm chí có thể tự mình thực hiện phép tính. vậy hãy giới thiệu một người khác. Vấn đề là bạn thiếu công cụ để thực hiện phép tính AI phức tạp này.
Vậy làm thế nào để giải quyết vấn đề khủng hoảng niềm tin này?
Các nhà toán học thông minh đã phát minh ra một phương pháp chứng minh có tên là snark. Đặc điểm của phương pháp này là mỗi bước của quá trình tính toán đều được ghi lại và các kết quả trung gian này được hình thành thông qua một loạt các biến đổi đại số để tạo thành một chứng minh nhỏ, gọi là chứng minh. “Chứng minh”, đặc điểm của cách chứng minh này là nó liên quan chặt chẽ đến quá trình tính toán nếu quá trình tính toán không phù hợp với mong đợi thì chứng minh sẽ thay đổi.
Với tư cách là người xác minh, tức là bạn, bạn chỉ cần chứng minh bằng chứng này là đúng để đảm bảo rằng Hiểu Minh đã làm đúng những gì tôi nói và không tạo ra kết quả cho tôi.
Tôi phải nhắc bạn rằng quy trình tạo bằng chứng rất phức tạp, nhưng quy trình xác minh bằng chứng lại rất đơn giản, tức là với tư cách là người chấp nhận, tôi chỉ cần đảm bảo rằng bằng chứng là chính xác thì giao dịch mới hợp lý. , giúp tiết kiệm đáng kể thời gian xác minh. Trong trường hợp này, bạn không cần phải tìm người khác tự tính toán.
Vì vậy, về cơ bản, zkp giải quyết vấn đề tin cậy giữa mọi người. Làm thế nào hai người xa lạ có thể giao tiếp và giao dịch hiệu quả mà không có sự tham gia của bên thứ ba với tư cách là người giám sát? zkp có thể cung cấp một giải pháp tốt.
Tương tự, khi ánh xạ tới thế giới blockchain, tại sao layer2 lại sử dụng zkp? Bởi vì các phép tính phức tạp có thể được đưa ra ngoài chuỗi và quá trình tải lên chuỗi chỉ cần xác minh bằng chứng hoặc thậm chí chỉ cần lưu bằng chứng này. Đối với các khối mạng chính có giá đất cao, đây là một trong những giải pháp tốt nhất để mở rộng công suất.
Qua hiểu biết của mình về zkp, tôi nhận ra hai điều: thứ nhất, zkp không chỉ có thể giải quyết vấn đề tắc nghẽn của Ethereum mà còn cung cấp một phương pháp chứng minh bảo mật trong đời thực và đẩy nhanh sự hợp tác giữa mọi người, thứ hai, hầu hết những đổi mới của mọi người thực sự là những đổi mới; để sửa chữa những thói quen xấu của chính con người, nếu không thể sửa chữa, họ sẽ phục vụ cho họ. Ví dụ, con người sinh ra để lừa dối, vì vậy cần phải đưa ra công nghệ để tránh điều đó. hơn nữa Nếu bạn vui vẻ thì sẽ có cơ hội kinh doanh.
