این شرکت ، توسعه‌دهنده پروتکل لایه-۲ بیت‌کوین به نام Liquid و به رهبری آدام بک، زبان جدید قرارداد هوشمند Simplicity را برای بیت‌کوین معرفی کرده است.

طبق اعلامیه‌ای که پنج‌شنبه با کوین‌تلگراف به اشتراک گذاشته شد، قراردادهای هوشمند Simplicity قراردادهای هوشمند در Liquid ادغام خواهند شد. شرکت اعلام کرد که این حرکت گامی به جلو در تبدیل بیت‌کوین از یک ذخیره امن ارزش به یک پایه قابل برنامه‌ریزی برای امور مالی غیرمتمرکز است.

شرکت همچنین SimplicityHL را معرفی کرد، یک پیاده‌سازی سطح بالاتر از زبان که توسعه را با افزایش انتزاع تسهیل می‌کند.

یک نماینده بلاک‌استریم به کوین‌تلگراف گفت که این نسخه از زبان “هم‌اکنون در دسترس و قابل استفاده است”، با یک محیط توسعه یکپارچه وب‌محور نیز موجود است.

رویکردی متفاوت برای معماری متفاوت

Simplicity با زبان Solidity اتریوم متفاوت است، عمدتاً به دلیل معماری‌های زیرساختی متفاوت این دو بلاک‌چین.

مرتبط: پژوهشگران StarkWare قراردادهای هوشمند برای بیت‌کوین با ColliderVM را پیشنهاد می‌دهند

این ناشی از رویکردها و معماری‌های متفاوت شبکه‌های اتریوم و بیت‌کوین است، با Solidity که برای ماشین مجازی اتریوم توسعه یافته است. حالت شبکه، تصویر توافق‌شده از تمام موجودی حساب‌ها و داده‌های ذخیره‌شده در یک بلوک خاص است.

بیت‌کوین از معماری خروجی تراکنش خرج نشده (UTXO) استفاده می‌کند، در حالی که شبکه اتریوم از یک حالت شبکه‌ای گسترده بهره می‌برد. این تفاوت در نحوه عملکرد قراردادهای هوشمند Simplicity نمود پیدا می‌کند، با نماینده بلاک‌استریم که می‌گوید “عدم وابستگی به حالت جهانی یک تغییر بزرگ است.” “هر بیت از حالت که قرارداد شما نیاز دارد باید با تراکنش همراه باشد.”

پژوهشگران بلاک‌استریم گفتند که توسعه‌دهندگان Solidity باید عادت خواندن از متغیرهای قابل دسترسی جهانی را کنار بگذارند و به جای آن تمام اطلاعات لازم را در هر مرحله ارائه دهند. در چنین سیستمی، دو قرارداد هوشمند نمی‌توانند حالت مشترک داشته باشند یا به همان متغیرها ارجاع دهند؛ همه چیز باید به وضوح درون تراکنش‌ها منتقل شود. با این حال، نمایندگان شرکت توضیح دادند که این رویکرد تأثیر مثبتی نیز دارد:

“حتی اگر چیزی اشتباه پیش برود، فقط بخش خاصی از گراف تراکنش قرارداد شما تحت تأثیر قرار می‌گیرد. این یک ذهنیت متفاوت نسبت به حالت جهانی است، اما در نهایت به قراردادهای امن‌تر و محدودتر منجر می‌شود.”

توسعه‌دهندگان همچنین قادر نخواهند بود از بازگشت یا حلقه‌های نامحدود استفاده کنند، که بلاک‌استریم ادعا می‌کند برای منطق زنجیره‌ای ضروری نیستند.

مرتبط: نگاهی عمیق به پنج پلتفرم محبوب توسعه قراردادهای هوشمند و مقایسه آن‌ها

ظهور زبان‌های برنامه‌نویسی قرارداد هوشمند خاص دامنه

Simplicity به لیست رو به رشد زبان‌های برنامه‌نویسی قرارداد هوشمند خاص دامنه می‌پیوندد.

Noir، یک زبان برنامه‌نویسی منتشر شده در سال ۲۰۲۲ برای نوشتن و تأیید اثبات‌های دانش صفر (ZK-proofs)، در سال ۲۰۲۳ توسط توسعه‌دهندگان لایه-۲ اتریوم آینده با تمرکز بر حریم خصوصی Aztec پذیرفته شد.

Noir به یک زبان برنامه‌نویسی قرارداد هوشمند تبدیل شده است که به‌طور خاص برای برنامه‌های حفظ حریم خصوصی ساخته شده است که اثبات‌های ZK را به‌طور عمیق در معماری خود ادغام می‌کنند.

مثال دیگر Leo است، یک زبان برنامه‌نویسی قرارداد هوشمند که سیستم‌های اثبات ZK را با نحو و حریم خصوصی مرتبط نزدیک ایجاد می‌کند.

Vyper اتریوم یک زبان سازگار با EVM است که برای کاهش سطح حمله طراحی شده است و اکنون توسط برخی از پروتکل‌های پیشرو مالی غیرمتمرکز اتریوم استفاده می‌شود.

 

مجله: اثبات‌های ZK قراردادهای هوشمند را به بیت‌کوین می‌آورند — BitcoinOS و Starknet