لغات البرمجة تمنع DeFi السائد

عقدة المصدر: 1762009

التمويل اللامركزي (DeFi) ينمو بسرعة. نمت القيمة الإجمالية المقفلة ، وهي مقياس للأموال التي تديرها بروتوكولات DeFi ، من 10 مليارات دولار إلى ما يزيد قليلاً عن 40 مليار دولار خلال العامين الماضيين بعد أن بلغت ذروتها عند 180 مليار دولار.

صورة
إجمالي القيمة المحجوزة في DeFi اعتبارًا من نوفمبر 2022. المصدر: DefiLlama

الفيل في الغرفة؟ كان أكثر من 10 مليار دولار خسر أمام الاختراقات والمآثر في عام 2021 وحده. إطعام هذا الفيل: فشلت لغات برمجة العقود الذكية الحالية في توفير ميزات مناسبة لإنشاء الأصول وإدارتها - المعروفة أيضًا باسم "الرموز". لكي تصبح DeFi سائدة ، يجب أن توفر لغات البرمجة ميزات موجهة للأصول لجعل تطوير عقد DeFi الذكي أكثر أمانًا وبديهية.

لا تحتوي لغات برمجة DeFi الحالية على مفهوم الأصول

تشمل الحلول التي يمكن أن تساعد في تقليل الاختراقات الدائمة لـ DeFi كود التدقيق. إلى حد ما ، عمل المراجعات. من بين أكبر 10 عمليات اختراق لـ DeFi في التاريخ (عطاء أو أخذ) ، لم يتم تدقيق تسعة من المشاريع. لكن إلقاء المزيد من الموارد لحل المشكلة يشبه وضع المزيد من المحركات في سيارة ذات عجلات مربعة: يمكن أن تسير بشكل أسرع قليلاً ، ولكن هناك مشكلة أساسية في اللعب.

المشكلة: لغات البرمجة المستخدمة في DeFi اليوم مثل Solidity، ليس لديهم مفهوم لماهية الأصل. الأصول مثل الرموز المميزة والرموز غير القابلة للفطريات (NFTs) موجودة فقط كمتغير (أرقام يمكن تغييرها) في عقد ذكي مثل ERC-20 من Ethereum. إجراءات الحماية والتحقق من الصحة التي تحدد كيف يجب أن يتصرف المتغير ، على سبيل المثال ، أنه لا ينبغي إنفاقه مرتين ، ولا ينبغي استنزافه من قبل مستخدم غير مصرح له ، وأن عمليات النقل يجب أن تتوازن دائمًا وصافيًا إلى الصفر - يجب تنفيذها جميعًا من خلال المطور من البداية لكل عقد ذكي.

هذا الموضوع ذو علاقة بـ: كان بإمكان المطورين منع الاختراقات المشفرة لعام 2022 إذا اتخذوا تدابير أمنية أساسية

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

مثال على ذلك: تم استغلال Compound ، وهو أحد أكثر بروتوكولات DeFi ربحًا ، لتصل قيمته إلى 80 مليون دولار في سبتمبر 2021. لماذا؟ احتوى العقد الذكي على ">" بدلاً من "> =".

تأثير الضربة القاضية

لكي تتفاعل العقود الذكية مع بعضها البعض ، مثل قيام المستخدم بتبديل رمز مميز برمز مختلف ، يتم إرسال الرسائل إلى كل من العقود الذكية لتحديث قائمة المتغيرات الداخلية الخاصة بهم.

والنتيجة هي عملية موازنة معقدة. ضمان التعامل مع جميع التفاعلات مع العقد الذكي بشكل صحيح يقع بالكامل على عاتق مطور DeFi. نظرًا لعدم وجود حواجز حماية فطرية مدمجة في Solidity و Ethereum Virtual Machine (EVM) ، يجب على مطوري DeFi تصميم وتنفيذ جميع إجراءات الحماية وعمليات التحقق المطلوبة بأنفسهم.

هذا الموضوع ذو علاقة بـ: يحتاج المطورون إلى إيقاف قراصنة التشفير أو مواجهة التنظيم في عام 2023

لذلك يقضي مطورو DeFi كل وقتهم تقريبًا في التأكد من أن الكود الخاص بهم آمن. والتحقق منها مرتين - والتحقق منها ثلاث مرات - لدرجة أن بعض المطورين أفادوا بأنهم يقضون ما يصل إلى 90٪ من وقتهم في عمليات التحقق والاختبار و 10٪ فقط من وقتهم في بناء الميزات والوظائف.

مع معظم الوقت الذي يقضيه المطور في محاربة التعليمات البرمجية غير الآمنة ، بالإضافة إلى نقص المطورين ، كيف نمت DeFi بهذه السرعة؟ على ما يبدو ، هناك طلب على أشكال الأموال القابلة للبرمجة وذات السيادة الذاتية وغير المرخصة ، على الرغم من التحديات والمخاطر المتمثلة في توفيرها اليوم. الآن ، تخيل مقدار الابتكار الذي يمكن إطلاقه إذا استطاع مطورو DeFi تركيز إنتاجيتهم على الميزات وليس الفشل. هذا النوع من الابتكار الذي قد يسمح لصناعة ناشئة تبلغ 46 مليار دولار بتعطيل صناعة كبيرة مثل 468 تريليون دولار من التمويل العالمي.

صورة
إجمالي أصول المؤسسات المالية العالمية من 2002 إلى 2020. المصدر: Statista

الابتكار والأمان

ينبع مفتاح DeFi المبتكر والآمن من نفس المصدر: منح المطورين طريقة سهلة لإنشاء الأصول والتفاعل معها وجعل الأصول وسلوكهم البديهي ميزة أصلية. يجب أن يتصرف أي أصل تم إنشاؤه دائمًا بشكل متوقع وبما يتماشى مع المبادئ المالية المنطقية.

في نموذج البرمجة الموجه للأصول ، يكون إنشاء أحد الأصول سهلاً مثل استدعاء وظيفة أصلية. يعرف النظام الأساسي ماهية الأصل: ينشئ .initial_supply_fungible (1000) رمزًا مميزًا قابلًا للاستبدال مع عرض ثابت يبلغ 1000 (بالإضافة إلى العرض ، تتوفر أيضًا العديد من خيارات تكوين الرمز المميز) بينما تأخذ وظائف مثل .take و .put رموزًا من مكان ما ووضعها في مكان آخر.

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

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

بن فار هو رئيس الشراكات في RDX Works ، المطور الأساسي لبروتوكول Radix. قبل عمله في RDX Works ، شغل مناصب إدارية في PwC و Deloitte ، حيث خدم العملاء في الأمور المتعلقة بالحوكمة والتدقيق وإدارة المخاطر وتنظيم التكنولوجيا المالية. وهو حاصل على بكالوريوس الآداب في الجغرافيا والاقتصاد ودرجة الماجستير في برمجيات الخرائط والتحليلات من جامعة ليدز.

استخدم المؤلف ، الذي كشف هويته لكوينتيليغراف ، اسمًا مستعارًا لهذا المقال. هذه المقالة هي لأغراض المعلومات العامة ولا يُقصد منها ولا ينبغي اعتبارها نصيحة قانونية أو استثمارية. الآراء والأفكار والآراء الواردة هنا هي آراء المؤلف وحدها ولا تعكس بالضرورة وجهات نظر وآراء كوينتيليغراف أو تمثلها.

الطابع الزمني:

اكثر من Cointelegraph