Bài viết mới nhất của Vitalik đã được cải tiến: Nhóm quyền riêng tư giải quyết vấn đề tam giác bất khả thi về “quyền riêng tư, phân cấp và tuân thủ” như thế nào?

Hôm qua, Vitalik và một số học giả từ Đại học Basel đã cùng xuất bản một bài báo có tiêu đề “Quyền riêng tư và tuân thủ quy định của Blockchain: Hướng tới sự cân bằng thực tế”.

Tại sao chúng ta phải chú ý đến những giấy tờ như thế này khi thị trường đang nguội lạnh?

Những suy nghĩ và bài viết của Vitalik thường ảnh hưởng đến hướng phát triển của các câu chuyện và công nghệ mới. Ngoài ra, các chuyên gia và học giả nổi tiếng khác trong lĩnh vực blockchain có những hiểu biết sâu sắc độc đáo về công nghệ blockchain và xu hướng phát triển.

Ngoài ra, các vấn đề về tuân thủ và quyền riêng tư của blockchain được thảo luận trong bài viết có liên quan đến hướng phát triển trong tương lai của ngành mã hóa và việc lựa chọn các lộ trình tuân thủ. Tìm kiếm sự cân bằng giữa bảo vệ quyền riêng tư của người dùng và đáp ứng các yêu cầu pháp lý là một vấn đề cấp bách mà ngành mã hóa cần giải quyết.

Sau khi đọc qua bài báo, chúng tôi nhận thấy rằng giao thức Privacy Pools do nó đề xuất cung cấp một giải pháp kỹ thuật khả thi để đạt được khả năng tương thích về quyền riêng tư và tuân thủ. Điều này dường như nhằm ngăn chặn thảm kịch Tornado Cash bị đày xuống địa ngục do quy định không xảy ra lần nữa.

Tuy nhiên, bài viết mang tính hàn lâm và kỹ thuật nên khó đọc và một số chi tiết cũng như ý nghĩa của nó không dễ hiểu đối với người dùng thông thường.

Do đó, Viện nghiên cứu Shenchao đã diễn giải và hoàn thiện bài báo, cố gắng giải thích các điểm cốt lõi của bài báo bằng ngôn ngữ phổ biến, điều này có thể giúp nhiều người hiểu hơn các vấn đề quan trọng về quyền riêng tư và tuân thủ cũng như các lộ trình kỹ thuật và giải pháp khả thi.

Tác giả là ai?

Trước hết, luận án được chủ trì bởi Vitalik và được đồng tác giả bởi các đối tác chuyên môn trong giới học thuật và các nhà thực hành.

Vitalik là tác giả đầu tiên. Vì Vitalik có tầm ảnh hưởng và danh tiếng quan trọng trong lĩnh vực tiền điện tử nên giải pháp được đề xuất có thể thu hút được nhiều sự chú ý hơn.

Các đồng tác giả khác bao gồm:

*Jacob Illum, nhà nghiên cứu tại tổ chức nghiên cứu ngành công nghiệp tiền điện tử Chainalysis;

• Mat Nadler, nghiên cứu sinh tiến sĩ tại Đại học Basel, cũng có các dự án phát triển DeFi và EVM liên quan;
• Fabian Schär, giáo sư tại Đại học Basel, nghiên cứu về chuỗi công khai và giao thức DeFi;
• Ameen Soleimani, người sáng lập nhiều dự án mã hóa nổi tiếng, có kinh nghiệm thực tế phong phú

Bối cảnh: Xung đột quyền riêng tư và quy định, Bi kịch tiền mặt lốc xoáy

• Thiết kế của blockchain công khai là giao dịch minh bạch, bất kỳ ai cũng có thể xác minh giao dịch mà không cần dựa vào bên thứ ba tập trung. Nhưng điều này cũng tạo ra những lo ngại về quyền riêng tư, vì tất cả các giao dịch cho từng địa chỉ đều được ghi lại trên blockchain, cho phép theo dõi và phân tích các địa chỉ đó.
• Sách trắng Bitcoin tin rằng blockchain có thể bảo vệ quyền riêng tư thông qua ẩn danh khóa công khai, nhưng sự bảo vệ này đã được chứng minh là không đủ và các công cụ phân tích blockchain khác nhau có thể liên hệ giữa địa chỉ và giao dịch. Do đó, cần có công nghệ mã hóa mạnh mẽ hơn để cải thiện khả năng bảo vệ quyền riêng tư của chuỗi công khai.
• Các hệ thống sử dụng bằng chứng không có kiến thức chung, chẳng hạn như Zcash và Tornado Cash, có thể tăng tính ẩn danh được đặt cho tất cả các giao dịch và cải thiện khả năng bảo vệ quyền riêng tư. Tuy nhiên, Tornado Cash cũng bị một số tin tặc lạm dụng và địa chỉ hợp đồng thông minh của nó cuối cùng đã bị OFAC xử phạt.

Liên quan đến vấn đề Tornado Cash, Shenchao cũng bổ sung một số nền tảng kỹ thuật để cung cấp tài liệu tham khảo cho những độc giả chưa quen với các biện pháp trừng phạt theo quy định trước đây:

• Tornado Cash là một giao thức tăng cường quyền riêng tư dựa trên bằng chứng không có kiến thức cho phép giao dịch ẩn danh. Nó cho phép người dùng gửi tiền và sau đó rút tiền ở một địa chỉ khác. Trên chuỗi, chỉ có thể nhìn thấy tiền gửi và rút tiền, nhưng không có mối quan hệ tương ứng giữa hai bên nên nó có tính ẩn danh.
• Nhưng giao thức này cũng đã bị một số nhóm hacker lạm dụng để rửa tiền thông qua giao thức. Ví dụ, có bằng chứng cho thấy các nhóm hacker Triều Tiên rửa tiền thông qua Tornado Cash.
• Do đó, OFAC, Bộ Tài chính Hoa Kỳ, cuối cùng đã đưa địa chỉ hợp đồng thông minh của Tornado Cash vào danh sách trừng phạt. Các cơ quan quản lý tin rằng thỏa thuận này mang lại sự thuận tiện cho việc rửa tiền và không có lợi cho việc chống tội phạm tài chính.
• **Vấn đề chính với Tornado Cash là người dùng hợp pháp khó có thể tách mình ra khỏi hoạt động tội phạm mà giao thức thu hút. **
• Tuy nhiên, việc tạo ra bằng chứng này cần có máy chủ tập trung của Tornado Cash. Người dùng cần cung cấp thông tin cụ thể về việc rút tiền cho máy chủ. Máy chủ sử dụng cơ sở dữ liệu mà nó lưu giữ để kiểm tra khoản tiền gửi thực sự tương ứng với khoản tiền gửi nào, sau đó tạo chứng chỉ này.

Điều này đòi hỏi phải dựa vào một trung gian tập trung vì chỉ Tornado Cash mới có cơ sở dữ liệu hoàn chỉnh và có thể tạo ra bằng chứng chính xác. Người dùng thông thường không thể kiểm tra tính chính xác của bằng chứng, người dùng và cơ quan quản lý chỉ có thể chọn tin vào điều đó.

**Chúng tôi rất cần một cách để chứng minh và thuyết phục các cơ quan quản lý rằng nguồn tiền của tôi là sạch sẽ và hợp pháp mà không làm lộ quyền riêng tư và phân quyền. **

Do đó, bài viết này đề xuất một giải pháp kỹ thuật khả thi được gọi là giao thức Privacy Pools: cho phép người dùng chứng minh rằng tiền đến từ một bộ sưu tập liên kết tùy chỉnh, điều này không chỉ bảo vệ quyền riêng tư mà còn chứng minh liệu chúng có đến từ một số nguồn bất hợp pháp hay không.

Đây có thể là bước đầu tiên hướng tới sự cùng tồn tại tương thích giữa quyền riêng tư và quy định.

tập liên kết zk+, chìa khóa để giải quyết vấn đề

Qua mô tả cơ bản ở trên, chúng tôi đã hiểu được vấn đề cần giải quyết, đó là đảm bảo quyền riêng tư và phân quyền đồng thời chứng minh rằng tiền của mình là “vô tội”.

Để đảm bảo sự riêng tư, chúng ta có thể dễ dàng nghĩ đến zk. Quả thực, bài viết mới nhất của Vitalik cũng khẳng định giá trị của zk, đặc biệt là zk-SNARK, trong việc giải quyết các vấn đề về quyền riêng tư:

• Không có kiến thức: Không tiết lộ dữ liệu riêng tư, chỉ chứng minh rằng tuyên bố đó là đúng.
• **Cô đọng: **Bằng chứng rất ngắn gọn, xác minh nhanh chóng và hiệu quả ngay cả khi phép tính phức tạp.

Tuy nhiên, zk-SNARK chỉ có thể giải quyết được một phần vấn đề: chứng minh rằng giao dịch này đã xảy ra với tôi, nhưng chi tiết về giao dịch có thể bị ẩn đi.

Để giải quyết triệt để vấn đề, thực sự cần phải chứng minh rằng nguồn gốc của giao dịch là chính xác với tiền đề là các chi tiết của giao dịch được ẩn hoàn toàn. **

Do đó, bài viết này kết nối zk với một phương pháp khác—Tập kết hợp.

• Cái gọi là tập hợp liên kết là để cho phép người dùng chứng minh rằng tiền đến từ một tập hợp tùy chỉnh, thay vì che giấu hoàn toàn hoặc tiết lộ hoàn toàn nguồn. Ví dụ: tôi đã chuyển 1 BTC, nhưng 1 BTC này đã được tích lũy trong nhiều giao dịch khác, vì vậy nhiều giao dịch khác này có thể trở thành một tập hợp có liên quan.
• Tập hợp liên kết có thể lớn hoặc nhỏ và người dùng có thể tự do xác định thành phần và phạm vi của nó. Đó có thể là tập hợp anon lớn để cải thiện quyền riêng tư hoặc tập hợp nhỏ để chứng minh sự tuân thủ.

Sau khi hiểu khái niệm về tập hợp kết hợp, chúng ta hãy xem làm thế nào các tập hợp kết hợp zk+ có thể vừa đảm bảo quyền riêng tư vừa chứng minh nguồn tiền:

1. Khi người dùng gửi tiền, một (khóa) bí mật sẽ được tạo thông qua zk và sau đó ID đồng xu công khai sẽ được tính toán. (Gắn thẻ liên kết của tôi với tiền)
2. Khi người dùng rút tiền, anh ta phải gửi một bản vô hiệu hóa để chứng minh rằng mình đã sử dụng bí mật này. (Chứng minh tiền là của tôi)
3. Thông qua công nghệ zk, người dùng chỉ cần chứng minh: ID coin của tôi tồn tại trong cả bộ tổng và bộ liên kết mà tôi đã khai báo. (Chứng minh tiền sạch)
4. Bên ngoài chỉ xem được số lượng giao dịch và phân bổ số tiền thu được chứ không thể lấy được thông tin cụ thể của các bên chuyển nhượng.

Để hiểu rõ hơn một chút về mặt kỹ thuật, chúng ta có thể xem sơ đồ nguyên lý của cây Merkel từ bài báo gốc. Cây Merkel trong hình thực chất là sự kết hợp của các Coin ID, tức là sau khi bản thân các giao dịch là zk, chúng ta không thể xem chi tiết và chỉ lưu trữ Coin ID trong cấu trúc cây;

Cây bên trái đại diện cho tất cả các giao dịch hiện đang diễn ra, có thể chứa một số tiền của chính tôi. Bây giờ, để chứng minh rằng không có vấn đề gì với nguồn tiền, tôi cần cây bên phải—cái này thể hiện một tập hợp liên kết tùy chỉnh mà tôi đã tùy chỉnh, chứa liên kết giữa tiền của tôi và các giao dịch khác. Chỉ cần tôi có thể giải thích lịch sử giao dịch ở bên phải, tôi có thể cho bạn biết nguồn tiền hiện tại của tôi.

Trong một khái niệm lớn, đây giống như một nhóm riêng tư. Mối tương quan được đặt ở bên phải chứa đựng thông tin chi tiết về tiền của tôi. Tuy nhiên, vì nó đã vượt qua bằng chứng không có kiến thức nên tôi có thể chứng minh cho bạn rằng thông tin chi tiết về tiền là có thật, nhưng tôi không cần phải làm vậy cho bạn biết chi tiết của giao dịch.

Các trường hợp sử dụng thực tế cho Nhóm riêng tư

Bài viết đưa ra một ví dụ rất sinh động cho thấy ứng dụng của Privacy Pool.

Cài đặt nền:

• Có năm người dùng: Alice, Bob, Carl, David và Eve.
• Bốn người đầu tiên đều trung thực, nhưng Eva là một tên trộm khét tiếng.
• Mặc dù danh tính thực sự của Eve có thể chưa được biết nhưng công chúng biết rằng số tiền nhận được từ các địa chỉ có nhãn “Eve” là tiền bị đánh cắp.

Lựa chọn và trò chơi của người dùng khi rút tiền:

• Khi mỗi người dùng rút tiền, theo phương thức giấy, họ có thể chọn bộ liên kết.
• Tập hợp liên kết này phải bao gồm tiền gửi của chính họ. Điều này có nghĩa là mỗi người dùng không thể loại trừ khoản tiền gửi của chính mình khi chọn nhóm liên kết.
• Đối với bốn người dùng Alice, Bob, Carl và David, để tránh bị liên kết với Eve, một kẻ xấu đã biết, họ có thể chọn một tập hợp liên kết không bao gồm Eve. Bằng cách đó, họ có thể chứng minh rằng họ không có mối liên hệ nào với Eva.
• Tuy nhiên, Eve phải đối mặt với một vấn đề: cô ấy không thể chọn một tập hợp chỉ bao gồm mình, vì điều đó sẽ ngay lập tức tiết lộ cô ấy là một diễn viên tồi.
• Để cố gắng che giấu hành vi xấu của mình, Eve có thể chọn một tập hợp liên kết bao gồm cả năm người dùng, với hy vọng gây nhầm lẫn cho người quan sát;
• Tuy nhiên, vì bốn người dùng còn lại đều chọn bộ liên kết không bao gồm Eve, điều này khiến nỗ lực của Eve trở nên vô ích, vì người ta có thể xác định bằng cách loại bỏ rằng Eve là tác nhân xấu.

kết quả:

• Thông qua việc lựa chọn tập hợp liên kết, Alice, Bob, Carl và David có thể chứng minh rằng họ không có liên quan đến Eve, một kẻ xấu nổi tiếng.
• Eve không thể che giấu hành vi xấu của mình vì tập hợp liên kết của cô ấy bao gồm tất cả mọi người.

Hình 5 trong bài báo minh họa rõ hơn sự khác biệt giữa hai cách chứng minh. Bằng chứng thành viên bao gồm một tập hợp tiền gửi cụ thể, trong khi tập hợp liên kết của bằng chứng loại trừ bao gồm tất cả các khoản tiền gửi ngoại trừ một tập hợp tiền gửi cụ thể.

Triển vọng tới tương lai

Mặc dù giao thức nâng cao quyền riêng tư được đề cập ở trên dựa trên zkSNARK và các bộ liên kết đã đạt được sự cân bằng giữa tuân thủ và quyền riêng tư cho công nghệ blockchain, nhưng vẫn còn một số thách thức về kỹ thuật và quản trị. Tác giả đề xuất một số hướng phát triển trong tương lai:

• Nghiên cứu sâu hơn về các thuộc tính quyền riêng tư: Quyền riêng tư do các giao thức này cung cấp phụ thuộc vào nhiều yếu tố khác nhau. Kích thước của tập hợp liên kết, sự phù hợp của lựa chọn gốc và lỗi của người dùng có thể cho phép kẻ tấn công chuyên dụng liên kết các giao dịch của người dùng.
• **Nghiên cứu các đặc tính của trạng thái cân bằng phân tách: ** Nghiên cứu sâu hơn về cách các tác nhân tốt và xấu hành xử theo các giả định nhất định và bằng chứng công khai về cái trước ảnh hưởng như thế nào đến quyền riêng tư của cái sau.
• Nghiên cứu pháp lý: Các luật gia có thể nghiên cứu sâu hơn về các yêu cầu công bố thông tin cụ thể. Các khuyến nghị được đưa ra trong bài viết này có khả năng thích ứng cao và hiểu biết sâu sắc từ các chuyên gia pháp lý có thể giúp điều chỉnh giao thức và hệ sinh thái xung quanh nó để đảm bảo tuân thủ các khu vực pháp lý khác nhau.

Cuối cùng, chúng tôi lập luận rằng tại thời điểm này, quyền riêng tư và tuân thủ thường được coi là những mặt đối lập không thể hòa giải.

Công nghệ được mô tả trong bài viết tạo ra sự cân bằng giữa cả hai, mang lại những tác động tích cực cho toàn ngành. Hy vọng rằng nhiều nhà nghiên cứu và nhà phát triển có thể được truyền cảm hứng từ công nghệ này và đóng góp cho sự phát triển lành mạnh và bền vững của ngành.