أخبار كبيرة: بحث Lagrange الأساسي حول Dynamic zk-SNARKs (Weijie Wang ، سيتم تقديم @chbpap و @s_shravan و @dipapadopo) في مؤتمر علوم Blockchain (SBC) 2025 في 4 أغسطس. إليك سبب أهميته - بالنسبة لمنظمة الذكاء الاصطناعي والعملات المشفرة ومستقبل الحوسبة التي يمكن التحقق منها: 🧵

2 / القيد الرئيسي ل zk-SNARKs الحالية هو أنها ثابتة. إذا تغيرت بياناتك أو حساباتك - ولو بشكل طفيف - فيجب عليك إعادة إنشاء الدليل بالكامل من البداية. إنه غير فعال ومكلف وغير قابل للتطوير للأنظمة الحية.

3 / تجعل zk-SNARKs الديناميكية البراهين أكثر كفاءة من أي وقت مضى. إنها تسمح لك بتحديث الدليل بشكل تدريجي عندما تتغير البيانات الأساسية. AKA: لا حاجة لإعادة حساب كل شيء من البداية.

4 / لماذا هذا مهم؟ لأن الحوسبة التي يمكن التحقق منها يمكن أن تتوسع الآن مع: - ضبط نموذج الذكاء الاصطناعي - لاعب يتحرك في لعبة مباشرة - نقطة بيانات جديدة تصل إلى أوراكل في الوقت الفعلي البراهين التي تتطور مع النظام الذي تؤمنه.

5 / علاوة على ذلك ، تحافظ zk-SNARKs الديناميكية على نفس ضمانات المعرفة الصفرية والسلامة مثل الأنظمة التقليدية. إنها مبنية على افتراضات قياسية مثل q-DLOG وتستخدم التزامات التشفير التي تتوسع فيه. بمعنى آخر ، فهي آمنة تماما مثل الطرق التقليدية للإثبات (فقط أفضل في إثبات نفسها).

6 / تفتح zk-SNARKs الديناميكية فئة جديدة من حالات الاستخدام في العالم الحقيقي: 🔹 التحقق من نماذج الذكاء الاصطناعي المضبوطة بدقة دون إعادة الإثبات من البداية 🔹 الحفاظ على أوراكل محدثة في الشبكات الحية 🔹 تمكين منطق اللعبة الديناميكي مع البراهين على السلسلة 🔹 تدقيق مجموعات البيانات المتطورة للامتثال

8/ جنبا إلى جنب مع DeepProve - نظام zkML من Lagrange - تتيح zk-SNARKs الديناميكية التحقق في الوقت الفعلي من أنظمة الذكاء الاصطناعي المتطورة. من الدقة إلى المحاذاة ، يمكننا الآن إثبات خصائص الذكاء الاصطناعي أثناء تعلمه.

10 / تابعنا في SBC 2025 في 4 أغسطس 2025 🔗 شاهد الحديث مباشرة هنا: 🎓 اقرأ الورقة: 🔬 بناه فريق البحث في لاغرانج: وانغ وبابامانثو وسرينيفاسان وبابادوبولوس

11 / "Dynamic zk-SNARKs" هي ثاني ورقة ل Lagrange (في ثلاث سنوات) يتم قبولها في SBC 2025 اقرأ السبق الصحفي الكامل حول Dynamic zk-SNARKs - بحث Lagrange الجديد للحوسبة الذكاء الاصطناعي التي يمكن التحقق منها - أدناه: 👇

7 / جنبا إلى جنب مع DeepProve - نظام zkML من Lagrange - تتيح zk-SNARKs الديناميكية التحقق في الوقت الفعلي من أنظمة الذكاء الاصطناعي المتطورة. من الدقة إلى المحاذاة ، يمكننا الآن إثبات خصائص الذكاء الاصطناعي أثناء تعلمه.

8/ تابعنا في SBC 2025 في 4 أغسطس 2025 🔗 شاهد الحديث مباشرة هنا: 🎓 اقرأ الورقة: 🔬 بناه فريق البحث في لاغرانج: وانغ وبابامانثو وسرينيفاسان وبابادوبولوس

9 / "Dynamic zk-SNARKs" هي ثاني ورقة بحثية ل Lagrange (في ثلاث سنوات) يتم قبولها في SBC 2025 اقرأ السبق الصحفي الكامل حول Dynamic zk-SNARKs - بحث Lagrange الجديد للحوسبة الذكاء الاصطناعي التي يمكن التحقق منها - أدناه: 👇

9 / "Dynamic zk-SNARKs" هي ثاني ورقة لاغرانج (في ثلاث سنوات) يتم قبولها في مؤتمر علوم بلوكتشين (SBC) اقرأ السبق الصحفي الكامل حول Dynamic zk-SNARKs - بحث Lagrange الجديد للحوسبة الذكاء الاصطناعي التي يمكن التحقق منها - أدناه: 👇