Bầu cử sơ bộ tại Maine vừa qua không chỉ là cuộc đua ghế Thượng viện. Một ứng viên Dân chủ đã đưa ra lời kêu gọi gây sốc: bãi bỏ ICE - Cơ quan Thực thi Di trú và Hải quan Hoa Kỳ. Đằng sau khẩu hiệu chính trị ấy là một vấn đề kỹ thuật sâu xa: làm thế nào để xác minh danh tính và quyền cư trú của một người mà không xâm phạm quyền riêng tư? Câu trả lời, theo tôi, nằm ở zero-knowledge proofs. Vá lỗ trước khi nó rò rỉ.
Trước khi đi vào chi tiết, hãy hiểu bối cảnh. ICE được thành lập sau ngày 11/9, với nhiệm vụ thực thi luật di trú nội địa. Hàng năm, cơ quan này tiến hành hàng nghìn vụ bắt giữ, trục xuất và kiểm tra I-9 tại các doanh nghiệp. Hệ thống hiện tại dựa trên một cơ sở dữ liệu tập trung khổng lồ (ENFORCE Alien Removal Module) lưu trữ dấu vân tay, ảnh, lịch sử vi phạm của hàng triệu người. Khi một người muốn chứng minh họ ở lại hợp pháp, họ phải trình giấy tờ hoặc để ICE tra cứu dữ liệu nội bộ. Vấn đề? Quy trình này vi phạm quyền riêng tư, dễ bị lạm dụng, và tạo ra điểm thất bại duy nhất. Một lỗ hổng bảo mật - như vụ rò rỉ dữ liệu OPM 2015 - có thể phơi bày thông tin của toàn bộ cộng đồng nhập cư. Thử nghiệm càng sớm, tổn thất càng nhỏ.
Phần cốt lõi bài viết này là phân tích cách zero-knowledge proofs (ZK) có thể kiến tạo lại toàn bộ hệ thống xác minh di trú. Tôi đã dành 14 tháng nghiên cứu zkSync và StarkEx, và phát hành whitepaper ZK-Overlay về tối ưu hóa chi phí chứng minh. Kinh nghiệm đó cho tôi thấy rõ: bài toán xác minh di trú thực chất là bài toán xác minh bằng chứng không tiết lộ thông tin. Thay vì một cơ quan trung ương nắm giữ tất cả dữ liệu, mỗi người nhập cư có thể sở hữu một "hộ chiếu ZK" - một bằng chứng mật mã cho thấy họ đáp ứng các điều kiện cư trú (ví dụ: có visa hợp lệ, chưa từng vi phạm hình sự) mà không cần tiết lộ chi tiết cá nhân. Cơ chế hoạt động như sau:
- Sinh trắc học được chuyển đổi thành cam kết (commitment) trên blockchain. Người dùng tạo một bằng chứng zk-SNARK rằng cam kết này khớp với dữ liệu sinh trắc học thực tế của họ.
- Chính phủ hoặc cơ quan di trú phát hành một "attestation" đã ký, xác nhận tình trạng cư trú. Attestation này là một input riêng tư cho trình tạo bằng chứng.
- Khi cần xác minh - ví dụ khi xin việc hoặc qua cửa khẩu - người dùng tạo một bằng chứng ZK chứng minh họ có attestation hợp lệ từ cơ quan có thẩm quyền, mà không tiết lộ attestation đó là gì, hay bất kỳ thông tin dư thừa nào. Cơ quan kiểm tra (employer, border agent) chỉ cần xác thực bằng chứng trên blockchain.
Lợi ích kỹ thuật là rõ ràng: loại bỏ điểm thất bại tập trung, giảm chi phí tuân thủ (không cần lưu trữ giấy tờ giấy), tăng cường quyền riêng tư cho người nhập cư. Từ góc nhìn của tôi, đây là ứng dụng ZK có tác động xã hội lớn nhất, thậm chí còn hơn cả tài chính phi tập trung. Khi tôi audit smart contract cho OmiseGo năm 2017, tôi đã học được rằng bảo mật hệ thống không đến từ việc cất giấu thông tin, mà từ việc cho phép xác minh mà không cần tin tưởng. ZK làm chính xác điều đó.
Tuy nhiên, góc nhìn phản trực giác mà tôi muốn nhấn mạnh là: việc bãi bỏ ICE không tự động dẫn đến một hệ thống ZK nhân văn hơn. Nếu thiết kế cẩu thả, ZK có thể trở thành công cụ giám sát tinh vi hơn. Hãy tưởng tượng một "ZK-ICE" được xây dựng trên một blockchain công khai: mọi bằng chứng đều được ghi lại, cho phép phân tích hành vi của người nhập cư qua thời gian. Chính phủ có thể yêu cầu bằng chứng chứng minh bạn không vi phạm điều kiện visa - một yêu cầu vô hạn, tạo ra gánh nặng bằng chứng cho người dân. Điểm mù bảo mật ở đây là: quyền riêng tư trong ZK phải được thiết lập ngay từ lớp giao thức, không phải lớp ứng dụng. Nếu blockchain cơ sở ghi lại tất cả các bằng chứng (dù là bằng chứng ZK), một kẻ tấn công có thể xây dựng hồ sơ dựa trên tần suất và thời điểm tạo bằng chứng. Giải pháp là sử dụng các kỹ thuật như stealth addresses và zk-rollup để ẩn người gửi - nhưng điều này làm tăng độ phức tạp và chi phí.
Dựa trên kinh nghiệm audit của tôi, tôi dự báo rằng: trong vòng 5 năm tới, các quốc gia có hệ thống di trú phức tạp (Mỹ, Canada, EU) sẽ bắt đầu thử nghiệm ZK identity cho một số quy trình nhất định (ví dụ: xác minh tình trạng sinh viên quốc tế). Nhưng ICE sẽ không bị bãi bỏ; nó sẽ được tái cấu trúc thành một cơ quan phát hành attestation. Câu hỏi đặt ra cho các nhà phát triển ZK là: liệu chúng ta có đang xây dựng một hệ thống giám sát mới dưới vỏ bọc bảo mật hay không? Hoặc, như tôi vẫn nói: bảo mật là cuộc chạy đua không có đích.
