نيويورك، نيويورك، 21 مايو 2026، تشينواير
Certora، منصة ضمان الأمان الشاملة التي تثق بها أكثر الفرق تقدماً في الويب 3، حصلت على منحة مقدارها 2,010,000 من Canton Coin (ما يقارب 300 ألف دولار أمريكي) من صندوق تطوير كانتون لبناء أداة جديدة مفتوحة المصدر للتحليل الساكن لمشاريع Daml. يهدف هذا المشروع إلى دعم عمل سرتورا المستمر لجعل سلوك العقود الذكية شفافاً بالكامل وقابلاً للتحقق آلياً، وتوسيع هذه القدرة للمؤسسات التي تبني على شبكة كانتون.
ستقوم أداة سرتورا بتحليل ملفات .dar المترجمة، وهي حزم العقود الذكية المترجمة في كانتون، لاكتشاف وتصور التفاعلات عبر الحزم، وهي من أكثر الجوانب تعقيداً وصعوبة في أنظمة العقود الذكية. ستحدد الأداة كل حالة تمتلك فيها حزمة ما صلاحية الاستدعاء إلى حزمة أخرى، بما في ذلك مراجع تفصيلية مثل مسارات ملفات المصدر وأرقام الأسطر الدقيقة. إن تتبع سلسلة التوريد الكاملة لكل عقد Daml أمر أساسي لفهم تبعات الخصوصية عند التفاعل مع عقد ذكي على كانتون. هذا المستوى من الرؤية بالغ الأهمية في بنية كانتون التي تعطي الأولوية للخصوصية، حيث يحمل الكشف غير المقصود للمعلومات عواقب خطيرة. تعمل أداة سرتورا على أتمتة التحليل الذي تحتاجه المؤسسات قبل نشر عقد Daml أو التفاعل معه.
تُعد تفويض الصلاحيات عبر الحزم من أصعب جوانب أنظمة العقود الذكية متعددة الأطراف للتدقيق اليدوي. من خلال أتمتة هذه العملية، تقلل الأداة العبء عن فرق التطوير والأمن والامتثال وتزيد من ثقة المؤسسات التي تقيّم التطبيقات المبنية على كانتون.
سيتم إصدار الأداة بموجب رخصة Apache 2.0، ودمجها مباشرة في dpm، أداة سطر الأوامر الخاصة بكانتون المستخدمة في بناء واختبار وتشغيل تطبيقات كانتون، مما يجعلها متاحة بسهولة للمطورين الذين يبنون تطبيقات متعددة الأطراف على Daml.
بالنسبة للبنوك والمؤسسات المالية ومزودي البنية التحتية الذين يقيّمون بنى الدفاتر الموزعة، يُعد فهم السلوك الدقيق للعقود الذكية قبل النشر شرطاً أساسياً. أداة سرتورا تجلب هذا المستوى من الصرامة إلى منظومة كانتون.
"مع انتقال المؤسسات المالية ببنى تحتية حساسة إلى أنظمة الدفاتر الموزعة، يجب أن يرتفع مستوى ضمانات العقود الذكية معها. عمل سرتورا مع مؤسسة كانتون يهدف إلى تلبية هذا المستوى، وجلب نفس التحليل الآلي الصارم الذي طورناه لـ DeFi إلى المؤسسات التي تحتاجه أكثر"، قال مولي ساغيف، الشريك المؤسس لسرتورا.
الثقة في الأنظمة الموزعة تمثل تحدياً رئيسياً في تبني تقنيات البلوكشين. توفر البنية التي تعطي الأولوية للخصوصية في كانتون طريقة آمنة للمشاركة في سلاسل الكتل العامة، لكن حتى المدققين الموثوقين بحاجة إلى فهم سلوك العقود الذكية بشكل كامل وقابليته للتحقق.
ستمنح سرتورا المطورين والمشغلين رؤية واضحة وقابلة للتنفيذ حول كيفية تفاعل العقود عبر الحزم، مما يسمح لهم بتقييم مخاطر الأمان قبل النشر. لمعرفة المزيد، يرجى زيارة certora.com.
نبذة عن سرتورا
Certora هي شريك ضمان الأمان الذي تثق به أكثر الفرق تقدماً في الويب 3. تأسست في عام 2018 على يد رواد في لغات البرمجة والأساليب الشكلية، وتساعد سرتورا بروتوكولات رائدة مثل Lido وAave وUniswap وCompound على تأمين مليارات من القيمة بثقة.
نبذة عن مؤسسة كانتون
The Canton Foundation هي الجهة الحاكمة المستقلة لشبكة كانتون، شبكة البلوكشين الداعمة للخصوصية والمصممة للخدمات المالية المنظمة. تشرف المؤسسة على حوكمة الشبكة، وتطوير المنظومة، وضم المشاركين.
الاتصال
مدير علاقات عامة أول
لورين بوكوسكي
[email protected]