دعنا نتحدث عن زاما مرة أخرى ، الابن اللامع ل FHE لذلك في عدد اليوم ، دعنا نتحدث عن الحرب بين FHE و ZK إنها أيضا نقطة لن يتحدث عنها سوى عدد قليل من الناس بالتفصيل فلسفتان للثقة في عالم التشفير إذا كان التشفير ثورة حول "الثقة" ، فإن ZK (براهين المعرفة الصفرية) و FHE (التشفير المتماثل بالكامل) هما فصيلين في هذه الثورة. ZK تعني نوعا من "الثقة الإثباتية": أقوم بإجراء العمليات الحسابية ، ثم أثبت لك أنني أجريت الحسابات بشكل صحيح ، لكنني لا أخبرك كيف قمت بالحساب. FHE هي "ثقة التشفير": لا أريدك حتى أن ترى عملية الحساب ، فأنت تحصل فقط على النتائج. قال الأول: "صدقوني بشكل صحيح". ” قال الأخير ، "لا يمكنك رؤية ما أفعله على الإطلاق." ” يبدو أنه على بعد نصف خطوة فقط ، لكنه في الواقع نظرتان مختلفتان تماما للعالم. ZK هي الخصوصية في عالم شفاف. FHE هو النظام في عالم الصندوق الأسود. ZK: قوة الإثبات ZK (دليل المعرفة الصفرية) هو ألمع نجم تشفير على Web3 على مدى السنوات الخمس الماضية. يكمن سحرها في السماح لأحد الطرفين بإثبات صحة البيان دون الكشف عن البيانات. على سبيل المثال: يمكنك إثبات "لدي 1 ETH في محفظتي" دون إظهار رصيد محفظتك. في عالم blockchain ، هذا عملي للغاية. منطق ZK هو نموذجي "دليل عام ، حساب خاص" - يتم ذلك على جهاز الكمبيوتر الخاص بك ، يتم وضع نتائج الإثبات على السلسلة ، سيعرف الآخرون ما إذا كان ذلك صحيحا أم خاطئا. وبالتالي ، هناك صناعات كاملة مثل zkRollup و zkVM و zkEVM. يحل ZK مشكلة "هل يمكنني الوثوق بصحة الحساب؟" **سؤال. في جوهرها ، فهي عالية الكفاءة في التحقق. يستغرق التحقق أجزاء من الثانية ، ويمكن أن يستغرق إنشاء الإثبات ثوان ، ولكن بمجرد إنشائه ، يمكن للعالم تأكيده بسرعة. هذا مثالي للسلاسل العامة والبورصات والجسور والسيناريوهات الأخرى. لكن عيوبه واضحة أيضا: يجب أن تكون البيانات "قابلة للتحقق مسبقا" - يجب برمجة كل شيء في دائرة الإثبات. "الحساب السري" الحقيقي غير مدعوم - يتم التحقق من البيانات نفسها في النهاية بشكل عام. تعقيد القياس العالي - بمجرد أن تصبح الدائرة معقدة ، ترتفع التكلفة بشكل كبير. ملخص في جملة واحدة: ZK هو "كاتب العدل" في عالم التشفير ، مما يضمن أنك على حق ، لكن يمكن للآخرين أن يروا أنك تثبت ذلك. FHE: طموح حوسبة الصندوق الأسود في المقابل ، FHE (التشفير المتماثل بالكامل) هو طموح مختلف. لا يثبت أنك قمت بالحساب بشكل صحيح ، ولكنه يتيح لك الحساب مباشرة على النص المشفر. يمكنك تشفير البيانات في سحابة من النص المشفر الذي لا يمكن لأحد قراءته ، ولكن لا يزال من الممكن حساب هذا النص المشفر ، مثل الجمع والضرب والمتوسط. بعد فك تشفير النتيجة النهائية ، تكون بالضبط نفس نتيجة "عملية النص العادي". ماذا يعني هذا؟ هذا يعني أنه يمكن تشفيره بالكامل. لا تعرف الخوادم والعقود ونماذج الذكاء الاصطناعي البيانات التي تعالجها. هذا هو القضاء التام على الثقة. لا يوجد وسطاء ، ولا يوجد خطر تسرب ، ولا يوجد دليل مطلوب. لكن التكلفة مذهلة أيضا: كل عملية بطيئة مثل الحلزون ، والتمهيد مستهلك للغاية. كان FHE دائما عالقا في عنق الزجاجة في الأداء على مدار العقد الماضي. حتى ظهور @zama_fhe زاما يستخدمون "bootstrap القابل للبرمجة" و "fhEVM" ، بدأت في نقل FHE من المفهوم إلى التطبيق العملي. تسعى ZK إلى سرعة التحقق. تسعى FHE إلى نقاء الخصوصية. الأداء مقابل الحدود: من هو الأقرب إلى الواقع؟ من حيث الأداء ، يفوز ZK بشكل جميل في الوقت الحالي. التحقق السريع والبيئة الناضجة والبنية التحتية في حالة جيدة بالفعل (zkSync و StarkNet و Scroll وما إلى ذلك L2). لا يزال FHE في المراحل الأولى من "20 TPS". ومع ذلك ، من حيث اكتمال الخصوصية ، يعد FHE حلا أكثر شمولا. لا يزال ZK بحاجة إلى كشف جزء من المنطق الحسابي لإثباته. يسمح FHE بإجراء الحساب بالكامل في نص مشفر. فهل مزيجهم هو القاتل النهائي؟ هجين: zkFHE ، الشكل النهائي للخصوصية الممكنة في المستقبل مزيج من ZK + FHE (المعروف أيضا باسم zkFHE) ، لقد أصبح اتجاها بحثيا جديدا في الأوساط الأكاديمية والصناعة. منطق هذا النموذج هو: استخدام FHE لحسابات الخصوصية لتشغيل البيانات في نص مشفر ؛ أثبت أن الحساب صحيح مع ZK ، مما يمنع الخداع. إنها مثل خزنة مزودة بكاميرا - أنت لا تعرف ما يحدث في الداخل ، ولكن يمكنك التأكد من أنه يفعل الشيء الصحيح. هذا يحل مشكلتين رئيسيتين في وقت واحد: FHE بطيء للغاية → تبسيطه مع التحقق من ZK. ZK ليست خاصة بما يكفي → استخدام FHE لإكمال الخصوصية. يستكشف زاما @zama_fhe نفسه أيضا في هذا الاتجاه: يحتفظ fhEVM بالواجهات للتنفيذ الرمزي والتحقق من المعالج المساعد والتنفيذ القابل للإثبات. وضع واجهات على مستوى النظام ل zkFHE المستقبلية. إنه الاندماج النهائي للثقة والخصوصية: "عالم نص مشفر يمكن التحقق منه".