1. Bối cảnh

Người đồng sáng lập Ethereum Vitalik Buterin đã nói rõ rằng “nếu quá trình chuyển đổi công nghệ sang quyền riêng tư không được thực hiện, Ethereum sẽ thất bại”. Điều này là do tất cả các giao dịch đều được hiển thị công khai và đối với nhiều người dùng, sự hy sinh quyền riêng tư là quá lớn, khiến họ chuyển sang các giải pháp tập trung ít nhất là che giấu dữ liệu ở một mức độ nào đó.

Vào năm 2023, Vitalik đã thực hiện một loạt nghiên cứu về bảo vệ quyền riêng tư và công nghệ bằng chứng không có kiến thức (ZK). Trong nửa đầu năm, Vitalik đã xuất bản ba bài viết trên trang web của mình thảo luận cụ thể về ZK và bảo vệ quyền riêng tư. Vào tháng 4, anh ấy cũng đã trình bày một nghiên cứu về các vấn đề riêng tư của người giám sát ví trên Reddit. Vào tháng 9, anh là đồng tác giả của một bài báo với các chuyên gia khác đề xuất giải pháp cân bằng giữa quyền riêng tư và sự tuân thủ.

Ngoài ra, hệ sinh thái Ethereum đang tích cực thúc đẩy thảo luận và phổ biến chủ đề này. Một sự kiện đặc biệt tập trung vào quyền riêng tư đã được tổ chức tại sự kiện ETHDenver vào tháng 3. Tại Hội nghị cộng đồng Ethereum thường niên (EDCON) vào tháng 5, Vitalik nhấn mạnh rằng “trong 10 năm tới, ZK-SNARK sẽ quan trọng như blockchain”.

Bài viết này theo dõi những phát triển mới nhất trong hệ sinh thái Ethereum vào năm 2023 liên quan đến việc sử dụng công nghệ ZK để nâng cao khả năng bảo vệ quyền riêng tư. Nếu bạn muốn tham gia đường đua Ethereum ZK, bài viết này có thể cung cấp giải thích và hướng dẫn cần thiết.

2. Đường đua Ethereum ZK: Xây dựng tương lai của việc bảo vệ quyền riêng tư

Tính minh bạch của Ethereum có thể khiến thông tin cá nhân của người dùng có nguy cơ bị rò rỉ. Không có bí mật nào trên các chuỗi khối như Ethereum và tất cả thông tin đều được công khai, bao gồm các giao dịch, bỏ phiếu và các hoạt động trực tuyến khác. Việc công khai như vậy có thể dẫn đến các giao dịch và địa chỉ cụ thể được theo dõi và liên kết với danh tính người dùng thực. Do đó, việc triển khai bảo vệ quyền riêng tư trên Ethereum trở nên quan trọng. Việc ẩn thông tin trên chuỗi có thể đạt được thông qua công nghệ mã hóa, nhưng thách thức là đảm bảo rằng tính hợp lệ của các giao dịch này có thể được xác minh đồng thời bảo vệ quyền riêng tư. Công nghệ ZK cung cấp giải pháp có thể chứng minh tính xác thực của các giao dịch mà không tiết lộ thêm thông tin, có tính đến quyền riêng tư và khả năng xác minh.

Ethereum rất coi trọng ZK-SNARK, đặc biệt là trong một số trường hợp sử dụng bảo vệ quyền riêng tư quan trọng nhất định, trong đó tầm quan trọng của nó đặc biệt rõ rệt. Điều này được thể hiện rõ ràng trong nghiên cứu và đề xuất của Vitalik. Salus đã tổng hợp các kịch bản điển hình do Vitalik đề xuất trong nghiên cứu của mình, đó là các giao dịch về quyền riêng tư và phục hồi xã hội.

2.1 Giao dịch riêng tư

Về giao dịch quyền riêng tư, Vitalik đề xuất hai khái niệm: Địa chỉ ẩn và Nhóm quyền riêng tư.

·Lược đồ địa chỉ riêng tư cho phép thực hiện các giao dịch trong khi ẩn danh tính của người nhận giao dịch. Giải pháp này không chỉ cung cấp chức năng bảo vệ quyền riêng tư mà còn đảm bảo tính minh bạch và khả năng kiểm toán của giao dịch.

·Dựa trên giao thức Privacy Pool, người dùng có thể chứng minh rằng tiền giao dịch của họ thuộc về các nguồn đã biết và tuân thủ mà không tiết lộ các giao dịch lịch sử. Giải pháp này cho phép người dùng thực hiện các giao dịch riêng tư trong khi tuân thủ các quy định.

Cả hai giải pháp đều không thể tách rời khỏi ZK. Trong cả hai trường hợp, người dùng được phép tạo bằng chứng không có kiến thức để chứng minh tính hợp lệ của các giao dịch của họ.

2.1.1 Địa chỉ bảo mật

Giả sử Alice có ý định chuyển nhượng một số tài sản nhất định cho Bob thì khi Bob nhận được tài sản đó, anh ta không muốn thông tin này bị công chúng biết đến. Mặc dù rất khó để che giấu sự thật về việc chuyển giao tài sản nhưng vẫn có khả năng che giấu danh tính của người nhận. Chính trong bối cảnh này, các sơ đồ địa chỉ riêng tư đã xuất hiện, chủ yếu giải quyết vấn đề làm thế nào để che giấu danh tính của người nhận giao dịch một cách hiệu quả.

Vậy, sự khác biệt giữa địa chỉ riêng và địa chỉ Ethereum thông thường là gì? Làm cách nào để sử dụng địa chỉ riêng dựa trên ZK cho các giao dịch riêng tư? Salus sẽ giới thiệu cho bạn từng người trong số họ.

(1) Sự khác biệt giữa địa chỉ riêng và địa chỉ Ethereum thông thường là gì?

Địa chỉ riêng là địa chỉ cho phép người gửi giao dịch tạo ra giao dịch đó mà không cần tương tác và chỉ người nhận mới có thể truy cập được. Chúng tôi minh họa sự khác biệt giữa địa chỉ riêng và địa chỉ Ethereum thông thường theo hai chiều: ai tạo ra nó và ai có thể truy cập nó.

Ai tạo ra nó

Địa chỉ Ethereum thông thường được người dùng tự tạo dựa trên thuật toán mã hóa và băm. Địa chỉ bảo mật có thể được tạo bởi người đó hoặc bên kia trong giao dịch. Ví dụ: khi Alice chuyển tiền cho Bob, địa chỉ được Bob sử dụng để chấp nhận chuyển khoản có thể do Bob hoặc Alice tạo ra, nhưng địa chỉ đó chỉ có thể được kiểm soát bởi Bob.

Ai có thể truy cập nó?

Các loại, số tiền và nguồn tiền trong tài khoản Ethereum thông thường được hiển thị công khai. Trong các giao dịch sử dụng địa chỉ riêng, chỉ người nhận mới có thể truy cập vào số tiền được lưu trữ trong địa chỉ vô hình của họ. Người quan sát không thể liên kết địa chỉ riêng của người nhận với danh tính của họ, do đó bảo vệ quyền riêng tư của người nhận.

(2) Làm cách nào để sử dụng địa chỉ bảo mật dựa trên ZK cho các giao dịch riêng tư?

Nếu Alice muốn gửi tài sản đến địa chỉ riêng của Bob để ẩn người nhận giao dịch. Dưới đây là mô tả chi tiết về quá trình giao dịch:

1) Tạo địa chỉ riêng

● Bob tạo và lưu khóa chi tiêu, đây là khóa riêng có thể được sử dụng để chi tiêu số tiền được gửi đến địa chỉ riêng của Bob.

● Bob sử dụng khóa sử dụng để tạo địa chỉ meta quyền riêng tư (địa chỉ meta ẩn). Địa chỉ này có thể được sử dụng để tính toán địa chỉ quyền riêng tư cho một người nhận nhất định và chuyển địa chỉ meta quyền riêng tư cho Alice. Alice tính toán địa chỉ meta quyền riêng tư và tạo địa chỉ riêng thuộc về Bob.

2) Gửi tài sản đến địa chỉ riêng

● Alice gửi tài sản đến địa chỉ riêng của Bob.

● Vì Bob không biết rằng địa chỉ riêng này thuộc về anh ấy vào lúc này, Alice cũng cần xuất bản một số dữ liệu được mã hóa bổ sung (khóa công khai tạm thời, khóa pubkey tạm thời) trên chuỗi để giúp Bob phát hiện ra rằng địa chỉ riêng này thuộc về anh ấy.

Các địa chỉ quyền riêng tư trong quy trình trên cũng có thể được xây dựng bằng cách sử dụng bằng chứng không có kiến thức và mã hóa khóa chung. Mã hợp đồng thông minh trong địa chỉ riêng tư có thể được tích hợp với ZK. Bằng cách nhúng logic xác minh bằng chứng không có kiến thức, hợp đồng thông minh có thể tự động xác minh tính hợp lệ của các giao dịch. Sơ đồ xây dựng địa chỉ bảo mật này đơn giản hơn so với các sơ đồ khác, bao gồm mật mã đường cong elip, đồng phân đường cong elip, mạng và nguyên hàm hộp đen chung.

2.1.2 Nhóm riêng tư

Cho dù các giao dịch riêng tư được thực hiện bằng cách ẩn danh tính của người nhận giao dịch hoặc thông tin khác về giao dịch thì vẫn có một vấn đề lớn: làm thế nào người dùng có thể chứng minh rằng tiền giao dịch của họ thuộc về một nguồn tuân thủ đã biết mà không cần phải tiết lộ toàn bộ lịch sử giao dịch của họ. Là một nền tảng blockchain công khai, Ethereum phải tránh trở thành phương tiện rửa tiền và các hoạt động bất hợp pháp khác.

Vitalik đã đề xuất một giải pháp có tên là “Privacy Pool” dành riêng cho việc cân bằng nhu cầu tuân thủ và bảo vệ quyền riêng tư của blockchain. Tuy nhiên, những thách thức về bảo vệ quyền riêng tư và tuân thủ là gì? Làm thế nào để cân bằng quyền riêng tư và tuân thủ? Về cả hai vấn đề, Salus cung cấp các cuộc thảo luận chuyên sâu và mang tính hướng dẫn.

(1) Những thách thức về bảo vệ quyền riêng tư và tuân thủ

Thách thức trong việc đảm bảo tuân thủ giao dịch đồng thời đạt được sự bảo vệ quyền riêng tư được thể hiện một cách sinh động bằng cách phân tích trường hợp Tornado Cash.

Tornado Cash là một công cụ trộn tiền điện tử kết hợp một số lượng lớn tiền gửi và rút tiền. Sau khi người dùng gửi mã thông báo tại một địa chỉ, người đó phải xuất trình Bằng chứng ZK để chứng minh rằng họ đã gửi mã thông báo và sau đó sử dụng địa chỉ mới để rút tiền. Hai hoạt động này được công khai trên chuỗi, nhưng sự tương ứng giữa chúng không được công khai nên chúng ẩn danh. Mặc dù nó có thể nâng cao quyền riêng tư cho người dùng nhưng nó thường được những kẻ bất hợp pháp sử dụng để rửa tiền. 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 tạo điều kiện cho hoạt động rửa tiền và không có lợi cho cuộc chiến chống tội phạm tài chính.

Điểm thiếu sót của Tornado Cash trong khả năng bảo vệ quyền riêng tư là nó không thể xác minh xem nguồn mã thông báo của người dùng có tuân thủ hay không. Để giải quyết vấn đề này, Tornado Cash cung cấp một máy chủ tập trung để giúp người dùng chứng minh rằng mã thông báo của họ tuân thủ. Tuy nhiên, máy chủ phải lấy thông tin cụ thể về việc rút tiền do người dùng cung cấp, xác định khoản tiền gửi tương ứng với khoản tiền rút và tạo chứng chỉ. Cơ chế tập trung này không chỉ gây tốn kém cho các giả định về niềm tin mà còn tạo ra sự bất cân xứng về thông tin. Cuối cùng, cơ chế này đã được rất ít người dùng sử dụng. Mặc dù Tornado Cash thực hiện chức năng riêng tư ẩn nhưng nó không cung cấp cơ chế hiệu quả để xác minh xem nguồn mã thông báo của người dùng có tuân thủ hay không, điều này cho phép bọn tội phạm lợi dụng nó.

(2) Làm thế nào để cân bằng giữa quyền riêng tư và sự tuân thủ?

Dựa trên những thách thức trên, Vitalik đã đề xuất khái niệm Nhóm bảo mật, cho phép người dùng chứng minh rằng nguồn tiền của họ tuân thủ mà không tiết lộ thông tin giao dịch lịch sử. Điều này tạo ra sự cân bằng giữa quyền riêng tư và sự tuân thủ.

Nhóm bảo mật dựa trên ZK và các nhóm liên kết, cho phép người dùng tạo và xuất bản chứng chỉ ZK-SNARK chứng minh rằng tiền của họ đến từ các nguồn tuân thủ đã biết. Điều này có nghĩa là tiền thuộc về một nhóm liên kết tuân thủ hoặc chúng không thuộc về một tổ chức không -tập hợp kết hợp tuân thủ.

Bộ sưu tập liên kết được xây dựng bởi các nhà cung cấp bộ sưu tập liên kết theo các chiến lược cụ thể:

1) Bằng chứng thành viên: Đặt tiền gửi từ tất cả các nền tảng giao dịch đáng tin cậy vào một tập hợp được liên kết và có bằng chứng rõ ràng rằng chúng có rủi ro thấp.

2) Bằng chứng loại trừ: Xác định nhóm tiền gửi được đánh dấu là rủi ro hoặc tiền gửi có bằng chứng rõ ràng rằng chúng là quỹ không tuân thủ. Xây dựng một bộ sưu tập liên quan chứa tất cả các khoản tiền gửi ngoại trừ các khoản tiền gửi này.

Khi gửi tiền, người dùng tạo một bí mật thông qua ZK và băm nó để tính ID đồng xu công khai nhằm đánh dấu mối liên hệ của mình với số tiền. Khi rút tiền, người dùng gửi một bộ vô hiệu tương ứng với bí mật (bộ vô hiệu là mã định danh duy nhất bắt nguồn từ bí mật) để chứng minh rằng số tiền đó là của họ. Hơn nữa, người dùng sử dụng ZK để chứng minh hai nhánh merkle nhằm chứng minh rằng tiền của họ thuộc về các nguồn tuân thủ đã biết:

1) ID coin của anh ấy thuộc về cây ID coin, là tập hợp tất cả các giao dịch hiện đang diễn ra;

2) ID coin của anh ấy thuộc về cây tập hợp liên kết, là tập hợp một số giao dịch hợp pháp mà người dùng xem xét.

(3) Các kịch bản ứng dụng của ZK trong nhóm quyền riêng tư là gì?

1)Đảm bảo tính linh hoạt trong các giao dịch riêng tư: Để xử lý việc chuyển bất kỳ mệnh giá nào trong các giao dịch riêng tư, bằng chứng không có kiến thức bổ sung được đính kèm với mỗi giao dịch. Bằng chứng này đảm bảo rằng tổng mệnh giá token được tạo sẽ không vượt quá tổng mệnh giá token được sử dụng, từ đó đảm bảo tính hợp lệ của giao dịch. Thứ hai, ZK duy trì tính liên tục và quyền riêng tư của các giao dịch bằng cách xác minh cam kết của từng giao dịch với ID mã thông báo tiền gửi ban đầu, do đó, ngay cả trong trường hợp rút một phần, mỗi lần rút tiền vẫn được đảm bảo được liên kết với khoản tiền gửi ban đầu tương ứng.

2) Chống lại các cuộc tấn công tổng số dư: Bằng cách hợp nhất các mã thông báo và cam kết với một bộ ID mã thông báo cũng như cam kết liên kết các giao dịch gốc cho nhiều giao dịch đầu vào, có thể chống lại các cuộc tấn công tổng số dư. Cách tiếp cận này dựa vào ZK để đảm bảo rằng tất cả các ID mã thông báo đã cam kết đều nằm trong bộ liên kết của chúng, từ đó nâng cao quyền riêng tư của giao dịch.

2.2 Phục hồi xã hội

Trong cuộc sống thực, chúng ta có thể có nhiều tài khoản thẻ ngân hàng. Mất mật khẩu thẻ ngân hàng đồng nghĩa với việc chúng ta không thể sử dụng số tiền có trong thẻ ngân hàng. Trong trường hợp này, chúng tôi thường đến ngân hàng và yêu cầu trợ giúp để lấy lại mật khẩu.

Tương tự, trong các blockchain như Ethereum, chúng ta có thể có nhiều địa chỉ (tài khoản). Khóa riêng giống như mật khẩu thẻ ngân hàng và là công cụ duy nhất để kiểm soát tiền tài khoản. Khi bạn mất khóa riêng, bạn sẽ mất quyền kiểm soát tài khoản của mình và không thể truy cập vào số tiền trong tài khoản của mình nữa. Tương tự như việc lấy lại mật khẩu trong thế giới thực, ví blockchain cung cấp cơ chế khôi phục xã hội để giúp người dùng lấy lại khóa riêng bị mất của họ. Cơ chế này cho phép người dùng chọn một nhóm cá nhân đáng tin cậy làm người giám hộ khi tạo ví. Những người giám hộ này có thể giúp người dùng lấy lại quyền kiểm soát tài khoản của họ bằng cách chấp thuận việc đặt lại khóa riêng của người dùng nếu bị mất.

Theo cơ chế giám hộ và phục hồi xã hội này, Vitalik đề xuất hai điểm bảo vệ quyền riêng tư cần chú ý:

1) Ẩn mối tương quan giữa nhiều địa chỉ của người dùng: Để bảo vệ quyền riêng tư của người dùng, chúng tôi cần ngăn chặn việc lộ quyền sở hữu nhiều địa chỉ khi sử dụng một cụm từ khôi phục duy nhất để khôi phục chúng.

2) Bảo vệ quyền riêng tư về tài sản của người dùng khỏi sự xâm nhập của người giám hộ: Chúng tôi phải đảm bảo rằng trong quá trình phê duyệt hoạt động của người dùng, người giám hộ không thể lấy được thông tin tài sản của người dùng hoặc quan sát hành vi giao dịch của họ để ngăn chặn việc vi phạm quyền riêng tư về tài sản của người dùng.

Công nghệ then chốt để đạt được hai loại bảo vệ quyền riêng tư này là bằng chứng không có kiến thức.

2.2.1 Ẩn mối tương quan giữa nhiều địa chỉ của người dùng

(1) Vấn đề về quyền riêng tư trong khôi phục xã hội: mối tương quan giữa các địa chỉ bị tiết lộ

Trong các chuỗi khối như Ethereum, để bảo vệ quyền riêng tư của mình, người dùng thường tạo nhiều địa chỉ cho các giao dịch khác nhau. Bằng cách sử dụng một địa chỉ khác nhau cho mỗi giao dịch, bạn ngăn cản những người quan sát bên ngoài dễ dàng liên kết các giao dịch đó với cùng một người dùng.

Tuy nhiên, nếu khóa riêng của người dùng bị mất, số tiền trong nhiều địa chỉ do khóa riêng tạo ra sẽ không thể lấy lại được. Trong trường hợp này, sự phục hồi xã hội là cần thiết. Phương pháp khôi phục đơn giản là khôi phục nhiều địa chỉ bằng một cú nhấp chuột, trong đó người dùng sử dụng cùng một cụm từ khôi phục để khôi phục nhiều địa chỉ được tạo bởi một khóa riêng. Nhưng cách tiếp cận này không lý tưởng vì mục đích ban đầu của người dùng tạo nhiều địa chỉ là ngăn chúng liên quan với nhau. Nếu người dùng chọn khôi phục tất cả các địa chỉ cùng một lúc hoặc vào một thời điểm tương tự, điều này thực sự tương đương với việc tiết lộ với thế giới bên ngoài rằng những địa chỉ này thuộc sở hữu của cùng một người dùng. Cách làm này đi ngược lại mục đích ban đầu là người dùng tạo nhiều địa chỉ để bảo vệ quyền riêng tư. Điều này tạo thành vấn đề bảo vệ quyền riêng tư trong quá trình phục hồi xã hội.

（2) Giải pháp ZK: Làm thế nào để ngăn chặn mối tương quan của nhiều địa chỉ bị tiết lộ?

Công nghệ ZK có thể được sử dụng để ẩn mối tương quan giữa nhiều địa chỉ của người dùng trên blockchain. Giải quyết các mối lo ngại về quyền riêng tư trong quá trình khôi phục xã hội thông qua kiến trúc tách biệt logic xác minh và việc nắm giữ tài sản.

1) Logic xác minh: Người dùng có nhiều địa chỉ trên blockchain, nhưng logic xác minh cho tất cả các địa chỉ này được kết nối với một hợp đồng xác thực chính (hợp đồng kho khóa).

2) Nắm giữ và giao dịch tài sản: Khi người dùng hoạt động từ bất kỳ địa chỉ nào, họ sử dụng công nghệ ZK để xác minh quyền hoạt động mà không tiết lộ đó là địa chỉ nào.

Bằng cách này, ngay cả khi tất cả các địa chỉ được kết nối với cùng một hợp đồng kho khóa, người quan sát bên ngoài không thể xác định liệu các địa chỉ này có thuộc về cùng một người dùng hay không, do đó đạt được sự bảo vệ quyền riêng tư giữa các địa chỉ.

Điều rất quan trọng là thiết kế một giải pháp khôi phục xã hội riêng tư có thể khôi phục nhiều địa chỉ của người dùng cùng lúc mà không tiết lộ mối tương quan giữa các địa chỉ.

2.2.2 Bảo vệ quyền riêng tư tài sản của người dùng khỏi sự xâm nhập của người giám hộ

(1) Vấn đề về quyền riêng tư: Đặc quyền của người giám hộ

Trong các chuỗi khối như Ethereum, người dùng có thể thiết lập nhiều người giám hộ khi tạo ví. Đặc biệt đối với ví multisig và ví phục hồi xã hội, vai trò của người giám hộ là rất quan trọng. Thông thường, người giám hộ là tập hợp N địa chỉ do người khác nắm giữ, trong đó M địa chỉ bất kỳ đều có thể phê duyệt một hoạt động.

Người giám hộ có những đặc quyền gì? Ví dụ:

1) Đối với ví đa chữ ký, mỗi giao dịch phải được M trong số N người giám hộ ký trước khi có thể tiến hành.

2) Đối với ví khôi phục xã hội, nếu khóa riêng của người dùng bị mất thì M trong số N người giám hộ phải ký tin nhắn để đặt lại khóa riêng.

Người giám hộ có thể phê duyệt hành động của bạn. Trong multisig, đây sẽ là bất kỳ giao dịch nào. Trong ví khôi phục mạng xã hội, thao tác này sẽ đặt lại khóa riêng của tài khoản của bạn. Một trong những thách thức mà cơ chế giám hộ phải đối mặt hiện nay là làm thế nào để bảo vệ quyền riêng tư tài chính của người dùng khỏi bị người giám hộ xâm phạm?

(2) Giải pháp ZK: Bảo vệ quyền riêng tư tài sản của người dùng khỏi sự xâm nhập của người giám hộ

Vitalik hình dung trong bài viết này rằng thứ mà người giám hộ bảo vệ không phải là tài khoản của bạn mà là một hợp đồng “hộp khóa” và liên kết giữa tài khoản của bạn với hộp khóa này bị ẩn. Điều này có nghĩa là người giám hộ không thể truy cập trực tiếp vào tài khoản của người dùng và chỉ có thể hoạt động thông qua hợp đồng hộp khóa ẩn.

Vai trò chính của ZK là cung cấp một hệ thống bằng chứng cho phép người giám hộ chứng minh rằng một tuyên bố nào đó là đúng mà không tiết lộ chi tiết cụ thể của tuyên bố đó. Trong trường hợp này, Người giám hộ có thể sử dụng ZK-SNARK để chứng minh rằng họ có quyền thực hiện một hành động mà không tiết lộ bất kỳ chi tiết nào về liên kết giữa tài khoản và hộp khóa.

2.3 Khám phá: Một chương mới về ZK và quyền riêng tư trong hệ sinh thái Ethereum

Mặc dù đường đua Ethereum ZK vẫn đang trong giai đoạn phát triển và nhiều ý tưởng và khái niệm đổi mới vẫn đang được hình thành và nghiên cứu, hệ sinh thái Ethereum đã triển khai các hoạt động khám phá thực tế sâu rộng hơn.

(1) Tài trợ từ Quỹ Ethereum

Vào tháng 9 năm nay, Ethereum Foundation đã tài trợ cho hai dự án về bảo vệ quyền riêng tư là IoTeX và ZK-Team. IoTex là ví trừu tượng hóa tài khoản dựa trên bằng chứng không có kiến thức và ZK-Team cam kết cho phép các tổ chức quản lý các thành viên trong nhóm trong khi vẫn duy trì quyền riêng tư cá nhân.

(2) Đầu tư

Vào tháng 10 năm nay, người đồng sáng lập Ethereum Vitalik đã đầu tư vào Nocturne Labs, nhằm mục đích giới thiệu các tài khoản riêng tư cho Ethereum. Người dùng sẽ có một tài khoản “nội bộ” trong Nocturne. Cách nhận/giải ngân tiền từ các tài khoản này là ẩn danh. Thông qua công nghệ ZK, người dùng có thể chứng minh rằng họ có đủ tiền để thanh toán, cầm cố và các giao dịch khác.

(3) Hội họp và hoạt động

ETHDenver được coi là một trong những sự kiện quan trọng nhất liên quan đến công nghệ Ethereum và blockchain trên thế giới. Vào tháng 3 năm nay, ETHDenver đã tổ chức một sự kiện đặc biệt tập trung vào quyền riêng tư. Sự kiện này không chỉ thể hiện mối quan tâm của cộng đồng Ethereum đối với các vấn đề riêng tư mà còn phản ánh sự chú trọng của cộng đồng blockchain toàn cầu trong việc bảo vệ quyền riêng tư. Trong sự kiện đặc biệt này, chín hội nghị theo chủ đề liên quan đến quyền riêng tư đã được tổ chức, bao gồm Quyền riêng tư theo thiết kế và Quyền riêng tư so với bảo mật.

EDCON (Hội nghị cộng đồng Ethereum) là hội nghị thường niên toàn cầu do cộng đồng Ethereum tổ chức, nhằm mục đích thúc đẩy sự phát triển và đổi mới của Ethereum, đồng thời tăng cường kết nối và hợp tác của cộng đồng Ethereum. Tại hội nghị EDCON năm nay vào tháng 5, Vitalik đã đưa ra một tuyên bố quan trọng: “Trong 10 năm tới, ZK-SNARK sẽ quan trọng như blockchain”. Tuyên bố này nhấn mạnh vị trí quan trọng của ZK-SNARK trong xu hướng phát triển của công nghệ blockchain.

(4) Dự án

Hiện tại, một số dự án lớp ứng dụng đã bắt đầu sử dụng công nghệ ZK để cung cấp dịch vụ bảo vệ quyền riêng tư cho người dùng và giao dịch. Các dự án lớp ứng dụng này được gọi là Ứng dụng ZK. Ví dụ: Ứng dụng ZK được triển khai trên Ethereum, unyfy, một sàn giao dịch tài sản riêng tư. Giá của các lệnh giao dịch ở đây được ẩn và tính toàn vẹn của các lệnh có giá ẩn này được xác minh bằng công nghệ ZK. Ngoài unyfy, còn có các Ứng dụng ZK khác trên L2, chẳng hạn như ZigZag và Loopring. Mặc dù các Ứng dụng ZK này triển khai các chức năng bảo vệ quyền riêng tư dựa trên ZK nhưng hiện tại chúng không thể được triển khai trên Ethereum vì EVM không thể chạy trực tiếp các Ứng dụng ZK này.

(5) Nghiên cứu

Hơn nữa, các nhà nghiên cứu đã tiến hành các cuộc thảo luận sôi nổi về công nghệ ZK và các ứng dụng của nó trên nền tảng Nghiên cứu Ethereum. Trong số đó, có một bài báo nghiên cứu của Salus dành riêng cho việc Sử dụng ZK để thúc đẩy việc bảo vệ quyền riêng tư và các hoạt động triển khai khác trong lớp ứng dụng Ethereum. Bài viết này kiểm tra hiệu suất của một số ngôn ngữ ZK khác nhau, Circom, Noir và Halo2, đã được đo và kết quả cho thấy Circom có hiệu suất tốt hơn. Bài viết này cũng đề xuất giải pháp tổng thể tích hợp Circom trong Solidity để triển khai các dự án lớp ứng dụng Ethereum dựa trên ZK. Điều này có ý nghĩa quan trọng đối với quá trình chuyển đổi quyền riêng tư của Ethereum. Nghiên cứu này đã đạt được sức hút đáng kể vào năm 2023, đứng đầu danh sách.

Bài viết nghiên cứu này là nghiên cứu được đọc nhiều nhất năm 2023 về Nghiên cứu Ethereum —- của Salus

3. Thử thách

Mặc dù nhiều dự án lớp ứng dụng Ethereum hiện tại cần khẩn trương giới thiệu các cơ chế bảo vệ quyền riêng tư dựa trên ZK, nhưng quá trình này phải đối mặt với một loạt thách thức.

1. ZK thiếu nhân lực: Việc học công nghệ ZK đòi hỏi nền tảng lý thuyết vững chắc, đặc biệt là trong lĩnh vực mật mã và toán học. Vì việc triển khai công nghệ ZK liên quan đến các công thức phức tạp nên người học cũng cần có khả năng diễn giải công thức tốt. Nhưng vấn đề là có tương đối ít người chuyên tâm học công nghệ ZK.

2.Hạn chế của ngôn ngữ phát triển ZK: Các ngôn ngữ như Rust, Cairo, Halo2, v.v. được sử dụng để phát triển các mạch chứng minh ZK, nhưng chúng thường chỉ áp dụng cho các tình huống cụ thể và không phù hợp cho các dự án lớp ứng dụng. Một số ngôn ngữ này, chẳng hạn như Cairo, vẫn đang trong giai đoạn thử nghiệm và có thể có vấn đề về tính tương thích giữa các phiên bản khác nhau, điều này làm tăng độ khó và độ phức tạp khi áp dụng chúng trong các ứng dụng trong thế giới thực.

3. Khó khăn khi triển khai công nghệ ZK: Giải pháp được Vitalik đề xuất để áp dụng công nghệ ZK để bảo vệ quyền riêng tư của Ethereum có thể gặp phải nhiều vấn đề phức tạp trong quá trình triển khai thực tế, chẳng hạn như cách tránh các giao dịch riêng tư khỏi bị tấn công tổng số dư và chi tiêu gấp đôi các cuộc tấn công. Chờ đợi. Có những khó khăn kỹ thuật nhất định trong việc giải quyết những vấn đề này.

Bảo vệ quyền riêng tư so với tuân thủ:Mặc dù các giao dịch riêng tư có thể bảo vệ danh tính và chi tiết giao dịch của người dùng nhưng chúng cũng có thể che giấu các hoạt động bất hợp pháp, chẳng hạn như rửa tiền. Trong tương lai, vẫn còn phải xác minh xem Ứng dụng ZK trên Ethereum có thể tuân thủ các quy định khi thực hiện bảo vệ quyền riêng tư hay không.

Bất chấp những thách thức, điều kiện tiên quyết để chuyển đổi quyền riêng tư của Ethereum - đảm bảo chuyển tiền bảo vệ quyền riêng tư và đảm bảo rằng tất cả các công cụ khác đang được phát triển (khôi phục xã hội, danh tính, danh tiếng) đều bảo vệ quyền riêng tư - là việc triển khai rộng rãi các Ứng dụng ZK. Như đã đề cập ở trên, nghiên cứu do Salus đưa ra dựa trên công nghệ ZK để thúc đẩy bảo vệ quyền riêng tư và các chức năng khác của lớp ứng dụng Ethereum. Hơn nữa, Salus lần đầu tiên đề xuất một giải pháp phổ quát tích hợp Circom và Solidity và được áp dụng cho các dự án lớp ứng dụng Ethereum. Nó triển khai hệ thống chứng minh ZK ngoài chuỗi dựa trên Circom và triển khai các hợp đồng thông minh cũng như logic xác minh ZK trên Ethereum dựa trên Solidity. Nếu bạn cần hỗ trợ hoặc có bất kỳ câu hỏi nào, vui lòng liên hệ với Salus.

4. Tóm tắt và triển vọng

Vào năm 2023, cộng đồng Ethereum, do Vitalik Buterin lãnh đạo, đã khám phá sâu sắc tiềm năng của công nghệ chứng minh không có kiến thức với mục đích tăng cường chức năng bảo vệ quyền riêng tư của nền tảng. Mặc dù những đề xuất này vẫn đang trong giai đoạn nghiên cứu, nhưng nghiên cứu và bài viết của Vitalik, đặc biệt là về sự cân bằng giữa bảo vệ quyền riêng tư và tuân thủ, đặt nền tảng lý thuyết cho công nghệ không kiến thức để bảo vệ quyền riêng tư của người dùng.

Mặc dù có những thách thức trong việc tích hợp công nghệ chứng minh không có kiến thức vào Ethereum, khi công nghệ này trưởng thành và cộng đồng tiếp tục nỗ lực, người ta hy vọng rằng bằng chứng không có kiến thức sẽ đóng vai trò quan trọng hơn trong hệ sinh thái Ethereum trong tương lai gần. Vì vậy, việc tham gia kịp thời và tích cực tìm hiểu lĩnh vực này, tận dụng những cơ hội sớm sẽ giúp chiếm được vị trí thuận lợi trong lĩnh vực mới nổi này.

Tuyên bố từ chối trách nhiệm:

1. Bài viết này được in lại từ [theblockbeats]. Mọi bản quyền đều thuộc về tác giả gốc [LZ]. Nếu có ý kiến phản đối việc tái bản này, vui lòng liên hệ với nhóm Gate Learn , họ sẽ xử lý kịp thời.
2. Tuyên bố miễn trừ trách nhiệm pháp lý: Các quan điểm và ý kiến trình bày trong bài viết này chỉ là của tác giả và không cấu thành bất kỳ lời khuyên đầu tư nào.
3. Việc dịch bài viết sang các ngôn ngữ khác được thực hiện bởi nhóm Gate Learn. Trừ khi được đề cập, việc sao chép, phân phối hoặc đạo văn các bài viết đã dịch đều bị cấm.