أضواء الباحث: @cmichelio ساعد كريستوف ، الباحث الأمني الرئيسي في Spearbit ، في تأمين أنظمة DeFi الأكثر تطورا حتى الآن ، مما أدى إلى عقلية مدفوعة بالإثبات تعيد تشكيل كيفية تفكير المؤسسات في المخاطر. قصته متاحة أدناه.

درس الرياضيات وعلوم الكمبيوتر مع التركيز على التشفير. قاده هذا المسار الأكاديمي إلى Web3 ، حيث برزت طبيعة العقود الذكية مفتوحة المصدر وقابليتها للتركيب على الفور.

قبل الأمن ، كان مسار كريستوف يمر عبر تطوير fullstack و blockchain. جاءت نقطة التحول عندما أظهرت مآثر العالم الحقيقي والمكافآت المكونة من ستة أرقام مدى التأثير في العثور على الأخطاء وإصلاحها.

تبدأ كل مراجعة بسؤال أساسي: ما الذي يتطلبه الأمر لسرقة الأموال؟ من هناك ، يقوم بنمذجة حالة النظام ، وتحديد مسارات الهجوم ، والبحث عن دليل. إذا فشل هذا الدليل ، فمن الممكن الاستغلال. إذا كان ثابتا، فإن البروتوكول آمن.

عمل كريستوف عبر معظم منصات DeFi الرئيسية. يشمل تعاونه طويل الأمد مراجعة كل ترقية تقريبا لبروتوكول Sky ، المعروف سابقا باسم MakerDAO ، حيث تتطور الحوكمة والأنظمة الاقتصادية باستمرار.

لتجنب الشعور بالملل ، يبحث عن الحداثة: البروتوكولات التي تتطلب النمذجة بالقلم والورق ، ونماذج سلسلة جديدة مثل Move ، وبناء فرق للبدائيين الأصليين المشفرة. لا يزال مؤمنا ب DAOs ويريد رؤيتها تنجح.

في حين أن معظم عمليته يدوية ، إلا أنه يراقب تطور الذكاء الاصطناعي في التدقيق. اهتمامه ليس ضجيجا ، إنه دليل. إنه يريد قياس المخرجات واختبار المطالبات وقياس كسب الإشارة عبر فئات مختلفة من الأخطاء.

بالنسبة @cmichelio ، العقود الذكية هي أنظمة قواعد. يحدد المخاطر ، ويتتبع المنطق ، ويحدد أين تفشل الافتراضات. لا يتعلق الأمر فقط بالعثور على الأخطاء. يتعلق الأمر بإثبات ما يجب أن يكون ممكنا أو لا ينبغي أن يكون ممكنا.