العملات المشفرة دخلت للتو وضع المخبأ 🚨
يقول جاستن دريك، الباحث في إيثيريوم، إن على قطاع العملات المشفرة الاستعداد لاحتمال أن يُضعف الذكاء الاصطناعي أمن المنحنيات الإهليلجية في وقت أقرب من المتوقع. يعرف السوق $STRK بوصفه جزءًا من منظومة STARK. أما $VFY فيقع ضمن جانب أقل وضوحًا من نقاش الأمن نفسه.
سيقرأ معظم الناس هذا على أنه خبر عن المحافظ.
لكنه تحذير بشأن كل افتراض تشفيري مخفي تحت البنية التحتية للعملات المشفرة. فإثبات المعرفة الصفرية لا يوجد في فراغ أمني، بل تعتمد متانته على الرياضيات المستخدمة في إنشائه والتحقق منه.
أصبح Groth16 مهيمنًا لأن إثباتاته صغيرة ورخيصة التحقق. لكنه يعتمد أيضًا على المنحنيات الإهليلجية وإعداد موثوق.
تستخدم الأنظمة المنتمية إلى عائلة STARK افتراضات قائمة على التجزئة وإعدادات شفافة، لكن التحقق منها مباشرةً على سلاسل
EVM قد يكون مكلفًا أو غير مدعوم.
والحل البديل الشائع هو تغليف الإثبات الأصلي ضمن Groth16 قبل إرساله إلى السلسلة. وهذا يحسّن التوافق، لكنه يعيد إدخال تبعيات تشفيرية ربما صُمم نظام الإثبات الأصلي لتجنبها.
يدعم zkVerify التحقق الأصلي لأنظمة تشمل SP1 وRISC Zero وPlonky2.
يمكن التحقق من الإثباتات المدعومة من دون تحويلها أولًا إلى Groth16 لمجرد التوافق مع EVM.
يجب توضيح هذا الفرق بدقة.
zkVerify نفسه ليس آمنًا كموميًا. فما زالت شبكته تستخدم آليات إجماع وتوقيع تقليدية.
ويتمثل دوره في الحفاظ على خصائص الأمان الحالية لنظام الإثبات عند مرحلة التحقق. ويتيح VFY الوصول إلى عبء العمل المتخصص هذا للتحقق.
إذا تسارعت وتيرة الانتقال التشفيري، فستزداد قيمة البنية التحتية القادرة على التحقق من أنظمة الإثبات الأحدث بصيغتها الأصلية.
#الأمن #موسم_العملات_البديلة#
يقول جاستن دريك، الباحث في إيثيريوم، إن على قطاع العملات المشفرة الاستعداد لاحتمال أن يُضعف الذكاء الاصطناعي أمن المنحنيات الإهليلجية في وقت أقرب من المتوقع. يعرف السوق $STRK بوصفه جزءًا من منظومة STARK. أما $VFY فيقع ضمن جانب أقل وضوحًا من نقاش الأمن نفسه.
سيقرأ معظم الناس هذا على أنه خبر عن المحافظ.
لكنه تحذير بشأن كل افتراض تشفيري مخفي تحت البنية التحتية للعملات المشفرة. فإثبات المعرفة الصفرية لا يوجد في فراغ أمني، بل تعتمد متانته على الرياضيات المستخدمة في إنشائه والتحقق منه.
أصبح Groth16 مهيمنًا لأن إثباتاته صغيرة ورخيصة التحقق. لكنه يعتمد أيضًا على المنحنيات الإهليلجية وإعداد موثوق.
تستخدم الأنظمة المنتمية إلى عائلة STARK افتراضات قائمة على التجزئة وإعدادات شفافة، لكن التحقق منها مباشرةً على سلاسل
EVM قد يكون مكلفًا أو غير مدعوم.
والحل البديل الشائع هو تغليف الإثبات الأصلي ضمن Groth16 قبل إرساله إلى السلسلة. وهذا يحسّن التوافق، لكنه يعيد إدخال تبعيات تشفيرية ربما صُمم نظام الإثبات الأصلي لتجنبها.
يدعم zkVerify التحقق الأصلي لأنظمة تشمل SP1 وRISC Zero وPlonky2.
يمكن التحقق من الإثباتات المدعومة من دون تحويلها أولًا إلى Groth16 لمجرد التوافق مع EVM.
يجب توضيح هذا الفرق بدقة.
zkVerify نفسه ليس آمنًا كموميًا. فما زالت شبكته تستخدم آليات إجماع وتوقيع تقليدية.
ويتمثل دوره في الحفاظ على خصائص الأمان الحالية لنظام الإثبات عند مرحلة التحقق. ويتيح VFY الوصول إلى عبء العمل المتخصص هذا للتحقق.
إذا تسارعت وتيرة الانتقال التشفيري، فستزداد قيمة البنية التحتية القادرة على التحقق من أنظمة الإثبات الأحدث بصيغتها الأصلية.
#الأمن #موسم_العملات_البديلة#