من الذي يدفع فعليا مقابل الأمان في Web3؟ وهل يعمل النموذج الحالي؟ صعد مسؤول الأمن المركزي لدينا @BenSepanski إلى المنصة في قمة الأمن في @ETHDenver لتحليل الجوانب الاقتصادية الحقيقية وراء التدقيقات والمكافآت والحوافز الأمنية. الإجابة ليست بسيطة كما يعتقد 👇 معظم الناس

التحقق الرسمي لأجهزة zkVMs: استخراج القيود التي يتحقق منها المتحقق من المراقب، ثم تشغيل المتحقق على تلك القيود. أولا تحقق من الدوائر غير الحتمية، ثم تحقق من خصائص محددة. نفس العملية تتوسع لتشمل أنظمة معقدة مثل zkVMs.

معظم فرق الويب 3 تقضي من 10 إلى 20 ساعة أسبوعيا في أعمال أمنية يمكن أتمتتها. المشكلة؟ لا تعرف أي المهام يمكن أتمتتها فعلا حتى يعرض عليك أحدهم. في ETH Denver، نقدم تقييمات أتمتة أمنية مجانية لمدة 10 دقائق مع مسؤول التنظيم المركزي لدينا، @bensepanski