مقارنة شاملة: ما هي zk-SNARKs وzk-STARKs؟
ما هي zk-SNARKs وzk-STARKs؟ كلاهما دليل على المعرفة الصفرية، ولكن ما هي خصائصهما وكيف يمكن مقارنتهما ببعضهما البعض.

المصدر: Zuoye Waibo Mountain
الخط الرئيسي لتطوير العملة المشفرة واضح للغاية. أنشأت Bitcoin عملة مشفرة، وأنشأت Ethereum السلسلة العامة، وأنشأت TEDA عملات مستقرة، وأنشأت BitMEX عملات دائمة. العقود، الإبداعات الأربعة تشبه بدائيات التشفير، أو بناء سوق بقيمة تريليون دولار، أو أساطير لا تعد ولا تحصى عن الثراء، أو الأحلام اللامركزية التي يتذكرها الناس دائمًا.
إن مسار تطور تكنولوجيا التشفير ليس واضحًا، فالخوارزميات المتفق عليها المختلفة والتصميمات الرائعة المتنوعة لا تضاهي أنظمة التعهد والتوقيع المتعدد، والأخير هو الركيزة الحقيقية للحفاظ على تشغيل نظام التشفير. ، مثل السحب بعد الستاك المركزي لـ WBTC، لا يمكن أن توجد معظم BTC L2، ويعد الستاك الأصلي لبابل بمثابة استكشاف في هذا الاتجاه، بقيمة 70 مليون دولار أمريكي.
أحاول أن ألخص تاريخ تطور تقنية التشفير في هذه المقالة، والتي تختلف عن التغيرات التكنولوجية المختلفة في صناعة التشفير، مثل العلاقة بين FHE وZK وMPC، من خلال عملية تطبيق تقريبية، يتم استخدام MPC في البداية، ويمكن استخدام FHE في عملية الحساب المتوسطة، ويمكن إثبات ZK أخيرًا من حيث وقت التطبيق، وكان ZK هو أول من تم تنفيذه، وبعد ذلك أصبح مفهوم محفظة AA شائعًا، وMPC تم تقييمه كحل تقني، وتسارع تطويره، فقط FHE قد أعطي استعارة من الله في عام 2020، لكنه لم يشتعل إلا قليلاً في عام 2024.
على عكس ZK وMPC، تختلف FHE عن جميع خوارزميات التشفير الحالية. باستثناء FHE، أي تشفير متماثل أو غير متماثل تحاول التكنولوجيا إنشاء "نظام تشفير ليس من السهل أو المستحيل اختراقه" لتحقيق الأمان المطلق، ولكن هدف FHE هو جعل النص المشفر يعمل، أي أن التشفير وفك التشفير مهمان، ولكن بعد التشفير، لا ينبغي أن يضيع المحتوى قبل فك التشفير.
FHE هي تقنية أساسية، وقد تم الانتهاء من الاستكشاف النظري أكاديميًا وقد ساهم عمالقة Web2 كثيرًا نظرًا لدعم Microsoft وIntel وIBM وDARPA، قامت Duality بإعداد أدوات تكييف وتطوير البرامج والأجهزة.
الخبر السار هو أن عمالقة Web2 لا يعرفون ما يجب فعله مع FHE، ولم يفت الأوان بعد لبدء Web3 من الآن فصاعدًا. والخبر السيئ الآخر هو أن معدل تكييف Web3 يبلغ 0 تقريبًا. لا تتوافق عملة Bitcoin وEthereum السائدة أصلاً مع خوارزمية FHE. على الرغم من أن Ethereum هو جهاز الكمبيوتر العالمي، فمن المحتمل أن تنتهي الحسابات الصعبة لـ FHE في نهاية العالم.
نحن نركز بشكل أساسي على استكشاف Web3، فقط تذكر أن عمالقة Web2 متحمسون جدًا لـ FHE وقد قاموا بالفعل بالكثير من العمل الأساسي.
وهذا لأن تركيز Vitalik سيكون على ZK من عام 2020 إلى عام 2024.
أود هنا أن أشرح بإيجاز إسنادي إلى شعبية ZK. بعد أن أنشأ Ethereum طريق توسيع التراكم، يمكن لوظيفة ضغط الحالة لـ ZK تقليل حجم البيانات المنقولة من L2 إلى L1 بشكل كبير القيمة بالطبع، هذه مشكلات نظرية فقط، مثل تجزئة L2 والفرز، وحتى بعض رسوم مستخدم حصاد L2/Rollup، كلها مشاكل جديدة في التطوير ولا يمكن استخدامها إلا لمواصلة التطوير.
لتلخيص الأمر بإيجاز، تحتاج Ethereum إلى توسيع قدرتها وإنشاء مسار تطوير الطبقة الثانية، حيث تتنافس ZK/OP وRollup على التميز، مما يشكل إجماعًا صناعيًا على OP على المدى القصير والطويل ZK، تشكيل ARB/OP/ zkSync/SatrkNet Big Four.
يعد الاقتصاد سببًا مهمًا، أو حتى السبب الوحيد، لقبول ZK في عالم العملات المشفرة، وخاصة نظام Ethereum، لذلك لن يتم وصف الميزات التقنية التالية لـ FHE ينصب التركيز بالتفصيل على فحص FHE. في أي اتجاه يمكن تحسين كفاءة تشغيل Web3، أو تقليل تكلفة تشغيل Web3، ويجب دائمًا مراعاة خفض التكلفة وزيادة الكفاءة.
الأول هو التمييز بين التشفير المتماثل والتشفير المتماثل بالكامل. بالمعنى الدقيق للكلمة، التشفير المتماثل بالكامل هو الأول خاص حالة التشفير المتماثل تعني أن "إضافة أو ضرب النص المشفر يعادل إضافة أو ضرب نص عادي"، أي:
في هذا الوقت، يمكن اعتبار c وE(c) وd وE(d) قيمًا متساوية، ولكن يرجى ملاحظة أن هناك صعوبتين هنا:
إن المساواة بين النص العادي والنص المشفر ترجع في الواقع إلى إضافة بعض الضوضاء إلى النص العادي عمليات للحصول على النص المشفر، إذا كانت قيمة الانحراف الناتجة عن النص المشفر كبيرة جدًا، فسوف تفشل العملية الحسابية، لذا فهي مفتاح الخوارزميات المختلفة للتحكم في الضوضاء؛
إضافية. مجموع تكلفة الضرب ضخمة، وقد يكون حساب النص المشفر أكبر بـ 10000 إلى مليون مرة من حساب النص العادي، فقط عندما يمكن تحقيق عدد غير محدود من الإضافات وحسابات الضرب في نفس الوقت، يمكن أن يطلق عليه التشفير المتماثل بالكامل. جميع أنواع التشفير المتماثل لها أيضًا قيمتها الفريدة في مجالاتها المختلفة، ويمكن تقسيمها على النحو التالي:
جزئيًا التشفير المتماثل جزئيًا: يُسمح فقط بتنفيذ مجموعة محدودة من العمليات، مثل الجمع أو الضرب، على البيانات المشفرة. التشفير المتماثل إلى حد ما: يسمح بعدد محدود من عمليات الجمع والضرب.
تشفير متماثل بالكامل: يسمح بعدد غير محدود من عمليات الجمع والضرب لتحقيق حسابات عشوائية على البيانات المشفرة.
يمكن إرجاع تطور التشفير المتماثل بالكامل (FHE) إلى عام 2009، عندما اقترح كريج جينتري لأول مرة طريقة تعتمد على Ideal Lattice<. /strong> خوارزمية متجانسة تمامًا، والشبكة المثالية هي بنية رياضية تسمح للمستخدم بتحديد مجموعة من النقاط في مساحة متعددة الأبعاد حيث تلبي هذه النقاط علاقات خطية محددة.
في حل Gentry، يتم استخدام شبكة مثالية لتمثيل المفتاح والبيانات المشفرة، بحيث يمكن الحفاظ على خصوصية البيانات المشفرة أثناء استخدام التمهيد لتقليل الضوضاء من أجل "سحب أربطة حذائك بقوة وقلب نفسك"، فإن العملية الفعلية هي إضافة تشفير آخر إلى النص المشفر بواسطة FHE لتقليل الضوضاء والحفاظ على السرية، وبالتالي دعم عمليات الحوسبة المعقدة.
(يعد Bootstrapping تقدمًا تقنيًا مهمًا للغاية للتطبيق العملي لـ FHE، ولكن لن يتم توسيع المعرفة الرياضية بعد الآن)
تعد هذه الخوارزمية علامة بارزة في FHE وقد تم إثباته في الهندسة لأول مرة، وقد أثبت جدوى FHE، لكن التكلفة باهظة، ويستغرق حساب خطوة واحدة ثلاثين دقيقة، لذلك لا توجد إمكانية للتنفيذ العملي بشكل أساسي.
بعد الحل من 0 إلى 1، ما تبقى هو التطبيق العملي واسع النطاق، والذي يمكن فهمه أيضًا على أنه تنفيذ تصميم خوارزمي مطابق بناءً على افتراضات رياضية مختلفة، باستثناء الحالات المثالية، يتم استخدامه للأمان الافتراضات هناك أيضًا LWE (التعلم مع الخطأ) ومتغيراته، والتي تعد الحل الأكثر شيوعًا حاليًا.
في عام 2012، اقترح زفيكا براكيرسكي وكريج جينتري وفينود فايكونتاناثان مخطط BGV، وهو أحد مخططات الجيل الثاني من FHE، وأهم مساهماته هي تقنية التحويل التناظري إلى الرقمي، والتي تعمل بشكل فعال يتم التحكم في الزيادة في ضوضاء النص المشفر الناتجة عن العمليات المتجانسة، ويتم إنشاء مستوى FHE، أي أن مثل هذا FHE يمكنه تحقيق مهام الحوسبة المتماثلة عند عمق حوسبة معين.
وبالمثل، هناك حلول مثل BFV وCKKS على وجه الخصوص، يمكن أن يدعم حل CKKS عمليات الفاصلة العائمة، ولكنه سيزيد من استهلاك موارد الحوسبة، ولا تزال هناك حاجة إلى حلول أفضل.
أخيرًا، هناك مخططات TFHE وFHEW، وخاصة مخطط TFHE، وهو خوارزمية Zama المفضلة التي نقدمها باختصار، يمكن حل مشكلة الضوضاء في FHE عن طريق التمهيد الذي تم تطبيقه أولاً يمكن لـ Gentry و TFHE تحقيق عملية تشغيل فعالة ودقة مضمونة، لذلك فهي تتمتع بنقطة تكامل جيدة مع مجال blockchain.
هذا كل ما في مقدمتنا لكل حل. في الواقع، لا يتعلق الاختلاف بينهما بالمزايا والعيوب، بل يتعلق أكثر بالسيناريوهات المختلفة، ومع ذلك، فإنهما يتطلبان بشكل أساسي دعمًا قويًا لموارد الأجهزة والبرمجيات إنهم بحاجة أيضًا إلى حل مشكلات الأجهزة قبل أن يتم تطبيقها على نطاق واسع. ومن المستحيل أساسًا اتباع مسار "الخوارزميات والبرامج أولاً، تليها الأجهزة والوحدات النمطية" في مجال ZK على سبيل المثال، يجب أن يتم تطوير FHE بشكل متزامن مع الأجهزة منذ البداية، على الأقل يجب أن يكون هذا صحيحًا في مجال العملات المشفرة.
كما ذكرنا سابقًا، يستكشف عمالقة Web2 وقد حققوا بعض النتائج العملية، فيما يلي ملخص وتطبيق Web3 سيناريوهات.
لتبسيط الأمور، ساهمت شركة IBM بمكتبة Helib، التي تدعم بشكل أساسي BGV وCKKS. وتدعم مكتبة Microsoft SEAL بشكل أساسي حلول CKKS وBFV. ومن الجدير بالذكر أن Song Yongsoo، أحد مؤلفي CKKS، شارك في تصميم SEAL وتطويره، يعد OpenFHE هو الأكثر شمولاً، وقد تم تطويره بواسطة Duality بدعم من DARPA، وهو يدعم حاليًا الخوارزميات السائدة مثل BGV وBFV وCKKS وTFHE وFHEW استكمال مكتبة FHE الموجودة في السوق.
علاوة على ذلك، استكشف OpenFHE أيضًا التعاون مع مكتبة تسريع وحدة المعالجة المركزية من Intel واستدعاء واجهة CUDA الخاصة بـ NVIDIA لدعم تسريع GPU. ومع ذلك، كان أحدث دعم لـ CUDA لـ FHE في عام 2018 ولم يتم العثور على دعم محدث بعد. يرجى تصحيح لي إذا كان هناك أي أخطاء.
يدعم OpenFHE C++ وPython، وRust API قيد التطوير، وهو ملتزم بتوفير إمكانات نمطية بسيطة وشاملة وعبر الأنظمة الأساسية. إذا كنت مطور Web2، فهذا هو الأسهل من بين صندوق جاهز للاستخدام.
إذا كنت أحد مطوري Web3، فسيكون الأمر أكثر صعوبة.
محدودية القوة الحاسوبية الضعيفة، لا تستطيع معظم السلاسل العامة دعم تنفيذ خوارزمية FHE. ثانيًا، تفتقر بيئة Bitcoin وEthereum حاليًا إلى "الطلب الاقتصادي" على FHE. لقد كان الطلب على L2-->L1 لنقل البيانات بكفاءة هو الذي ألهم تنفيذ خوارزمية ZK ولا يمكن استخدامه من أجل FHE. وهذا هو دق المسامير والمطابقة القسرية، مما سيؤدي فقط إلى زيادة تكلفة التنفيذ. .
ستعرض المقالة التالية بالتفصيل الصعوبات الحالية وسيناريوهات التنفيذ المحتملة. تمنح هذه المقالة بعض الثقة بشكل أساسي لمطوري Web3.
في عام 2024، حصلت Zama على أكبر تمويل لمفهوم FHE في مجال التشفير، بقيمة 73 مليون دولار أمريكي بقيادة Multicoin، وتمتلك Zama حاليًا بشكل أساسي مكتبة خوارزمية TFHE، تليها fhEVM لدعم تطويرها سلسلة متوافقة لوظائف FHE.
والثاني هو مشكلة الكفاءة، والتي لا يمكن حلها إلا من خلال التعاون بين البرامج والأجهزة. الأول هو أن EVM لا يمكنه تشغيل عقد FHE بشكل مباشر، وهذا لا يتعارض مع حل fhEVM الذي أنشأته Zama سلسلة بمفردها، والتي يمكنها بسهولة إضافة وظيفة FHE محليًا، على سبيل المثال، يحتاج Shiba Inu أيضًا إلى بناء الطبقة الثالثة بناءً على حل Zama تكمن الصعوبة في قدرة Ethereum EVM نفسها على نشر عقود FHE، الأمر الذي يتطلب دعم تشغيل Ethereum (Opcode)، والخبر السار هو أن Fair Math وOpenFHE نظما بشكل مشترك مسابقة FHERMA لتشجيع المطورين على إعادة كتابة كود التشغيل الخاص بـ EVM، والذي يمكن اعتباره كما استكشاف بنشاط إمكانية التكامل.
والآخر هو تسريع الأجهزة، ويمكن القول أنه حتى لو كانت السلاسل العامة عالية الأداء مثل Solana تدعم في الأصل نشر عقود FHE، فسيتم سحب عقدها حتى الموت 3PU™ (وحدة معالجة حماية الخصوصية)، التي تنتمي إلى حل ASIC، تليها Zama أو Inco، والتي تستكشف أيضًا إمكانية تسريع الأجهزة، على سبيل المثال، يبلغ TPS الحالي لـ Zama حوالي 5، ويمكن لـ Inco تحقيق 10 TPS، وInco يعتقد أنه باستخدام تسريع أجهزة FPGA، يمكن زيادة سرعة TPS إلى حوالي 100-1000.
ولكن ليست هناك حاجة للقلق كثيرًا بشأن مشكلة السرعة. يمكن نظريًا تعديل حل تسريع أجهزة ZK الحالي للتكيف مع حل FHE، لذلك لن تبالغ المناقشة التالية في تصميم السرعة المشكلة، ولكنها تركز بشكل أساسي على مشكلات السرعة، فهي تتعلق بإيجاد السيناريوهات وحل التعديلات المتوافقة مع EVM.
من الأفضل أن نفعل ذلك عاجلاً وليس آجلاً، فلنبدأ بحوض من الماء البارد.
قد يكون عام 2024 عامًا كبيرًا بالنسبة لـ FHE، لكن Elusiv، الذي بدأ في عام 2022، توقف عن العمل. كان Elusiv في الأصل بروتوكول "تجمع مظلم" على Solana، والآن تم حذف قاعدة التعليمات البرمجية والوثائق .
في النهاية، لا يزال يتعين استخدام FHE، كجزء من المكونات التقنية، جنبًا إلى جنب مع تقنيات مثل MPC/ZKP، وما نحتاج إلى فحصه هو الطرق التي يمكن لـ FHE من خلالها تغيير النموذج الحالي من blockchain.
أولاً وقبل كل شيء، يجب أن نعترف بأنه ليس من الدقة مجرد الاعتقاد بأن FHE ستعزز الخصوصية، وبالتالي ستكون لها قيمة اقتصادية، انطلاقًا من الممارسات السابقة، للمستخدمين على Web3 أو ما فوقه لا تهتم السلسلة بالخصوصية كثيرًا، وسيتم استخدام الأدوات ذات الصلة عندما يمكن أن توفر الخصوصية قيمة اقتصادية، على سبيل المثال، سيستخدم المتسللون Tornado Cash لإخفاء الأموال المسروقة، بينما سيستخدم المستخدمون العاديون Uniswap فقط لأن استخدام Tornado Cash سيستغرق وقتًا إضافيًا. أو التكاليف الاقتصادية.
إن تكلفة تشفير FHE بحد ذاتها تمثل عذابًا إضافيًا لكفاءة التشغيل الضعيفة بالفعل على السلسلة فقط عندما تؤدي هذه الزيادة في التكلفة إلى تحقيق فوائد أكبر، يمكن أن تكون حماية الخصوصية ذات قيمة كبيرة إمكانية الترويج على نطاق واسع، مثل إصدار السندات والتداول في اتجاه RWA، على سبيل المثال، في يونيو 2023، أصدر بنك الصين الدولي "سندات مهيكلة رقمية بتقنية Blockchain" لعملاء منطقة آسيا والمحيط الهادئ في هونغ كونغ من خلال UBS. سويسرا ذكر بيان صحفي لـ Yin أنه تم إجراؤه من خلال Ethereum، ولكن الشيء السحري هو أنه لا يمكن العثور على عنوان العقد وعنوان التوزيع الخاص بالمعاملة، إذا تمكن أي شخص من العثور عليها، فيرجى إضافة المعلومات ذات الصلة.
يمكن أن يوضح هذا المثال أهمية FHE بالنسبة للعملاء المؤسسيين، فإنهم يحتاجون إلى استخدام سلاسل عامة مثل blockchain، لكنهم غير مناسبين أو يريدون الكشف عن جميع المعلومات، لذا فإن FHE تتميز بخصائص النص المشفر. تعد عمليات العرض والشراء والبيع المباشر أكثر ملاءمة من ZKP.
بالنسبة لمستثمري التجزئة الأفراد، لا تزال FHE عبارة عن بنية تحتية أساسية بعيدة نسبيًا، يمكنني إدراج عدة اتجاهات، مثل مكافحة MEV، والمعاملات الخاصة، والشبكات الأكثر أمانًا، ومنع تطفل الطرف الثالث، وما إلى ذلك، ولكن من الواضح. هذا ليس المطلب الأول، واستخدام FHE الآن سيؤدي بالفعل إلى إبطاء الشبكة، ومن الأفضل أن نقول بصراحة أن لحظة بطل الرواية لم تصل بعد.
في النهاية، تعد الخصوصية حاجة تافهة، وباعتبارها خدمة عامة، فإن القليل من الناس على استعداد لدفع علاوة الخصوصية. ونحن بحاجة إلى إيجاد طرق لتوفير التكاليف أو تحسين المعاملات باستخدام الميزات القابلة للحساب في FHE - البيانات المشفرة ستولد سيناريوهات الكفاءة قوة تعزيز تلقائية للسوق. على سبيل المثال، هناك العديد من الحلول المضادة لـ MEV، على سبيل المثال، لا يمكن للعقد المركزية حلها فعليًا.
هناك مشكلة أخرى وهي مسألة كفاءة الحوسبة. على السطح، هذه مشكلة فنية تتطلب تسريع الأجهزة أو تحسين الخوارزمية، ولكن في جوهرها، لا يوجد طلب كبير في السوق وجانب المشروع. ليس لديه أي دافع للتوسع. في التحليل النهائي، الكفاءة تدور حول التدحرج. لنأخذ ZK كمثال. في ظل الطلب المتزايد في السوق، تتنافس مسارات SNARK وSTARK مع بعضها البعض للتوافق. ينضج تطوير ZK من خلال الأموال الساخنة.
تُعد سيناريوهات التطبيق والتنفيذ بمثابة اختراق لـ FHE لتصبح بنية تحتية لـ blockchain. إذا لم يتم اتخاذ هذه الخطوة، فلن تتمكن FHE أبدًا من اكتساب الزخم في صناعة التشفير، وستحصل المشاريع الكبرى على ذلك لا يوجد خيار سوى أن تقرع الطبل وتستمتع بوقتك في قطعة الأرض الصغيرة الخاصة بك.
من ممارسة زاما وأصدقائه، هناك إجماع على بناء سلسلة جديدة خارج الإيثيريوم ودمج المكونات والمعايير الفنية مثل ERC-20 Reuse. إنه يشكل مخطط تشفير لـ FHE L1 / L2 للارتباط بـ Ethereum. وتتمثل ميزة هذا المخطط في أنه يمكن تجربته أولاً لبناء المكونات الأساسية لـ FHE. والعيب هو أنه إذا كان Ethereum نفسه لا يدعم خوارزمية FHE. عندها سيكون المخطط خارج السلسلة دائمًا في موقف محرج إلى حد ما.
تدرك زاما أيضًا هذه المشكلة، بالإضافة إلى المكتبات الدراسية ذات الصلة بـ FHE المذكورة أعلاه، فقد أطلقت أيضًا منظمة FHE.org ورعت المؤتمرات ذات الصلة، على أمل تحويل المزيد من النتائج الأكاديمية إلى هندسة. طلب.
اتجاه تطوير Inco Network هو "طبقة حوسبة الخصوصية العالمية"، والتي تعد في الأساس نموذجًا لموفر خدمة الاستعانة بمصادر خارجية للحوسبة. وهي تبني شبكة FHE EVM L1 بناءً على Zama. والاستكشاف المثير للاهتمام هو الاستكشاف المتقاطع. بروتوكول الرسائل المتسلسلة من خلال التعاون مع Hyperlane، يمكن نشر آلية اللعبة على سلسلة أخرى متوافقة مع EVM على Inco. عندما تكون هناك حاجة إلى حسابات FHE أثناء تشغيل اللعبة، يتم استدعاء قوة الحوسبة الخاصة بـ Inco من خلال Hyperlane، وبعد ذلك يتم إرسال النتائج فقط إلى السلسلة الأصلية.
لتحقيق السيناريو الذي تتصوره شركة Inco، من الضروري تلبية رغبة السلسلة المتوافقة مع EVM في الثقة في مصداقية Inco، ويجب أن تكون قوة الحوسبة الخاصة بشركة Inco قوية بما يكفي لتلبية متطلبات التزامن العالي وزمن الوصول المنخفض للسلسلة الألعاب، إنه أمر صعب للغاية ما إذا كان يمكن أن يعمل بشكل جيد حقًا.
بالإضافة إلى ذلك، يمكن لبعض أجهزة zkVM أن تلعب دور الاستعانة بمصادر خارجية لحوسبة FHE، على سبيل المثال، يتمتع RISC Zero بالفعل بهذه الإمكانية .
علاوة على ذلك، تأمل بعض المشاريع أن تكون أقرب قليلاً إلى Ethereum، على الأقل يمكن أن تتجه نحو أن تصبح جزءًا من Ethereum. يمكن لشركة Inco استخدام حل Zama لتنفيذ L1، ويمكن لـ Fhenix استخدام حل Zama لتنفيذ EVM L2. ، فهو لا يزال قيد التطوير، ويبدو أن هناك العديد من الاتجاهات التي يريد الدخول فيها. لا أعرف ما هو المنتج الذي سيتم إطلاقه عليه في النهاية، ربما سيكون L2 يركز على قدرات FHE.
بالإضافة إلى ذلك، هناك مسابقة FHERMA المذكورة أعلاه، ويمكن للقراء المبرمجين الذين يتقنون تطوير Ethereum تجربتها، حيث يمكنهم المساعدة في تنفيذ FHE والحصول على مكافآت في نفس الوقت.
بالإضافة إلى ذلك، هناك مشروعان رائعان آخران، Sunscreen وMind Network يتم تشغيلهما بشكل أساسي بواسطة Ravital وحده. الاتجاه هو استخدام خوارزمية BFV لإنشاء حل مترجم مناسب لـ FHE كان المنتج قيد الاختبار والتجريب لفترة طويلة، وسوف يستغرق الأمر بعض الوقت قبل أن يتم وضع المنتج موضع الاستخدام العملي.
أخيرًا، تركز أفكار Mind Network بشكل أساسي على الجمع بين FHE والسيناريوهات المختلفة الموجودة، مثل إعادة التخصيص، ولكن كيفية تنفيذها على وجه التحديد سوف يستغرق وقتًا للتحقق.
أخيرًا، مع التذكير ببداية هذا القسم، تمت إعادة تسمية Elusiv الآن إلى Arcium، وحصلت أيضًا على تمويل جديد، وتم تحويلها إلى حل "FHE الموازي"، والذي يهدف إلى تحسين FHE من منظور كفاءة التنفيذ .
يبدو أن هذه المقالة تتحدث عن نظرية وممارسة FHE، ولكن الخط الخفي هو توضيح تاريخ تطور تقنية التشفير نفسها، والتي لا تعادل تمامًا هناك العديد من أوجه التشابه بين التكنولوجيا المستخدمة في العملة المشفرة ZKP وFHE، أحدها هو أن كلاهما ملتزمان بالحفاظ على تصميم الخصوصية مع الحفاظ على الطبيعة العامة لـ blockchain، في حين أن حل الخصوصية ZKP موجه نحو تقليل التكلفة الاقتصادية للتفاعل بينهما. L2 <> ولا يزال FHE يجد أفضل سيناريو له.
الطريق طويل وطويل، ولا تزال FHE قيد الاستكشاف. ويمكن تقسيمها إلى ثلاثة أنواع حسب درجة الارتباط بالإيثريوم:
النوع الأول: مملكة مستقلة، تتواصل مع الإيثر. ممثلة بشبكة Zama/Fhenix/Inco، وهي توفر أساسًا تطوير البرامج الأساسية وتشجع البناء الذاتي لـ FHE L1/L2، وهو مناسب لبعض المجالات المتخصصة؛
النوع 2 : قم بتوصيله ودمجه في الأثير. ممثلة بـ Fair Math/Mind Network، على الرغم من احتفاظها بدرجة معينة من الاستقلال، إلا أن الفكرة العامة هي تحقيق تكامل أعمق مع Ethereum.
النوع 3: تحديد موعد لتحويل الأثير. إذا لم تتمكن Ethereum من دعم وظيفة FHE أصلاً، فيجب استكشافها في طبقة العقد لتوزيع وظيفة FHE على مختلف السلاسل المتوافقة مع EVM. حاليًا، لا يوجد حل يلبي هذا المعيار بالكامل.
يختلف FHE عن ZK حيث أصبح إصدار السلسلة بنقرة واحدة وتسريع الأجهزة عمليًا فقط في المراحل اللاحقة من تطويره، وقد يقف FHE على أكتاف عمالقة ZK من الممكن إرسال سلسلة FHE الآن، وهو أبسط شيء، ولكن كيفية التواصل بينها وبين الإيثيريوم هي الأصعب.
فكر في نفسي ثلاث مرات يوميًا وابحث عن الإحداثيات المستقبلية لـ FHE في عالم blockchain:
ماذا السيناريوهات ضرورية التشفير دون استخدام نص واضح؟
ما هي السيناريوهات التي تتطلب تشفير FHE ولكن لا يمكنها استخدام طرق تشفير أخرى؟
في أي السيناريوهات يشعر المستخدمون بالرضا تجاه استخدام تشفير FHE ويكونون على استعداد لدفع المزيد؟
للمتابعة، سأستمر في الاهتمام بـ FHE!
ما هي zk-SNARKs وzk-STARKs؟ كلاهما دليل على المعرفة الصفرية، ولكن ما هي خصائصهما وكيف يمكن مقارنتهما ببعضهما البعض.
إذا كنت مستثمرًا، فمن المرجح أن تستثمر في مشروع zk Layer 2 في النظام البيئي Ethereum قبل بضع سنوات، وهذا العام، أصدرت العديد من مشاريع zk عملات معدنية على الشبكة الرئيسية، وقد قامت العديد من زوجات الأبناء القبيحات بذلك أخيرًا التقوا بوالديهم.
في الآونة الأخيرة، تلقى Citrea، وهو أول مشروع Bitcoin Layer-2 يدعي اعتماد حل ZK-Rollup، أسئلة من المجتمع لأنه على وشك الاتصال بالإنترنت على شبكة الاختبار.
ZK Stack، ZK المخصص للأغراض العامة مقابل: أيهما هو المستقبل؟ أصبحت الخطوط الفاصلة بين ZK المخصصة والأغراض العامة غير واضحة.
Yona عبارة عن طبقة 2 (تراكمية) مدعومة بـ SVM على Bitcoin.
لقد كان امتداد الطبقة الثانية من Ethereum (ZK-Rollup) استنادًا إلى دليل المعرفة الصفرية دائمًا مجموعة ذات آمال كبيرة في النظام البيئي Ethereum. من الناحية النظرية، يمكن حل مشاكل الكفاءة والسلامة بطريقة متوازنة نسبيا.
تعد الوحدات النمطية وإثبات المعرفة الصفرية اتجاهين رئيسيين يقودان تطوير تقنية blockchain.
ليس فقط في مجال العملات المشفرة، ولكن أيضًا في المجالات التقليدية الأخرى، هناك حالات لا حصر لها من خداع المستثمرين من خلال الاحتيال المحاسبي.
سوف تستكشف هذه المقالة التأثير المحتمل لحكم SBF على اللاعبين الرئيسيين الآخرين في الصناعة، مع تسليط الضوء على المشهد المتغير لقيادة العملات المشفرة.
اكتسبت ZK-rollups قوة دفع على Ethereum. هل يمكن أيضًا تطبيق التكنولوجيا على Bitcoin؟