Chúng tôi rất vui mừng được chia sẻ công trình mới nhất của mình, Anonymous PGC , đã được EUROCRYPT 2026 chấp nhận.
Bản in giấy (ePrint): https://eprint.iacr.org/2025/884
Bối cảnh & Động lực
Năm 2019, nhóm chúng tôi đã đề xuất PGC (ESORICS 2020), giới thiệu Twisted ElGamal để thực hiện các giao dịch chuyển tiền bảo mật. Công việc này được tiến hành đồng thời với Zether và thiết kế cốt lõi của nó sau đó đã được Solana áp dụng cho phần mở rộng token ZK của họ.
Tuy nhiên, các giải pháp bảo mật dựa trên tài khoản hiện có như Anonymous Zether (IEEE S&P 2021) vẫn phải đối mặt với những trở ngại quan trọng:
Mô hình bảo mật yếu: Dễ bị tấn công bằng khóa giả mạo do tái sử dụng tính ngẫu nhiên.
Tính ẩn danh hạn chế: Các ràng buộc bình đẳng nghiêm ngặt đối với chỉ số người tham gia.
Thiếu hỗ trợ đa bộ thu: Khó khăn trong việc hỗ trợ hiệu quả t ≥ 2 bộ thu.
Anonymous PGC giải quyết những thách thức này bằng cách giới thiệu một khung mới và các phần tử cơ bản ZK mới.
Những đóng góp chính
Giải quyết vấn đề mở về tổng quát hóa GK: Chúng tôi đã tổng quát hóa bằng chứng Groth-Kohlweiss (GK) 1 1 -out-of- n n (EUROCRYPT 2015) thành trường hợp k k -out-of- n n .
- Tương thích với các thiết bị chịu được tầm bắn xa (RPF): Thiết bị này "kết nối" liền mạch với các thiết bị chịu được tầm bắn xa có sẵn trên thị trường (ví dụ: Bulletproofs), giải quyết một lỗ hổng quan trọng trong các nghiên cứu trước đây.
Bằng chứng hiệu quả cho k k -ngoài- n n không đồng nhất: Chúng tôi đã mở rộng bằng chứng Attema-Cramer-Fehr (ACF) (CRYPTO 2021) để hỗ trợ các phép đồng cấu nhóm khác nhau (DGH) .
Điều này cho phép chứng minh các tuyên bố trên nhiều khóa công khai khác nhau mà không cần sử dụng các PoK tùy chỉnh.
Chúng tôi đã giảm độ phức tạp từ O(n(nk)) O ( n ( n − k ) ) xuống O(n) O ( n ) trong khi vẫn duy trì kích thước chứng minh logarit.
Cải thiện hiệu suất: So với Zether ẩn danh (với n= 64 và t = 8 ) :
Tốc độ tạo giao dịch nhanh hơn 2,4 lần .
Tốc độ xác minh nhanh hơn 5,7 lần .
Giảm kích thước giao dịch xuống 2,2 lần .
Tích hợp với Ethereum
Trong quá trình cộng đồng tìm hiểu về Privacy Pools và Stealth Addresses , hiệu quả của các bằng chứng k - trên - n là vô cùng quan trọng. Anonymous PGC cung cấp một "điểm tối ưu" bằng cách hoạt động trên chính tài khoản và hiệu quả hơn đáng kể so với các giải pháp thay thế dựa trên mạch hoặc FHE.
Chúng tôi hiện đang hoàn thiện quá trình triển khai và đang tìm kiếm các khoản tài trợ nghiên cứu hoặc vai trò cố vấn để hỗ trợ việc tích hợp kỹ thuật vào hệ sinh thái Ethereum.
Mọi phản hồi đều được đánh giá cao!
