Bằng chứng Không-Tri thức là gì

Bằng chứng hoặc giao thức không biết là một cách gián tiếp để một "phương ngôn" thuyết phục một "người xác minh" rằng tuyên bố về thông tin bí mật là chính xác mà không cần tiết lộ nó.

Có hai loại giao thức bằng chứng không có kiến thức - ZKP tương tác và ZKP không tương tác

Có ba điều kiện tiên quyết cần thiết cho việc chứng minh không có kiến thức - tính đầy đủ, tính hợp lệ và không có kiến thức.

ZKP có thể được sử dụng cùng với blockchain để đảm bảo an ninh trong các ứng dụng nhắn tin, báo cáo chi tiết và các giao dịch riêng tư.

Hàng nghìn người lướt web mỗi ngày, chấp nhận cookie và chia sẻ thông tin cá nhân của họ để tận dụng các dịch vụ và sản phẩm trực tuyến khác nhau. Thật không may, người dùng đang ngày càng phải tiếp xúc với các vi phạm dữ liệu và sử dụng trái phép thông tin của họ hàng năm. Ngoài ra, đôi khi họ buộc phải từ bỏ quyền riêng tư của mình để truy cập các dịch vụ mà các nền tảng như Google và Facebook cung cấp - chẳng hạn như đề xuất, tư vấn, hỗ trợ tùy chỉnh, v.v. Tuy nhiên, họ không thể truy cập nó khi họ sử dụng chế độ duyệt web riêng tư.

BBVA New Digital Businesses coi sự bất đối xứng của xã hội kỹ thuật số hiện tại liên quan đến quyền truy cập thông tin là mối quan tâm nghiêm trọng, vì quyền riêng tư và quyền sở hữu dữ liệu là "quyền cơ bản mà chúng tôi phải bảo vệ." Do đó, NDB (Doanh nghiệp kỹ thuật số mới) đã và đang nghiên cứu các cơ chế, công cụ và phương pháp khoa học mới hữu ích trong việc đảm bảo nền kinh tế dựa trên dữ liệu đồng thời bảo vệ quyền riêng tư ", De la Gandara , người đứng đầu dự án này giải thích.

Zero-Knowledge Proof (ZKP) nổi bật là một trong những công nghệ cho thấy tiềm năng to lớn nhất để đạt được sự cân bằng này, một bộ công cụ cho phép xác thực một phần thông tin mà không để lộ dữ liệu chứng minh nó. Công nghệ này có thể thực hiện được vì một câu lệnh tính toán có thể được xác minh về mặt toán học là chính xác mà không để lộ bất kỳ dữ liệu nào bởi "người kiểm tra" bằng cách sử dụng các thuật toán mật mã.

Một giao thức hoặc bằng chứng không có kiến thức là một cách gián tiếp để một "phương ngôn" thuyết phục một "người xác minh" rằng tuyên bố về thông tin bí mật là chính xác mà không cần tiết lộ nó. Tùy thuộc vào giao thức bằng chứng, nó có thể tương tác hoặc không.

ZKP với các thủ tục tương tác yêu cầu người đăng hoàn thành các nhiệm vụ hoặc hành động để thuyết phục người xác minh rằng họ có thông tin cần thiết. Trong các ZKP tương tác, toán học thường liên quan đến việc thực hiện các nhiệm vụ được yêu cầu.

Không cần sự tương tác giữa phương thức và người xác minh trong các ZKP không tương tác, hoặc việc xác minh có thể được thực hiện sau đó. Máy tính hoặc phần mềm là bắt buộc đối với các loại ZKP này.

Có ba điều kiện tiên quyết cần thiết cho việc chứng minh không có kiến thức:

Tính đầy đủ: Người xác minh có thể xác nhận rằng một câu tục ngữ có đầu vào thích hợp nếu câu nói đó là đúng.

2. Tính giá trị: Không có tuyên bố nào có thể bị làm sai lệch và người xác minh không thể tin rằng câu tục ngữ có đầu vào bắt buộc khi câu tục ngữ không có.

3.Zero-knowledge: người xác minh không thể biết bất cứ điều gì ngoài việc tuyên bố là đúng hay sai. Dữ liệu và thông tin về các bên khác vẫn được bảo mật.


Việc sử dụng các bằng chứng không có kiến thức trong chuỗi khối

---

ZKP cung cấp cho người dùng sự linh hoạt và lựa chọn nếu họ muốn kiểm soát và quản lý thông tin của mình. Nói cách khác, blockchain và zero-knowledge proofs có nhiều ứng dụng.

Giao dịch cá nhân (EY và Nightfall)
EY đã phát triển các giải pháp blockchain và ZKP để đáp ứng các mối quan tâm về quyền riêng tư và chủ quyền dữ liệu.

Một giao thức ZKP công khai, Nightfall, được EY phát hành vào năm 2019 cho phép các công ty thực hiện các giao dịch riêng tư, an toàn bằng cách sử dụng các blockchain công khai trong khi vẫn bảo mật.

Để đáp ứng nhu cầu của các thỏa thuận kinh doanh phức tạp, EY sẽ thiết kế một trình biên dịch mẫu, Starlight, sử dụng giao thức ZKP để cho phép hợp tác giữa các bên ở cấp độ mạng trong khi vẫn duy trì quyền riêng tư khỏi các đối thủ cạnh tranh.

Với Nightfall và Starlight, người dùng có thể truy cập các ứng dụng blockchain với tính bảo mật và quyền riêng tư cao hơn.

Ứng dụng dựa trên tin nhắn
Có thể gửi tin nhắn một cách riêng tư nhờ mã hóa end-to-end. Tuy nhiên, các ứng dụng nhắn tin truyền thống yêu cầu người dùng xác minh danh tính của họ với máy chủ. ZKP cho phép các cá nhân chứng minh danh tính của họ mà không cần tiết lộ thông tin cá nhân.

Tài liệu chi tiết
Sự kết hợp của ZKP và blockchain cung cấp cho người dùng sự bảo mật khi chia sẻ các tài liệu phức tạp. Ngoài việc mã hóa dữ liệu theo từng phần, ZKPs có thể kiểm soát khả năng hiển thị của các khối nhất định và thông tin mà chúng chứa, cho phép một số người dùng truy cập trong khi hạn chế những người khác.



Các dự án hàng đầu sử dụng Zero-Knowledge Proofs

---

NuCypher
NuCypher là một dự án ICO hoạt động dựa trên việc xây dựng một hệ thống để mã hóa lại mạng proxy. Nó dựa trên ý tưởng về quyền sở hữu, nơi bạn khóa (mã hóa) tài liệu bạn sở hữu bằng khóa riêng. Để chia sẻ tài liệu đó, bạn sẽ phải cung cấp khóa cá nhân cho người nhận. Điều này, tự nó, là điều không nên làm. Do đó, cần phải mã hóa lại proxy.

Bạn có thể mã hóa lại khóa đã mã hóa của mình thành khóa công khai của người khác bằng mã hóa lại proxy. Sau đó, bạn có thể chia sẻ tài liệu với khóa được mã hóa lại khi hoàn tất. Do đó, cho phép người nhận mở tài liệu bằng khóa công khai của họ.

NuCypher vận hành một tập hợp các nút được kết nối với nhau cho phép mã hóa lại các khóa. Mạng lưới các nút này lưu trữ các khóa thành từng phần trên tất cả các nút, do đó làm cho nó an toàn hơn. Tốc độ của hoạt động này phụ thuộc vào công nghệ ZKP phái sinh được gọi là NIKP (Không tương tác Zero-knowledge proof). Công nghệ này hoạt động giống như một chiếc đồng hồ trong việc đảm bảo mọi mã hóa lại đều chính xác và an toàn từ các nút KMS.

thợ mỏ
Chương trình này tập trung vào việc cho phép người dùng kiểm soát nhiều hơn việc bán hàng của họ khi mua hàng trực tuyến. Với dự án này, người dùng có thể phân bổ lượng dữ liệu cá nhân mà họ phát hành khi mua hàng qua các nhà cung cấp trực tuyến.
Chiến lược làm việc dựa trên thực tế là các cơ sở dữ liệu tập trung thuộc sở hữu của các nhà cung cấp trực tuyến này không an toàn. Do đó, chúng là mục tiêu dễ dàng cho việc hack và vi phạm dữ liệu. Dự án Nuggets sử dụng công nghệ ZKP để ẩn thông tin cá nhân của người dùng.

ZCash
ZCash (hoặc Zero Cash) triển khai các hoạt động của mình bằng cách sử dụng phần mềm và giao thức cơ bản của Bitcoin . Gần đây, họ đã thêm ZK-SNARK vào mạng lưới blockchain của mình để đảm bảo rằng tất cả các sổ cái của nó đều được mã hóa và không có chi tiêu kép. Giao thức blockchain này hoạt động bằng cách sử dụng giao thức ZKP.

Xác minh phiếu bầu
Đây là một ứng dụng phổ biến của ZKP trên thế giới hiện nay. ZKP được sử dụng cùng với blockchain để tạo ra một cách dân chủ để xác minh phiếu bầu trong các cuộc bầu cử. Nó cung cấp một hệ thống minh bạch, nơi toàn bộ quá trình bỏ phiếu có thể được kiểm tra và truy cập.
Do đó, không cần bên thứ ba xác minh kết quả bầu cử. ZKP cũng cung cấp một nền tảng để cử tri xác minh tính đủ điều kiện của họ. Điều này sẽ giúp các cử tri bảo vệ thông tin cá nhân của họ.

Hiệu lực giao dịch ING
Đây là một ứng dụng thực tế khác của ZKP cùng với blockchain trong việc giải quyết một vấn đề trong thế giới thực. ING gần đây đã thông báo rằng họ đã được thiết lập để bắt đầu sử dụng ZKP cùng với một nền tảng blockchain nổi tiếng có tên là Corda để xác thực các giao dịch trên nền tảng này.
Nền tảng Corda trước đây bị giới hạn trong việc sử dụng vì nó chỉ có thể được sử dụng để lựa chọn bảo mật và quyền riêng tư. Bây giờ, nó có thể làm được nhiều hơn thế.





Tác giả: Gate.io Người quan sát: M. Olatunji
Tuyên bố từ chối trách nhiệm:
* Bài viết này chỉ trình bày quan điểm của những người quan sát và không cấu thành bất kỳ đề xuất đầu tư nào.
* Gate.io bảo lưu mọi quyền đối với bài viết này. Việc đăng lại bài viết sẽ được cho phép với điều kiện tham khảo Gate.io. Trong tất cả các trường hợp khác, hành động pháp lý sẽ được thực hiện do vi phạm bản quyền.