Gate.io là sàn giao dịch tiền điện tử hàng đầu với hơn 13 triệu người dùng và hơn 1.700 cặp giao dịch. Là một trong những nền tảng giao dịch lâu đời nhất và lớn nhất trên thế giới, Gate.io tuân thủ nghiêm ngặt các quy định của ngành và không tham gia vào bất kỳ hành vi thao túng thị trường nào. Sự cởi mở, minh bạch, bình đẳng và hợp tác luôn là sứ mệnh của chúng tôi. Chúng tôi áp dụng nhiều phương pháp tập trung và phi tập trung để đảm bảo an toàn cho tài sản của người dùng.

Ngay từ tháng 5 năm 2020, Gate là người đầu tiên đề xuất trao đổi bằng chứng dự trữ (PoR) và mời công ty kiểm toán nổi tiếng của Mỹ Armanino LLP kiểm toán tài sản của mình. Đây là một trong những sàn giao dịch sớm nhất trong ngành đề xuất bằng chứng dự trữ. Vào ngày 23 tháng 11 năm 2023, Gate chính thức thông báo rằng họ đã nâng cấp PoR thông qua công nghệ chứng minh không có kiến thức, cho phép người dùng tận hưởng khả năng bảo vệ quyền riêng tư và bảo mật dữ liệu tốt hơn. Nó đã trở thành một trong những sàn giao dịch đầu tiên trong ngành áp dụng PoR bằng chứng không có kiến thức. Bài viết này sẽ hướng dẫn bạn cách sử dụng Bằng chứng dự trữ của Gate để xác minh tính bảo mật cho tiền của bạn trên Gate.io.

Bối cảnh

Bằng chứng dự trữ là gì?

Trong các sàn giao dịch tập trung (CEX), tài sản của mỗi người dùng được ghi lại trong sổ cái cơ sở dữ liệu của nền tảng, khiến người dùng khó xác nhận xem tài sản của họ đã được chuyển hay chưa và liệu sàn giao dịch có đủ tài sản để trang trải số tài sản mà người dùng gửi hay không. Do đó, các sàn giao dịch cần một phương pháp để chứng minh rằng họ có đủ tài sản dự trữ để lấy lại toàn bộ tiền của người dùng, điều này đòi hỏi giá trị tài sản dự trữ của sàn giao dịch phải cao hơn giá trị tài sản mà người dùng gửi. Bằng chứng về tài sản có sẵn công khai này được gọi là Bằng chứng dự trữ. Dữ liệu liên quan đến Bằng chứng dự trữ là tỷ lệ dự trữ, là tỷ lệ tài sản nắm giữ của sàn giao dịch so với tài sản ký gửi của người dùng nhân với 100%. Khi tỷ lệ dự trữ lớn hơn 100%, tài sản của sàn có thể đáp ứng nhu cầu rút tiền thông thường của người dùng. Tỷ lệ dự trữ bắt buộc càng cao thì khả năng chống lại rủi ro thanh khoản càng mạnh.

Tỷ lệ dự trữ thường được chia thành tỷ lệ dự trữ trao đổi và tỷ lệ dự trữ tiền tệ duy nhất. Tỷ lệ dự trữ trao đổi đề cập đến tỷ lệ của tổng tài sản của sàn giao dịch trên tổng số tiền gửi của người dùng nhân với 100%. Tỷ lệ dự trữ tiền tệ duy nhất đề cập đến tỷ lệ giữa số lượng loại tiền cụ thể được giữ trong ví sàn giao dịch với số lượng loại tiền đó được người dùng gửi nhân với 100%.

Để tìm hiểu thêm, vui lòng _nhấp vào Cách zk-SNARK cải thiện Bằng chứng dự trữ của Gate.io._

Bằng chứng không có kiến thức là gì?

Bằng chứng không kiến thức (ZKP) là một phương pháp mã hóa cho phép một bên (được gọi là người chứng minh) chứng minh cho một bên khác (được gọi là người xác minh) rằng một tuyên bố nhất định là đúng mà không tiết lộ bất kỳ thông tin bổ sung nào có thể tiết lộ cơ sở của bằng chứng. Quá trình này không chỉ bảo vệ quyền riêng tư của người chứng minh mà còn đảm bảo rằng người xác minh không thể sao chép quy trình chứng minh hoặc lấy bất kỳ thông tin bổ sung nào từ nó.

Để hiểu công nghệ này, hãy xem xét một ví dụ đơn giản: Người dùng A biết số điện thoại của Người dùng B. Khi Người dùng C hỏi Người dùng A xem họ có biết số điện thoại của Người dùng B hay không, Người dùng A có thể chứng minh rằng họ thực sự sở hữu số điện thoại bằng cách quay số của B. ngay tại chỗ mà không tiết lộ cho Người dùng C. Quá trình này bảo vệ quyền riêng tư của người dùng trong khi vẫn cung cấp câu trả lời và đó là những gì chúng tôi gọi là “bằng chứng không có kiến thức”.

Để tìm hiểu thêm, vui lòng nhấp vào Giải thích chi tiết về Bằng chứng không có kiến thức.

Kết hợp Bằng chứng không có kiến thức với Bằng chứng dự trữ

zk-SNARK là một công nghệ chứng minh không có kiến thức ngắn gọn, không tương tác. Nó thực hiện trước một “thiết lập đáng tin cậy” để tạo Chuỗi tham chiếu chung (CRS), cho phép tất cả người chuẩn bị truy cập trực tiếp vào chuỗi đó. Điều này tương tự như hệ thống tính điểm trong một kỳ thi, trong đó zk-SNARK trực tiếp tải lên các câu trả lời đúng và cho phép thí sinh kiểm tra câu trả lời của họ (bằng cách gửi đáp án của họ đến hệ thống phụ trợ, hệ thống này sẽ cung cấp kết quả cuối cùng về tính chính xác). Nó có hiệu quả cao.

Cây Merkle là một cấu trúc dữ liệu tương tự như một “cây”. Dữ liệu ở lớp thấp nhất được gọi là “nút lá” và dữ liệu ở giữa có thể được gọi là “nút trung gian”. Giá trị của các nút trung gian được tính bằng cách băm giá trị của hai nút con (bất kỳ giá trị đầu vào nào cũng được xử lý theo cách cụ thể để tạo ra một giá trị cụ thể). Các nút trung gian ở bên trái và bên phải sau đó được băm để thu được giá trị đầu ra duy nhất cho nút trung gian cấp cao hơn. Sau khi xử lý ở mỗi cấp độ, sẽ thu được một nút gốc (Root) duy nhất của Cây Merkle.

Gate.io kết hợp công nghệ zk-SNARK với Merkle Tree để đặt tất cả tiền gửi của người dùng vào Merkle Tree. Sau đó, zk-SNARK được sử dụng để chứng minh rằng tất cả số dư trong cây đều không âm (tức là sàn giao dịch không giả mạo bất kỳ tài khoản nào để can thiệp vào đầu ra của Cây Merkle). Cuối cùng, Cây Merkle được tạo và các giá trị băm nút và hàm băm gốc có liên quan sẽ được công khai để người dùng xác minh.

Hướng dẫn vận hành

Giao diện UI Frontend

Nhấp vào liên kết hoặc truy cập trang web Gate.io và cuộn xuống phía dưới. Nhấp vào nút Bằng chứng dự trữ 100% để truy cập trang giao diện Cổng dự trữ.

Thông tin dự trữ cơ bản

Sau khi vào trang giao diện Proof-of-Reserves của Gate.io, người dùng có thể xem trực tiếp thời gian cập nhật mới nhất của khoản dự trữ. Trong ví dụ bên dưới, cuộc kiểm tra gần đây nhất được thực hiện vào ngày 10 tháng 11 năm 2023, sử dụng Markle Tree + zk-SNARK làm phương pháp kiểm tra. Người dùng đã gửi tài sản trị giá khoảng 2,77 tỷ USD và tài sản được giữ trong ví Gate vượt quá số tiền gửi của người dùng là 434 triệu USD, tổng cộng là 3,206 tỷ USD. Tỷ lệ dự trữ chung là 115,69%.

Tỷ lệ dự trữ tiền điện tử duy nhất

Cuộn xuống trang sẽ hiển thị số tiền và tỷ lệ dự trữ cụ thể cho các loại tiền điện tử khác nhau. Lấy loại tiền điện tử đầu tiên, BTC, làm ví dụ, tính đến ngày 8 tháng 12 năm 2023, người dùng đã gửi 13,85K BTC, trong khi ví Gate giữ 17,10K BTC, dẫn đến tỷ lệ dự trữ là 123,52% cho BTC.

Bấm vào biểu tượng trang ở góc dưới bên phải hình ảnh để xem tỷ lệ dự trữ lên tới 112 token trên Cổng. Nhấp vào nút “Xác minh ngay” trong hình ảnh để hiển thị hướng dẫn xác minh. Bằng cách làm theo hướng dẫn, bạn có thể xác minh xem số dư tài khoản của bạn có được đưa vào tính toán hay không, từ đó xác nhận rằng tỷ lệ dự trữ phản ánh kết quả với số tiền của bạn được hạch toán hợp lý.

Các trang hiển thị giao diện người dùng khác

Có một cách khác để kiểm tra trạng thái kiểm tra tài sản của bạn, đó là truy cập trang Tài khoản của tôi và điều hướng đến phần Kiểm tra. Tại đây, bạn có thể xem hồ sơ kiểm toán lịch sử của mình và tình hình dự trữ toàn diện của Gate.

Quá trình xác minh

1. Tải xuống chương trình xác minh

Người dùng có thể tải xuống chương trình xác minh thông qua Github hoặc liên kết tải xuống được cung cấp trên trang dự trữ và đổi tên thành [chính]:

Người dùng cần chọn hệ thống tương ứng của thiết bị của mình để tải xuống.

2. Tải xuống dữ liệu xác minh tài sản

Vào trang Kiểm tra cá nhân, tìm lô cần xác minh và nhấp vào “Tải xuống Merkle Tree” và “Tải xuống cấu hình người dùng” để tải xuống dữ liệu.

Sau khi tải xuống, bạn sẽ có một tệp nén có tên zkmerkle_cex_xxx.tar.gz. Đặt chương trình chính (tệp chương trình xác minh được đề cập trước đó) vào thư mục và đặt tệp user_config.json vào thư mục cấu hình. Khi mọi thứ đã hoàn tất, cấu trúc tệp sẽ như trong sơ đồ sau:

Sau khi hoàn thành bước này, tất cả các bước chuẩn bị cần thiết đã được thực hiện và quá trình xác nhận chính thức có thể bắt đầu.

3. Xác minh tài sản trao đổi

Người dùng có thể nhập trực tiếp [cmd] hoặc nhập lệnh [cd ~/Downloads/zkmerkle_cex_xxx] trong [terminal] để nhập tệp zkmerkle_cex_xxx đã cấu hình trước đó được đề cập ở trên.

Sau đó nhập:

Văn bản thuần túy 
 ./main xác minh cex

Nếu xác minh thành công, nó sẽ xuất ra:

Văn bản thuần túy 
 Tất cả các bằng chứng xác minh đều được thông qua!!!

4. Xác minh tài sản của riêng bạn

Vui lòng nhập lệnh sau để xác minh tài sản của riêng bạn:

Văn bản thuần túy 
 ./main xác minh người dùng

Nếu tài sản của người dùng được tính toán chính xác, dữ liệu tài khoản và số dư sẽ là nút lá của cây Merkle. Do đó, xác minh thành công sẽ được đưa ra.

Văn bản thuần túy 
 hàm băm rời khỏi merkle: 164bc38a71b7a757455d93017242b4960cd1fea6842d8387b60c5780205858ce 
 xác minh vượt qua!!!

Nếu bạn muốn tìm hiểu thêm chi tiết kỹ thuật, bạn có thể nhấp vào liên kết để truy cập Github và xem mã nguồn mở.

Phần kết luận

Kích hoạt zk-SNARK là một bản nâng cấp quan trọng đối với Bằng chứng dự trữ của Gate.io và là một bước quan trọng trong việc bảo vệ an ninh tài sản của người dùng. Với các biện pháp bảo vệ quyền riêng tư và bảo mật vượt trội, nó mang lại cho người dùng sự tự tin hơn và đặt ra tiêu chuẩn mới cho toàn bộ ngành công nghiệp tiền điện tử.