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 để tạo mẫu và điểm chuẩn các sơ đồ ZK / SNARK dựa trên mạng tinh thể. Nó chiếm một thị trường ngách tương tự như arkworks, nhưng nhắm mục tiêu vào các nguyên thủy mạng tinh thể. Hãy nghĩ về nó như lattigo, nhưng hướng đến các hệ thống lập luận.

Thư viện là mô-đun, bao gồm: - lattirust-arithmetic: vòng đa thức, đại số tuyến tính, không gian thách thức - lattice-estimator: ước tính an ninh cụ thể - Relations: Trừu tượng cho quan hệ đối số - Labrador, Lova: triển khai các kế hoạch gần đây

Ước tính bảo mật hiện dựa trên lattice-estimator và PQ-Crystals. Các kế hoạch trong tương lai bao gồm một công cụ ước tính gốc Rust thời gian biên dịch được tối ưu hóa cho các giả định SIS, giải quyết khoảng trống trong công cụ cho độ cứng cụ thể của đối số.

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ó 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 cho khả năng tương tác hệ sinh thái rộng lớn hơn. Đáng chú ý, lưới của Nethermind được xây dựng trên một ngã ba ban đầu 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.

Nhìn chung, lattirust đang định vị mình là một lớp cơ sở toàn diện cho các hệ thống ZK dựa trên mạng lưới, đảm bảo cao. Dụng cụ và kiến trúc phục vụ cho thiết kế thử nghiệm và thực hiện bê tông của các hệ thống chứng minh dựa trên mạng lưới.

Repo: