ما هو أول ما يتبادر إلى ذهنك عندما تسمع ZK؟ بالنسبة لي ، إنها فيرما. لأن @fermah_xyz لا تحاول إنشاء مجموعة ZK التالية أو zkVM أو نظام إثبات جديد. إنه يبني النظام الأساسي الذي يمكن للجميع توصيله به. تعد براهين ZK قوية ، لكن تشغيل البنية التحتية لها هو وحش مختلف تماما. أنت بحاجة إلى أجهزة قوية (عادة وحدات معالجة الرسومات) ، بيئات برمجية عالية التخصص ، وتنسيق موثوق به للتأكد من أن كل شيء يعمل بسلاسة. إنها باهظة الثمن ومجزأة ومصممة خصيصا لكل كومة. • هل تريد إثبات Groth16؟ قمت بإعداد نظام واحد. • هل تريد إثبات دفعات التمرير أو كتل zkSync؟ هذا شيء آخر. • هل تحتاج إلى تشغيل RISC Zero أو Jolt zkVM؟ مختلف مرة أخرى. يبدو الأمر كما لو أن كل خدمة بث تتطلب تلفزيونا خاصا بها وجهاز تحكم عن بعد خاص بها وأريكتها الخاصة. فيرما يغير ذلك. Fermah هو سوق عالمي لتوليد الدليل هذا يعني أنه يمكن لأي شخص إرسال طلبات إثبات عبر أنظمة الإثبات والسلاسل والأجهزة الظاهرية ، وسيقوم Fermah بمطابقتها مع عقدة المشغل الصحيحة لحساب هذا الدليل وإعادته. الطريقة التي تستخدم بها AWS لتشغيل الحوسبة ، ستستخدم Fermah لإنشاء البراهين. ماذا يحل Fermah؟ إنه يلخص إثبات البنية التحتية. لا مزيد من إدارة الآلات أو تثبيت الدوائر أو بناء أوقات تشغيل Docker. بدلا من ذلك، يرسل الباحثون وظائف عبر RPC أو SDK. يقوم صانع الخاطبة في Fermah بتعيينهم لعقد prover المتاحة. يتم إرجاع الدليل وتخزينه اختياريا. تحت الغطاء ، يتم تشغيل هذه العقد بواسطة مشغلي Eigenlayer. بمعنى أن Fermah تستخدم اقتصاد إعادة التجميع المتنامي ل Ethereum لتقديم توليد لامركزي ومقاوم للأداء. يعني نموذج التنسيق هذا: • استخدام أعلى للبروفير • تكلفة أقل لكل دليل • أوقات عودة أسرع • البراهين كخدمة (على نطاق واسع) وهي ليست نظرية. إنه يعمل. تقوم Fermah حاليا بتشغيل أعباء عمل الإنتاج @zksync ، مما يؤدي إلى إنشاء براهين كتلية ذات أداء اقتصادي قوي. كما أنه مدمج في خط أنابيب zkEVM الخاص ب Scroll ، والذي يغطي مراحل القطع والدفعات والحزمة. وهي طبقة الإثبات ل a16z's Jolt zkVM ، والتي تعيش في شبكة اختبار Fermah. بدلا من دفع إطار عمل ZK آخر ، تضع Fermah نفسها على أنها الطبقة الضامة التي تحول توليد إثبات المعرفة الصفرية إلى بدائي قابل للبرمجة وموثوق به للجميع. إذن ماذا تقدم Fermah بالقيمة الحقيقية؟ واجهة واحدة من أجل: • إنشاء براهين Groth16 أو zkVM أو zkEVM أو RISC Zero أو Jolt • تفويض البراهين إلى العقد خارج السلسلة، المستخرجة بعيدا عن منطق التطبيق الخاص بك • دمج توليد الإثبات عبر السلاسل والأنظمة • تجنب عبء devops للحفاظ على البنية التحتية الداخلية تماما كما لا يقوم المطور بإنشاء مركز بيانات لنشر تطبيق ، يعتقد Fermah أنه لا يجب أن تحتاج إلى بناء مزرعة prover لمجرد استخدام المعرفة الصفرية. TL. د Fermah ليست مجرد أداة ZK أخرى. إنها طبقة البنية التحتية التي تجعل توليد ZK العالمي ممكنا. عندما يصبح إنشاء الدليل سلعا وآليا ومتكاملا عبر المكدس ، لن يكون ذلك لأن كل تطبيق قام ببناء خط الأنابيب الخاص به. سيكون ذلك لأن Fermah جعل من السهل توصيله وإثباته. غفيرما. @vanishree_rao