#dusk $DUSK @Dusk
الجزء من تصميم @Dusk الذي أشعر بأكبر قدر من عدم اليقين بشأنه — على نحوٍ صادق — هو تكلفة توليد الإثباتات على نطاق واسع.
إن إنشاء إثبات zk-SNARK ليس مجانيًا — فالتكلفة الحاسوبية تتناسب مع تعقيد الدارة (circuit)، وبشكل عام عبر أنظمة zk، قد تمتد أزمنة الإثبات للدوائر المعقدة من أقل من ثانية إلى عشرات الثواني، اعتمادًا على العتاد وعدد القيود.
العقود الذكية السرّية التي تتضمن منطق الامتثال مضمنًا هي، تقريبًا بحكم التعريف، دوائر أكثر تعقيدًا من عملية تحويل بسيطة. ولهذا آثار واقعية: من يتحمل تكلفة توليد الإثبات (جهاز المستخدم، مُولِّد إثباتات مفوض، العقدة)، وهل يخلق ذلك ضغطًا نحو المركزية إذا كان فقط بإمكان مُولِّدي الإثباتات ذوي الموارد الجيدة توليد الإثباتات بسرعة كافية لتكون مفيدة؟
لقد كرّر Dusk العمل على هذا (PLONK، ثم PlonKup مع جداول بحث لتسريع الإثباتات المعقدة)، مما يدل على أنهم يدركون عنق الزجاجة. وحتى لو كان الأمر “محسومًا” بالكامل بالنسبة لحجم معاملات على مستوى المؤسسات، فهذه مسألة مفتوحة تحتاج إلى بيانات وتجربة وليست شيئًا يمكنني اعتباره أمرًا مسلمًا به.
$DUSK #dusk
الجزء من تصميم @Dusk الذي أشعر بأكبر قدر من عدم اليقين بشأنه — على نحوٍ صادق — هو تكلفة توليد الإثباتات على نطاق واسع.
إن إنشاء إثبات zk-SNARK ليس مجانيًا — فالتكلفة الحاسوبية تتناسب مع تعقيد الدارة (circuit)، وبشكل عام عبر أنظمة zk، قد تمتد أزمنة الإثبات للدوائر المعقدة من أقل من ثانية إلى عشرات الثواني، اعتمادًا على العتاد وعدد القيود.
العقود الذكية السرّية التي تتضمن منطق الامتثال مضمنًا هي، تقريبًا بحكم التعريف، دوائر أكثر تعقيدًا من عملية تحويل بسيطة. ولهذا آثار واقعية: من يتحمل تكلفة توليد الإثبات (جهاز المستخدم، مُولِّد إثباتات مفوض، العقدة)، وهل يخلق ذلك ضغطًا نحو المركزية إذا كان فقط بإمكان مُولِّدي الإثباتات ذوي الموارد الجيدة توليد الإثباتات بسرعة كافية لتكون مفيدة؟
لقد كرّر Dusk العمل على هذا (PLONK، ثم PlonKup مع جداول بحث لتسريع الإثباتات المعقدة)، مما يدل على أنهم يدركون عنق الزجاجة. وحتى لو كان الأمر “محسومًا” بالكامل بالنسبة لحجم معاملات على مستوى المؤسسات، فهذه مسألة مفتوحة تحتاج إلى بيانات وتجربة وليست شيئًا يمكنني اعتباره أمرًا مسلمًا به.
$DUSK #dusk