ZK/SNARKs dựa trên lưới thiếu một bộ công cụ nguyên mẫu nghiêm ngặt. lattirust nhằm lấp đầy khoảng trống này. Đây là một khung Rust mô-đun để đánh giá các hệ thống lập luận trên SIS và MLWE. Hãy nghĩ đến arkworks cho các lưới, không có lối tắt nào. Hãy cùng phân tích điều này.

lattirust là một thư viện Rust dành cho việc nguyên mẫu và đánh giá hiệu suất các sơ đồ ZK/SNARK dựa trên lưới. Nó chiếm một vị trí tương tự như arkworks, nhưng nhắm đến các nguyên tắc lưới. Hãy nghĩ về nó như lattigo, nhưng hướng đến các hệ thống lập luận.

Thư viện có tính mô-đun, bao gồm: - lattirust-arithmetic: vành đa thức, đại số tuyến tính, không gian thách thức - lattice-estimator: ước lượng an ninh cụ thể - relations: trừu tượng cho các quan hệ lập luận - labrador, lova: triển khai các sơ đồ gần đây

Đánh giá bảo mật hiện tại dựa trên ước lượng lưới và PQ-Crystals. Kế hoạch trong tương lai bao gồm một ước lượng viên gốc Rust tối ưu hóa cho các giả định SIS, nhằm giải quyết khoảng trống trong công cụ cho độ khó cụ thể của lập luận.

labrador triển khai kế hoạch LaBRADOR, tập trung vào các lập luận thân thiện với lưới. lova thêm các kỹ thuật dựa trên gập lại được lấy cảm hứng từ các giao thức Lova ZK, cho thấy sự khám phá liên tục về tính ngắn gọn và hiệu quả dưới các giả định về lưới.

Công việc trong tương lai bao gồm phép toán đa thức tham số (hỗ trợ các miền không phải NTT hoặc NTT một phần) và nâng cao modulus cho q ≡ 5 mod 8. Lộ trình gợi ý về việc tối ưu hóa sâu hơn cho các ngữ cảnh mật mã nặng về phép toán.

Có sự tích hợp với nimue và khả năng tương thích một phần với arkworks, cho thấy ý định hướng tới khả năng tương tác rộng rãi hơn trong hệ sinh thái. Đáng chú ý, latticefold của Nethermind được xây dựng trên một nhánh sớm của lattirust.

Nhóm đang tích cực làm việc trên các chứng minh ZK cho các sơ đồ mã hóa MLWE và RLWE (KLSS23, Libert24) và các phép toán FHE thời gian không đổi trong Jasmin, nhắm đến các trường hợp sử dụng có độ tin cậy cao với xác minh chính thức thông qua hacspec, Jasmin, EasyCrypt và Lean.

Tổng thể, lattirust đang định vị mình như một lớp nền toàn diện cho các hệ thống ZK dựa trên lưới với độ tin cậy cao. Các công cụ và kiến trúc phục vụ cho thiết kế thử nghiệm và hiện thực hóa cụ thể các hệ thống chứng minh dựa trên lưới.

Kho lưu trữ: