سیلوراسکریپت چیست؟ اولین زبان و کامپایلر قرارداد هوشمند سطح بالای کسپا

اسکریپت نقره ای یک زبان و کامپایلر قرارداد هوشمند سطح بالا است که برای ... ساخته شده است. بلاکچین کسپااین سیستم که در ۱۰ فوریه ۲۰۲۶ توسط توسعه‌دهنده‌ای به نام اوری نیومن معرفی شد، ویژگی‌های قابل برنامه‌ریزی را مستقیماً روی کسپا معرفی می‌کند. لایه ۱ (L1)) بدون تکیه بر ماشین‌های مجازی خارجی یا مدل‌های حالت جهانی مشترک مانند ماشین مجازی اتریوم (EVM).

سیلوراسکریپت به اسکریپت بومی کاسپا کامپایل می‌شود و برای معماری مبتنی بر UTXO کاسپا طراحی شده است. این اسکریپت به توسعه‌دهندگان امکان می‌دهد منطق پیمان قابل خواندنی بنویسند که قوانین تراکنش را در سطح پروتکل اجرا می‌کند.

سیلوراسکریپت چه مشکلی را در کسپا حل می‌کند؟

کسپا یک ارز دیجیتال مبتنی بر اثبات کار (PoW) است که بر اساس ... ساخته شده است. BlockDAG (گراف جهت‌دار غیرمدور) ساختار. برخلاف بلاکچین‌های خطی، کسپا بلوک‌ها را به صورت موازی پردازش می‌کند. این شبکه در حال حاضر 10 بلوک در ثانیه را هدف قرار داده است و ارتقاءهایی مانند DAGKnight با هدف دستیابی به بیش از ۱۰۰ بلاک در ثانیه.

تاکنون، اسکریپت‌نویسی Kaspa از نظر بیان محدود بوده است. Silverscript با معرفی ویژگی‌های برنامه‌نویسی ساختاریافته که امکان طراحی پیشرفته‌تر قرارداد را فراهم می‌کند و در عین حال با مدل UTXO همسو باقی می‌ماند، این مشکل را برطرف می‌کند.

به جای یک وضعیت جهانی مشترک، که در سیستم‌های مبتنی بر حساب رایج است، Silverscript یک وضعیت محلی را به ازای هر UTXO حفظ می‌کند. این امر خطراتی مانند آسیب‌پذیری‌های ورود مجدد که در سیستم‌های مبتنی بر EVM یافت می‌شود را کاهش می‌دهد.

سیلور اسکریپت چگونه کار می‌کند؟

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

این ابزار کد سطح بالا را به کدهای عملیاتی سطح پایین Kaspa کامپایل می‌کند، از جمله:

• KIP-10 (کدهای عملیاتی درون‌نگری)
• KIP-16 (کدهای عملیاتی تأیید دانش صفر)
• KIP-17 (بایت‌های اولیه)

طوری طراحی شده است که با آن ادغام شود ارتقاء شبکه در آینده قرار است در ۵ مه ۲۰۲۶ برگزار شود که موارد زیر را معرفی می‌کند:

• پیمان‌ها++ (محدودیت‌های پیشرفته هزینه)
• دارایی‌های بومی تحت KIP-20 (ردیابی دودمان و منشأ توکن)
• پشتیبانی از تأیید دانش صفر (ZK)

سیلوراسکریپت به عنوان یک لایه توسعه برای این ویژگی‌های پروتکل عمل می‌کند.

پروژه‌های امیدبخش را کشف کنید...

پروژه‌های نویدبخش ...

(تبلیغات)

ادامه مقاله...

سیلور اسکریپت چه ویژگی‌هایی به کسپا اضافه می‌کند؟

سیلوراسکریپت عناصر برنامه‌نویسی ساختاریافته‌ای را معرفی می‌کند که قبلاً در کسپا اسکریپت در دسترس نبودند.

حلقه

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

آرایه ها

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

فراخوانی توابع

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

اظهارات مورد نیاز

دستورات شرطی (assertions) داخلی ارائه می‌دهد.
قراردادها می‌توانند محدودیت‌هایی مانند محدودیت‌های اندازه آرایه یا بررسی مقادیر را در زمان کامپایل یا زمان اجرا اعمال کنند.

طراحی متمرکز بر UTXO

به جای وضعیت سراسری مشترک، بر اساس وضعیت UTXO محلی عمل می‌کند.
این مدل اعتبارسنجی صریح را اعمال می‌کند و از مشکلات ورود مجدد جلوگیری می‌کند.

کد سیلور اسکریپت چه شکلی است؟

سیلوراسکریپت از یک سینتکس ساده‌شده شبیه به زبان C استفاده می‌کند. مثال زیر آرایه‌ها، حلقه‌ها و دستورات require را نشان می‌دهد:

این مثال تابعی را تعریف می‌کند که عناصر یک آرایه عدد صحیح را جمع می‌کند. این تابع طول آرایه را بررسی می‌کند، روی عناصر تکرار می‌کند و مطمئن می‌شود که مجموع برابر با ۶ است.

در استفاده در محیط تولید، منطق مشابهی می‌تواند در موارد زیر اعمال شود:

• اجرای توزیع توکن
• شرایط برداشت از گاوصندوق
• قوانین اعتبارسنجی سپرده
• خروجی‌های ساختاریافته‌ی دیفای

این سینتکس آزمایشی است و در حال حاضر فقط در Testnet-12 در دسترس است.

سیلور اسکریپت چه تفاوتی با کش اسکریپت دارد؟

سیلوراسکریپت بر اساس کش‌اسکریپت ساخته شده اما قابلیت‌های آن را گسترش می‌دهد.

شباهت ها:

• سینتکس سطح بالا برای قراردادهای مبتنی بر UTXO
• تمرکز بر محدودیت‌های تراکنش به جای کامل بودن تورینگ

تفاوت:

• پشتیبانی بومی از حلقه‌ها
• آرایه‌های بومی
• تعاریف تابع و ساختار ماژولار
• به طور خاص برای BlockDAG کسپا طراحی شده است

کش‌اسکریپت از حلقه‌های ساختاریافته یا آرایه‌های پویا پشتیبانی داخلی ارائه نمی‌دهد. سیلوراسکریپت این ویژگی‌ها را برای پشتیبانی از منطق پیمان رساتر معرفی می‌کند.

سیلوراسکریپت چگونه در اکوسیستم کسپا جای می‌گیرد؟

سیلوراسکریپت در یک معماری گسترده‌تر عمل می‌کند که مدل‌های حالت محلی و مشترک را از هم جدا می‌کند:

• ایالت محلی: توسط Silverscript از طریق قراردادهای UTXO مدیریت می‌شود
• محاسبات مشترک: توسط vProgs (برنامه‌های قابل تأیید) مدیریت می‌شود و با استفاده از اثبات دانش صفر، به صورت درون زنجیره‌ای تأیید می‌شود.

با موارد زیر ادغام می‌شود:

• KIP-20 پشتیبانی از دارایی‌های بومی (اجرای اصل و نسب توکن)
• CDAG (DAG محاسباتی) برای وابستگی‌های برنامه
• Sparkle، یک چارچوب rollup مبتنی بر ZK

این ساختار امکان موارد زیر را فراهم می‌کند:

• بازارسازان خودکار (AMM) با استفاده از ساختارهای خروجی اجباری
• خزانه‌های وام
• مبادله اتمی
• مدیریت DAO در اسکریپت‌ها کدگذاری شده است

همه اینها بدون حالت سراسری قابل تغییر.

وضعیت توسعه فعلی چگونه است؟

سیلوراسکریپت آزمایشی است و فقط با Kaspa Testnet-12 سازگار است. هنوز در شبکه اصلی در دسترس نیست.

مخزن گیت‌هاب شامل موارد زیر است:

• پیاده‌سازی کامپایلر
• مثال ها
• مستندات TUTORIAL.md

توسعه‌دهنده اوری نیومن، فعال در بیت کوین از سال ۲۰۱۳، این پروژه را حفظ کرده و پشتیبانی بالقوه‌ای از WebAssembly (WASM) در آینده نشان داده است.

سازگاری شبکه اصلی به هاردفورک ۵ می ۲۰۲۶ بستگی دارد که Covenants++ و قابلیت دارایی‌های بومی را فعال می‌کند.

نتیجه

سیلوراسکریپت توسعه قراردادهای هوشمند ساختاریافته را به شبکه BlockDAG مبتنی بر UTXO کسپا معرفی می‌کند. این زبان، حلقه‌ها، آرایه‌ها، توابع و دستورات اجرایی را هنگام کامپایل به کدهای عملیاتی بومی اضافه می‌کند. این زبان با ارتقاءهای پروتکل آینده، از جمله Covenants++، دارایی‌های بومی و تأیید دانش صفر، همسو است. 

در حال حاضر محدود به Testnet-12، Silverscript پایه فنی برنامه‌های لایه ۱ قابل برنامه‌ریزی در Kaspa را بدون اتخاذ مدل‌های حالت جهانی مشترک فراهم می‌کند.

منابع:

• مخزن گیت‌هاب کسپاآموزش زبان سیلور اسکریپت 
• پست ایکس: اطلاعیه عمومی توسط اوری نیومن