ما هو سبب ظهور الابتكارات الخالدة في براهين المعرفة الصفرية؟

المؤلف: LambdaClass; الترجمة: mutourend; Yiping, IOSG Ventures

الجزء الأول من الرؤية

ما هو سبب ظهور الابتكارات العريقة في براهين المعرفة الصفرية؟

النص الأصلي من https://blog.lambdaclass.com/our-highly-subjective-view-on-the-history -of-zero-knowledge-proofs/

1. مقدمة

تُعد براهين المعرفة الصفرية والموجزة وغير التفاعلية (zk-SNARKs) من أساسيات التشفير القوية التي تسمح للمُثبِّت بإقناع المتحقق بصحة العبارة دون الكشف عن أي معلومات بخلاف البيان. حظيت zk-SNARKs باهتمام واسع النطاق نظرًا لتطبيقاتها في الحساب الخاص الذي يمكن التحقق منه، وإثبات صحة تنفيذ برامج الكمبيوتر، وامتدادات blockchain. ونحن نعتقد أن zk-SNARKs، كما وصفناها في مقالتنا، سيكون لها تأثير كبير على تشكيل العالم. تغطي zk-SNARKs أنواعًا مختلفة من أنظمة الإثبات، باستخدام مخططات التزام متعددة الحدود المختلفة، أو المخططات الحسابية، أو البراهين التفاعلية أو البراهين الاحتمالية القابلة للاختبار. لكن هذه الأفكار والمفاهيم الأساسية تعود إلى منتصف الثمانينات. لقد تسارع تطوير zk-SNARKs بشكل ملحوظ منذ إطلاق Bitcoin و Ethereum نظرًا لقدرتها على التوسع من خلال استخدام إثباتات المعرفة الصفرية (غالبًا ما يشار إليها بإثباتات الصلاحية لحالة الاستخدام المحددة هذه). تلعب zk-SNARKs دورًا حيويًا في قابلية التوسع في blockchain. وكما يقول بن ساسون، فقد شهدت السنوات الأخيرة انفجارًا كمبريًا لإثباتات التشفير. ولكل نظام إثبات مزاياه وعيوبه، وقد تم تصميمه مع وضع مقايضات محددة في الاعتبار. يستمر التقدم في الأجهزة والخوارزميات والبراهين الجديدة والأدوات في تحسين الأداء ويؤدي إلى إنشاء أنظمة جديدة. العديد من هذه الأنظمة قيد الاستخدام بالفعل ونحن نواصل تجاوز الحدود. هل سيكون لدينا نظام إثبات عالمي يصلح لجميع التطبيقات، أم سيكون هناك عدة أنظمة تناسب الاحتياجات المختلفة؟ نعتقد أنه من غير المرجح أن يهيمن نظام إثبات واحد على جميع الأنظمة الأخرى، لأسباب منها:

1) تنوع التطبيقات.

2) أنواع القيود المختلفة (فيما يتعلق بالذاكرة ومدة التحقق ومدة الإثبات).

3) الحاجة إلى المتانة (إذا تم كسر أحد أنظمة الإثبات، فهناك أنظمة إثبات أخرى).

حتى لو تغيرت أنظمة الإثبات بشكل كبير، إلا أنها توفر جميعًا ميزة مهمة: إمكانية التحقق من البراهين بسرعة. إن وجود طبقة تتحقق من صحة البراهين ويمكنها التكيف بسهولة مع أنظمة الإثبات الجديدة يحل الصعوبات المرتبطة بتغيير الطبقات الأساسية مثل Ethereum. ستوضح هذه المقالة الخصائص المختلفة لـ SNARKs:

1) افتراضات التشفير: دالة التجزئة المقاومة للتصادم، ومشكلة اللوغاريتم المنفصلة على المنحنى الإهليلجي، ومعرفة الأس.

2) الإعدادات الشفافة مقابل الإعدادات الموثوقة.

3) طول الإثبات: خطي مقابل خطي فائق.

4) زمن التحقق: الزمن الثابت، اللوغاريتمي، الخط الفرعي، الخطي.

5) حجم الإثبات.

6) سهولة التكرار.

7) الحل الحسابي.

8) كثيرة الحدود أحادية المتغير مقابل متعددة الحدود متعددة المتغيرات.

سوف تستكشف هذه المقالة أصول SNARKs وبعض اللبنات الأساسية وصعود (وسقوط) أنظمة الإثبات المختلفة. ليس المقصود من هذه المقالة تقديم تحليل شامل لأنظمة الإثبات. وبدلاً من ذلك، ركز فقط على أولئك الذين لهم تأثير علينا. وبطبيعة الحال، لم تكن هذه التطورات ممكنة إلا من خلال العمل والأفكار العظيمة للرواد في هذا المجال.

2. المعرفة الأساسية

إثبات المعرفة الصفرية يفعل ذلك غير طازج. تم تطوير التعاريف والأسس والنظريات المهمة وحتى البروتوكولات المهمة بدءًا من منتصف الثمانينيات. تم اقتراح بعض الأفكار والبروتوكولات الرئيسية المستخدمة لبناء SNARKs الحديثة في التسعينيات (بروتوكول التحقق الجمعي)، حتى قبل ظهور Bitcoin (GKR في عام 2007). تتعلق المشاكل الرئيسية في استخدامه بنقص حالات الاستخدام القوية (لم يتم تطوير الإنترنت في التسعينيات) وقدرة الحوسبة المطلوبة.

1) إثبات المعرفة الصفرية: الأصول (1985/1989).

ظهر مجال إثبات المعرفة الصفرية في الأدبيات الأكاديمية من خلال ورقة بعنوان "التعقيد المعرفي لأنظمة البرهان التفاعلية" بقلم جولدفاسر وميكالي وراكوف. لمناقشة الأصول، يمكنك مشاهدة فيديو ZKP MOOC Lecture 1 لشهر يناير 2023: مقدمة وتاريخ ZKP. يقدم هذا البحث مفاهيم الاكتمال والموثوقية والمعرفة الصفرية، ويوفر بناء الثبات التربيعي وعدم الثبات التربيعي.

2) بروتوكول Sumcheck (1992).

تم اقتراح بروتوكول التحقق الجمعي من قبل لوند وفورتناو وكارلوف ونيسان في بحثهم لعام 1992 حول الطرق الجبرية لأنظمة البرهان التفاعلية. إنها واحدة من أهم اللبنات الأساسية للبراهين التفاعلية المختصرة. فهو يساعدنا على تقليل متطلبات جمع تقييمات متعددة الحدود متعددة المتغيرات في تقييم واحد لنقاط مختارة عشوائيًا.

3) جولدفاسر كالاي روثبلوم (GKR) (2007).

بروتوكول GKR (راجع مقالة تفويض الحساب: البراهين التفاعلية لـ Muggles) هو بروتوكول تفاعلي يعمل فيه المُثبِّت خطيًا وفقًا لعدد البوابات في الدائرة، والمدقق يعمل هذا الأخير بشكل تحت خطي حسب حجم الدائرة. في البروتوكول، يتوصل المُثبت والمتحقق إلى اتفاق بشأن دائرة تشغيل المروحة في اثنين من المجال المحدود بعمق d dd، حيث تتوافق الطبقة d dd مع طبقة الإدخال والطبقة 0 00 تتوافق مع طبقة الإخراج. يبدأ البروتوكول ببيان حول مخرجات الدائرة، والذي يتم اختصاره إلى بيان حول قيمة الطبقة السابقة. وباستخدام التكرار، يمكن تحويل ذلك إلى إعلان لمدخلات الدائرة، والذي يمكن التحقق منه بسهولة. يتم تنفيذ هذه التخفيضات من خلال بروتوكول فحص المبلغ.

4) مخطط الالتزام متعدد الحدود KZG (2010).

قدمت كيت وزافيروتشا وغولدبرغ مخطط الالتزام متعدد الحدود باستخدام مجموعات الاقتران الثنائية في الالتزامات ذات الحجم الثابت لكثيرات الحدود وتطبيقاتها في عام 2010. يتكون الالتزام من عنصر مجموعة واحد، ويفتح الملتزم بشكل فعال التزامًا لأي تقييم صحيح لكثيرة الحدود. بالإضافة إلى ذلك، بفضل تقنية التجميع، يمكن فتح تقييمات متعددة. يوفر التزام KZG إحدى لبنات البناء الأساسية للعديد من SNARKs الفعالة، مثل Pinocchio وGroth16 وPlonk. وهو أيضًا جوهر EIP-4844. لفهم تقنية التجميع بشكل بديهي، راجع جسر Mina إلى Ethereum ZK.

3. SNARKs العملية باستخدام المنحنيات الإهليلجية

SNARKs ظهر البناء العملي الأول في عام 2013. تتطلب هذه الإنشاءات خطوات معالجة مسبقة لإنشاء البراهين ومفاتيح التحقق وهي خاصة بالبرنامج/الدائرة. يمكن أن تكون هذه المفاتيح كبيرة جدًا وتعتمد على معاملات سرية غير معروفة لجميع الأطراف، وإلا فقد يتم تزوير الأدلة. يتطلب تحويل الكود إلى كود يمكن إثباته تجميع الكود في نظام من القيود متعددة الحدود. في البداية، كان لا بد من القيام بذلك يدويًا، الأمر الذي كان يستغرق وقتًا طويلاً وعرضة للأخطاء. يحاول التقدم في هذا المجال القضاء على بعض المشكلات الرئيسية:

1) وجود مُثبتين أكثر كفاءة.

2) تقليل كمية المعالجة المسبقة.

3) لديك إعدادات عامة وليست خاصة بالدائرة.

4) تجنب استخدام الإعدادات الموثوقة.

5) تطوير طرق لوصف الدوائر باستخدام لغات عالية المستوى بدلاً من كتابة القيود متعددة الحدود يدويًا.

في الوقت الحالي، حلول SNARK العملية باستخدام المنحنيات الإهليلجية هي:

1) بينوكيو (2013)

2) Groth 16 (2016)

3) الرصاص وIPA (2016 )

4) سونيك ومارلين وبلونك (2019)

5) عمليات البحث (2018) /2020)

6) Spartan (2019)

7) HyperPlonk (2022) < /p>

8) مخططات قابلة للطي (2008/2021)

3.1 بينوكيو (2013) )

بينوكيو (انظر الورقة بينوكيو: حساب عملي تقريبًا يمكن التحقق منه) هو أول zk-SNARK عملي وقابل للاستخدام. يعتمد SNARK على البرامج الحسابية التربيعية (QAP). حجم الدليل هو في البداية 288 بايت. توفر سلسلة أدوات بينوكيو مترجمًا من كود C إلى الدوائر الحسابية ومزيدًا من الترجمة إلى QAP. يتطلب البروتوكول من المدقق إنشاء مفاتيح خاصة بالدائرة. يستخدم أزواج المنحنى الإهليلجي للتحقق من المعادلات. تكون الخطوط المقاربة لتوليد الإثبات وإعداد المفتاح خطية مقاربة مع حجم الحساب، وطول التحقق خطي مع حجم المدخلات والمخرجات العامة.

3.2 جروث 16 (2016)

غروث 2016 تقدم الورقة حول حجم الوسيطات غير التفاعلية القائمة على الاقتران حجة معرفية جديدة تعمل على تحسين أداء المشكلات التي وصفها R1CS. يحتوي على الحد الأدنى من حجم الإثبات (ثلاثة عناصر مجموعة فقط) والتحقق السريع الذي يتضمن ثلاثة أزواج. ويتضمن أيضًا خطوة المعالجة المسبقة للحصول على سلسلة مراجع منظمة. العيب الرئيسي هو أن كل برنامج يتم اعتماده يتطلب إعدادًا موثوقًا به مختلفًا، وهو أمر غير مريح. تم استخدام Groth16 في ZCash. لمزيد من التفاصيل، يرجى أيضًا الرجوع إلى المدونة نظرة عامة على نظام إثبات Groth 16.

3.3 الرصاص وIPA (2016)

KZG إحدى نقاط الضعف في أجهزة الكمبيوتر هي أنها تتطلب إعدادًا موثوقًا به. في تقرير 2016 حول وسيطات المعرفة الصفرية الفعالة للدوائر الحسابية في ورقة إعداد السجل المنفصل التي أعدها Bootle وآخرون، تم تقديم نظام وسيط فعال للمعرفة الصفرية لفتحات التزام بيدرسن التي تلبي علاقة المنتج الداخلية. تحتوي أنظمة إثبات المنتج الداخلية على مثبت خطي، مع اتصال وتفاعل لوغاريتمي، ولكن مع التحقق من المدة الخطية. كما أنها طورت مخطط التزام متعدد الحدود الذي لا يتطلب إعدادًا موثوقًا به. يتبنى كل من Halo 2 وKimchi فكرة استخدام IPA PCS.

3.4 سونيك ومارلين وبلونك (2019)

يقوم Sonic وPlunk وMarlin بحل مشكلة إعدادات الثقة لكل برنامج في Groth16 من خلال تقديم سلسلة مرجعية منظمة شائعة وقابلة للتحديث. يوفر Marlin نظام إثبات يعتمد على R1CS، وهو جوهر Aleo.

قدم بلونك مخططًا حسابيًا جديدًا (سمي لاحقًا بلونكيش) واستخدم فحص المنتج الكبير لقيود النسخ. كما يتيح بلونكيش إدخال أبواب متخصصة لعمليات معينة، ما يسمى بالأبواب المخصصة. تحتوي العديد من المشاريع على إصدارات مخصصة من Plonk، بما في ذلك Aztec وZK-Sync وPolygon ZKEVM وMina’s Kimchi وPlonky2 وHalo 2 وScroll وغيرها. شاهد المدونة كل ما تريد معرفته عن بلونك.

3.5 عمليات البحث (2018/2020)

جابيزون و قدم ويليامسون عمليات البحث عن البيانات في عام 2020، باستخدام عمليات فحص المنتج الكبرى لإثبات وجود قيمة في جدول القيم المحسوبة مسبقًا. على الرغم من أن وسيطات البحث قد تم اقتراحها في آريا من قبل، إلا أن بنائها يتطلب تحديد تعدد عمليات البحث، وهو أمر أقل كفاءة. توضح ورقة PlonkUp كيفية تقديم وسيطة plookup إلى Plonk. المشكلة في وسيطات البحث هذه هي أنها تجبر المُثبِّت على دفع ثمن الجدول بأكمله، بغض النظر عن عدد عمليات البحث الخاصة به. وهذا يعني أن تكلفة الجداول الكبيرة كبيرة، وقد تم بذل الكثير من الجهد لتقليل تكلفة المُبرِج إلى عدد عمليات البحث التي يستخدمها.

قدم هابوك LogUp، الذي يستخدم المشتقات اللوغاريتمية لتحويل فحوصات المنتج إلى مجاميع متبادلة. يعد LogUp أمرًا بالغ الأهمية لأداء Polygon plonky2 ZKEVM (ما وراء الحدود: دفع حدود ZK-EVM)، الأمر الذي يتطلب تقسيم الجدول بأكمله إلى وحدات STARK متعددة. يجب أن تكون الوحدات مرتبطة بشكل صحيح، كما أن عمليات البحث عبر الجداول مطلوبة لفرض هذه العملية. يعمل إطلاق LogUp-GKR على تعزيز بروتوكول GKR لتحسين أداء LogUp. Caulk هي وسيطة البحث الأولى التي يكون فيها لوقت الإثبات علاقة خطية مع حجم الجدول. وقت المعالجة المسبقة هو ‍O (N log ⁡ N) والتخزين هو O (N)، حيث N هو حجم الجدول. تم اتباع العديد من الحلول الأخرى، مثل Baloo، وfookup، وcq، وcaulk+. اقترح Lasso عدة تحسينات لتجنب الالتزام بالجدول عندما يكون له هيكل معين. علاوة على ذلك، يدفع مُثبِّت Lasso فقط مقابل إدخالات الجدول التي يتم الوصول إليها عن طريق عمليات البحث. يستخدم Jolt Lasso لإثبات تنفيذ الأجهزة الافتراضية من خلال عمليات البحث.

3.6 Spartan (2019)

يستخدم Spartan R1CS توفر الدائرة الموضحة IOP، مستغلة خصائص متعددات الحدود متعددة المتغيرات وبروتوكول فحص المجموع. وباستخدام مخطط التزام متعدد الحدود مناسب، فإنه ينتج SNARK شفافًا مع مثبات مدة خطية.

3.7 HyperPlonk (2022)

يعتمد HyperPlonk على استخدام البناء بناءً على أفكار بلونك حول كثيرات الحدود في المتغيرات. وهو لا يعتمد على الحاصل للتحقق من تنفيذ القيود، ولكن على بروتوكول فحص المبلغ. كما أنه يدعم القيود ذات الدرجة العالية دون الإضرار بوقت تشغيل المُثبت. نظرًا لأنه يعتمد على متعددات الحدود متعددة المتغيرات، ليست هناك حاجة لإجراء تحويل سريع فوري (FFT)، ويتغير وقت تشغيل المُثبت خطيًا مع حجم الدائرة. يقدم HyperPlonk عمليات IOP للتبديل جديدة مناسبة للنطاقات الأصغر وبروتوكول فتح الدُفعات القائم على التحقق الجمعي، مما يقلل من عبء عمل المُثبت وحجم الإثبات ووقت التحقق.

3.8 مخططات الطي (2008/2021)

Nova تم تقديم فكرة مخطط الطي، وهي طريقة جديدة لتنفيذ الحساب التزايدي الذي يمكن التحقق منه (IVC). يمكن إرجاع مفهوم IVC إلى Valiant، الذي أظهر كيفية الجمع بين برهانين للطول k kk في دليل واحد للطول k kk. الفكرة هي أنه يمكن استخدام الدليل التكراري لإثبات صحة التنفيذ من الخطوة iii إلى الخطوة i + 1 i+1i+1، وللتحقق من الانتقال من الخطوة i − 1 i-1i−1 إلى الخطوة iii صحيح، مما يثبت حالة أي عملية حسابية طويلة الأمد.

يمكن لـ Nova التعامل مع الحسابات الموحدة بشكل جيد جدًا؛ لاحقًا مع تقديم Supernova، تم توسيعه للتعامل مع أنواع مختلفة من الدوائر. تستخدم Nova نسخة مريحة من R1CS وتعمل على منحنيات إهليلجية سهلة الاستخدام. يتم استخدام دورات المنحنيات الودية (على سبيل المثال، منحنيات المعكرونة) لتنفيذ IVC أيضًا في Pickles، الوحدة الأساسية الرئيسية في Mina، لتحقيق حالات موجزة. ومع ذلك، فإن فكرة الطي تختلف عن التحقق العودي SNARK. ترتبط فكرة المراكم بشكل أعمق بمفهوم تجميع البراهين. تقدم Halo مفهوم التراكم كبديل لمجموعات الإثبات العودية. توفر Protostar حل IVC غير موحد لـ Plonk، مما يدعم البوابات عالية الدرجة وعمليات البحث عن المتجهات.

4. SNARKs تستخدم وظائف التجزئة المقاومة للتصادم

في نفس الوقت تقريبًا الذي تم فيه تطوير بينوكيو، كانت هناك بعض الأفكار لإنشاء دوائر/مخططات حسابية يمكن أن تثبت صحة تنفيذ الآلة الافتراضية. على الرغم من أن العملية الحسابية لتطوير جهاز افتراضي قد تكون أكثر تعقيدًا أو أقل كفاءة من كتابة دوائر مخصصة لبعض البرامج، إلا أنها توفر ميزة أن أي برنامج، بغض النظر عن مدى تعقيده، يمكن إثباته من خلال إثبات أنه ينفذ بشكل صحيح في جهاز افتراضي. تم تحسين الأفكار الموجودة في TinyRAM لاحقًا من خلال تصميم القاهرة vm والأجهزة الافتراضية اللاحقة مثل zk-evms أو zkvms العالمية. إن استخدام دالة التجزئة المقاومة للتصادم يلغي الحاجة إلى إعداد موثوق به أو استخدام حساب المنحنى الناقص، ولكن على حساب البراهين الأطول.

1) TinyRAM (2013)

في SNARKs لـ C، يتم استخدام SNARK الخاص بـ PCP لإثبات صحة تنفيذ برنامج C الذي تم تجميعه في TinyRAM (كمبيوتر مجموعة التعليمات المخفضة). يستخدم الكمبيوتر بنية هارفارد مع ذاكرة وصول عشوائي قابلة للتوجيه على مستوى البايت. من خلال الاستفادة من عدم الحتمية، يرتبط حجم الدائرة بشكل شبه خطي بحجم الحساب، وبالتالي التعامل بكفاءة مع الحلقات العشوائية المتعلقة بالبيانات، وتدفق التحكم، والوصول إلى الذاكرة.

2) ستاركس (2018)

• تم اقتراح ستاركس من قبل بن ساسون وآخرين في عام 2018. حجم الإثبات الذي ينفذه هو O(log2n)، ويحتوي على أدوات إثبات وتحقق سريعة، ولا يتطلب إعدادًا موثوقًا به، ويعتبر آمنًا بعد الكم. تم استخدامه لأول مرة بواسطة Starkware/Starknet مع الجهاز الافتراضي في القاهرة. تتضمن مكوناته الرئيسية ما يلي:

• التمثيل الجبري الوسيط (AIR)

• وبروتوكول FRI (إثبات القرب التفاعلي السريع لـ Reed-Solomon Oracle).

يتم استخدام STARKs أيضًا في مشاريع أخرى (Polygon Miden، Risc0، Winterfell، Neptune)، أو بعض التعديلات منها (ZK) -بوجوم، بلونكي 2، ستاركي للمزامنة).

3) Ligero (2017)

• يقدم Ligero نظام إثبات حجمه هو O (الجذر n)، حيث n هو حجم الدائرة. يقوم بترتيب المعاملات متعددة الحدود في شكل مصفوفة ويستخدم الرموز الخطية.

• Brakedown مبني على Ligero ويقدم فكرة مخططات الالتزام متعددة الحدود المستقلة عن المجال.

5. بعض التطورات الجديدة في ZKP

يُظهر استخدام أنظمة إثبات مختلفة في الإنتاج مزايا كل نهج ويؤدي إلى تطورات جديدة. على سبيل المثال، توفر عملية حسابية بلونكيش طريقة سهلة لتضمين البوابات المخصصة ووسائط البحث؛ حيث يُظهر FRI كـ PCS أداءً ممتازًا، قبل Plonky. وبالمثل، فإن استخدام فحص المنتج الكبير في AIR (مما يؤدي إلى AIR العشوائي مع المعالجة المسبقة) يعمل على تحسين أدائه وتبسيط وسائط الوصول إلى الذاكرة. لقد انتشرت الوعود المستندة إلى وظائف التجزئة - إما بناءً على سرعة وظائف التجزئة في الأجهزة أو تقديم وظائف التجزئة الصديقة لـ SNARK.

1) مخطط التزام متعدد الحدود الجديد (2023)

مع متعدد الحدود متعدد المتغيرات استنادًا إلى مع ظهور SNARKs الفعالة (مثل Spartan أو HyperPlonk)، هناك اهتمام متزايد بخطط الالتزام الجديدة المناسبة لمثل هذه الحدود المتعددة. يقترح كل من Binius وZeromorph وBasefold أشكالًا جديدة مخصصة لمتعددات الحدود متعددة الخطوط. يتمتع Binius بميزة تمثيل أنواع البيانات بدون حمل (بينما تستخدم العديد من أنظمة الإثبات عناصر حقل 32 بت على الأقل لتمثيل بت واحد) ويعمل على الحقل الثنائي. يعد Binius بأن يعتمد على Brakedown وهو مصمم ليكون حياديًا للمجال. يقوم Basefold بتعميم FRI على رموز تتجاوز Reed-Solomon، مما يؤدي إلى PCS مستقلة عن المجال.

2) أنظمة القيود القابلة للتخصيص (CCS) (2023)

يلخص CCS R1CS، الالتقاط عمليات حسابية R1CS وPlonkish وAIR في وقت واحد دون أي نفقات إضافية. يؤدي الجمع بين CCS وSpartan IOP إلى الحصول على SuperSpartan، الذي يدعم القيود عالية الدرجة دون مطالبة المُثبِّت بتحمل تكاليف التشفير التي تتدرج مع درجة القيد. على وجه الخصوص، يقوم SuperSpartan بإنشاء SNARKs لـ AIR باستخدام مُثبت زمني خطي.

6. الخلاصة

تصف هذه المقالة SNARK منذ 20 عامًا التقدم الذي أحرزته منذ طرحه في منتصف الثمانينات. وقد أدى التقدم في علوم الكمبيوتر والرياضيات والأجهزة، إلى جانب إدخال تقنية blockchain، إلى ظهور SNARKs جديدة وأكثر كفاءة، مما فتح الباب أمام العديد من التطبيقات التي يمكن أن تحول مجتمعنا. اقترح الباحثون والمهندسون تحسينات وتعديلات على SNARKs بناءً على احتياجاتهم، مع التركيز على حجم الإثبات واستخدام الذاكرة وإعدادات الشفافية وأمن ما بعد الكم ووقت الإثبات ووقت التحقق.

على الرغم من وجود خطين رئيسيين في البداية (SNARK وSTARK)، إلا أن الحدود بينهما بدأت تتلاشى، في محاولة للجمع بين مزايا أنظمة الإثبات المختلفة. على سبيل المثال، الجمع بين المخططات الحسابية المختلفة ومخططات الالتزام متعددة الحدود الجديدة. ومن المتوقع أن تستمر أنظمة إثبات جديدة في الظهور ويتحسن الأداء، وسيكون من الصعب على بعض الأنظمة التي تتطلب بعض الوقت التكيف لمواكبة هذه التطورات، ما لم يكن من الممكن استخدام الأدوات بسهولة دون تغيير بعض البنية التحتية الأساسية .

الجزء 2 الاستثمار والتمويل الأحداث

أكملت شركة Metropolis الناشئة للهوية الرقمية على Web3 تمويلًا بقيمة 1.2 مليون دولار أمريكي

* SocialFi

أعلنت شركة Metropolis الناشئة للهوية الرقمية على شبكة Web3 عن استكمال تمويل بقيمة 1.2 مليون دولار من Cointelegraph Accelerator، وLamina1 Ecosystem Fund، وACS، وOutlier Ventures، وProtocol Labs، وPrimal Capital، وZephyrus Capital، وCluster Capital، وEthLizards، وAcacia Digital، وBlock Consult، وIBC و شارك العديد من المستثمرين الملائكة الاستراتيجيين في الاستثمار. يُذكر أن متروبوليس على وشك إجراء عملية بيع رمزية عامة والإعلان عن اقتصاديات الرمز المميز وخريطة طريق تطوير المنتجات.

تكمل البنية التحتية لـ DePIN DePHY التمويل الأولي

< قوي >* DePIN

تم إكمال DePIN InfrastructureDePHY متعدد- تمويل أولي بقيمة مليون دولار بقيمة 40 مليون دولار أمريكي. شارك صندوق Blockchain Builders وForesight Ventures وIoTeX وParamita وFutureMoneyGroup وWaterdrip Capital وDefinanceX وPAKA ومجموعة Candaq Fintech في الاستثمار، وسيتم استخدام الأموال المجمعة لتوسيع وتشغيل مجتمع المطورين ومشاريع المنصات. بالإضافة إلى ذلك، ستقوم DePHY بنشر حل DID (هوية الجهاز اللامركزي) الموثوق به على Solana وقد تلقت مؤخرًا تمويلًا من مؤسسة Solana.

أكملت شركة Ethena Labs، مطورة العملة المستقرة لإيثريوم، جولة تمويل استراتيجية بقيمة 14 مليون دولار أمريكي

* العملة المستقرة

أعلنت Ethena Labs، مطورة عملة Ethereum المستقرة USDe، عن إكمال جولة تمويل استراتيجية بقيمة 14 مليون دولار أمريكي، مع تقييم ما بعد الاستثمار بقيمة 300 مليون دولار أمريكي. قاد كل من Dragonfly وBrevan Howard Digital وMaelstrom، المكتب العائلي لمؤسس BitMEX Arthur Hayes، الاستثمار بشكل مشترك، بمشاركة PayPal Ventures وFranklin Templeton وAvon Ventures وBinance وDeribit وGemini وKraken. وبدأت جولة التمويل في أواخر ديسمبر من العام الماضي وانتهت هذا الأسبوع. وفقًا للأخبار السابقة، أكملت Ethena جولة تمويل أولية بقيمة 6 ملايين دولار العام الماضي، مع مشاركة Hayes من خلال مكتب العائلة Maelstrom. هايز هو أيضًا مستشار مؤسس لإيثينا.

أكملت منصة الدفع بالعملات المشفرة KeynesPay جولة تمويل ما قبل التأسيس بقيمة 5.5 مليون دولار

* DeFi

أعلنت مجموعة Keynes Group، وهي مجموعة خدمات مالية للأصول الرقمية، أن منصة الدفع التابعة لجهة خارجية KeynesPay قد أكملت جولة تمويل ما قبل التمويل بقيمة 5.5 مليون دولار أمريكي، مع تقييم مسبق للأموال يتجاوز 50 مليون دولار أمريكي. يشمل المستثمرون الجدد المستثمرين المؤسسيين الكبار ومؤسسات Web3 والشركاء الاستراتيجيين. سيتم استخدام هذه الجولة من التمويل لتعميق التخطيط البيئي للدفع الخاص بـ KeynesPay في صناعة الأصول الافتراضية، وتسريع تنويع منتجات الأعمال المرخصة للدفع، وتعزيز الامتثال العالمي للمجموعة والتطوير المبتكر. يُذكر أن الأعمال الأساسية لمجموعة Keynes Group تشمل أيضًا Keynes Capital، وهي شركة عالمية لإدارة الأصول متخصصة في الاستثمار في تكنولوجيا blockchain والأصول الرقمية، وKeynes Pool، وهي مزود عالمي لخدمات تعدين Bitcoin، وKeChat، وهي منصة اجتماعية على السلسلة، و منصة التعليم العالمية Web3 ومنصة التواصل الاجتماعي Network Keynes IE.

أكملت شركة تحليل بيانات Web3 وخدمات البنية التحتية Helika مبلغ 8 ملايين دولار في تمويل السلسلة A

* الأشعة تحت

أعلنت شركة Helika، وهي شركة تقدم خدمات تحليل البيانات والبنية التحتية للألعاب التقليدية وألعاب Web3، أنها أكملت تمويلًا بقيمة 8 ملايين دولار من السلسلة A من مستثمرين من بينهم Pantera وAnimoca وDiogram وSfermion. يتم تشغيل مجموعة منتجات وخدمات Helika بواسطة الذكاء الاصطناعي، حيث تقوم بدمج البيانات من سلاسل متعددة ووسائل التواصل الاجتماعي والألعاب وتحويلها إلى رؤى قابلة للتنفيذ يمكن أن تستخدمها استوديوهات الألعاب لتحسين اكتساب المستخدمين والاحتفاظ بهم ومشاركتهم، وبالتالي دفع النمو المربح.

أكملت Blueprint Finance تمويلًا بقيمة 7.5 مليون دولار أمريكي، بقيادة Hashed وTribe Capital

* البروتوكول

أعلن بروتوكول الائتمان عبر السلسلة Blueprint Finance عن استكمال تمويل بقيمة 7.5 مليون دولار أمريكي. قادت هذه الجولة من التمويل شركتي Hashed وTribe Capital، وتضمنت SALT وKyber وHypersphere وLightshift وAwesome People Ventures وVeris Ventures وKronos Research وWWVentures وAvalanche Foundation وTerra Nova وHyperithm في الاستثمار. مصممة لحل مشكلة التصفية في سوق العملات المشفرة. المنتج الرئيسي لشركة Blueprint Finance هو Concrete Protocol، وهو عبارة عن سلسلة تطبيقات مصممة خصيصًا للديون والائتمان المتسلسلة، تهدف إلى توفير عوائد أعلى وحماية التصفية وقدرات التنبؤ المتقدمة عبر DeFi، بدءًا من أسواق العملات.

أكملت شبكة Lava Network المعيارية من blockchain 15 مليون دولار أمريكي في جولة تمويل أولية

* الأشعة تحت

أكملت Lava Network، وهي شركة مطورة للبنية التحتية المعيارية لـ blockchain، جولة تمويل أولية بقيمة 15 مليون دولار أمريكي. قادت Jump Capital وHashkey Capital وTribe Capital الاستثمار بشكل مشترك، وشاركت North Island Ventures وDispersion Capital وAlliance DAO وFinality Capital Partners وآخرون. في الاستثمار. كما شارك المديرون التنفيذيون من Celestia وCosmos وStarkWare وFilecoin وغيرها من الأنظمة البيئية blockchain في هذه الجولة من التمويل. وتخطط لافا لإطلاق شبكتها الرئيسية في النصف الأول من هذا العام. لدى Lava حاليًا 26 موظفًا، 20 منهم مهندسو blockchain.

استكملت شركة Chain game studio Overworld جولة تمويل أولية بقيمة 10 ملايين دولار أمريكي، بقيادة Hashed وآخرين

* GameFi

أعلنت شركة Chain game studio Overworld اليوم أنها جمعت 10 ملايين دولار أمريكي من التمويل الأولي. ومن بين المستثمرين الذين يقودون الجولة كل من Hashed وThe Spartan Group وSanctor Capital وGalaxy Interactive، بمشاركة من Hashkey وBig Brain Holdings وForesight Ventures. سيذهب التمويل مباشرة نحو إنشاء اللعبة، وتقوم شركة Overworld حاليًا بالتوظيف لعدد من الأدوار في الاستوديو. يقوم الاستوديو بتطوير لعبته الأولى، والتي تحمل عنوان Overworld مبدئيًا، وهي لعبة لعب أدوار مجانية لـ Web3 مدعومة برمز Xterio، مع تصميم فني على طراز الرسوم المتحركة.

أكملت منصة ألعاب Web3 Ultiverse جولة تمويل إستراتيجية بقيمة 4 ملايين دولار أمريكي، بقيادة IDG Capital

* GameFi

أكملت Ultiverse، وهي منصة متكاملة تعتمد على الذكاء الاصطناعي لإنتاج ونشر ألعاب Web3، جولة تمويل إستراتيجية بقيمة 4 ملايين دولار أمريكي، بقيادة IDG Capital، وAnimoca Brands، وPolygon Ventures، وMorningStar Ventures، وTaiko، وشارك في الاستثمار ZetaChain وManta Network وDWF Ventures وJacob KO (شريك Superscrypt) وآخرون. تأسست Ultiverse في عام 2022، وهي عبارة عن منصة شاملة تعتمد على الذكاء الاصطناعي لإنتاج وتوزيع ألعاب Web3، مع فريق يتكون من خبراء في مشاريع الألعاب والتكنولوجيا و blockchain. اعتبارًا من ديسمبر 2023، أصبح لدى Ultiverse أكثر من 7.3 مليون مستخدم مسجل وأكثر من 830.000 مستخدم نشط شهريًا. كان من بين المستثمرين في الجولة السابقة Binance Labs، وSequoia Capital، وDeFiance Capital، وEmirates Consortium، وMorningStar Ventures، وGSR Ventures، وForesight Ventures، وما إلى ذلك، حيث وصل تقييم ما بعد الاستثمار إلى 150 مليون دولار أمريكي.

الجزء 3 بعد IOSG- تقدم مشروع الاستثمار

تتبرع Coinbase بمبلغ 3.6 مليون دولار أمريكي لمنظمة تطوير Bitcoin Core Brink< /strong>

* DEX< /strong>

كشفت منظمة Brink، وهي منظمة تطوير Bitcoin Core، أنها تلقت منحة بقيمة 3.6 مليون دولار من GiveCrypto، وهي منصة دفع مملوكة للعملات المشفرة منصة التداول Coinbase، وستستخدم جميعها مخصصة لمهندسي Brink وأعمال تطوير Bitcoin مفتوحة المصدر.

Filecoin تعلن عن التكامل مع Solana

< قوي>* الأشعة تحت الحمراء

قامت Filecoin بالتغريد اليوم للإعلان عن تكاملها مع Solana، بهدف التخلص من حلول التخزين المركزية وتحسين موثوقية وقابلية التوسع لـ Solana blockchain. تستفيد Solana من Filecoin لجعل سجل الحظر الخاص بها أكثر سهولة وقابلية للاستخدام لموفري البنية التحتية والمستكشفين والمفهرسين وأي شخص يحتاج إلى الوصول التاريخي.

فتحت Offchain Labs التصويت على مقترح ArbOS 20 Atlas AIP في مجتمع Arbitrum

* الطبقة2

أعلن مطور Arbitrum Offchain Labs أنه قدم مقترح ArbOS 20 Atlas AIP في مجتمع Arbitrum وفتح التصويت على السلسلة. يدعم اقتراح AIP Ethereum Dencun، بما في ذلك EIP-4844 وملصق الدفعة. التحسينات.سينتهي التصويت في الأول من مارس.

يتجاوز إجمالي قيمة الأكوام المقفلة 100 مليون دولار أمريكي

* الدفع< /strong

نشرت شبكة Stacks من طبقة Bitcoin على Twitter أن إجمالي قيمة القفل (TVL) تجاوزت 100 مليون دولار أمريكي وتبلغ حاليًا 112 دولارًا أمريكيًا مليون.

تطلق SyncSwap غلاف 404 المستند إلى zkSync لتحقيق مبادلة الرموز المميزة ERC-721 NFT وERC404

* الطبقة2< /strong

أعلنت SyncSwap، وهي منصة تداول لامركزية تعتمد على zkSync، عن إطلاق SyncSwap 404 Wrapper المستوحى من ERC404، مما يسمح لبعض الأشخاص الحاليين يتم تغليف ERC-721 NFTs في ERC404، والتي يمكن أن تحل محل الرموز المميزة المغلفة. 404 Wrapper هو منتج عام لـ SyncSwap يعمل على أساس مفتوح المصدر وغير مسموح به تمامًا، دون أي رسوم لتغليف وإلغاء تغليف NFTs. LIBERTAS OMNIBUS هو مشروع NFT تجريبي من قبل فريق zkSync.

مينا: يجري حاليًا اختبار مغلق لترقية الشبكة الرئيسية مع البورصات والأوصياء

* الطبقة 1< /strong>

أعلن بروتوكول Mina Protocol خفيف الوزن عن آخر الأخبار حول Testworld Mission 2.0 والترقيات الرئيسية لشبكة Mina الرئيسية التقدم: فريق تطوير Mina O (1) أصدرت Labs أول إصدار مرشح لإصدار Berkeley RC1، والذي يتضمن كافة الإصلاحات والنتائج من الإصدار السابق Testworld 2.0 Rampup. ويستمر عمل المسار الرابع الذي يهدف إلى تكرار العملية وتصميم آليات الترقية في بيئة شبكة اختبارية، ويستمر الاختبار المغلق مع البورصات والأوصياء وسيستمر طوال المسار الرابع.

الجزء الرابع نبض الصناعة

تم إطلاق Connext على Base، وسيتمكن المستخدمون من إعادة ملكية ETH الأصلية من خلال EigenLayer

< قوي>* الطبقة الثانية < /strong>

تم الإعلان عن بروتوكول التشغيل البيني Layer2 Connext على Base. سيتمكن مستخدمو بروتوكول Renzo من إعادة حصة ETH الأصلية من خلال EigenLayer on Base دون التفاعل مع Ethereum. بالإضافة إلى ذلك، يمكن للمستخدمين أيضًا الحصول على نقاط إعادة تخزين ezPoints وEigenLayer.

آخر اجتماع لـ ACDE لـ Ethereum: مناقشة الاستعدادات لتنشيط الشبكة الرئيسية لترقية Dencun وEIPs المتعددة

* Ethereum

أصدرت نائبة رئيس الأبحاث في Galaxy كريستين كيم وثيقة تلخص الاجتماع الـ 181 للمدير التنفيذي لمطوري Ethereum Core (ACDE). الاستعدادات لتنشيط الشبكة الرئيسية تمت مناقشة ترقية Dencun ومقترحات تحسين Ethereum المتعددة (EIPs). وتشمل هذه خطط EIP المقترحة لترقية Pectra، بالإضافة إلى خطتي EIP بأثر رجعي، EIP 7610 و7523، المصممة لتعديل قواعد إنشاء العقود الذكية وحظر وجود حسابات فارغة. وافق المطورون أيضًا على تضمين EIP 2537، الذي يضيف التجميع المسبق للمنحنى BLS12-381، إلى Pectra. تجري الاستعدادات لشوكة الظل لترقية Dencun، بهدف إكمال تنشيط الشبكة الرئيسية قبل 13 مارس. بالإضافة إلى ذلك، تمت مناقشة المقترحات الفنية الأخرى لترقية بيكترا في الاجتماع، بما في ذلك تحسين وظائف العقود الذكية للحسابات المملوكة خارجيًا (EOAs)، وتكاليف الغاز لتخصيص عناوين العقود الذكية وفتحات التخزين، ومقترحات لدعم العملاء عديمي الجنسية. ويخطط المطورون لمناقشة جميع تجريدات الحساب وتغييرات التعليمات البرمجية المتعلقة بـ EVM بالتفصيل قبل اجتماع ACDE التالي، وشددوا على أهمية تحديد الجدول الزمني لترقيات Pectra.

Polygon على وشك إطلاق شبكة AggLayer v1 الرئيسية، باستخدام إثبات المعرفة الصفرية لتعزيز إمكانية التشغيل البيني بين السلاسل

* الطبقة 1

أعلنت شركة Polygon أنه سيتم إطلاق أحدث حلول تكنولوجيا طبقة التجميع AggLayer v1 mainnet قريبًا. وتهدف هذه التقنية إلى تمكين الاتصال بين سلاسل الكتل المختلفة من خلال تقنية إثبات المعرفة الصفرية (ZK Proof)، وبالتالي دعم توحيد وأمن السيولة عبر السلسلة. تم تصميم AggLayer لتزويد المطورين بمنصة تسمح لهم بالاتصال بسهولة بشبكات blockchain المختلفة لتحقيق إدارة موحدة للسيولة. بالإضافة إلى ذلك، ستضمن AggLayer أن السلاسل المتصلة - سواء كانت معيارية أو متجانسة، بما في ذلك تلك الموجودة داخل النظام البيئي Polygon - تتمتع بأمان موحد. باعتباره مكونًا أساسيًا للتكرار التالي لشبكة Polygon، Polygon 2.0، يختلف AggLayer عن حلول التشغيل البيني التقليدية. سيوفر منصة أكثر كفاءة وأمانًا للتشغيل البيني من خلال تجميع أدلة ZK لجميع السلاسل المتصلة.

PlayDapp: تم اختراق عقد رمز PLA المميز، وسيتم نقل جميع رموز PLA التي يحتفظ بها PlayDapp قسرًا إلى محفظة آمنة جديدة< / p>

* GameFi

قامت منصة ألعاب Blockchain PlayDapp بتغريد أن عقد رمز PLA قد تم اختراقه ورموز PLA الإضافية لقد تم سكها. قام PlayDapp بإخطار جميع شركاء منصة التداول مباشرةً ويعمل معهم لتعليق المعاملات وحل مشكلات الرموز المميزة غير المصرح بها. نظرًا للثغرة الأمنية المؤكدة التي تؤثر على PLA، يتخذ PlayDapp إجراءات لحماية أصول PLA من خلال النقل القسري لجميع PLA التي تحتفظ بها PlayDapp إلى محفظة آمنة جديدة، والتي تتضمن الأصول المقفلة وغير المؤمنة. وفقًا لرصد Cyvers Alerts، تم اختراق PlayDapp، وتمت إضافة عنوان المهاجم كسكك سك، مما أدى إلى سك 200 مليون رمز PLA (بقيمة 31 مليون دولار أمريكي). حاليًا، تم توزيع رموز PLA المميزة هذه على عناوين مختلفة، بقيمة 200 مليون دولار أمريكي. 5.9 مليون دولار: تم نقل بعض رموز PLA المسروقة إلى منصة البوابة.