بررسی vProgs های Kaspa: چارچوبی برای برنامه‌های کاربردی مقیاس‌پذیر و قابل تأیید

کاسپا اولین پیش نویس خود را منتشر کرد کاغذ زرد vProgs در ۱۱ سپتامبر ۲۰۲۵. این سند جزئیات پروتکلی برای برنامه‌های قابل تأیید یا vProgs را شرح می‌دهد که محاسبات خارج از زنجیره را که توسط اثبات‌های دانش صفر ایمن شده و به Kaspa متصل هستند، امکان‌پذیر می‌کند. شبکه لایه 1. 

این چارچوب با هدف پشتیبانی از برنامه‌های غیرمتمرکز و در عین حال حفظ نرخ بالای تولید بلوک شبکه طراحی شده است. این اطلاعیه که از طریق ... به اشتراک گذاشته شده است. پست X از @DailyKaspa، یک روز قبل از کنفرانس Kaspa Experience در برلین برگزار می‌شود، جایی که توسعه‌دهندگان و اعضای جامعه در مورد نقشه راه پروژه بحث خواهند کرد.

پیشینه معماری BlockDAG کسپا

کاسپا متفاوت از بلاکچین‌های خطی عمل می‌کند، مانند بیت کوین or Ethereumاین سیستم از blockDAG استفاده می‌کند که به چندین بلوک اجازه می‌دهد تا به صورت موازی به یکدیگر ارجاع دهند و نیاز به جدا کردن بلوک‌ها در حین استخراج را کاهش می‌دهد. این طراحی بر اساس پروتکل GHOSTDAG است که توسط یوناتان سامپولینسکی توسعه داده شده است و اجماع ناکاموتو را برای تطبیق با نرخ‌های بالاتر بلوک بدون به خطر انداختن امنیت گسترش می‌دهد.

در حال حاضر، کاسپا پردازش 10 بلوک در ثانیه، با برنامه‌هایی برای افزایش این تعداد به ۳۲ بلاک در ثانیه و به طور بالقوه ۱۰۰ بلاک در دراز مدت. تأییدها معمولاً در عرض یک تا ۱۰ ثانیه اتفاق می‌افتند و محدودیت اصلی، تأخیر شبکه است نه پردازش درون زنجیره‌ای. این امر منجر به توان عملیاتی نظری بیش از ۱۰،۰۰۰ تراکنش در ثانیه می‌شود که بسیار بیشتر از ۳ تا ۷ تراکنش در ثانیه بیت‌کوین یا ۱۵ تا ۳۰ تراکنش در ثانیه اتریوم در لایه ۱ قبل از پیاده‌سازی‌های شاردینگ است.

این شبکه به اجماع اثبات کار متکی است، که در آن ماینرها برای اضافه کردن بلاک‌ها، معماهای محاسباتی را حل می‌کنند. کارمزد تراکنش‌ها و پاداش بلاک‌ها به صورت نقدی پرداخت می‌شود. توکن‌های KAS، ارز دیجیتال بومی شبکه کسپا. کسپا در سال ۲۰۲۱ با یک مدل توزیع عادلانه و بدون نیاز به سرمایه‌گذاری خطرپذیر راه‌اندازی شد که به توسعه جامعه‌محور آن کمک کرده است. 

کسپا (Kaspa) در درجه اول به عنوان یک لایه پایه برای پرداخت‌ها و تسویه داده‌ها عمل کرده است و استانداردهایی مانند KRC-20 را برای توکن‌های قابل تعویض در خود جای داده است. تا زمان پیشنهاد vProgs، این پلتفرم فاقد پشتیبانی بومی برای قراردادهای هوشمند بود و برای عملیات اساسی به اسکریپت‌نویسی ساده‌تری متکی بود.

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

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

(تبلیغات)

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

کاسپا وی پروگز چیست؟

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

اثبات‌های بدون دانش به اثبات‌کننده اجازه می‌دهند تا صحت یک محاسبه را بدون افشای داده‌های اساسی نشان دهد. در vProgs، این اثبات‌ها به صورت دوره‌ای به لایه ۱ ارسال می‌شوند و صحت فعالیت‌های خارج از زنجیره را تأیید می‌کنند. این رویکرد، زنجیره اصلی را سبک نگه می‌دارد و بر اعتبارسنجی به جای اجرا تمرکز می‌کند، که با تأکید کسپا بر سرعت و کارایی همسو است.

پیش‌نویس مقاله زرد، نسخه ۰.۰.۱، vProgها را به عنوان برنامه‌هایی با «مستقل اما قابل ترکیب» توصیف می‌کند. «مستقل» به این معنی است که هر vProg عملیات داخلی خود، از جمله مجوزهای خواندن و نوشتن را به طور مستقل کنترل می‌کند. قابلیت ترکیب به یک vProg اجازه می‌دهد تا داده‌ها را از دیگری بخواند و تعاملاتی مانند تراکنش‌های بین برنامه‌های کاربردی را تسهیل کند، اما نوشتن‌ها به vProg مبدا محدود می‌شوند تا از تداخل جلوگیری شود.

توسعه vProgs به یک بحث در اوت ۲۰۲۵ در انجمن تحقیقاتی Kaspa برمی‌گردد، جایی که مشارکت‌کنندگان به این موضوع پرداختند. چالش‌های موجود در ترکیب‌پذیری همزمان، از جمله تأخیر اثبات و اشتراک منابع. این پیش‌نویس شامل بازخوردهای آن جلسات است، اگرچه بسیاری از عناصر همچنان در دست اصلاح هستند، از جمله فرآیندهای ایجاد حساب کاربری و مکانیسم‌های هرس داده‌ها.

ویژگی‌های فنی اصلی vProgs

چندین مکانیسم، عملکرد vProgs را پشتیبانی می‌کنند که برای مدیریت وابستگی‌ها و کارایی در یک محیط با توان عملیاتی بالا طراحی شده‌اند:

دوخت اثباتدوخت اثبات: چندین اثبات دانش صفر را از vProg های به هم پیوسته در یک تعهد واحد ترکیب می‌کند که سپس به لایه ۱ ارسال می‌شود. این امر از تراکنش‌های اتمی در بین برنامه‌ها پشتیبانی می‌کند، جایی که نتایج به طور همزمان و بدون تأخیرهای میانی رایج در سیستم‌های مبتنی بر rollup تسویه می‌شوند.

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

محاسبات DAG: Computation DAG یک نمودار وابستگی در لایه برنامه تشکیل می‌دهد که ساختار blockDAG کسپا را منعکس می‌کند. این نمودار جریان داده‌ها را بین vProgها ردیابی می‌کند و تضمین می‌کند که اطلاعات ارجاع‌شده در دسترس باقی می‌مانند و ترتیب اجرا در حین پردازش موازی حفظ می‌شود. این نمودار با توالی عملیات وابسته، به جلوگیری از اضافه بار کمک می‌کند.

اندازه‌گیری منابعاندازه‌گیری منابع، کنترل‌هایی را برای مدیریت هزینه‌ها معرفی می‌کند. در داخل، هر vProg از مدل gas لایه ۲ خود برای محاسبات استفاده می‌کند. در لایه ۱، ScopeGas تعاملات بین vProgها را اندازه‌گیری می‌کند و بر اساس وابستگی‌های داده، هزینه‌ها را دریافت می‌کند تا از هرزنامه یا استفاده بیش از حد از منابع، مانند هجوم یک برنامه به نیازهای ورودی برنامه دیگر، جلوگیری کند.

مدل اقتصادیمدل اقتصادی vProgs بر اثبات‌کنندگان بدون نیاز به مجوز - گره‌هایی که اثبات‌ها را تولید و ارسال می‌کنند - متکی است که از کاربران کارمزد دریافت می‌کنند. زنده بودن، یا تضمین اثبات‌های به موقع، از طریق دو حالت عمل می‌کند: خوش‌بینانه، که در آن اثبات‌کنندگان با هم همکاری می‌کنند، یا مستقل، که در آن برنامه‌ها به طور مستقل اجرا می‌شوند. این تنظیمات، مشارکت را بدون تکیه بر هماهنگ‌کننده‌های متمرکز تشویق می‌کند.

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

کنفرانس تجربه کاسپا در برلین

اعلامیه vProgs با ... همسو است. تجربه کاسپا، یک کنفرانس اجتماعی که برای ۱۳ سپتامبر ۲۰۲۵ در باغ‌های آتلیه در برلین برنامه‌ریزی شده است. این رویداد یک روزه، محدود به ۵۰۰ بلیط با قیمت ۱۵۰ دلار به علاوه ۵۰ دلار هزینه مهمانی پس از مراسم، نیاز به پرداخت با توکن‌های KAS دارد که نشان‌دهنده کاربرد اولیه ارزهای دیجیتال در دنیای واقعی برای تدارکات رویداد، از جمله غذا، نوشیدنی و کالا است.

دستور جلسه شامل سخنرانی‌های کلیدی از توسعه‌دهندگان اصلی، از جمله سامپولینسکی در مورد پیشرفت‌های GHOSTDAG، پنل‌هایی در مورد ادغام قراردادهای هوشمند و کارگاه‌هایی با تمرکز بر پیاده‌سازی‌های عملی است. یک هکاتون، نمونه‌سازی اولیه را تشویق می‌کند، در کنار آن یک نمایشگاه هنری کاسپا (Kaspa Art Expo) نیز کاربردهای خلاقانه شبکه را به نمایش می‌گذارد. در حالی که هیچ جلسه اختصاصی vProgs در برنامه وجود ندارد، مطالب مطبوعاتی این رویداد، لایه قابل برنامه‌ریزی کاسپا را به عنوان پایه و اساس DeFi و سیستم‌های پرداخت برجسته می‌کند و بحث‌های غیررسمی در مورد چارچوب جدید را پیشنهاد می‌دهد.

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

چالش‌ها و جدول زمانی اجرا

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

مشارکت‌کنندگان انجمن، مدل‌های اشتراک‌گذاری گاز را برای کاهش اثرات جانبی، که در آن فعالیت یک vProg بر دیگران تأثیر می‌گذارد، شبیه‌سازی کرده‌اند. دسترسی به داده‌ها در Computation DAG نیازمند طراحی دقیق برای جلوگیری از خطرات متمرکزسازی است.

جدول زمانی از بحث‌های ماه اوت، پس از بازخورد جامعه در مورد پیش‌نویس، نشان داد که راه‌اندازی شبکه آزمایشی تا سه‌ماهه چهارم سال ۲۰۲۵ انجام خواهد شد. ادغام کامل شبکه اصلی به معیارهای حسابرسی و عملکرد بستگی دارد و هرس و مکانیک حساب برای اصلاحات آینده برنامه‌ریزی شده است.

در مقایسه با رول‌آپ‌های اتریوم که می‌توانند نقدینگی را بین لایه‌ها تقسیم کنند، یا اجرای درون زنجیره‌ای سولانا که محدودیت‌های توان عملیاتی را آزمایش می‌کند، vProgs به دنبال ادغام محاسبات قابل تأیید مستقیماً در یک لایه پایه اثبات کار است. این امر ضمن حفظ تمرکززدایی، از تولید بلوک موازی نیز بهره می‌برد.

نتیجه

vProgs، Kaspa را به ابزارهایی برای اجرای خارج از زنجیره که توسط اثبات‌های دانش صفر تأیید شده‌اند، مجهز می‌کند، از جمله proof stitching برای ترکیب‌پذیری، یک Computation DAG برای مدیریت وابستگی و ScopeGas برای کنترل منابع. 

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

منابع:

• مقاله Kaspa Daily X در مورد vProgs: https://x.com/DailyKaspa/status/1966149209968505132  
• پیش‌نویس مقاله زرد vProgs نسخه ۰.۰.۱: https://github.com/kaspanet/research/blob/main/vProgs/vProgs_yellow_paper.pdf 
• موضوع انجمن تحقیقاتی کاسپا در مورد ترکیب‌پذیری همزمان: https://research.kas.pa/t/concrete-proposal-for-a-synchronously-composable-verifiable-programs-architecture/387
• تجربه کاسپا در برلین: https://experience.kaspa.events/