Zero-Knowledge Proofs: Giao điểm giữa xác minh dữ liệu và quyền riêng tư

Trong phần trình bày bên dưới, Laurence Kirk, Giám đốc điều hành của Extropy.io, đã trình bày về Zero-Knowledge Proof và cách nó có thể được áp dụng cho Oracles, tập trung vào những thách thức trong xác minh dữ liệu và tiêu chuẩn quyền riêng tư.

Dưới đây là những điểm nổi bật chính từ bài thuyết trình của anh ấy.

Ngoại cảm là gì?

Extropy là một công ty tư vấn cung cấp dịch vụ kiểm toán và phát triển phần mềm cho Công nghệ sổ cái phân tán và Mật mã. Công ty được thành lập vào năm 2015 bởi Laurence Kirk để cung cấp kiến thức blockchain dễ dàng hơn cho mọi người. Để phù hợp với mục tiêu này, họ cung cấp nhiều hướng dẫn kỹ thuật miễn phí về các chủ đề như phát triển hợp đồng thông minh, Bằng chứng không kiến thức, EVM nâng cao và các khía cạnh kinh doanh của chuỗi khối.

Bằng chứng không kiến thức

Bằng chứng không kiến thức (ZKP) lần đầu tiên xuất hiện trong một bài báo của MIT được xuất bản vào năm 1985. Nó được định nghĩa là một phương pháp mà một bên (người chứng minh) có thể chứng minh cho một bên khác (người xác minh) rằng điều gì đó là đúng mà không tiết lộ bất kỳ thông tin cá nhân nào ( nhân chứng). Khái niệm này có lợi cho các tình huống trong đó quyền riêng tư và bảo mật là điều cần thiết, khiến nó trở nên hoàn hảo cho các ứng dụng chuỗi khối bảo vệ quyền riêng tư, tạo mã định danh phi tập trung (DID) và các giải pháp mở rộng quy mô .

Các phiên bản đầu tiên của ZKP liên quan đến sự tương tác lặp đi lặp lại giữa người chứng minh và người xác minh, nhưng vào năm 1988, ZKP không tương tác đã được giới thiệu. Chính từ bước đột phá này mà Đối số tri thức ngắn gọn không tương tác không kiến thức (zk-SNARK) và Đối số tri thức minh bạch có thể mở rộng không kiến thức (zk-STARK) đã được thiết kế. Cả hai phương pháp đều khá giống nhau, nhưng SNARKS ngắn gọn, nghĩa là bằng chứng không có kiến thức nhỏ hơn bằng chứng và có thể được xác minh trong vòng vài mili giây. Zcash là ứng dụng rộng rãi đầu tiên của zk-SNARK. Mặt khác, STARKS yêu cầu thiết lập ít phức tạp hơn. Chúng cũng có khả năng mở rộng và chống lại các cuộc tấn công lượng tử.

ID phi tập trung, thông tin xác thực có thể kiểm chứng và ZKP

Trong một cuộc khảo sát được tiến hành về thu thập dữ liệu và quyền riêng tư, 93% người Mỹ cho rằng việc có thể kiểm soát quyền truy cập vào dữ liệu cá nhân của họ là rất quan trọng. Với số liệu thống kê như thế này, không có gì ngạc nhiên khi việc áp dụng các hệ thống nhận dạng phi tập trung (DID) đã tăng lên.

Hệ thống nhận dạng phi tập trung bao gồm bốn trụ cột chính: Chuỗi khối, Ví nhận dạng phi tập trung, Số nhận dạng và Thông tin xác thực có thể xác minh (VC). Ví Nhận dạng phi tập trung là các ứng dụng như Civic Pass cho phép người dùng tạo số nhận dạng phi tập trung và quản lý Thông tin xác thực có thể xác minh của họ. DID là số nhận dạng chữ và số duy nhất chứa các chi tiết như khóa chung và thông tin xác minh. Cuối cùng, Thông tin xác thực có thể xác minh là thông tin xác thực kỹ thuật số an toàn được sử dụng để chứng minh thông tin người dùng nhất định. VC đầu tiên phải được phát hành bởi các cơ quan tập trung trong thế giới thực, nhưng sau đó, người dùng có thể sử dụng các yêu cầu có trong thông tin xác thực đó để nhận thêm các VC, vốn sẽ được kết nối với DID lõi của họ và được lưu trữ trong ví của họ. Tính năng quan trọng nhất của hệ thống DID là người dùng, chứ không phải nhà cung cấp ví, có toàn quyền kiểm soát dữ liệu của họ và quyết định cách chia sẻ dữ liệu và chia sẻ cho ai.

Vào năm 2018, một bộ luật về quyền riêng tư dữ liệu, GDPR , đã được xây dựng để cung cấp cho người tiêu dùng châu Âu nhiều quyền kiểm soát hơn đối với cách các công ty xử lý và phổ biến dữ liệu cá nhân của họ. Một trong những quy định là các chuỗi khối phải được “bảo vệ quyền riêng tư theo thiết kế”. Tính bất biến và tính sẵn có rộng rãi của dữ liệu trên các chuỗi khối công khai là một thách thức rõ ràng đối với các nhà phát triển đang cố gắng cung cấp dữ liệu an toàn mà không vi phạm quyền riêng tư của người dùng.

Đây là lúc Bằng chứng Zero-Knowledge xuất hiện. Các hệ thống ZK cung cấp phương tiện xác minh các khiếu nại liên quan đến việc sở hữu dữ liệu mà không để lộ dữ liệu và điều này, đến lượt nó, nâng cao quyền riêng tư và bảo mật của hệ thống. Mặc dù DID chưa hoàn hảo nhưng chúng cung cấp quyền tự chủ và bảo mật theo cách mà ID tập trung không làm được.

Những thách thức gặp phải khi sử dụng Bằng chứng không kiến thức với Oracles

Đầu tiên, một số cách tiếp cận với oracle yêu cầu phần cứng cụ thể, chẳng hạn như các vùng bảo mật, để cung cấp một môi trường thực thi đáng tin cậy (TEE ). TEE có tính năng mã hóa tích hợp giúp xác minh tính chính xác của các tính toán nhất định. Hơn nữa, tính ẩn danh và thiếu đặt cược có thể là một bất lợi khi cung cấp dữ liệu. Cần phải kiểm tra để ngăn chặn việc lạm dụng quyền lực và trừng phạt những kẻ xấu trên mạng. Một thứ khác cần được cải thiện là khả năng chống lại các cuộc tấn công của Sybil . Mục tiêu của một cuộc tấn công Sybil là giành quyền kiểm soát mạng bằng cách tạo ra nhiều danh tính giả và sử dụng chúng để giành phần lớn ảnh hưởng. Điều này cho phép kẻ tấn công thao túng mạng và làm suy yếu tính toàn vẹn hoặc danh tiếng của nó.

Giải quyết những thách thức này

Trong phần trình bày của mình, Laurence nhấn mạnh công việc đang được thực hiện để giải quyết một số thách thức nêu trên, cũng như đẩy nhanh hơn nữa các ứng dụng của ZKP. Đầu tiên, anh ấy mô tả một thí nghiệm do nhóm Extropy thực hiện bằng cách sử dụng ZK-STARKS để kiểm tra và chứng minh tính đúng đắn của các tính toán tiên tri. Hệ sinh thái Solana cũng đã phát triển bằng chứng lịch sử (PoH) , tập trung vào thứ tự các giao dịch trong chuỗi khối. Solana's PoH là một đồng hồ mật mã đảm bảo thời điểm giao dịch xảy ra bằng dữ liệu đánh dấu thời gian. Hàm ngẫu nhiên có thể xác minh ( VRF ) là một khía cạnh quan trọng khác của mật mã sử dụng ZKP để tạo tính ngẫu nhiên có thể xác minh và chống giả mạo trong chuỗi khối. Một số trường hợp sử dụng có thể được hỗ trợ bằng cách kết hợp VRF với các nhà tiên tri bao gồm xổ số chuỗi khối, phân phối NFT công bằng và các tính năng mới trong trò chơi như hộp chiến lợi phẩm và chương trình phần thưởng cho trò chơi trực tuyến.

Bên cạnh những tiến bộ công nghệ này, Laurence cũng đề cập đến một số giao thức đang hoạt động trên một số khía cạnh bảo vệ quyền riêng tư để bảo vệ hoặc xác thực dữ liệu của họ, bao gồm:

• DECO : Một giao thức tiên tri bảo vệ quyền riêng tư cho phép dữ liệu riêng tư từ các máy chủ web chưa sửa đổi được chuyển tiếp một cách an toàn.
• Interep : Lớp nhận dạng chống Sybil để kết nối người dùng web2 với Web3.
• Town Crier : Một nhà tiên tri cung cấp các nguồn dữ liệu bí mật và đáng tin cậy.
• Tellor : Một giao thức tiên tri minh bạch và không cần cấp phép để nhanh chóng lấy bất kỳ dữ liệu nào trên chuỗi. Tìm hiểu thêm về Tellor từ cuộc nói chuyện của họ tại BOS22.
• Semaphore : Một giao thức cho phép người dùng Ethereum chứng minh tư cách thành viên của họ mà không tiết lộ danh tính ban đầu của họ.
• Chainlink 2.0 : Một mạng tiên tri tập trung đặc biệt vào các hợp đồng thông minh lai sử dụng dữ liệu trong thế giới thực. Tìm hiểu thêm về Chainlink từ cuộc nói chuyện của họ tại BOS22

Kết thúc…

Laurence kết thúc buổi nói chuyện bằng cách lưu ý rằng mặc dù việc tích hợp ZKP và Oracles sẽ là một thách thức vô cùng lớn, nhưng nó cũng có khả năng kích hoạt nhiều trường hợp sử dụng mới thú vị. Và anh ấy bày tỏ sự lạc quan về các giao thức hoạt động hướng tới mục tiêu đó. Laurence chỉ ra rằng các giải pháp hiện tại tập trung vào DeFi và tài chính. Thử nghiệm cuối cùng của ZKP và Oracles sẽ là khi chúng được tích hợp vào lĩnh vực Chăm sóc sức khỏe.

Hội nghị thượng đỉnh Blockchain Oracle là hội nghị đầu tiên trên thế giới chỉ tập trung vào vai trò quan trọng của các nhà tiên tri trong hệ sinh thái chuỗi khối lớn hơn và những hạn chế của chúng. Các diễn giả hàng đầu từ khắp nơi trên thế giới đã tập trung tại Berlin để chia sẻ công việc cũng như kinh nghiệm xây dựng và sử dụng các giải pháp tiên tri của họ.

Tìm hiểu thêm về Exttropy:

trang web extropy
Ngoại lệ Github
Youtube hướng ngoại
ngoại lệ Twitter
Laurence KirkTwitter