Đột Phá Zero-Knowledge Khiến Các Cuộc Tấn Công Vào Bridge Trở Nên ‘Không Thể Thực Hiện’

3 giờ trước đây
7 phút đọc
2 lượt xem

Giới thiệu về công nghệ mã hóa zero-knowledge

Các nhà nghiên cứu tại Americanfortress đã giới thiệu một khung công nghệ mã hóa zero-knowledge, được thiết kế để chứng minh mối quan hệ sở hữu mà không tiết lộ các cụm từ khôi phục riêng tư hoặc lịch sử giao dịch công khai. Michal Pospieszalski cho biết công nghệ này khiến việc tấn công bridge trở nên không khả thi về mặt kinh tế, vì kẻ tấn công sẽ phải cam kết một số tiền tương đương.

Giải quyết vấn đề trong blockchain

Nhóm nghiên cứu tại Americanfortress đã công bố một kỹ thuật mã hóa nhằm giải quyết một trong những vấn đề dai dẳng nhất của blockchain: làm thế nào để chứng minh rằng nhiều địa chỉ tiền điện tử, khóa danh tính hoặc huy hiệu tuân thủ thuộc về cùng một ví mà không tiết lộ các cụm từ hạt giống riêng tư hoặc phơi bày lịch sử tài chính ra công chúng. Đột phá này, được chi tiết trong một bài báo nghiên cứu phát hành vào ngày 24 tháng 9, mở rộng khái niệm mã hóa zero-knowledge (ZK).

Trong khi các công cụ ZK hiện có có thể chứng minh rằng một địa chỉ duy nhất được tạo ra hợp pháp từ một ví thực, tài chính thực tế thường yêu cầu phải cho thấy mối quan hệ giữa nhiều khóa. Đến nay, việc chứng minh những kết nối này thường đồng nghĩa với việc phải tiết lộ các cụm từ khôi phục bí mật hoặc phơi bày mọi địa chỉ trong ví.

Ba tùy chọn tiết lộ linh hoạt

Để giải quyết vấn đề này, các nhà nghiên cứu Vincenzo Botta, Michal Pospieszalski, Emanuele Ragnoli và Justus Ranvier đã phát triển ba tùy chọn tiết lộ linh hoạt, cho phép người dùng kiểm soát mức độ thông tin họ tiết lộ.

Khi được hỏi về cách mà khung ZK-POSP thay đổi bối cảnh cho những kẻ tấn công dựa vào việc chiếm đoạt địa chỉ hoặc giả mạo, Giám đốc điều hành Americanfortress Michal Pospieszalski nhấn mạnh tác động của giao thức này đối với tài chính phi tập trung (DeFi). “Khi ZK-POSP được tích hợp vào một giao thức DeFi, mọi giao dịch phải trải qua một kiểm tra bảo mật bổ sung trước khi được xử lý,” Pospieszalski cho biết.

“Bất kỳ bên nào khởi xướng giao dịch phải chứng minh rằng nguồn tiền và địa chỉ đích thuộc về cùng một thực thể. Điều này khiến việc đánh cắp từ một bridge chuỗi chéo trở nên khó khăn hơn đáng kể. Để vượt qua bước xác minh, một kẻ tấn công sẽ cần phải cam kết một số vốn tương đương của chính họ và khởi xướng một giao dịch hợp pháp. Tại thời điểm đó, việc khai thác bridge trở nên không khả thi về mặt kinh tế.”

Trải nghiệm người dùng và bảo mật

Mặc dù có công nghệ mã hóa phức tạp hoạt động bên trong, Pospieszalski lưu ý rằng trải nghiệm người dùng hàng ngày sẽ không bị gián đoạn. “Chúng tôi đang tích hợp bộ công cụ phát triển phần mềm (SDK) của mình vào MetaMask, tự động tạo ra các chứng minh cần thiết,” Pospieszalski giải thích. “Người dùng sẽ thấy một thông báo trạng thái trong giao diện cho biết rằng một chứng minh đang được tạo ra. Quá trình này mất khoảng ba giây, vì vậy chúng tôi không mong nó tạo ra sự cản trở.”

Ông cũng cho biết một oracle bên DeFi sẽ xác minh chứng minh trước khi hoàn tất giao dịch. Nếu việc xác minh thất bại, tiền sẽ tự động trở lại địa chỉ nguồn, cung cấp cho người dùng một bước bảo mật bổ sung rõ ràng mà không làm tăng độ phức tạp.

Ứng dụng trong tương lai

Khung này cũng giải quyết các rào cản tuân thủ, chẳng hạn như tạo chứng minh nguồn gốc thanh toán cho các kiểm toán viên mà không rò rỉ siêu dữ liệu hoặc cho phép tái cấu trúc đồ thị giao dịch ngoài chuỗi. “Để chứng minh hoạt động ví cho một bên thứ ba, người dùng tạo ra một chứng minh zero-knowledge gắn liền cụ thể với giao dịch trên chuỗi cá nhân,” Pospieszalski nói với Bitcoin.com News.

“Ví dụ, nếu Bob cần chứng minh rằng anh ta đã nhận được tiền từ Alice từ một địa chỉ chỉ định, chứng minh cho phép người xác minh xác thực địa chỉ chính xác đó trên chuỗi. Trong khi chứng minh xác nhận địa chỉ cụ thể liên quan đến bên đối tác duy nhất đó, nó cũng chứng minh quyền sở hữu của người gửi mà không tiết lộ lịch sử ví không liên quan.”

Bởi vì chỉ dữ liệu giao dịch cụ thể đã có trên sổ cái công khai được tiết lộ, các kiểm toán viên bên ngoài không thể tái cấu trúc các đồ thị giao dịch ngoài chuỗi rộng hơn.

Kết luận

Ngoài các cuộc kiểm toán và các bridge DeFi, nhóm nghiên cứu đã phác thảo một số ứng dụng ngay lập tức cho công nghệ này trong các tương tác tiền điện tử hàng ngày, bao gồm sổ địa chỉ để xác minh rằng một địa chỉ thanh toán mới thuộc về một người nhận đã được xác minh trước khi tiền được gửi. Công nghệ này cũng cho phép các sàn giao dịch tiền điện tử xác minh tình trạng chống rửa tiền (AML) trên các khoản tiền gửi đến, trong khi vẫn bảo vệ sự ẩn danh của người dùng.

Nếu người dùng thay đổi khóa bảo mật của họ sau một vụ vi phạm, hệ thống chứng minh tính liên tục, xác minh rằng các khóa mới kế thừa lịch sử của các khóa cũ mà không làm giảm độ an toàn. Hơn nữa, các chứng minh được thiết kế để hoạt động song song với các tiêu chuẩn mã hóa sau lượng tử, đảm bảo an ninh lâu dài trước các mối đe dọa từ máy tính lượng tử trong tương lai.

Bằng cách cho phép kiểm soát chính xác về quyền riêng tư và xác minh, khung này nhằm thu hẹp khoảng cách giữa các yêu cầu quy định và quyền riêng tư tài chính cá nhân trên các blockchain công khai.