Tìm hiểu chi tiết về các bằng chứng không có kiến thức (ZK)

Bằng chứng không có kiến thức (ZK-proofs) đã trở nên phổ biến trong thế giới tiền điện tử trong năm nay, nhưng những người không phải là nhà mật mã và lập trình viên có thể bị nhầm lẫn.

Chứng minh ZK rất phức tạp mặc dù bề ngoài của chúng. Chúng cho phép người chứng minh dễ dàng chứng minh kiến thức của mình với người xác minh mà không cần chia sẻ thông tin chi tiết. Điều này không yêu cầu người chứng minh phải thảo luận về thông tin.

Rất ít học giả hàn lâm vào giữa những năm 1980 đã đi tiên phong trong ý tưởng này. Kể từ đó, nó đã trở thành một cơ chế thực tế để tính toán có thể kiểm chứng và đặt nền tảng cho môi trường Web3, trong đó việc chứng minh ZK quan trọng hơn.

ZK trong Blockchain: Vai trò thay đổi của nó

Bằng chứng ZK đã tồn tại trong mật mã lý thuyết trước công nghệ blockchain, nhưng tính phi tập trung của blockchain đã khiến chúng trở nên rõ ràng và nổi bật hơn. Về cơ bản, blockchain là một sổ cái công khai. Bất kể giao dịch là gì, mọi chi tiết đều được ghi lại và công khai.

Công nghệ chuỗi khối mang lại sự minh bạch, nhưng quyền riêng tư của người dùng là mối quan tâm lớn.

Bằng chứng ZK giải quyết xung đột về tính mở và quyền riêng tư của blockchain. Họ cung cấp xác minh giao dịch mà không tiết lộ thông tin giao dịch, duy trì quyền riêng tư của người dùng và tính bất biến của blockchain.

Tính toán ngoài chuỗi có thể kiểm chứng, một tiến bộ quan trọng của blockchain, đã trở thành trường hợp sử dụng nổi bật cho các bằng chứng ZK trên Web3 trong thập kỷ trước.

Nỗ lực tìm giải pháp cho vấn đề về khả năng mở rộng

Tính toán ngoài chuỗi có thể xác minh được là quan trọng, nhưng trước tiên, chúng ta cần thảo luận về các giới hạn nghiêm trọng của hợp đồng thông minh. Vốn dĩ, hợp đồng thông minh có ba nhược điểm lớn:

• Một số loại thông tin mà hợp đồng thông minh có thể nhận được bị hạn chế. Ví dụ: họ không thể lấy thông tin về giá token hoặc bất kỳ thông tin nào khác không được lưu trên blockchain.

• Khả năng lưu trữ dữ liệu của blockchain: Blockchain không được tạo ra để chứa nhiều dữ liệu. Việc đưa nó vào hoạt động sẽ rất tốn kém và mất rất nhiều thời gian.

• Kiểu suy nghĩ họ có thể làm: Hợp đồng thông minh chỉ có thể sử dụng các dạng logic điều kiện cơ bản nhất nếu nó không phải trả chi phí gas cao ngất ngưởng.

  
  

Những vấn đề này phải được khắc phục để blockchain có thể mở rộng quy mô nhằm đáp ứng nhu cầu của hệ sinh thái Web3. Rất may, ZK đã phát triển cùng với Web3.

Chúng ta có thể giải quyết một cách dễ dàng vấn đề lưu trữ và tính toán hạn chế của mạng bằng cách giảm tải một số dữ liệu và lao động tính toán khỏi chuỗi khối.

Với sự tiết lộ rằng các hoạt động ngoài chuỗi có thể được thực hiện và bằng chứng ZK có thể được sử dụng để cung cấp bản tóm tắt ngắn gọn và đáng tin cậy về các hoạt động ngoài chuỗi cho chuỗi chính mà không cần chia sẻ tất cả dữ liệu cơ bản, công nghệ chuỗi khối đã thay đổi. Hãy xem xét các giao thức đang phát triển của lĩnh vực này.

Toàn bộ thế hệ sắp tới của ZK

Mặc dù các bằng chứng ZK về lưu trữ phi tập trung và cuộn ZK đã mở rộng khả năng của blockchain, nhưng vẫn còn thiếu một điều quan trọng. Khả năng lưu trữ phi tập trung nhiều hơn những gì chúng xuất hiện.

Lưu trữ dữ liệu là rất quan trọng, nhưng việc các nền tảng này không thể làm được nhiều việc hơn là truy xuất dữ liệu (không phải "tính toán") đã hạn chế khả năng ứng dụng của chúng. ZK-rollups, có thể thực hiện một số công việc tính toán, cũng không thu hẹp được khoảng cách.