مايكروسوفت

في 3 يونيو ، أعلن فريق Microsoft Research عن ملف أداة التحقق لتأمين العقود الذكية المكتوبة في Solidity ، لغة البرمجة السائدة لشبكة Ethereum.

تلك الأداة مدبلجة VeriSol, تم إنتاجه في جهد تعاوني بين Microsoft Research ، ذراع الابتكار لعملاق التكنولوجيا ، و Microsoft Azure Blockchain ، ذراع الحوسبة السحابية للشركة والذي يهدف إلى مساعدة الشركات والمؤسسات على بناء تطبيقات blockchain الخاصة بها بسهولة.

مايكروسوفت

والجدير بالذكر أن الأداة ليست مجرد مساهمة حسن نية في الاقتصاد المشفر (على الرغم من أنها مفتوحة المصدر) ، حيث ستستفيد Azure Blockchain من محلل Solidity لمساعدة منتجات العملاء المؤسسيين. كما أوضح كبير مهندسي البرمجيات في الفريق كودي بورن في الأخبار:

“يسمح لنا VeriSol بالتكرار بسرعة أكبر بسبب الفحص التلقائي والمستمر ، ويتيح لنا اكتشاف الأخطاء بشكل أسرع دون الحاجة إلى القلق بشأن التأثير المحتمل على العملاء.”

لا يمكن تعديل العقود الذكية بسرعة بمجرد أن تصبح سارية ، لذلك من المهم مراجعة التعليمات البرمجية بدقة قبل تفعيلها على شبكة Ethereum mainnet – وإلا فإن الأخطاء يمكن أن تحدث كارثة مع عواقب اقتصادية ملموسة.

في أبريل ، أجرى منحدر تشفير فيات لعملة Dai المستقرة تسمى DAIHard إطلاق الإصدار التجريبي ، ولكن نظرًا لوجود أخطاء ، قام متسلل القبعة البيضاء باستنزاف العقود قبل أن يتمكن وكيل أكثر ضارة. وفقًا لذلك ، تتمثل الفكرة في VeriSol في اكتشاف تناقضات Solidity هذه بسرعة وكفاءة قبل ، وليس بعد ، تسبب مشاكل.

مايكروسوفت تحتضن Blockchain

يأتي إعلان VeriSol في أعقاب احتضان العديد من blockchain رفيعة المستوى في نظام Microsoft البيئي مؤخرًا.

في هذا الشهر فقط ، أضافت الشركة أو أذرعها المختلفة رمز Bitcoin unicode إلى نظام جداول بيانات Microsoft Excel الشهير على نطاق واسع ؛ كشف عن مشروع معرف لامركزي تم بناؤه فوق Bitcoin ؛ وأعلنوا عن دعم Azure Blockchain لـ Quorum ، شوكة JP Morgan المرخصة من Ethereum.

في الواقع ، ينمو موقع Microsoft كشريك في مجال blockchain الأوسع ، وستساعد أدوات مثل VeriSol مفتوح المصدر الآن المشاريع التي تتجاوز نطاق اختصاصها المباشر في النمو أيضًا. ولهذه الغاية ، أشار الباحث الرئيسي في Microsoft Shuvendu Lahiri إلى المدقق:

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

وبالتالي ، يستمر النشاط والبنية التحتية العامة حول تقنية العقود الذكية – وخاصة حول Ethereum ، أكبر منصة عقد ذكية حتى الآن – في الازدهار بثبات.

للأسف ، Microsoft ليست الشركة الوحيدة في الصناعة التي تطلق تقنية مجانية تركز على Ethereum أيضًا. أصدرت شركة المحاسبة القوية “Big Four” EY أداة خصوصية Nightfall قبل أيام فقط.

صلابة 101

تم تحديد Solidity لأول مرة في عام 2014 من قبل المؤسس المشارك لشركة Ethereum Gavin Wood ، وتم بناؤه في النهاية من قبل مجموعة من مطوري Ethereum برئاسة Christian Reitwiessner.

كانت اللغة مستوحاة بشكل فضفاض من جوانب لغات البرمجة الشائعة الأخرى والأكثر انتشارًا مثل JavaScript و Python و C ++. لهذا السبب ، يُنصح القادمين الجدد إلى البرمجة المهتمين بتعلم Solidity بالتعمق في أحد المؤثرين كنقطة انطلاق.

وفقًا لوثائق Solidity ، فإن اللغة تبني العقود بشكل أساسي على النحو التالي:

“العقد بمعنى Solidity هو مجموعة من الكود (وظائفه) والبيانات (حالته) الموجودة في عنوان محدد على Ethereum blockchain.”

وهكذا تمنح Solidity للمطورين القدرة على “التحكم في سلوك الحسابات داخل دولة Ethereum” ، كما توضح وثائقها.

يمكن للمهتمين بمنح Solidity فرصة أخرى استكشاف النص التوضيحي لأندرياس أنتونوبولوس وغافن وود Mastering Ethereum أو الاشتراك في CryptoZombies ، وهو مورد تعليمي مجاني يساعد المبتدئين على تعلم برمجة لعبة تعتمد على الزومبي باللغة.

الطائر المبكر يصاب بالدودة بالطبع. وفقًا للزخم الذي اكتسبته Ethereum بالفعل حتى الآن ، يبدو من المحتمل أن يكون Solidity موجودًا لعقود قادمة.

Mike Owergreen Administrator
Sorry! The Author has not filled his profile.
follow me