
آیا زبان Simplicity بیت کوین را در مسیر DeFi قرار میدهد؟ معرفی رقیب جدید Solidity

ورود Blockstream به عرصه قراردادهای هوشمند بیت کوین با زبان Simplicity
شرکت Blockstream، توسعهدهنده پروتکل لایه دوم بیت کوین با نام Liquid و به رهبری آدم بک، سایفرپانک معروف بیت کوین، زبان قرارداد هوشمند جدیدی به نام Simplicity را برای بیت کوین معرفی کرده است. طبق اطلاعیهای که پنجشنبه منتشر شد، قرار است قراردادهای هوشمند Simplicity به Liquid اضافه شوند. این شرکت اعلام کرده که این اقدام، گامی رو به جلو برای تبدیل بیت کوین از یک ذخیره امن ارزش به زیرساختی قابل برنامهنویسی برای امور مالی غیرمتمرکز است.
همچنین Blockstream نسخه پیشرفتهتری به نام SimplicityHL معرفی کرده که توسعه قرارداد هوشمند را آسانتر و سطح انتزاع بالاتری ارائه میدهد. یکی از نمایندگان این شرکت به Cointelegraph گفت: «این نسخه از زبان از همین الان آماده استفاده است» و یک محیط توسعه مبتنی بر وب هم برای آن فراهم شده است.
تفاوتهای Simplicity و Solidity
زبان Simplicity با زبان Solidity اتریوم تفاوتهایی دارد که بیشتر این تفاوتها به ساختارهای مختلف شبکه بیت کوین و اتریوم بازمیگردد. در حالی که Solidity برای ماشین مجازی اتریوم (EVM) ساخته شده است، بیت کوین بر پایه معماری خروجی تراکنش خرجنشده (UTXO) عمل میکند، در حالی که اتریوم یک حالت سراسری (global state) دارد که وضعیت تمام حسابها را در هر بلوک بهروزرسانی و ذخیره میکند.
این تفاوت باعث شده قراردادهای هوشمند Simplicity، برخلاف اتریوم، به وضعیت سراسری وابسته نباشند. نماینده Blockstream میگوید: «وابسته نبودن به حالت سراسری یک تغییر بزرگ است. هر بخشی از وضعیت قرارداد شما باید همراه تراکنش منتقل شود.» بنابراین توسعهدهندگان باید تمام اطلاعات لازم را در هر تراکنش به صورت دستی منتقل کنند و نمیتوانند متغیرها یا وضعیت را با دیگر قراردادها به اشتراک بگذارند.
این محدودیت البته مزایایی هم دارد: «حتی اگر مشکلی پیش بیاید، تنها بخش مربوط به قرارداد شما در گراف تراکنش تحت تاثیر قرار میگیرد. این دیدگاه متفاوت از حالت سراسری است اما در نهایت منجر به قراردادهایی ایمنتر و کنترلشده میشود.»
همچنین توسعهدهندگان در Simplicity قادر به استفاده از بازگشت (recursion) یا حلقههای نامحدود نیستند که Blockstream ادعا میکند برای منطق زنجیرهای کافی نیستند و ضرورتی ندارند.
Simplicity، عضوی جدید در کنار زبانهای تخصصی حوزه قرارداد هوشمند
Simplicity به جمع دیگر زبانهای تخصصی برنامهنویسی قرارداد هوشمند پیوسته است. برای مثال، Noir زبان برنامهنویسی است که در سال ۲۰۲۲ برای کدنویسی و تایید اثباتهای دانش صفر (ZK-proofs) منتشر شد و سال بعد توسط توسعهدهندگان لایه دوم Aztec اتریوم پذیرفته شد. Noir مخصوص اپلیکیشنهای حفظ حریم خصوصی و مبتنی بر اثبات دانش صفر است.
نمونه دیگری، Leo است؛ زبان قرارداد هوشمندی که سیستمهای اثبات دانش صفر را با تمرکز بر حریم خصوصی توسعه میدهد. همچنین زبان Vyper اتریوم برای کاهش سطح حملات طراحی شده و اکنون توسط برخی از پروتکلهای غیرمتمرکز مالی پیشرو اتریوم استفاده میشود.
