تُضيف لغة Simplicity، التي أطلقتها Blockstream مؤخرًا، عقودًا قابلة للتحقق رسميًا إلى شبكة Bitcoin Liquid، مما يمنح المؤسسات منطقًا جديدًا يُمكنها الوثوق به. ومن خلال اعتمادها على نموذج UTXO الخاص بـ Bitcoin، تتخطى هذه اللغة الهشاشة التي تُعاني منها الأنظمة القائمة على الدولة.
ملخص
- أطلقت Blockstream لغة Simplicity، وهي لغة عقد ذكية جديدة لشبكة Liquid Network الخاصة بـ Bitcoin، مع التركيز على التحقق الرسمي والأمان.
- على عكس نموذج الحالة العالمية الخاص بـ Ethereum، يستخدم Simplicity بنية UTXO الخاصة بـ Bitcoin لتجنب إعادة الدخول والثغرات القائمة على الحالة عن طريق التصميم.
- تهدف اللغة إلى فتح حالات الاستخدام الأصلية للبيتكوين مثل الخزائن القابلة للبرمجة، ومنصات التداول اللامركزية عديمة الجنسية، والحضانة المؤسسية دون جسور تابعة لجهات خارجية.
في بيان صحفي بتاريخ 31 يوليو، أعلنت شركة البنية التحتية لسلسلة الكتل Blockstream عن نشر إنتاج لغة العقد الذكي Simplicity على Liquid Network، وهي سلسلة Bitcoin الجانبية الفيدرالية الخاصة بها، والتي تستضيف أكثر من 3.2 مليار دولار من القيمة الإجمالية المقفلة.
يتويج هذا الإصدار اثني عشر عامًا من الأبحاث التي يعود تاريخها إلى المفاهيم الأولية التي وضعها عالم الرياضيات في Blockstream الدكتور راسل أوكونور، مع التطوير الأساسي الذي يقوده نفس الفريق وراء ترقية Taproot الخاصة بـ Bitcoin.
بخلاف العقود الذكية على غرار إيثريوم، يمكن التحقق من عقود Simplicity رياضيًا قبل تنفيذها، مع حذف الميزات المعرضة للاستغلال عمدًا، وتفضيل التحقق الرسمي على المرونة. وذكرت Blockstream أن الإصدار يتضمن أيضًا خارطة طريق لـ SimplicityHL، وهي طبقة تجريد عالية المستوى تهدف إلى توسيع نطاق وصول المطورين.
كيف تُعيد شركة Simplicity ابتكار عقود البيتكوين
بينما تعتمد إيثريوم ومثيلاتها على نماذج حالة عالمية تُعرّض شبكات بأكملها لأعطال محتملة، تُطبّق سيمبليسيتي نهجًا مُتأصلًا في بيتكوين: يجب أن تكون العقود مُستقلة ذاتيًا، مع تمرير جميع البيانات اللازمة صراحةً في كل معاملة. هذا يُزيل فئات كاملة من الثغرات الأمنية، من هجمات إعادة الدخول إلى فساد الحالة، تصميمًا وليس تصحيحًا.
إن الآثار المترتبة على التبني المؤسسي كبيرة. لطالما ترددت الشركات المالية في نشر حلول البلوك تشين على نطاق واسع نظرًا لأنماط الفشل غير المتوقعة لأنظمة العقود الذكية الحالية. لكن البساطة تُغير هذه الحسابات بإدخال التحقق الرسمي، وهي طريقة يُمكن من خلالها إثبات صحة العقود رياضيًا قبل تنفيذها.
وهذا الأمر مهم بشكل خاص بالنسبة للتطبيقات ذات المخاطر العالية مثل رمزية الأصول، حيث يمكن أن يؤدي خطأ واحد إلى التدقيق التنظيمي أو الخسائر المالية.
صرّح أندرو بولسترا، مدير الأبحاث في بلوكستريم، قائلاً: "صمّمنا سيمبليسيتي لتمكين تطبيقات بيتكوين التعبيرية الأصلية دون أن ترث تعقيد وهشاشة أنظمة العقود الذكية الأخرى". وأضاف: "بدمج الأساليب الرسمية مع نموذج UTXO، نرسي أساسًا لتمويل آمن وقابل للبرمجة على بيتكوين، يمكن للمطورين والجهات الأخرى، مثل المؤسسات المالية، الاعتماد عليه".
تعكس حالات الاستخدام الأولية التي حددتها Blockstream هذا التركيز على الموثوقية. فالخزائن القابلة للبرمجة مع عمليات سحب مقيدة زمنيًا قد تمنح المؤسسات ضوابط امتثال قابلة للتنفيذ، بينما قد توفر منصات التداول اللامركزية عديمة الجنسية أخيرًا بديلاً متوافقًا مع اللوائح التنظيمية لمنصات اليوم العالمية.
ولعل الأمر الأكثر إقناعًا هو الإمكانات التي توفرها حلول الحراسة الأصلية للبيتكوين، والتي توفر مخططات توقيع عتبة لا تتطلب تغليف الأصول أو الثقة في جسور الطرف الثالث.
وفي المستقبل، تخطط Blockstream لتوسيع إمكانية الوصول إلى Simplicity من خلال SimplicityHL، وهي طبقة تجريد ذات مستوى أعلى من شأنها أن تقلل من منحنى التعلم للمطورين المعتادين على اللغات الأكثر تساهلاً.
