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

تحل Fermah هذه المشكلة من خلال طبقة توليد البرهان العالمية الخاصة بها. مصممة لجعل ZKP أسرع وأرخص وأكثر موثوقية ، يزيل Fermah Enginfra bottlenecks ويحسن استخدام الموارد. باستخدام التكنولوجيا المتقدمة يخلق تجربة سلسة للمطورين والمستخدمين على حد سواء. سواء كنت مطورًا للبلوكتشين ، أو شركة تأمين البيانات ، أو فرد يسعى للخصوصية ، فإن Fermah يجعل توليد ZKP متاحًا وفعالًا.

ما هو فيرما؟

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

رؤية ومهمة فيرماه

تتمثل مهمة Fermah في إضفاء الطابع الديمقراطي على تقنية ZKP ، مما يضمن أن المطورين والمؤسسات يمكنهم الوصول إلى حلول ميسورة التكلفة وسريعة وموثوقة. تتمثل رؤيتها في أن تصبح العمود الفقري لتوليد ZKP ، وتمكين التطبيقات العالمية في الخصوصية وقابلية التوسع والأمان دون قيود البنية التحتية كثيفة الموارد.

تقنية خلف Fermah

تعتمد فرماه على تقنيات تشفير متقدمة وبنية تحتية لامركزية قوية، مصممة لتحسين إنشاء أدلة بلا معرفة (ZKPs) لمجموعة متنوعة من التطبيقات. تدمج هذه الأساسات أدوات تشفيرية حديثة مثل برامج الوسيطة EigenLayer مع شبكة Matchmaker peer-to-peer التي تخصص بكفاءة موارد الحوسبة. تم تصميم المنصة لدعم أنظمة الإثبات المتعددة ، مما يضمن التوافق السلس مع حالات الاستخدام المتنوعة ، من التحقق من سلسلة الكتل إلى نقل البيانات الآمنة.

مكونات فيرماه

في جوهرها، يستخدم Fermah ثلاث مكونات أساسية: الباحثون، وسيط الزواج، والمشغلون. يقوم كلٌ منهم بدور مميز في الهندسة المعمارية الكلية، مما يضمن توليد ZKP سلس وموثوق وقابل للتوسيع. وفيما يلي تفصيل لكيفية عمل كل مكون ومساهمته في كفاءة النظام:

1. الباحثون

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

1. موسوم

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

1. المشغلين

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

نشر نظام البرهان

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

النموذج الاقتصادي

علاوة على ذلك ، تستخدم Fermah نموذج التخزين اللامركزي الخاص ب EigenLayer ، والذي يعزز الأمن الاقتصادي لشبكتها. يحتفظ المشغلون بمواردهم لفترات محددة ، مما يضمن بقائهم ملتزمين بالنظام وأدائه. يعزز نموذج التخزين هذا الثقة في المنصة ويوفر آلية لمكافأة المشغلين ، ومواءمة الحوافز لكلا الطرفين. تساهم الطبيعة اللامركزية للنظام في موثوقيته وتقلل من التكاليف التشغيلية المرتبطة بتوليد ZKP ، مما يجعله في متناول المطورين والمؤسسات على حد سواء.

كيف يعمل فيرماه؟

تم تصميم تدفق عمل Fermah ليكون فعالًا وآمنًا وشفافًا، مما يضمن توليد Proof (ZKP) بدون معرفة بصفر. تبسيط منصة العملية المعقدة لإنشاء ZKP من خلال نظام منظم يشمل ثلاثة مكونات أساسية: المطلوبات، Matchmaker، والمشغلون. هنا نظرة أقرب على كيفية تتكشف العملية:

تقديم طلب الإثبات

تبدأ الرحلة عندما يقدم الباحثون ، سواء كانوا مطورين أو مشاريع blockchain أو مؤسسات ، طلبات الإثبات الخاصة بهم عبر خادم JSON-RPC. تتضمن هذه الطلبات تفاصيل حساب محددة، مثل نوع ZKP المطلوب والمعلمات المرتبطة بالمهمة. بالإضافة إلى ذلك ، يوفر الباحثون روابط لأنظمة الإثبات ذات الصلة التي سيتم استخدامها لإنشاء البراهين. تضمن هذه الخطوة جمع جميع المعلومات الضرورية مقدما وإتاحتها للمعالجة ، مما يسمح للنظام بتخصيص الموارد بشكل فعال.

تعيين المهمة

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

إنشاء البرهان

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

توصيل النتيجة

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

تتبع وموثوقية

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

الميزات الرئيسية لـ فيرماه

إنشاء دليل عام

تدعم Fermah مجموعة واسعة من أنظمة البرهان بدون معرفة Zero-Knowledge، بما في ذلك zkVMs، zkEVMs، Groth16، والعديد من البروتوكولات الأخرى. يجعل هذا الدعم الشامل Fermah قابلة للتكيف بشكل كبير مع مختلف الصناعات وحالات الاستخدام، مما يضمن التوافق مع معايير التشفير المختلفة. تسمح هذه القابلية للتعددية Fermah بخدمة مجموعة متزايدة من حلول سلسلة الكتل والخصوصية وحماية البيانات. تعتبر هذه الميزة العمود الفقري لمنصة Fermah، مما يتيح للمستخدمين توليد البراهين عبر مجموعة واسعة من أنظمة البراهين بكفاءة وموثوقية لا مثيل لهما.

جوانب رئيسية لتوليد البرهان العالمي

1. محايدة وشاملة بمصداقية: تم تصميم Fermah لدعم جميع أنظمة الإثبات الرئيسية، بما في ذلك zkVMs، zkEVMs، Groth16، وأكثر من ذلك. تضمن هذه المحايدية أن يتمكن المستخدمون من اختيار أنظمة الإثبات الأكثر ملاءمة لاحتياجاتهم الخاصة دون الاحتجاز في تقنية واحدة.

2. نموذج السوق: تعمل المنصة كسوق، حيث يتكون الجانب المعروض من الأجهزة عالية الأداء مثل وحدات GPU و FPGAs. يتم تطابق هذه الموارد مع الطلب من المستخدمين الذين يحتاجون إلى دلائل ZK لتطبيقات مختلفة، مثل zkRollups، ZK bridges، وحلول متمحورة حول الخصوصية.

3. كفاءة التكلفة والأداء: تم تحسين Fermah لتوليد دلائل فعالة من حيث التكلفة وذات أداء عالي. يمكن للمستخدمين ضبط المعلمات لتحقيق توازن بين السعر والأداء، مما يضمن أن تلبي عملية توليد الدليل متطلباتهم المالية والتشغيلية.

4. تجريد القُدرة: أحد أهداف Fermah الأساسية هو تجريد التعقيد المرتبط ببراهين ZK. من خلال توفير واجهة سهلة الاستخدام ونماذج تسعير متوقعة، يُسهل Fermah على المطورين والشركات دمج براهين ZK في مشاريعهم دون الحاجة إلى خبرة تشفير عميقة.

5. قابلية التوسع والموثوقية: تم تصميم المنصة للتعامل مع مهام توليد الأدلة بكميات كبيرة بشكل موثوق. تعد هذه القابلية للتوسع أمرًا حاسمًا للتطبيقات التي تتطلب كميات عالية من الأدلة، مما يضمن أن يمكن لـ Fermah تلبية احتياجات المشاريع الصغيرة والشركات الكبيرة.

سوق زي كاي: سوق مركزي

تعمل Fermah كسوق يربط بين عرض الموارد الحسابية وطلب ZKPs. يتكون الجانب العرضي من وحدات المعالجة الرسومية ووحدات المعالجة الميدانية القابلة للبرمجة التي يمكنها معالجة طلبات توليد الأدلة. يمكن لتطبيقات الجانب الطلب المتطلبة لتقنية Zero-Knowledge ، مثل المعاملات المحافظة على الخصوصية أو التحقق من صحة سلسلة الكتل القابلة للتوسعة ، تقديم طلبات الأدلة. يضمن Fermah Matchmaker مطابقة الطلبات مع أفضل المشغلين المناسبين ، مما يحسن التكلفة والأداء.

إنتاج دليل ZK بأسعار معقولة وسريعة وموثوقة

تم تحسين بنية Fermah لتقديم توليد ZKP سريع وفعال من حيث التكلفة ، مما يجعله في متناول المطورين والمؤسسات التي تبحث عن حل قابل للتطوير. إن قدرة النظام الأساسي على معالجة البراهين بسرعة ، مع الحفاظ على الموثوقية ، يجعلها خيارا مثاليا للتطبيقات التي يكون فيها إنشاء بروفات حساسة للوقت أمرا بالغ الأهمية.

التسعير والأداء المخصص

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

التفويض الذي يثبت حماية البيانات (قريبًا)

من المقرر أن تقدم Fermah ميزة التفويض المحمي للبيانات، وهي ميزة مثيرة ستعزز الخصوصية عن طريق ضمان عدم تعرض البيانات الحساسة أثناء عملية توليد البرهان. ستكون هذه الميزة قيمة للمشاريع في مجالات مثل الرعاية الصحية والتمويل والاتصالات الآمنة.

حالات الاستخدام لـ Fermah

التحقق من البلوكشين والمعاملات الحفاظ على الخصوصية

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

معالجة البيانات السرية

مع الطلب المتزايد على مشاركة البيانات الآمنة، تقدم Fermah طريقة فعالة لأداء الحسابات على البيانات المشفرة، مما يضمن الخصوصية. إنه يمكّن من الحسابات الآمنة لصناعات مثل الرعاية الصحية والمالية، حيث تحتاج المعلومات الحساسة إلى البقاء خاصة بينما لا تزال تُعالج أو تُحلل.

السلسلة التوريدية والتحقق من الهوية

تمتد مرونة فيرماه أيضًا إلى صناعات مثل إدارة سلسلة التوريد والتحقق من الهوية. تسمح البراهين بدون معرفة بالمعلومات بإجراء فحوصات هوية آمنة وفعالة أو تتبع المنتجات في سلسلة التوريد دون الكشف عن البيانات الحساسة، مما يضمن الشفافية والخصوصية.

شبكة تطوير فيرماه

تعمل Fermah's Devnet كأساس لمرحلة الاختبار والتطوير الخاصة بها. إنها شبكة مسموح بها مصممة لربط الباحثين والمشغلين في بيئة مضبوطة وآمنة، مما يتيح للطرفين التعاون في تقديم طلبات الإثبات وتوليد الإثبات. Devnet مباشرة ومفتوحة لمشغلي EigenLayer الذين يمكنهم الاشتراك لبدء معالجة طلبات الإثبات. هذه المرحلة حاسمة لضبط مكونات المنصة وضمان الوظائف السلسة قبل إطلاقها للجمهور.

الميزات الرئيسية لشبكة تطوير فيرما

• مجموعة أدوات المطور: توفر Fermah SDK قوي، مما يبسط عملية تقديم طلبات البرهان للمطورين. تقوم مجموعة الأدوات بتبسيط دورة التطوير وتعزز قابلية الاستخدام عن طريق تقديم أدوات مُعدة مُسبقًا.
• صور Docker المُصنّعة مسبقًا: يمكن للمشغلين الوصول إلى صور Docker المُصنّعة مسبقًا، مما يقلل من تعقيد الإعداد. تضمن هذه الصور أن المشغلين يمكنهم تكوين أنظمتهم بسهولة لتوليد الأدلة دون الحاجة إلى أي إعداد إضافي.
• الوصول المصرح به: يعمل الشبكة التطويرية تحت نموذج الوصول المصرح به، مما يضمن الجودة والموثوقية خلال هذه المرحلة التجريبية. يتيح التحكم في الوصول لـ فيرما إدارة الشبكة بكفاءة وضمان مشاركة الأطراف الموثوق بها فقط.

يتم تحديث Devnet بانتظام لدمج ملاحظات المطورين وتحسين الوظائف. ومع تطور النظام، ستتضمن شبكة التطوير ميزات جديدة لتعزيز الكفاءة وقابلية التوسع. يتم تشجيع المطورين على مراقبة لوحة معلومات Devnet بنشاط للبقاء على اطلاع بآخر التحديثات والميزات ، مما يساهم في التحسين المستمر للمنصة. تجعل بيئة الاختبار التعاونية هذه من Fermah منصة موثوقة وقابلة للتطوير لتوليد دليل على المعرفة الصفرية.

انضم إلى ديفنتهنا.

تمويل فيرماه

حصلت فرماح مؤخرًا على 5.2 مليون دولار في جولة تمويل بذري في 17 سبتمبر 2024، بقيادة مشتركة من a16z CSX و Lemniscap، بمشاركة مستثمرين بارزين مثل Bankless Ventures و Longhash Ventures و P-OPS Team و ZK Validator. انضم أفراد معروفون كمستثمرين ملائكة، بما في ذلك بالاجي سرينيفاسان و سانديب نايلوال و مصطفى البسام. يُوجه هذا التمويل نحو تطوير المنتج وتوسيع الفريق لتعزيز سوق توليد البروفات الخاصة بهم.

فريق فيرماه

يقود فيرماه فانيشري راو، وهي عالمة تشفير لديها أكثر من 15 عامًا من الخبرة في الأدلة بدون معرفة (ZKPs). وكانت سابقًا تعمل كعالمة تشفير رئيسية في O(1) Labs، الفريق الذي يقف وراء بروتوكول مينا. خبرة فانيشري في التشفير تعتبر أمرًا أساسيًا لتطوير فيرماه.

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

استنتاج

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