Bằng chứng Không tri thức cho Siêu dữ liệu P2P trong dVPN

Bài toán siêu dữ liệu trong các mạng lưới phi tập trung

Có bao giờ bạn thắc mắc tại sao dịch vụ VPN "không lưu nhật ký" (no-logs) của mình vẫn biết chính xác thời điểm bạn thức đêm "cày" phim không? Đó là vì ngay cả khi họ không trực tiếp xem lưu lượng truy cập, thì các siêu dữ liệu (metadata) — những "dấu vết kỹ thuật số" về thời điểm và địa điểm bạn kết nối — vẫn đang âm thầm tiết lộ danh tính của bạn cho bất kỳ ai đang theo dõi.

Trong mô hình truyền thống, bạn đang đặt niềm tin vào một công ty duy nhất. Nhưng với mạng VPN phi tập trung (dVPN), về cơ bản bạn đang định tuyến các gói tin của mình thông qua đường truyền internet tại nhà của một người lạ. Mặc dù điều này loại bỏ được vấn đề "điểm yếu tập trung" (central point of failure), nhưng nó lại tạo ra một rắc rối mới: mọi nút (node) trong mạng lưới ngang hàng (P2P) đó đều có khả năng trở thành một kẻ rình mò.

Nếu tôi vận hành một nút, tôi có thể thấy địa chỉ IP của bạn và chính xác lượng dữ liệu bạn đang truyền tải. Tệ hơn nữa, tôi thấy cả dấu mốc thời gian. Nếu bạn là một người tố giác ở một khu vực có rủi ro cao, chỉ riêng việc bạn kết nối vào một nút cụ thể lúc 2 giờ sáng cũng đủ để bạn bị hệ thống giám sát của nhà cung cấp dịch vụ internet (ISP) đưa vào tầm ngắm.

Bài toán siêu dữ liệu về cơ bản là một bản đồ phác họa cuộc sống số của bạn. Như khái niệm Bằng chứng không tri thức đã giải thích, mục tiêu của một ZKP là chứng minh một tuyên bố là đúng mà không làm lộ ra chính bí mật đó — đây chính xác là mảnh ghép còn thiếu trong các mạng lưới P2P hiện nay.

Mọi thứ trở nên thực sự phức tạp khi chúng ta đề cập đến khái niệm "khai thác băng thông" (bandwidth mining). Trong một mạng lưới hạ tầng vật lý phi tập trung (DePIN), mọi người được trả thưởng bằng token để chia sẻ internet của họ. Để nhận được tiền, nút đó phải chứng minh rằng họ thực sự đã thực hiện công việc đó.

Thông thường, việc chứng minh dịch vụ đồng nghĩa với việc đưa ra một "hóa đơn" của phiên làm việc. Kiểu như: "Này, người dùng X đã sử dụng 5GB băng thông của tôi từ 4 giờ đến 5 giờ." Thế là xong — quyền riêng tư tan biến. Mạng lưới cần dữ liệu đó để ngăn chặn gian lận, nhưng người dùng lại cần dữ liệu đó được ẩn đi để duy trì tính ẩn danh.

• Y tế: Vấn đề chính ở đây là việc rò rỉ thời lượng phiên kết nối. Nếu một nút thấy một bệnh nhân kết nối với cổng thông tin y tế trong ba giờ đồng hồ, điều đó ám chỉ một cuộc tư vấn nghiêm trọng ngay cả khi dữ liệu đã được mã hóa.
• Tài chính: Vấn đề nằm ở mối liên kết giữa địa chỉ IP và ví điện tử. Nếu một nút thấy một IP cụ thể đang truyền dữ liệu trong một giao dịch giá trị cao, người dùng đó sẽ trở thành mục tiêu cho các cuộc tấn công "bụi" (dusting attacks).

Ngành công nghiệp này đang rơi vào bế tắc. Chúng ta muốn một mạng internet phi tập trung, nhưng lại đang xây dựng nó trên một nền tảng siêu dữ liệu hiển thị công khai. Theo tài liệu về Bằng chứng không tri thức, các nhà nghiên cứu như Goldwasser và Micali đã chỉ ra từ năm 1985 rằng chúng ta có thể chứng minh "độ phức tạp của tri thức" bằng không. Chỉ là chúng ta chưa áp dụng nó đủ tốt vào việc định tuyến P2P mà thôi.

Và thành thật mà nói, cho đến khi chúng ta giải quyết được cách trả tiền cho một nút mà nút đó không biết mình đang phục vụ ai, thì chúng ta cũng chỉ đang đánh đổi một "ông chủ" lớn để lấy hàng ngàn "ông chủ" nhỏ hơn mà thôi.

Tiếp theo, chúng ta sẽ đi sâu vào cách zk-SNARKs thực sự khắc phục điều này bằng cách cho phép xác minh các phiên kết nối mà không cần biết "ai" và "khi nào".

Bằng chứng không kiến thức: "Cứu cánh" cho quyền riêng tư mạng

Bạn đã bao giờ cảm thấy như mình đang bị theo dõi khi chỉ đang cố gắng lướt web? Ngay cả khi sử dụng mạng riêng ảo, nhà cung cấp dịch vụ internet hoặc những chủ sở hữu nút mạng tò mò vẫn có thể nhìn thấu "hình thái" dữ liệu của bạn. Đây chính là một lỗ hổng khổng lồ trên con tàu bảo mật mà chúng ta đang chèo lái.

Hãy tưởng tượng bằng chứng không kiến thức (zero-knowledge proof - zkp) giống như một cách để chứng minh bạn đang giữ chìa khóa của một cánh cửa mà không cần phải thực sự đưa chìa khóa ra hay mở toang cửa cho mọi người cùng thấy. Một ví dụ kinh điển để hình dung điều này là ẩn dụ về trò chơi "Tìm Wally" (Waldo). Hãy tưởng tượng một tấm bảng khổng lồ có hình Wally trên đó. Để chứng minh bạn đã tìm thấy anh ta mà không làm lộ tọa độ chính xác, bạn đặt một tấm bìa các-tông khổng lồ đè lên bản đồ, trên đó chỉ đục một lỗ nhỏ duy nhất. Bạn di chuyển bản đồ cho đến khi Wally xuất hiện trong lỗ đó. Người quan sát thấy Wally, vì vậy họ biết bạn đã tìm thấy anh ta, nhưng họ hoàn toàn không biết anh ta nằm ở vị trí nào trên bản đồ thực tế.

Trong thế giới của mạng ngang hàng (p2p), đây thực sự là một giải pháp cứu mạng. Thông thường, để được thanh toán cho việc "khai thác băng thông", một nút mạng phải đưa ra biên lai xác nhận công việc đã thực hiện. Nhưng biên lai đó thường chứa địa chỉ ip của bạn, thời gian bạn kết nối và dung lượng bạn đã tải xuống. Đó là một cơn ác mộng về quyền riêng tư.

Với zkp, chúng ta sử dụng hai khái niệm gọi là tính đầy đủ (completeness) và tính đúng đắn (soundness). Tính đầy đủ có nghĩa là nếu phiên làm việc thực sự diễn ra, nút mạng trung thực có thể chứng minh được điều đó. Tính đúng đắn đảm bảo rằng một nút mạng gian lận không thể làm giả phiên làm việc để đánh cắp mã thông báo. Theo nguyên lý của bằng chứng không kiến thức, điều này cho phép chúng ta chứng minh một tuyên bố là đúng mà không cần truyền đạt bất kỳ thông tin nào ngoài sự thật đó.

Một nghiên cứu hệ thống hóa các cuộc tấn công vào năm 2024 bởi các chuyên gia tại Trail of Bits đã chỉ ra rằng 96% lỗi trong các hệ thống dựa trên snark bắt nguồn từ các mạch "thiếu ràng buộc", nghĩa là các phép toán chưa đủ chặt chẽ để ngăn chặn hành vi gian lận.

Vì vậy, chúng ta không chỉ thực hiện các phép toán cho có. Chúng ta đang xây dựng một bức tường mà mỗi viên gạch là một logic chặt chẽ. Nếu logic vững chắc, nút mạng sẽ nhận được phần thưởng tiền mã hóa, còn bạn thì giữ kín được thói quen duyệt web của mình.

Khi áp dụng điều này vào một đường truyền ngang hàng, về cơ bản chúng ta đang "làm mù" các siêu dữ liệu (metadata). Thay vì nút mạng báo cáo rằng "Người dùng A đã sử dụng 500MB vào lúc 10 giờ tối", nó sẽ tạo ra một zk-SNARK (Đối số tri thức không tương tác ngắn gọn). Đây là một mẩu dữ liệu nhỏ xác nhận rằng: "Tôi đã hỗ trợ một phiên làm việc hợp lệ đúng 500MB", và mạng lưới có thể xác minh điều đó mà không cần biết danh tính của bạn.

• Bán lẻ: Giải pháp lý thuyết là chứng minh một cập nhật lô hàng đã được nhận mà không làm rò rỉ mốc thời gian chính xác. Điều này ngăn đối thủ cạnh tranh theo dõi tốc độ chuỗi cung ứng của một cửa hàng.
• Y tế: Một phòng khám có thể chứng minh dữ liệu đã được chuyển đi cho mục đích lập hóa đơn thông qua zkp. Nút mạng không bao giờ thấy được kích thước tệp, giúp ngăn chặn việc suy đoán loại chuyên gia nào đang được tham vấn dựa trên lưu lượng dữ liệu.
• Tài chính: Các nhà giao dịch có thể sử dụng mạng lưới mã hóa, nơi bằng chứng xác thực lượng băng thông đã sử dụng mà không liên kết địa chỉ ví cụ thể với địa chỉ ip tại nhà.

Việc sử dụng các bằng chứng này trên các nút mạng di động — như điện thoại của bạn chia sẻ một chút dữ liệu 5G — là một thách thức vì các phép toán rất nặng. Tuy nhiên, các giao thức mới hơn như Halo hoặc Virgo đang giúp quá trình này trở nên đủ nhẹ để vận hành mà không làm cạn kiệt pin của bạn.

Thành thật mà nói, đây là cách duy nhất để một mạng lưới ngang hàng có thể tồn tại lâu dài. Nếu chúng ta không che giấu siêu dữ liệu, chúng ta chỉ đang xây dựng một cỗ máy giám sát lớn hơn và có tính phân tán hơn mà thôi. Chúng ta cần hệ thống phải có đặc tính "không kiến thức" ngay từ đầu, chứ không phải như một tính năng bổ sung sau này.

Tiếp theo, chúng ta sẽ tìm hiểu cách các zk-snark này thực sự được triển khai trong mã nguồn và quy trình sẽ ra sao khi một nút mạng cố gắng xác minh bằng chứng trong thời gian thực.

Triển khai Bằng chứng Không tiết lộ Tri thức (ZKP) trong hệ sinh thái dVPN

Bạn đã bao giờ tự hỏi việc chúng ta đang cố gắng xây dựng một mạng internet "riêng tư" nhưng vẫn để lại dấu vết cho mọi nhà cung cấp dịch vụ internet (ISP) và chủ sở hữu nút (node) theo dõi là điều vô lý đến mức nào chưa? Nó giống như việc bạn đeo mặt nạ nhưng lại để lại danh thiếp ở mỗi cánh cửa mình đi qua vậy.

Nếu bạn là người đi sâu vào chi tiết kỹ thuật của bảo mật mạng, việc theo dõi cách các giao thức này thực sự chuyển dịch là một công việc toàn thời gian. Tôi thường nghiên cứu các báo cáo kỹ thuật về những lỗ hổng đường truyền (tunneling) mới nổi, bởi vì việc thảo luận về một tiêu đề gói tin (packet header) là một chuyện; nhưng giải thích tại sao tiêu đề đó về cơ bản là một "thiết bị định vị" cho sự giám sát của chính phủ lại là một chuyện hoàn toàn khác.

Mô hình "Airbnb cho băng thông" nghe có vẻ thú vị về mặt lý thuyết, nhưng lại là một mớ hỗn độn về quyền riêng tư. Để được thanh toán, một nút mạng phải chứng minh rằng họ đã chuyển dữ liệu của bạn. Trong một thiết lập tiêu chuẩn, điều đó có nghĩa là một nút chuyển tiếp (relay node) sẽ đưa ra một biên lai: "Tôi đã xử lý 2GB cho địa chỉ ví cụ thể này." Ngay lập tức, mối liên kết giữa danh tính tiền mã hóa và lưu lượng truy cập của bạn đã bị "đóng đinh" trên hệ thống.

Chúng ta sử dụng hợp đồng thông minh (smart contracts) để thu hẹp khoảng cách này, nhưng chúng cần một cách để xác minh công việc mà không cần biết "ai" là người thực hiện. Đây là lúc ZKP phát huy tác dụng để xử lý cái mà chúng ta gọi là Bằng chứng Chuyển tiếp (Proof of Relay). Hợp đồng thông minh đóng vai trò như một thẩm phán—nó kiểm tra một bằng chứng toán học thay vì một tệp nhật ký (log file) thô.

• Ngăn chặn chi tiêu kép (Double Spending): Trong một mạng lưới được mã hóa bằng token (tokenized network), ZKP đảm bảo rằng mỗi ID phiên (session ID) là duy nhất và chỉ được "chi tiêu" một lần trên blockchain, mà sổ cái không bao giờ biết người dùng nào thực sự đã gửi dữ liệu.
• Thưởng cho các nút trung thực: Vì Bằng chứng Không tiết lộ Tri thức dựa trên tính vững chắc (soundness), một nút không thể tạo ra bằng chứng hợp lệ cho một phiên làm việc không hề tồn tại. Nếu phép toán không khớp, hợp đồng thông minh sẽ không giải ngân tiền thưởng.
• Ẩn danh hóa siêu dữ liệu (Metadata): Bằng cách sử dụng bằng chứng không tương tác, nút mạng sẽ gửi một "khối" (blob) dữ liệu duy nhất lên chuỗi. Như đã đề cập trước đó trong bài viết, điều này có nghĩa là bên xác minh (blockchain) không học được gì ngoại trừ việc công việc đã được hoàn thành.

Đây không chỉ là câu chuyện che giấu thói quen xem Netflix của bạn; đây là vấn đề về cơ sở hạ tầng. Hãy lấy ngành bán lẻ làm ví dụ. Về mặt triển khai, cổng kết nối cục bộ của một cửa hàng sẽ tạo ra một ZKP cho mỗi lần đồng bộ hóa kho hàng. Nút P2P di chuyển dữ liệu và được hợp đồng thông minh thanh toán, nhưng nút đó không bao giờ thấy được các quy luật về thời gian vốn có thể tiết lộ các bí mật về chuỗi cung ứng.

Trong lĩnh vực tài chính, các nhà giao dịch tần suất cao sử dụng ZKP để ẩn vị trí vật lý của họ. Hợp đồng thông minh xác minh rằng việc chuyển tiếp băng thông đã thành công, nhưng vì bằng chứng đã được "làm mù" (blinded), nút mạng không thể liên kết lưu lượng truy cập với một ví cụ thể để thực hiện hành vi chạy trước (front-run) một giao dịch.

Ngay cả trong y tế, nơi các phòng khám chia sẻ hồ sơ, hợp đồng thông minh sẽ xử lý bằng chứng thanh toán. Việc triển khai đảm bảo rằng "bằng chứng" không tiết lộ tệp đó là 10kb hay 10gb, giúp giữ kín tình trạng bệnh lý tiềm ẩn của bệnh nhân khỏi sự tò mò của người vận hành nút.

Vấn đề thực sự mà tôi nhận thấy là "thuế tính toán". Việc tạo ra một zk-SNARK không hề miễn phí—nó tiêu tốn các chu kỳ xử lý của CPU. Nếu bạn đang chạy một nút trên Raspberry Pi hoặc điện thoại, bạn chắc chắn không muốn 50% năng lượng của mình chỉ dành cho việc chứng minh rằng bạn đã làm việc.

Một nghiên cứu năm 2024 của các nhà nghiên cứu tại Trail of Bits (như đã đề cập trước đó) đã chỉ ra rằng hầu hết các lỗi trong những hệ thống này đều bắt nguồn từ các mạch điện (circuits) "thiếu ràng buộc" (under-constrained). Nếu toán học không chặt chẽ, một nút có thể "gian lận" hệ thống bằng cách tạo ra bằng chứng cho công việc mà họ chưa thực sự thực hiện.

Chúng ta đang thấy một sự chuyển dịch sang các giao thức như Halo hoặc Virgo để tăng tốc độ xử lý. Các giao thức này không yêu cầu "thiết lập tin cậy" (trusted setup)—một cách nói hoa mỹ để khẳng định rằng chúng ta không cần phải tin tưởng vào việc các nhà phát triển không để lại "cửa sau" (backdoor) trong các hằng số toán học ban đầu. Điều này giúp toàn bộ hệ sinh thái P2P trở nên minh bạch và bảo mật hơn nhiều.

Dù sao đi nữa, việc triển khai điều này trong một dVPN không chỉ là một tính năng "nên có". Nếu chúng ta không kiểm soát được siêu dữ liệu, chúng ta chỉ đang xây dựng một cỗ máy giám sát lớn hơn, hiệu quả hơn và gắn cho nó cái mác "Web3".

Tiếp theo, chúng ta sẽ xem xét các cấu trúc mã thực tế—cụ thể là cách các mạch điện này được xây dựng và tại sao các nhà phát triển lại dễ dàng vô tình để lại những lỗ hổng "thiếu ràng buộc" trong logic đến vậy.

Rào cản kỹ thuật và tương lai của DePIN

Chúng ta đã thảo luận về việc các bằng chứng này giống như "phép màu" đối với quyền riêng tư, nhưng hãy nhìn thẳng vào thực tế: trong lĩnh vực mạng lưới, không có gì là miễn phí. Nếu bạn đang cố gắng vận hành một mạng lưới hạ tầng vật lý phi tập trung (DePIN), nơi mỗi nút (node) đóng vai trò như một nhà cung cấp dịch vụ internet (ISP) thu nhỏ, bạn sẽ vấp phải một bức tường lớn: khối lượng tính toán cực kỳ nặng nề.

Rào cản lớn nhất đối với tương lai của DePIN chính là "thuế tính toán". Việc tạo ra một bằng chứng zk-SNARK không đơn giản như việc băm (hash) một mật khẩu; nó giống như việc giải một bài toán đố phức tạp trong khi có ai đó đang theo dõi sát sao từng cử động của bạn. Trước đây, tốc độ tạo các bằng chứng này chậm đến mức việc áp dụng chúng cho một phiên VPN thời gian thực gần như là điều không tưởng. Bạn sẽ phải đợi hàng giây chỉ để xác thực một gói tin duy nhất – khi đó độ trễ (latency) của bạn sẽ chẳng khác gì kết nối quay số (dial-up) từ năm 1995.

Tuy nhiên, cục diện đang thay đổi. Các giao thức mới cuối cùng cũng đưa công nghệ này vào thực tiễn cho hoạt động khai thác băng thông (bandwidth mining). Như đã đề cập, các hệ thống như Bulletproofs và STARKs đang thay đổi cuộc chơi vì chúng không yêu cầu quy trình "thiết lập tin cậy" (trusted setup) vốn khiến nhiều người lo ngại. Quan trọng hơn, tốc độ của chúng đang ngày càng nhanh hơn.

• Độ trễ vs. Quyền riêng tư: Đây là sự đánh đổi kinh điển. Nếu nút của bạn dành quá nhiều thời gian để xử lý các con số nhằm chứng minh nó đã truyền tải 10MB dữ liệu, trải nghiệm người dùng sẽ bị hủy hoại. Chúng ta đang thấy xu hướng chuyển dịch sang cơ chế "xử lý theo lô" (batching), nơi một nút sẽ chứng minh 1.000 phiên cùng lúc để tiết kiệm chu kỳ xử lý của CPU.
• Hạn chế về phần cứng: Hầu hết các nút DePIN không phải là những máy chủ cấu hình khủng; chúng thường là Raspberry Pi hoặc laptop cũ. Nếu giao thức bằng chứng không tri thức (ZKP) quá ngốn tài nguyên, nó sẽ làm hỏng phần cứng hoặc đơn giản là không thể vận hành.
• Nút di động: Chia sẻ mạng 5G từ điện thoại qua mạng lưới ngang hàng (P2P) là một kịch bản lý tưởng, nhưng bằng chứng ZK có thể là "kẻ sát thủ" ngốn pin. Các giao thức như Virgo (đã nhắc ở trên) được thiết kế chuyên biệt để giảm tải cho bộ vi xử lý.

Để hiểu tại sao điều này lại khó khăn, bạn cần nhìn vào bản chất của mã nguồn. Chúng ta không chỉ viết một đoạn mã kịch bản (script) thông thường; chúng ta đang xây dựng một mạch số học (arithmetic circuit). Trên thực tế, mã cấp cao như ví dụ Python dưới đây sẽ được biên dịch thành R1CS (Hệ thống ràng buộc bậc 1) hoặc các mạch số học. Các mạch này được cấu thành từ các "cổng" (gates) để thực thi logic. Nếu bạn để một cổng ở trạng thái "thiếu ràng buộc" (under-constrained), như nghiên cứu năm 2024 của Trail of Bits đã chỉ ra, một nút độc hại có thể làm giả toàn bộ phiên làm việc.

Dưới đây là cái nhìn khái quát về cách một mạch điện có thể kiểm tra xem một nút có thực sự tuân thủ giới hạn băng thông đã cam kết hay không mà không tiết lộ số lượng byte chính xác lên blockchain công khai:

# Lưu ý: Logic cấp cao này sẽ được biên dịch thành một mạch số học 
# (R1CS) để ZK-SNARK có thể thực sự hoạt động.

def verify_bandwidth_usage(claimed_usage, secret_session_log, limit):
    # 'secret_session_log' là đầu vào riêng tư (witness)
    # 'limit' và 'claimed_usage' là các thông số công khai
    
    # 1. Kiểm tra xem nhật ký có khớp với lượng băng thông đã khai báo không
    is_match = (hash(secret_session_log) == claimed_usage_hash)
    
    # 2. Đảm bảo mức sử dụng nằm dưới ngưỡng giới hạn
    is_under_limit = (secret_session_log <= limit)
    
    # Mạch chỉ trả về 'True' nếu cả hai điều kiện đều thỏa mãn
    # Bên xác thực (blockchain) chỉ thấy kết quả 'True/False' và bằng chứng đi kèm
    return is_match and is_under_limit

Trong môi trường DePIN thực tế, nút (bên chứng minh - prover) sẽ gửi một "cam kết" (commitment) lên blockchain. Về cơ bản, đây là một lời hứa mã hóa. Sau đó, khi đến lúc nhận thanh toán, họ sẽ cung cấp bằng chứng ZKP. Hợp đồng thông minh đóng vai trò là bên xác thực (verifier), thực hiện một đoạn logic chỉ mất vài mili giây để kiểm tra, ngay cả khi nút đó phải mất cả giây để tạo ra bằng chứng.

Tương lai của DePIN phụ thuộc vào việc đưa các phép toán này vận hành ẩn dưới nền tảng. Ví dụ, trong ngành bán lẻ, nếu một cửa hàng sử dụng mạng P2P để đồng bộ dữ liệu bán hàng, họ không thể để máy tính tiền bị treo trong ba giây chỉ để tạo bằng chứng truyền tải dữ liệu. Mọi thứ phải diễn ra liền mạch.

Trong lĩnh vực tài chính, chúng ta cũng thấy những vấn đề tương tự với giao dịch tần suất cao (HFT). Nếu một nhà giao dịch sử dụng mạng lưới token hóa để duy trì tính ẩn danh, bất kỳ sự rung lắc (jitter) nào do việc tạo bằng chứng gây ra cũng có thể khiến họ mất hàng ngàn đô la trong kịch bản bị "chạy trước" (front-running). Mục tiêu là giảm thời gian tạo bằng chứng xuống mức nhanh hơn cả độ trễ (ping) thực tế của mạng.

Thành thật mà nói, vấn đề mạch "thiếu ràng buộc" là điều khiến tôi lo lắng nhất. Nếu 96% lỗi trong các hệ thống này đến từ logic toán học sai lệch, chúng ta chẳng khác nào đang xây dựng một ngân hàng với cánh cửa hầm trông có vẻ kiên cố nhưng thực chất lại không được bắt vít vào tường. Các nhà phát triển đang bắt đầu sử dụng các công cụ "kiểm chứng hình thức" (formally verify) cho các mạch của họ, về cơ bản là dùng một AI khác hoặc một bộ máy toán học để chứng minh rằng bằng chứng đó thực sự chặt chẽ.

Tiếp theo, chúng ta sẽ tổng kết lại tất cả và xem xét "ngăn xếp quyền riêng tư" (privacy stack) hoàn chỉnh sẽ trông như thế nào khi kết hợp định tuyến P2P, phần thưởng token hóa và siêu dữ liệu không tri thức.

Kết luận: Một mạng internet thực sự ẩn danh

Sau tất cả những phân tích về toán học và đi sâu vào các giao thức, rốt cuộc chúng ta đang đứng ở đâu? Nếu bạn đã theo dõi từ đầu, có thể thấy rõ rằng cách vận hành cũ — nơi chúng ta chỉ biết hy vọng nhà cung cấp dịch vụ không phải là kẻ soi mói — đang dần lùi vào dĩ quái.

Về cơ bản, chúng ta đang chuyển dịch từ mô hình "hãy tin tôi" sang mô hình "không thể chạm tới". Trước đây, bạn kết nối với một mạng ảo riêng (VPN) và chỉ biết cầu nguyện rằng họ không lưu nhật ký truy cập (log), ngay cả khi mô hình kinh doanh của họ hoặc các yêu cầu pháp lý từ tòa án cho thấy điều ngược lại.

Nhưng với một mạng lưới ngang hàng (P2P) được vận hành bởi bằng chứng không tiết lộ tri thức (zero-knowledge proofs - ZKP), các nút mạng (node) về mặt kỹ thuật hoàn toàn không thể "mách lẻo" về bạn, đơn giản vì chúng chưa bao giờ nắm giữ dữ liệu đó. Đây là một bước ngoặt mang tính nền tảng trong kiến trúc mạng.

• Khả năng chống kiểm duyệt: Tại các quốc gia có sự giám sát chặt chẽ từ nhà cung cấp dịch vụ internet (ISP), các mạng VPN phi tập trung (dVPN) dựa trên ZKP là một yếu tố thay đổi cuộc chơi. Vì siêu dữ liệu (metadata) đã được "làm mù", các kỹ thuật kiểm soát gói tin sâu (DPI) cấp quốc gia không thể dễ dàng liên kết một người dùng cụ thể với một nút thoát (exit node) nằm trong danh sách đen.
• Sự công bằng về kinh tế: Khai thác băng thông (bandwidth mining) trở thành một công việc chính đáng. Bạn được trả công cho phần đóng góp của mình, được xác thực bằng toán học, mà không cần phải xây dựng một cơ sở dữ liệu về thói quen của khách hàng để thỏa mãn một thuật toán phần thưởng nào đó.
• Xóa bỏ dấu vết kỹ thuật số: Như chúng ta đã thấy, việc ẩn nội dung truyền tải thì dễ, nhưng ẩn đi sự thật rằng bạn đã gửi nó mới là thử thách thực sự. ZKP cuối cùng đã cho phép chúng ta xóa bỏ những dấu chân kỹ thuật số đó trong thời gian thực.

Điều này không chỉ dành cho những người đam mê quyền riêng tư hay những người muốn ẩn danh khi tải dữ liệu. Những tác động của nó đối với hạ tầng công nghiệp thực tế là vô cùng lớn.

Trong lĩnh vực y tế, một chuỗi bệnh viện sử dụng mạng phi tập trung để đồng bộ hóa dữ liệu bệnh nhân giờ đây có thể chứng minh với các cơ quan quản lý rằng họ đã di chuyển hồ sơ mà các nút trung gian không bao giờ nhìn thấy "hình thái" của dữ liệu đó. Điều này ngăn chặn bất kỳ ai đoán được số lượng bệnh nhân hoặc các loại tình trạng khẩn cấp dựa trên các đợt bùng phát lưu lượng gói tin.

Đối với các gã khổng lồ bán lẻ, điều này có nghĩa là đồng bộ hóa kho hàng trên hàng nghìn cửa hàng kết nối P2P mà đối thủ cạnh tranh không thể lập bản đồ thời gian chuỗi cung ứng của họ. Họ có được tốc độ của một mạng lưới phân tán cùng với sự riêng tư của một mạng nội bộ.

Và trong tài chính, mọi thứ đều xoay quanh lợi thế cạnh tranh. Các nhà giao dịch tần suất cao có thể sử dụng các mạng lưới băng thông được mã hóa (tokenized networks) này để che giấu vị trí vật lý. Nếu một nút mạng không thể nhìn thấy thời gian phiên truy cập hoặc địa chỉ ví thông qua ZKP, họ không thể thực hiện hành vi chạy trước (front-running) để trục lợi.

Thành thực mà nói, chúng ta vẫn chưa đạt đến một mạng internet "hoàn hảo". Chi phí tính toán vẫn là một rào cản. Nếu bạn đang vận hành một nút mạng trên một bộ định tuyến rẻ tiền, tài nguyên tiêu tốn để tạo ra các bằng chứng này vẫn có thể làm giảm phần nào băng thông thực tế.

Nhưng như tôi đã đề cập trước đó, sự chuyển dịch sang các giao thức như Halo và Virgo đang khắc phục điều này. Chúng ta đang tiến đến điểm mà các logic xử lý hiệu quả đến mức "chi phí cho quyền riêng tư" gần như không thể nhận ra đối với người dùng cuối.

Theo các tài liệu về bằng chứng không tiết lộ tri thức, khái niệm này đã tồn tại từ những năm 80, nhưng chỉ đến bây giờ chúng ta mới có đủ phần cứng và mã nguồn (như zk-SNARKs) để triển khai nó ở quy mô lớn trong các mạng lưới P2P.

Thật lòng mà nói, nếu bạn là một người yêu công nghệ hoặc quan tâm đến tương lai của internet, bạn cần theo dõi sát sao các dự án hạ tầng vật lý phi tập trung (DePIN). Mô hình "Airbnb cho băng thông" chỉ hoạt động hiệu quả nếu khách truy cập được ẩn danh và chủ nhà được trả công xứng đáng.

Tương lai của internet không chỉ dừng lại ở phi tập trung; đó là về quyền riêng tư có thể xác thực. Chúng ta đang xây dựng một hệ thống mà trong đó định tuyến P2P giải quyết câu hỏi "ở đâu", mã hóa giải quyết câu hỏi "cái gì", và bằng chứng không tiết lộ tri thức giải quyết câu hỏi "là ai" và "khi nào".

Khi kết hợp những yếu tố này, bạn sẽ có một mạng internet không thuộc về bất kỳ công ty hay chính phủ đơn lẻ nào. Đó là một mạng lưới tồn tại nhờ chính người dùng, được bảo vệ bởi các định luật toán học thay vì ý muốn nhất thời của một vị giám đốc điều hành.

Dù sao thì, đây cũng là một hành trình dài tìm hiểu về các giao thức này. Cho dù bạn chỉ đang tìm kiếm một cách duyệt web tốt hơn hay đang ấp ủ xây dựng ứng dụng phi tập trung lớn tiếp theo, hãy nhớ rằng: nếu bạn không xác thực, bạn chỉ đang đoán mò. Hãy giữ cho các mạch nối của bạn luôn chặt chẽ và siêu dữ liệu của bạn luôn được ẩn giấu.