تفتقر ZK / SNARKs القائمة على الشبكة إلى مجموعة نماذج أولية صارمة. يهدف Lattirost إلى سد هذه الفجوة. إنه إطار عمل معياري ل Rust لقياس أنظمة الحجج عبر SIS و MLWE. فكر في arkworks للمشابك ، بدون اختصارات. دعنا نفك هذا.
lattirust هي مكتبة Rust للنماذج الأولية وقياس مخططات ZK / SNARK القائمة على الشبكة. إنه يحتل مكانة مشابهة لأعمال السفن ، ولكنه يستهدف البدائيات الشبكية. فكر في الأمر على أنه لاتيجو ، ولكنه موجه نحو أنظمة الحجة.
المكتبة معيارية ، وتغطي: - خط الطيب الحسابي: حلقات متعددة الحدود ، الجبر الخطي ، مساحات التحدي - مقدر شبكي: تقدير أمني ملموس - العلاقات: تجريدات لعلاقات الحجة - لابرادور ، لوفا: تطبيقات المخططات الحديثة
يعتمد تقدير الأمان حاليا على مقدر الشبكة وبلورات PQ. تتضمن الخطط المستقبلية مقدر Rust الأصلي في وقت التجميع محسنا لافتراضات SIS ، مما يعالج الفجوة في الأدوات الخاصة بالصلابة الخاصة بالحجة.
ينفذ لابرادور مخطط لابرادور ، الذي يركز على الحجج الصديقة للشبكة. تضيف Lova تقنيات قائمة على الطي مستوحاة من بروتوكولات Lova ZK ، مما يشير إلى الاستكشاف المستمر للإيجاز والكفاءة في ظل افتراضات شبكية.
يتضمن العمل المستقبلي حسابا متعدد الحدود معلما (يدعم مجالات غير NTT أو NTT الجزئية) ورفع المعامل ل q ≡ 5 mod 8. تشير خارطة الطريق إلى تحسين أعمق لسياقات التشفير الحسابية الثقيلة.
هناك تكامل مع nimue وتوافق جزئي مع arkworks ، مما يشير إلى نية لقابلية التشغيل البيني للنظام البيئي على نطاق أوسع. والجدير بالذكر أن شعرية Nethermind تم بناؤها على شوكة مبكرة من lattirust.
يعمل الفريق بنشاط على إثباتات ZK لمخططات تشفير MLWE و RLWE (KLSS23 و Libert24) وعمليات FHE باستمرار في Jasmin ، مستهدفة حالات الاستخدام عالية الضمان مع التحقق الرسمي من خلال hacspec و Jasmin و EasyCrypt و Lean.
بشكل عام ، تضع lattirust نفسها كطبقة أساسية شاملة لأنظمة ZK عالية الضمان والقائمة على الشبكة. تلبي الأدوات والهندسة المعمارية التصميم التجريبي وإنشاء ملموسات لأنظمة الإثبات القائمة على الشبكة.
الريبو:
‏‎5.26‏K