
ما هو الأمر المهم؟
الهدف الأساسي للمشروع كان لتحسين كفاءة و قابلية التوسع للبروتوكول Zerocoin.
على الأخص، نحن نهدف لتقليص “تكاليف الاتصال” المزعومة (كمية البيانات المتبادلة خلال كل جلسة، و التي هي في النهاية يبانات مسجلة بشكل دائمي على سلسلة الكتل).
و بشكل أكثر تحديدا كل معاملة zerocoin يتم صرفها تتطلب مساحة أكثر من 20 كيلو بايت.
إنها تحوي، من بين عدة أمور أخرى، برهانان صفريين المعرفة (البرهان الجامع للمعرفة، و الذي يتطلب حوالي 5kB، و توقيع الرقم التسلسلي للمعرفة، و الذي يتطلب حوالي 14kB).
لقد عملنا على هذا الأخير.
لقد قمنا بإعادة تصميم المسألة بما يعرف ب “الدائرة الرياضية”. الدوائر الرياضية هي طريقة معممة لوصف المسائل من نظرية التعقيد.
هناك كم غزير من الخوارزميات صفرية المعرفة المصممة لإثبات معرفة الحل لدائرة رياضية في مؤلفات التشفير.
نحن نختار استخدام Bulletproofs لأنها ملائمة للدوائر الاصغر، مثل دائرتنا و هي كفوءة للغاية.
لقد تم اختراع Bulletproofs من قبل بووتل، تشيرولي، تشيدوس، جروث و بيتيت و تم تحسينها من قبل بانز، بووتل، بونه، بولسترا و ماكسويل. و كما ينص الموقع القياسي:
إن ال Bulletproofs هي براهين صفرية المعرفة قصيرة غير تفاعلية لا تتطلب إعدادا موثوقا به. من الممكن إستخدام ال Bulletproof لإقناع الشخص المتحقق بكون النص العادي المشفر ذو تشكيل جيد. كمثال، إثبات كون رقم مشفر ما يقع في المدى المعطي، من دون كشف أي شيء آخر بشأن الرقم. مقارنة ب SNARKs، لا تتطلب Bulletproofs إعدادا موثوقا به. لكن مع ذلك، يكون التحقق من ال bulletproof أكثر استهلاكا للوقت من التحقق من برهان ال SNARK.
إن ال Bulletproofs مصممة لتمكين المعاملات السرية الفعالة في البتكوين و العملات المشفرة الأخرى.
إن لل Bulletproofs العديد من التطبيقات الأخرى في البروتوكولات التشفيرية، مثل تقصير براهين الملاءة المالية، عمليات الخلط القصيرة الممكنة الإثبات، العقود الذكية السرية، و كبديل عام مفتوح الأبواب ل بروتوكولات Sigma.
و حسب علمنا، هذا أول تطبيق (و التطبيق الوحيد) ل Bulletproofs بالنسبة لتوقيع المعرفة الخاص ببروتوكول Zerocoin.
بهذه التقنية تمكننا من تقليص حجم توقيع المعرفة من 14 kB إلى حوالي 4 kB (تقليص بمدى 71% في رسوم الإتصال) و بذلك جعلت معاملة الصرف بأكملها بمقدار نصف الحجم (حوالي 10 kB).**
لقد تم تحقيق هذا بينما تم الحفاظ على كون الأداء (عدد المرات اللازمة لإنتاج\التحقق من عملية الصرف) مماثلا، لو لم يكن أفضل بقليل، من البروتوكول القديم (على الرغم من التعقيد الإضافي و التكاليف الحسابية).
في الإصدار المقبل للبروتوكول، و الذي هو حاليا تحت التطوير، يشمل إثبات المعرفة الجامع و العديد من التحسينات لتوقيع المعرفة للرقم التسلسلي
قوموا بزيارة ال GITHUB العمومي لتطويرات الBulletproofs و ال Zerocoin
**ستتغير الأرقام على الارجح مع الإصدار القادم.