المواضيع الرائجة
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.

Vanishree Rao
المؤسس @fermah_xyz | 15 عاما والعد في تصميم وبناء ZK | دكتوراه في التشفير في جامعة كاليفورنيا في لوس أنجلوس | وضع الدب ماما
Vanishree Rao أعاد النشر
أعتقد أن سير العمل الملخص الثابت موجود بالفعل هنا. شوهد في الحساب خارج السلسلة ل zkProofs وتجميع هذه البراهين. نظرا لأن العملية غير متزامنة، فإنها تسمح للسلسلة بمواصلة معالجة العمليات الأخرى، على غرار كيفية عمل بعض الخدمات السحابية.
إنه هنا بالفعل.
عندما يصبح الإثبات قابلا للتطوير ومرنا ، سيتم استخدام الموارد الحسابية بشكل أفضل ، وسنرى كفاءة وأداء أعلى للأجهزة. @fermah_xyz

430
Vanishree Rao أعاد النشر
مرحبا بك مرة أخرى في Learning Fermah with Justified ، حيث نقوم بتفصيل أسئلة ZK الكبيرة بلغة بسيطة ويومية. مجرد حديث حقيقي عن المعرفة الصفرية وكيف @fermah_xyz تشكيل المستقبل. دعنا نتعمق في سؤال اليوم.
الآن إليك واحدة كبيرة من الفصل:
هل يمكن أن تصبح مهام سير العمل المجردة التي تثبت هي AWS Lambda من ZK؟ بعيد جدا أم هنا بالفعل؟
دعنا نقسمها. غيرت AWS Lambda اللعبة من خلال السماح للمطورين بتشغيل التعليمات البرمجية دون إدارة الخوادم. أصبح كل شيء أسرع وأخف وزنا وأكثر قابلية للتطوير. في عالم ZK ، يحدث هذا التحول نفسه بالفعل ،ويقع Fermah في مركزه.
قبل الآن ، كان إنشاء براهين ZK يعني التعامل مع الإعدادات المعقدة والأجهزة باهظة الثمن والكثير من صداع التحسين. لكن @fermah_xyz يقلب ذلك. إنه يمنح المطورين واجهة برمجة تطبيقات بسيطة لتوصيلها ، وخلف الكواليس ، يتعامل مع كل الأجهزة والمطابقة والتحسين وحتى الإثبات السري.
هذا ما يجعلها تشعر وكأنها AWS Lambda من ZK عند الطلب وقابلة للتطوير وسهلة التطوير. عندما يصبح هذا هو القاعدة ، سنرى المزيد من المشاريع تركز على منطق منتجاتها بدلا من هندسة الإثبات. يصبح الإثبات شيئا "تسميه" ، وليس شيئا "تبنيه". وبمجرد أن يصل إلى قابلية التوسع والمرونة الحقيقية على مستوى السحابة ، سينمو نظام ZK البيئي بأكمله بشكل أسرع.
يمكن للشركات الناشئة إنشاء تطبيقات ZK دون الحاجة إلى فرق تشفير عميقة. يمكن للاعبين الكبار توسيع نطاق البراهين بتكلفة أقل. يجعل Fermah هذا المستقبل حقيقيا من خلال تجريد التعقيد وفتح الباب أمام التبني الجماعي. هذه ليست مجرد راحة ، إنها تحول تحفيزي.
هذا ما يبنيه المؤيد @vanishree_rao والفريق
غفرمة 💚

367
أحب الكتابة ، @Da_justified

Justified17 يوليو، 19:02
إذا سبق لك أن حاولت العمل مع براهين ZK ، فستعرف مدى الفوضى والتكلفة وكثافة الأجهزة. هذا هو المكان الذي يأتي فيه @fermah_xyz.
Fermah عبارة عن منصة تساعد المشاريع على إنشاء براهين خالية من المعرفة بسرعة وبتكلفة زهيدة وموثوقية. لا داعي للقلق بشأن تعقيد الواجهة الخلفية. ما عليك سوى الاتصال بواجهة برمجة التطبيقات ، وتكون قد انتهيت.
فكر في Fermah على أنه الوسيط بين الأشخاص الذين يحتاجون إلى إثباتات (مثل التطبيقات و blockchains) والأشخاص الذين ينشئون البراهين (باستخدام وحدات معالجة الرسومات و FPGAs وما إلى ذلك). إنها مثل أوبر ، ولكن للإثبات.
في جوهرها ، Fermah هي طبقة إثبات عالمية. وهو يدعم جميع أنواع أنظمة ZK: zkEVMs و zkVMs و Groth16 و STARKs وما إلى ذلك. لذا ، سواء كنت تبني باستخدام zkSync أو Polygon أو Shock ، فإن @fermah_xyz تدعمك.
لكنهم لم يتوقفوا عند هذا الحد. كما قدموا شيئا يسمى تفويض الإثبات السري (CPD). طريقة جديدة لإنشاء البراهين بشكل خاص. لا أحد يرى بيانات الدائرة الخاصة بك ، ولا حتى الشخص الذي يثبت ذلك. هذا قوي للتطبيقات التي تركز على الخصوصية.
ونعم ، أثبتت fermah مؤخرا كتلة zkSync على testnet. هذه خطوة كبيرة نحو التبني في العالم الحقيقي.
خلف فيرما فريق عالمي. بقيادة Vanishree Rao ، خبير ZK حاصل على درجة الدكتوراه في التشفير ، وبدعم من أسماء كبيرة مثل a16z و Celestia و Aztec. (أنا على وشك أن يتم تصحيحه @vanishree_rao على الأزتك 😅)
المهمة؟ لجعل ZK يثبت أنه سهل ويمكن الوصول إليه مثل إرسال تغريدة.
هذه مجرد البداية. وتشكل فيرما مستقبل الإثبات اللامركزي. إذا كنت تهتم بالتوسع أو الخصوصية أو البناء في مساحة ZK ، فستحتاج إلى مراقبتها.
غفرمة 💚

547
.@lagon20ms الغوص بعمق! استمر في ذلك.
CPD جميل لأنه لا يمكن إنكار القيمة المضافة.

h16 يوليو، 19:50
CPD لفيرما
كما نعلم جميعا ، لقد تعلمت عن @fermah_xyz في الأيام القليلة الماضية ، وقد برز هذا الجزء حقا بالنسبة لي:
التفويض السري للإثبات (CPD)
إنها الطريقة التي تتيح لك بها Fermah تفريغ مهام ZK Proof دون التخلي عن بياناتك
كما ترى ، الإثبات عمل شاق.
وبالنسبة للتطبيقات التي تركز على الخصوصية أولا، يكون الأمر أصعب
تريد تفويض العمل، ولكن لا تريد تسريب المعلومات الحساسة.
CPD يحل ذلك.
مع CPD ، تقوم بإرسال وظيفة إثبات
يتم تقسيمها وخلطها قبل الوصول إلى أي بروفر
يمكن للشبكة إثبات حسابك دون رؤية مدخلاتك الأولية.
الضابط لا يعرف الشاهد الكامل
إنهم لا يعرفون ما هي القيم التي يثبتونها
هم يعرفون فقط:
"هذا صحيح ، وإليك دليل لإظهاره"
إنها خصوصية على نطاق واسع
تحصل على قوة الحوسبة عندما تحتاج إليها
ولا أحد يرى داخل وظيفة الإثبات الخاصة بك ، مهما كانت.
CPD الخاص @fermah_xyz متاح حاليا ل Groth16 ،
zkVMs مثل Risc Zero و SP1 وغيرها قادمة بعد ذلك
هذا يفتح قطعة ضخمة من مكدس ZK
إنه إثبات خاص وغير موثوق به حسب التصميم
هذا ما يجب أن تشعر به ZK infra
قابلة للتطوير وغير مرئية ومبنية حول المستخدم.
أنت فقط تكتب المنطق
تقوم الشبكة بالباقي.

102.46K
Vanishree Rao أعاد النشر
أكبر التطورات تحدث في الصمت
غالبا ما تولد أكثر التطورات الرائدة في أي مجال تكنولوجي في صمت ، من خلال الشراكات التي تشكلت خلف الأبواب المغلقة والابتكارات التي تم تطويرها بعيدا عن الأضواء.
التقدم الحقيقي لا يحدث دائما ضوضاء في البداية. ولكن عندما يظهر أخيرا ، فإنه يهز العالم.
في حالة مساحة ZK ، ما نشهده اليوم ، فإن الاهتمام المتفجر ، والزخم ، والجر ، لم يظهر بين عشية وضحاها. إنه نتيجة سنوات من الجهد الهادئ والمتسق.
من العمل التأسيسي لمشاريع مثل Zcash إلى ZKSync وما بعدها ، كانت هذه الحركة تبني لبنة تلو الأخرى. الموجة الحالية ممكنة فقط بسبب الأساس الذي تم وضعه بالفعل.
اليوم ، تدفع Ethereum ومؤسسها ، Vitalik Buterin ، نحو تحويل Ethereum blockchain بالكامل إلى نظام يعمل بنظام ZKEvm. ولكن حتى هذه الرؤية متجذرة بعمق في رحلة ZKP التي بدأت منذ سنوات.
ومع ذلك ، فإن الصمت لفترة طويلة يمكن أن يصبح مشكلة. في عالم حيث الاهتمام هو العملة، يمكن أن يبدو الهدوء المفرط وكأنه ركود.
هناك قول مأثور: الحظ هو ما يحدث عندما يلتقي التحضير بالفرصة. لكن الفرصة غالبا ما تأتي عندما يعرف الناس أنك بناء.
لذلك أثناء البناء في صمت ، لا تخف من إحداث ضوضاء. اعرض ما تقوم بإنشائه.
ومع الإعلان الأخير بين @fermah_xyz × @mintairxyz الذين كانوا يدعمون بنشاط سوق إثبات @fermah_xyz منذ المراحل المبكرة ، وهم يضاعفون هذا التعاون مع اقتراب fermah من الشبكة الرئيسية.
دع الأشخاص والمجتمعات وسلاسل الكتل التي ستعتمد يوما ما على ابتكارك تعرف أنك موجود ، وأنك تعمل وتجرب وتدفع الحدود.
في الختام ، كان العمود الفقري ل ZKPs دائما هو صخبها وراء الكواليس: العمل الأساسي الهادئ ، والتجارب الفاشلة ، والاختبارات التي لا هوادة فيها ، والشراكات الذكية. ما نراه اليوم ليس حظا ، إنه إرث في الحركة.
@PranitGarg

1.03K
Vanishree Rao أعاد النشر
إنه يوم الاثنين ، وما هي أفضل طريقة لبدء الأسبوع من الكتابة عن @fermah_xyz!
إذن ما هو فيرما بالضبط
Fermah هو في الأساس سوق zkproof ، يربط أولئك الذين يحتاجون إلى براهين بدون معرفة (الباحثين) وأولئك الذين يولدون البراهين (Provers). فكر في الأمر مثل Uber ، فهو يربط السائقين بالأشخاص الذين يحتاجون إلى رحلات من خلال مطابقتهم بكفاءة مع السائقين القريبين.
ملاحظة: إنها الأولى من نوعها 🫠
كيف يكون هذا ممكنا
أعرف ما تفكر فيه ، كان لدي نفس السؤال أيضا ، ولهذا السبب قرأت المستندات وشعرت بسعادة غامرة لأنني جئت لمشاركتها.
لذلك في قلب تقنية Fermah تكمن ثلاثة مكونات أساسية:
- عقد الباحث
- الخاطبة (النواة)
- عقد بروفر
الخاطبة هي المكان الذي تبدأ فيه المتعة
كما ترى ، ما يحاول @vanishree_rao تحقيقه هنا هو منح أي شخص وكل شخص إمكانية الوصول إلى استخدام أي نظام إثبات من اختيارهم للتحقق من المهام بشكل فعال ، ولهذا السبب يعتبر Fermah حيادي. وهو يدعم جميع أنظمة الإثبات الرئيسية من @boundless_xyz RISC Zero و @SuccinctLabs SP1 و Jolt by @a16zcrypto و Valida by @0xLita و Stwo by @StarkWareLtd مع التوسع السريع لاستيعاب نظام إثبات @aztecnetwork و @NexusLabs zkVM و Stone by @StarkWareLtd وجميع أنظمة الإثبات الأخرى التي قد يتم اختراعها في المستقبل. لم يعد المطورون مضطرين إلى تخصيص تطبيقاتهم لتتناسب مع سلسلة سبب نظام الإثبات ، يمكنك البناء على أي سلسلة والتعامل مع إثباتك بواسطة Fermah
ما يفعله الخاطبة (كما يوحي الاسم) هو تنسيق المهمة عبر الشبكة. كيف يعمل هو:
- يتحقق أولا من معلمة الطلب
- ثم يقوم بمطابقة المهمة بذكاء مع عقدة prover المثلى بناء على معايير الأجهزة والتكلفة والأداء المطلوبة
لم يعد لديك ما يدعو للقلق بشأن وحدات معالجة الرسومات الخاملة أو البراهين التي تستغرق وقتا طويلا لإنشائها
مع @fermah_xyz ، الخصوصية في متناول يدك!
1.22K
Vanishree Rao أعاد النشر
أعتقد أن أحد أكبر محركات نظام Web3 البيئي هو قدرته على تحقيق توقعات Web2.
يحتاج المستخدمون دائما إلى ثلاثة أشياء مهمة هي التكلفة والوقت والأمان.
كلف:
عادة ، عندما تقوم بإجراء معاملات ، دعنا نقول في مؤسسة مالية مثل البنك ، أو حتى باستخدام بوابة دفع ، تكون تكلفة المعاملة مرتفعة جدا لدرجة أنك إما تقبلها كما هي ، أو ... أنت تقبلها كما هي.
لا توجد خيارات أخرى. لأن الشركة المعنية تتحكم في كل شيء:
كيف ترسل الأموال
كم من الوقت يستغرق الوصول إلى هناك
المبلغ المسموح لك بإرساله
وكم سيفرضون عليك
في معظم الأحيان دون أن تخبرك لماذا ، فأنت لست مسيطرا حقا. أنت فقط في النظام.
تحقق من مقالتي
@fermah_xyz @vanishree_rao @PranitGarg

411
الأفضل
المُتصدِّرة
التطبيقات المفضلة
رائج على السلسة
رائج على منصة X
أهم عمليات التمويل الأخيرة
الأبرز