قامت شركة Electric Coin (ECC) ، التي أطلقت ودعمت تطوير Zcash للخصوصية ، بنشر ورقة بعنوان: Halo: Recursive Proof Composition بدون إعداد موثوق.
في 10 سبتمبر ، ECC أعلن في إحدى التدوينات على المدونة ، اكتشف المهندس والمشفّر شون بوي طريقة “لإنشاء تقنيات إثبات تشفير عملية وقابلة للتطوير وغير موثوق بها” ، والتي تدعي أنها أنهت مطاردة استمرت عشر سنوات من قبل مجتمعات التشفير. ودعا الحل هالو.
يأخذ Halo الحاجة إلى “إعداد موثوق به”
يقال إن إستراتيجية Halo تنطوي على إمكانية ضغط كميات لا حصر لها من الحسابات ، وإنشاء أنظمة موزعة قابلة للتسجيل ، وبناء مجموعات ضخمة قابلة للتطوير وحماية الخصوصية. يقرأ المقال:
“هذا المفهوم هو دليل يتحقق من صحة مثيل آخر لنفسه ، مما يسمح لأي قدر من الجهد الحسابي والبيانات بإنتاج دليل قصير يمكن التحقق منه بسرعة.
يتضمن اكتشاف شون “إطفاء متداخل” – مرارًا وتكرارًا في حالات متعددة من المشكلات الصعبة معًا عبر دورات منحنيات إهليلجية بحيث يمكن استخدام البراهين الحسابية في التفكير في أنفسهم بكفاءة ، مما يلغي الحاجة إلى إعداد موثوق به. “
في التشفير ، يكون الإعداد الموثوق عندما يتم إنشاء مجموعة من المعلمات الأولية التي سيتم تدميرها في مرحلة لاحقة. يطلق عليه إعداد موثوق لأنه يجب على الشخص الوثوق بالشخص الذي أنشأ المعلمات لتدميرها بدلاً من الاحتفاظ بها لتحقيق مكاسب غير مشروعة في المستقبل.
تشير شركة Coin Coin إلى أن التنسيقات الموثوق بها يصعب تنسيقها ، ويمكن أن تشكل خطراً على النظام ويجب أن تتكرر دائمًا لكل عملية ترقية رئيسية للبروتوكول. وفقًا لـ ECC ، يجب أن توفر إزالة الأجهزة الموثوق بها تحسينًا كبيرًا في أمان البروتوكولات القابلة للترقية.
ادعى مؤلفو الورقة ، Sean Bowe و Daira Hopwood و Jack Grigg ، أنهم حصلوا على أول مثال عملي لتكوين دليل عودي دون إعداد موثوق به ، وذلك باستخدام دورات عادية فقط من المنحنيات الإهليلجية. اضافوا:
“مساهمتنا الأساسية هي تقنية جديدة لإطفاء إجراءات التحقق الباهظة الثمن من داخل دورة التحقق من الإثبات حتى نتمكن من الحصول على تكرار باستخدام تركيبة من البروتوكولات والتقنيات الموجودة. نحن نبتكر طريقة لإطفاء تكلفة التحقق من حجج المنتج الداخلية المتعددة التي قد تكون ذات فائدة مستقلة “
