C-D25-MULTIMOD

Nhất quán đa-modulus D25 PROVED-INTERNAL: các modulus hoạt động giữ RIÊNG, mỗi cái mang V_i mod q, và chỉ áp tương thích chéo-modulus (V_i mod gcd(q1,q2) phải khớp), nên trạng thái biểu diễn MỘT bộ tốc độ chung mà không bao giờ materialize bội chung nhỏ nhất của các denominator

Nói dễ hiểu

Mỗi đồng hồ giữ là một modulus nhỏ riêng, chỉ nối qua thừa số chung, nên các tốc độ giữ là một bộ chung và tìm kiếm không sụp thành một modulus khổng lồ.

Phát biểu chính xác

Nhất quán đa-modulus D25 PROVED-INTERNAL: các modulus hoạt động giữ RIÊNG, mỗi cái mang V_i mod q, và chỉ áp tương thích chéo-modulus (V_i mod gcd(q1,q2) phải khớp), nên trạng thái biểu diễn MỘT bộ tốc độ chung mà không bao giờ materialize bội chung nhỏ nhất của các denominator