SNARKs hậu lượng tử trở nên minh bạch. Greyhound bởi @zksecurityXYZ cho thấy như thế nào 👇

@zksecurityXYZ Greyhound là một SNARK dựa trên lưới trong suốt. Nó tận dụng các lưới có cấu trúc, cam kết Ajtai và các kỹ thuật tạo chứng minh hiệu quả.

@zksecurityXYZ Đổi mới cốt lõi: thay thế các thiết lập dựa trên log rời rạc hoặc ghép cặp truyền thống bằng các giả định lưới, nhắm đến bảo mật sau lượng tử trong khi vẫn duy trì tính ngắn gọn và khả năng xác minh.

@zksecurityXYZ Khóa nguyên thủy: Cam kết Ajtai. Nó sử dụng độ khó tồi tệ nhất của các bài toán lưới (ví dụ: SIS) để ràng buộc các giá trị đã cam kết. Greyhound triển khai nó trong hệ thống cam kết đa thức và chứng minh kiến thức.

Giao thức của Greyhound hoạt động trên các lưới số nguyên. Nó tránh thiết lập tin cậy thông qua các tham số được chọn công khai. Bảo mật dựa trên độ khó của các bài toán lưới trước các đối thủ lượng tử, thay vì các giả định về thứ tự nhóm.

@zksecurityXYZ Hiệu suất: các tác giả báo cáo một "cấu trúc hiệu quả" cho cả người chứng minh và người xác minh. Mặc dù vẫn lớn hơn các SNARK dựa trên ghép cặp, Greyhound mở rộng với các phép toán mô-đun trên các vector/matrix—dễ dàng hơn cho phần cứng tối ưu hóa lưới.

@zksecurityXYZ Hiệu suất của Verifier: hằng số hoặc logarithmic theo kích thước mạch, tùy thuộc vào tham số. Nó dựa vào các quy trình lấy mẫu và kiểm tra đặc trưng của các cam kết lattice—được thiết kế để giảm tính tương tác và chi phí của người chứng.

@zksecurityXYZ Khía cạnh tích hợp: Greyhound có thể thích ứng vào các chuỗi công cụ SNARK hiện có thông qua việc thay thế mô-đun của sơ đồ cam kết. Nó không yêu cầu thiết kế lại các trừu tượng mạch, làm cho nó thực tiễn cho việc chuyển đổi sau lượng tử.

@zksecurityXYZ Từ góc độ mật mã, nó chứng minh tính khả thi: thiết lập minh bạch, giả định lưới, và cấu trúc chứng minh hiệu quả. Các câu hỏi chính vẫn xoay quanh kích thước chứng minh cụ thể, tối ưu hóa tham số, và hiệu suất triển khai trong thực tế.

@zksecurityXYZ Tóm lại, Greyhound là một SNARK dựa trên lưới được xây dựng trên các cam kết Ajtai. Nó đạt được bảo mật sau lượng tử mà không cần thiết lập tin cậy, nhằm mục tiêu kích thước chứng thực thực tiễn và hiệu quả xác minh. Nó cung cấp một lộ trình để tích hợp mật mã kháng lượng tử vào các hệ thống hiện có.

@zksecurityXYZ Đọc bài viết trên blog 👇

@zksecurityXYZ Những điều mới nhất và tuyệt vời nhất trong ZK, ở đây, mỗi tháng👇