هاردفورک آینده کاسپا با محوریت میثاق: آنچه می‌دانیم

هاردفورک متمرکز بر کاوننت کسپا چیست؟

مطابق با نخ ترا، کاسپا در حال آماده‌سازی یک هاردفورک متمرکز بر میثاق است که برای آن برنامه‌ریزی شده است. فعال‌سازی شبکه اصلی در ۵ مه ۲۰۲۶. این ارتقا گسترش می‌یابد لایه 1 (L1) قابلیت برنامه‌ریزی با معرفی دارایی‌های بومی و قابلیت‌های گسترده پیمان. همچنین زمینه را برای برنامه‌های قابل تأیید (vProgs) و ادغام‌های دانش صفر (ZK).

کسپا به عنوان یک بلاکچین اثبات کار با استفاده از معماری blockDAG عمل می‌کند. ارتقاء کرسندو در ماه مه ۲۰۲۵، توان عملیاتی به ۱۰ بلوک در ثانیه (BPS) افزایش یافت. بنابراین، هاردفورک پیش رو بر اساس آن پایه و اساس ساخته می‌شود، بدون اینکه الزامات گره یا اصول اجماع را تغییر دهد.

توسعه‌دهندگان اصلی، این نسخه را به عنوان یک ارتقاء محدود توصیف می‌کنند. این نسخه بر فعال‌سازی صدور توکن بومی، قوانین خرج کردن قابل برنامه‌ریزی و تأیید ZK در سطح اول تمرکز دارد. 

جدول زمانی برای هاردفورک ۵ می ۲۰۲۶ چیست؟

طبق گفته‌ی Terah، چندین نقطه عطف قبل از فعال‌سازی شبکه اصلی رخ می‌دهد:

• تنظیم مجدد شبکه آزمایشی ۱۲ (TN12): برای پشتیبانی از آزمایش دارایی‌های پیمانی و بومی، برای اوایل فوریه ۲۰۲۶ برنامه‌ریزی شده است.
   
• تعهد به ترتیب‌سنج KIP: انتظار می‌رود حدود ۱۲ فوریه ۲۰۲۶ باشد. این پیشنهاد، تعهدات مربوط به بار داده ماینر را برای تقویت تمرکززدایی در لحظه معرفی می‌کند.
   
• انتشار سیلوراسکریپت: یک زبان برنامه‌نویسی سطح بالا برای نوشتن برنامه‌ها در کسپا. این زبان که توسط اوری نیومن و همکاران توسعه داده شده است، توسعه پیمان‌نامه را ساده می‌کند.
   
• هاردفورک شبکه اصلی: می 5 2026.

ارتقاءهای پس از هاردفورک شامل DAGKnight، با هدف اجماع تطبیقی ​​و توان عملیاتی بالای ۱۰۰ BPS، و استقرار کامل vProgs می‌شود.

دارایی‌ها و میثاق‌های بومی چگونه در کسپا کار می‌کنند؟

دارایی‌های بومی در لایه ۱

این هاردفورک، دارایی‌های بومی، از جمله پشتیبانی از توکن‌های KRC20این دارایی‌ها مستقیماً در L1 وجود دارند و می‌توانند به صورت اتمی منتقل شوند.

انتقال‌های اتمی در موارد زیر اعمال می‌شوند:

• پیمان‌های درون‌خطی منظم
• اجرای قراردادهای ZK و غیر ZK
• انتقال توکن KRC20

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

پیمان‌های تمدید شده (پیمان‌ها++)

سیستم میثاق کسپا از تحقیقات بیت کوین در مورد شرایط خرج کردن UTXO قابل برنامه ریزی الهام گرفته شده است. Covenants++ این سیستم را گسترش می‌دهد تا قوانین تراکنش رساتری را امکان‌پذیر کند.

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

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

(تبلیغات)

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

موارد استفاده عبارتند از:

• کنترل‌های امنیتی به سبک گاوصندوق
• مکانیسم‌های سپرده‌گذاری
• انتقال مشروط
• منطق توکن ساختاریافته

این سیستم به جای قراردادهای هوشمند کاملاً مبتنی بر حساب، از مدل UTXO پشتیبانی می‌کند.

DAG محاسباتی (CDAG) چیست؟

هاردفورک، DAG محاسباتی (CDAG) را معرفی می‌کند.). CDAG تمام اعلان‌های خواندن و نوشتن انجام شده توسط برنامه‌ها را ثبت می‌کند.

این ساختار:

• میزان استفاده از منابع را پیگیری می‌کند
• وابستگی‌های بین برنامه‌ها را تنظیم می‌کند
• تعهدات گازی را اجرا می‌کند

این طراحی با مدل‌های اجرایی در بلاکچین‌هایی مانند Solana و Sui قابل مقایسه است، اما به طور کامل در محیط blockDAG کسپا پیاده‌سازی شده است.

CDAG نقش محوری در توانمندسازی حاکمیت vProgs ایفا می‌کند.

vProgها چیستند و چه تفاوتی با قراردادهای هوشمند دارند؟

vProgها برنامه‌های مستقلی هستند که خارج از L1 اجرا می‌شوند و در عین حال نتایج را از طریق اثبات‌ها روی L1 تسویه می‌کنند.

خواص کلیدی:

• اجرای مستقل: هر vProg توان عملیاتی و قوانین وابستگی خود را تعریف می‌کند.
• کنترل وابستگی مبتنی بر Gas: یک vProg نمی‌تواند وضعیت vProg دیگری را بخواند، مگر اینکه برای مصرف منابع، gas بپردازد.
• انتقال‌های غیر اتمی: vProgها مانند دارایی‌های اصلی برای L1 شفاف نیستند. انتقال‌ها ناهمزمان و غیراتمی هستند.
• الزامات KAS بسته‌بندی‌شده: هر پیمان غیرخطی باید از KAS پیچیده شده از طریق یک پل متعارف استفاده کند. KAS بومی L1 را نمی‌توان مستقیماً استفاده کرد.

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

چه کسی باید vProg بسازد؟

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

با این حال، vProgs ممکن است به موارد زیر متوسل شود:

• معماران اپ‌چین
• تیم‌هایی که سیستم‌های رول‌آپ را ارزیابی می‌کنند
• پروژه‌هایی که در حال ساخت عامل‌های هوش مصنوعی با وضعیت درون زنجیره‌ای بزرگ هستند
• طراحان سیستم، قراردادهای L1، ادغام L2 و مدل‌های ترکیبی را مقایسه می‌کنند

vProgs توالی‌یابی یکپارچه L1 را با حالت خارجی و محاسبات ترکیب می‌کند.

دانش صفر (ZK) چه نقشی ایفا می‌کند؟

این هاردفورک، تأیید ZK را در L1 ادغام می‌کند و پیشنهادهای قبلی مانند موارد زیر را گسترش می‌دهد: KIP-16.

قابلیت‌های پشتیبانی‌شده عبارتند از:

• تأیید اثبات Groth16
• پل‌های بدون نیاز به اعتماد به سیستم‌های لایه ۲
• کاربردهای بالقوه مبتنی بر حریم خصوصی

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

یک لپ‌تاپ استاندارد می‌تواند تحت فرضیات فعلی، اثبات‌هایی تولید کند.

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

ارتباط اسپارکل با vProgs چیست؟

اسپارکل معماری‌ای است که توسط آنتون برای ترکیب DAGهای محاسباتی و اثبات‌های ZK پیشنهاد شده است. در حالی که هم اسپارکل و هم vProgs از اجزای CDAG و ZK استفاده می‌کنند، به سوالات طراحی متفاوتی می‌پردازند.

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

آیا هاردفورک بر امنیت، MEV یا الزامات گره تأثیر خواهد گذاشت؟

• بودجه امنیتی: در کوتاه‌مدت هیچ تأثیر مستقیمی انتظار نمی‌رود. بهبودها به پذیرش واقعی محصول بستگی دارند، نه تغییرات زیرساختی.
   
• الزامات گره: بدون تغییرات.
   
• مزایده‌های بازپرداخت MEV: با توجه به مرحله فعلی توسعه اکوسیستم، این اقدام زودهنگام تلقی می‌شود.
   
• سنگ زنی PoW برای STARK ها: بحث‌ها به رفتار تاریخی در اتریوم اولیه اشاره دارند، جایی که آدرس‌های دارای صفر در ابتدای هر عدد، هزینه‌های گس را کاهش می‌دادند، که به نوبه خود منجر به بازارهای پرفشار اثبات کار شد. این اشاره بیشتر به زمینه مربوط می‌شد تا یک ویژگی فعلی.

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

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

اهداف طراحی آن شامل موارد زیر است:

• نحو خوانا
• دسترسی برای توسعه‌دهندگان جدید
• سازگاری با ابزارهای خودکار

انتظار می‌رود SilverScript پس از راه‌اندازی اولیه‌ی دارایی‌های بومی، موانع نوشتن برنامه‌های مبتنی بر پیمان را کاهش دهد.

نتیجه

هاردفورک کسپا که بر اساس قراردادها (conventional) بنا شده است، عملکرد لایه ۱ را از طریق دارایی‌های بومی، قراردادهای توسعه‌یافته (extended covenants) و تأیید ZK گسترش می‌دهد. این هاردفورک، CDAG را برای ردیابی وابستگی ساختاریافته معرفی می‌کند و پایه و اساس vProgهای مستقل (sovereign vProgs) را بنا می‌نهد. این ارتقا، الزامات گره موجود و اجماع اثبات کار را حفظ می‌کند و در عین حال امکان صدور توکن قابل برنامه‌ریزی و انتقال‌های اتمی را فراهم می‌کند.

فعال‌سازی در ۵ می ۲۰۲۶، یک گام فنی در نقشه راه کسپا محسوب می‌شود. این اقدام، قابلیت برنامه‌ریزی ساختاریافته را در سطح پروتکل اضافه می‌کند و شبکه را برای ارتقاءهای بیشتر، از جمله DAGKnight و استقرار کامل vProgs، آماده می‌سازد.

منابع:

• هارد فورک با محوریت Kaspa Convenant: شمارش معکوس در Kas.live
• موضوع ترا ایکسمراحل مهم آینده و هارد فورک با محوریت کاوننت
• تحقیقات کاسپایک مدل پایه رسمی برای DAG محاسباتی vProg