استارک نت چیست؟ بررسی کامل شبکه لایه دوم StarkNet

استارک نت پروژه‌ای از Starkware است. Starkware را می‌توان به عنوان یک استارت‌آپ معرفی کرد که با هدف طراحی پروژه‌های لایه دوم اتریوم وارد دنیای کریپتوکارنسی شده است. این استارت‌آپ با حفظ حریم خصوصی اتریوم و کمک به افزایش مقیاس‌پذیری آن نقش خود را در دنیای رمزارزها ایفا می‌کند. پروژه استارک نت که در این مطلب قصد داریم در مورد آن صحبت کنیم، مجهز به فناوری ZK-rollups بوده که به وسیله آن می‌تواند محاسبات را در خارج از زنجیره اصلی اتریوم اجرا نماید.

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

شبکه استارک نت چیست؟

استارک نت یک شرکت فناوری است که در خط مقدم نوآوری فناوری بلاک چین قرار دارد و مقیاس پذیری و حریم خصوصی بلاک چین را از طریق سیستم خلاقانه STARK-proof خود متحول می کند.

به بیان ساده و به قول خودشان:

StarkWare راه حل های مبتنی بر STARK را برای صنعت بلاک چین توسعه می دهد. محصولات ما برنامه های بلاک چین ایمن، غیرقابل اعتماد و مقیاس پذیر را تسهیل می کنند.

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

StarkWare Industries توسط الی بن ساسون (رئیس جمهور)، مایکل ریابزف، اوری کولودنی (مدیر عامل)، و الساندرو کیزا (دانشمند ارشد) تاسیس شد.

بن ساسون دکترای خود را دریافت کرد. در علوم کامپیوتر نظری از دانشگاه عبری اورشلیم در سال 2001. قبل از استارک نت، بن ساسون سمت های تحقیقاتی را در دانشگاه هاروارد، MIT، و موسسه مطالعات پیشرفته در پرینستون داشت. این تقریباً به همان اندازه “در لیگ های بزرگ” است که وقتی صحبت از افتخارات علمی معتبر به میان می آید. او سمت خود را به عنوان استاد علوم کامپیوتر در Technion ترک کرد تا StarkWare را راه‌اندازی کند و همچنین یک دانشمند موسس در شرکت زی کش و مخترع پروتکل‌های ZK-STARK، FRI و Zerocash بود.

اوری کولودنی همچنین در دانشگاه عبری اورشلیم با تمرکز بر علوم کامپیوتر تحصیل کرد. کولودنی یک کارآفرین است و از طریق آن در تاسیس چندین شرکت مانند تیمنا، OmniGuide و Mondria Technologies Ltd مشارکت داشته است و به طور فعال به عنوان سرمایه گذار فرشته و عضو هیئت مدیره برای بسیاری از شرکت های دیگر مشغول بوده است.

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

نقاط عطف و دستاوردهای کلیدی استارک نت (StarkNet)

استارک نت پیشرفت های چشمگیری در فضای بلاک چین لایه 2 داشته است. در اینجا یک گزارش زمانی از نقاط عطف و دستاوردهای آن، از جمله اطلاعات در مورد TVL و رشد اکوسیستم، پذیرش کاربر، برنامه های کاربردی معروف، و ارتباط آن در فضای لایه رقابتی 2 آمده است:

1. دورهای تامین مالی:

• بودجه اولیه (ژانویه 2018): 6 میلیون دلار
• سری A (اکتبر 2018): 30 میلیون دلار به رهبری پارادایم، شرکت کنندگان شامل اینتل کپیتال، سکویا کپیتال، کوین بیس و ویتالیک بوترین بودند.
• سری B (مارس 2021): 75 میلیون دلار به رهبری پارادایم
• سری C (نوامبر 2021): 50 میلیون دلار به رهبری Sequoia، ارزش شرکت 2 میلیارد دلار
• سری D (مه 2022): 100

2. TVL و رشد اکوسیستم:

• 2021 : TVL 100 میلیون دلار
• 2022 : TVL 530 میلیون دلار، افزایش 430 درصدی
• تعداد کاربران:
• 2021 : 1 میلیون کاربر
• 2022 : 2.5 میلیون کاربر، افزایش 150 درصدی

3. کاربردهای قابل توجه:

فناوری استارک نت زیربنای چندین برنامه قابل توجه است. StarkEx، موتور مقیاس‌بندی اختصاصی آن، در ژوئن 2020 در اتریوم راه‌اندازی شد و توسط پلتفرم‌هایی مانند Sorare ، dYdX ، ImmutableX و DeversiFi استفاده می‌شود.
در ژوئن 2021، StarkWare استارک نت را راه‌اندازی کرد ، یک پلتفرم بدون مجوز که به توسعه‌دهندگان اجازه می‌دهد برنامه‌های غیرمتمرکز مقیاس‌پذیر بسازند. اکوسیستم استارک نت دارای چندین برنامه قابل توجه مانند Alchemy، Chainstack و Ekubo است.

نوآوری ها:

سیستم‌های StarkWare به زبان CAIRO برنامه‌ریزی شده‌اند ، یک زبان برنامه‌نویسی کامل تورینگ که توسط تیم آن توسعه یافته است. این نوآوری در راه‌حل‌های مقیاس‌بندی و ارتباط کلی در فضای رقابتی لایه 2 بسیار مهم بوده است.

آشنایی با ZK-STARKs

رول‌آپ ها راه حل های مقیاس بندی لایه 2 هستند که تعداد زیادی از تراکنش ها را به صورت دسته ای پردازش می کنند تا یک نسخه فشرده از آنها را روی زنجیره اصلی ارسال کنند تا بار آن کاهش یابد. تکنیک های مختلفی برای اثبات به لایه 1 استفاده می شود که همه تراکنش ها به درستی پردازش شده اند. یکی از تکنیک های برجسته این است که یک لایه 1 اثبات اعتبار تراکنش قابل تایید همه تراکنش ها به همراه هر دسته را شامل شود. اثبات اعتبار دانش صفر رایج ترین راه حل ها در وب 3 هستند که شامل دو طرح پیشرو – ZK-STARKs و ZK-SNARKS هستند .

شواهد دانش صفر (ZKPs) مفهومی در رمزنگاری است که به یک طرف (اثبات کننده) اجازه می دهد تا به دیگری (تأیید کننده) ثابت کند که یک گزاره خاص درست است یا دانش خاصی دارد، بدون اینکه هیچ اطلاعاتی در مورد آن بیانیه به جز آن بیان کند. خود اثبات این یک پیشرفت انقلابی در رمزنگاری بود زیرا از حفظ حریم خصوصی و حفظ اعتماد پشتیبانی می کند.

چگونه اثبات‌های دانش صفر به مقیاس‌بندی بلاک‌چین‌ها کمک می‌کنند:

• تأیید کارآمد: اثبات‌های دانش صفر (ZKP) با امکان پردازش تعداد زیادی از تراکنش‌ها در لایه ۲ و کاهش بار شبکه‌های کندی مانند اتریوم و در عین حال به ارث بردن امنیت آن، مقیاس‌پذیری را متحول می‌کنند.
• پردازش دسته ای: بلاک چین های لایه 2 از ZKP ها برای تجمیع هزاران تراکنش در یک ZK-Rollup استفاده می کنند و بار داده ها را در لایه 1 تا حد زیادی به حداقل می رساند.
• مقیاس پذیری افزایش یافته حریم خصوصی: آنها همچنین می توانند حریم خصوصی را با مخفی نگه داشتن جزئیات تراکنش افزایش دهند و به کاربران محرمانه ارائه دهند.

ZK-STARK چیست؟

ZK-STARKs مخفف (Zero Knowledge Scalable Transparent Arguments of Knowledge) است. استارک نت مجموعه‌هایی با دانش صفر توسعه می‌دهد که از سیستم اثبات STARK برای اثبات اعتبار تراکنش‌های لایه ۲ برای اتریوم بدون افشای جزئیات اساسی هر تراکنش استفاده می‌کند.

اجزای ZK-STARKs:

1. دانش صفر (حریم خصوصی کاربر):

حریم خصوصی تراکنش – در Zk-Rollup، جنبه «دانش صفر» تضمین می‌کند که جزئیات تراکنش‌های فردی برای شبکه گسترده‌تر یا حتی اعتبارسنجی‌های بلوک آشکار نمی‌شود. کاربران تراکنش‌ها را به رول‌آپ ارسال می‌کنند، که آنها را بدون افشای جزئیات پردازش می‌کند، مانند اینکه چه کسی چه مبلغی را برای چه کسی ارسال می‌کند.

2. مقیاس پذیر (انجام معاملات انبوه) در استارک نت:

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

3. شفاف (ایمن و باز) در استارک نت:

بدون نیاز به راه‌اندازی مطمئن – عدم نیاز به راه‌اندازی مطمئن برای ZK-STARK به این معنی است که برای تولید پارامترهای رمزنگاری برای جمع‌آوری نیازی به فاز اولیه آسیب‌پذیر نیست. این امر امنیت و قابلیت اطمینان رول‌آپ را افزایش می‌دهد، زیرا کاربران و اعتبارسنجی‌ها می‌توانند مطمئن باشند که هیچ آسیب‌پذیری پنهانی وجود ندارد.

4. استدلال های دانش (اثبات اجرای صحیح تراکنش):

اعتبارسنجی تراکنش‌های دسته‌ای – اثبات‌های مبتنی بر STARK توسط لایه ۲ برای اعتبارسنجی به زنجیره اصلی ارسال می‌شوند. این فرآیند تضمین می‌کند در حالی که اعتبار سنجی‌های زنجیره اصلی تراکنش‌های فردی را نمی‌بینند، می‌توانند مطمئن باشند که همه تراکنش‌های داخل مجموعه معتبر هستند و به قوانین توافق شبکه استارک نت پایبند هستند.

چگونه اثبات های STARK کار می کنند:

هنگامی که یک مجموعه مبتنی بر STARK (مانند استارک نت) دسته‌ای از تراکنش‌ها را اجرا می‌کند، با یک سری انتقال وضعیت باقی می‌ماند که تمام مراحل مربوط به پردازش آن تراکنش‌ها را در بر می‌گیرد. پروتکل STARK استارک نت این انتقال ها را به یک نمایش جبری تبدیل می کند تا آن را برای تولید اثبات آماده کند.

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

پس از آزمایش درجه پایین، رمزنگاری برای محاسبات بالا اعمال می شود تا یک اثبات STARK ایجاد کند که صحت محاسبات را بدون فاش کردن جزئیات تأیید می کند. در نهایت رول‌آپ اثبات STARK را به همراه سایر اجزای جمع‌آوری برای تایید و نهایی شدن به لایه 1 ارسال می‌کند.

ویژگی های کلیدی ZK-STARKs:

• شفافیت و غلبه بر راه‌اندازی قابل اعتماد: STARK ها اولین راه حل کاملاً غیرقابل اعتماد zk-rollup هستند. آن‌ها از تکنیک‌های رمزنگاری عمومی مانند توابع هش برای ساختن اثبات استفاده می‌کنند، نیاز به اعتماد در فرآیند راه‌اندازی را از بین می‌برند، امنیت کلی سیستم رمزنگاری را افزایش می‌دهند و STARK‌ها را برای برنامه‌هایی که عدم اعتماد و امنیت حیاتی هستند، مانند بلاک چین لایه ۲ جذاب‌تر می‌کنند. راه حل ها
• مقاومت کوانتومی: یکی دیگر از پیشرفت های کلیدی ZK-STARK در استارک نت نسبت به سیستم های قبلی مقاومت کوانتومی آنها است. در حالی که بسیاری از سیستم های رمزنگاری بر فرضیاتی تکیه می کنند که به طور بالقوه می توانند توسط رایانه های کوانتومی شکسته شوند، STARK ها بر اساس مسائل ریاضی عمومی تر و قوی تر ساخته شده اند که اعتقاد بر این است که حتی در برابر قابلیت های محاسبات کوانتومی آینده نیز مقاوم هستند. با نزدیک‌تر شدن جهان به عصر محاسبات کوانتومی، این آنها را به گزینه‌ای مطمئن‌تر و مطمئن‌تر تبدیل می‌کند.
• پایبندی به ویژگی‌های عمومی مجموعه‌های ZK: ZK-STARK‌ها ویژگی‌های اساسی ضروری برای جمع‌آوری‌های zk را حفظ می‌کنند: کامل بودن ، درستی و دانش صفر ، هرگونه احتمال تقلب و تولید مجموعه‌های نادرست را از بین می‌برند.

پشت فناوری استارک نت

پشته فناوری استارک نت مجموعه پیچیده ای از فناوری ها است که برای افزایش مقیاس پذیری و حفظ حریم خصوصی بلاک چین طراحی شده است. شامل Cairo , StarkEx , StarkNet , Stone Prover و SHARP می باشد . هر جزء نقش مهمی در ماموریت StarkWare برای ارائه راه‌حل‌های بلاک چین ایمن، مقیاس‌پذیر و کارآمد دارد.

1. Cairo یک زبان برنامه نویسی کامل تورینگ است که توسط استارک نت توسعه یافته است. این برای ایجاد اثبات های STARK طراحی شده است، که اثبات های رمزنگاری هستند که فرد را قادر می سازد صحت محاسبات را بدون افشای داده ها یا محاسبات واقعی اثبات کند. قاهره انقلابی است زیرا به توسعه دهندگان اجازه می دهد محاسبات دلخواه بنویسند که می توانند به سرعت و با داده های کمتر تأیید شوند. این امر آن را به ابزاری قدرتمند برای مقیاس‌بندی بلاک چین و سایر سیستم‌هایی تبدیل می‌کند که به تأیید امن و کارآمد محاسبات پیچیده نیاز دارند.
2. StarkEx موتور مقیاس‌پذیری StarkWare است که از اثبات‌های STARK برای دسته‌بندی هزاران تراکنش خارج از زنجیره استفاده می‌کند و سپس یک اثبات واحد را در زنجیره ارسال می‌کند. این امر ردپای روی زنجیره را به شدت کاهش می دهد و منجر به کاهش هزینه گاز و توان عملیاتی بالاتر می شود. StarkEx به عنوان یک راه حل همه کاره مقیاس بندی لایه 2 طراحی شده است و توسط برنامه های غیرمتمرکز مختلف (dApps) برای تجارت، پرداخت ها و بازی ها به کار گرفته شده است. مزایای مقیاس پذیری را بدون به خطر انداختن امنیت یا عدم تمرکز ارائه می کند.
3. استارک نت یک ZK-Rollup غیرمتمرکز بدون مجوز است که به عنوان یک شبکه لایه ۲ روی اتریوم کار می کند. این قابلیت های StarkEx را با اجازه دادن به هر توسعه دهنده ای برای استقرار قراردادهای هوشمند و ساخت dApps در شبکه خود گسترش می دهد. استارک نت از قاهره برای نوشتن این قراردادها استفاده می کند و محاسبات پیچیده را قادر می سازد تا خارج از زنجیره اجرا شوند و در عین حال از صحت آنها در زنجیره اطمینان حاصل شود. این نه تنها مقیاس پذیری را افزایش می دهد، بلکه دنیایی از امکانات را برای توسعه دهندگانی که به دنبال ساخت dApps مقیاس پذیر هستند باز می کند.
4. Stone Prover یک جزء پیشرفته از پشته فناوری StarkWare است که برای تولید اثبات‌های STARK کارآمدتر طراحی شده است. این یک نوآوری در فناوری prover است که بر بهینه‌سازی تولید اثبات تمرکز می‌کند و فرآیند را سریع‌تر و مقرون‌به‌صرفه‌تر می‌کند. این برای حفظ مقیاس پذیری و کارایی سیستم هایی مانند StarkEx و استارک نت بسیار مهم است، به خصوص که آنها محاسبات پیچیده تر و دسته های بزرگ تر تراکنش ها را مدیریت می کنند.
5. SHARP (Shared Prover) یک سرویس منحصر به فرد است که چندین اثبات از فرستنده های مختلف را در یک اثبات واحد جمع می کند. این سرویس اثبات جمعی با تقسیم هزینه تولید اثبات بین چندین شرکت کننده، سیستم را بیشتر بهینه می کند. این بخش مهمی از راه حل مقیاس پذیری StarkWare است و تضمین می کند که می توان از مزایای اثبات های STARK با کسری از هزینه بهره مند شد و آن را برای استفاده گسترده در دسترس و کاربردی تر می کند.

StarkEx

StarkEx یک راه حل مقیاس بندی لایه 2 ویژه برنامه در اتریوم است که توسط استارک نت توسعه یافته است. این برای پشتیبانی از برنامه های غیرمتمرکز با سرعت بالا و حجم بالا طراحی شده است که می توانند از این توانایی ها برای ساخت برنامه های غیرمتمرکز بسیار کارآمد استفاده کنند. برنامه های کاربردی در StarkEx بر اساس زبان برنامه نویسی Cairo ساخته شده اند.

StarkEX دو مورد استفاده معمولی را توصیف می کند – معاملات اسپات و سیستم های معاملات دائمی. در حالی که StarkEx کاملاً معادل اتریوم نیست، از این فرمت‌های توکن پشتیبانی می‌کند:

• ERC-20: فرمت استاندارد توکن اتریوم.
• ERC-721: استاندارد توکن غیر قابل تعویض در اتریوم.
• ERC-1155: پشتیبانی استاندارد چند توکن.
• ETH
• توکن های بلاک چین سازگار با EVM.

شبکه اصلی StarkEx در ژوئن 2020 روی شبکه اصلی اتریوم راه اندازی شد. از آن زمان به بعد به میزبانی چندین برنامه دیفای رشد کرده است:

اسپات تریدینگ:

• rhino.fi (قبلاً DeversiFi) (ژوئن 2020)
• ImmutableX (آوریل 2021)
• Sorare (ژوئن 2021)
• Myria (اوت 2022)
• Reddio (اکتبر 2022)
• tanX (قبلاً Brine) (ژوئن 2023)

معاملات دائمی:

• dYdX (آوریل 2021)
• ApeX pro (سپتامبر 2022)

استارک نت، پروژه‌ای از Starkware

استارک نت یک راه حل مقیاس پذیر لایه 2 غیرمتمرکز، بدون مجوز و مقاوم در برابر سانسور است که توسط StarkWare توسعه یافته است. استارک نت یک مجموعه اعتبار است. این زبان از زبان Cairo Turing-Complete برای تولید شواهد ZK-STARK از تراکنش‌های دسته‌ای خارج از زنجیره اجرا شده در لایه 2 استارک نت به شبکه اصلی اتریوم برای دستیابی به نهایی استفاده می‌کند. هدف اصلی استارک نت فعال کردن تراکنش های با توان عملیاتی بالا و کم هزینه بدون به خطر انداختن امنیت و عدم تمرکز اتریوم است.

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

1. ماموریت: “مأموریت استارک نت این است که به افراد اجازه دهد هر کارکرد اجتماعی را که می خواهند آزادانه اجرا و استفاده کنند.” – کتاب استارک نت
2. گستردگی پایدار: Starknet در برابر تثبیت قدرت در تمام سطوح ممکن مقاومت می کند. این شامل:
   توزیع گسترده توان در بین عملیات و فرآیندهای تصمیم گیری. آنها تأکید می کنند که اگرچه گاهی اوقات ممکن است عملیات متمرکز ضروری باشد، اما باید تا حد امکان کوتاه مدت باشد.
   پروتکل و حکمرانی استارک نت باید همیشه باز و شفاف باشد.
   حکمرانی باید فراگیری را تقویت کند که می‌تواند انعطاف‌پذیر بماند و تکامل یابد تا از فراگیری پایدار اطمینان حاصل شود.
3. بی طرفی: تیم و فناوری StarkWare باید بی طرف باقی بماند. این به حمایت از مقاومت در برابر سانسور کمک می‌کند، زیرا تیم و فناوری ناشناس باقی می‌مانند.
4. توانمندسازی فردی: موفقیت استارک نت به یک جامعه کاربر آگاه و خودکفا متکی است. این امر با پرورش فرهنگی مبتنی بر رسالت و ارزش‌های اساسی و اهمیت دادن به آموزش محقق می‌شود.

برخلاف StarkEx، استارک نت یک راه حل همه منظوره است که به توسعه دهندگان این امکان را می دهد تا انواع قراردادهای هوشمند و برنامه های کاربردی غیرمتمرکز را بسازند و از قابلیت های فنی پلت فرم و درجه بالای عدم تمرکز آن استفاده کنند.

معماری Starknet

معماری استارک نت شامل اجزای زیر در چرخه عمر تراکنش است:

اجزای لایه 2:

Mempool ها: تراکنش های Starknet و تعاملات قرارداد هوشمند در mempool ها دریافت می شوند و منتظر انتخاب آنها هستند. ممپول بررسی های اولیه اعتبار سنجی تراکنش ها را انجام می دهد تا تراکنش های نامعتبر را منفجر کند.
Sequencer: mempool تراکنش هایی را که معتبر می داند برای ترتیب دهنده ارسال می کند. ترتیب‌دهنده بلوک‌های استارک نت را با اعتبارسنجی، سفارش‌دادن و اجرای تراکنش‌ها تولید می‌کند.
Prover: تراکنش هایی که توسط ترتیب دهنده پذیرفته می شوند برای تشکیل بلوک اجرا می شوند. پروور مسئول تولید اثبات های STARK برای بلوک های ایجاد شده است. ماشین مجازی قاهره را برای ایجاد انتقال حالت برای برنامه های قابل اثبات اجرا می کند.

اجزای اتریوم:

تأیید کننده: قرارداد هوشمند تأیید کننده زنجیره ای، اثبات STARK و انتقال حالت را از طرف اثبات کننده دریافت می کند و اثبات را تأیید می کند.
هسته استارک نت: قرارداد هوشمند لایه 2 استارک نت در اتریوم وضعیت خود را بر اساس مقادیر ارائه شده توسط تأیید کننده به روز می کند.

نقش ترتیب دهنده ها:

در جایی که ماینرها یا سهامداران برای اعتبارسنجی، سفارش و اجرای تراکنش ها در لایه 1 در اجماع شرکت می کنند، ترتیب دهنده ها مسئولیت های مشابهی را در راه حل های لایه 2 مانند استارک نت، آربیتروم و zkEVM انجام می دهند.

ترتیب دهنده ها شرکت کنندگان شبکه لایه 2 هستند که تراکنش ها را از mempool دریافت می کنند، آنها را به صورت دسته ای اعتبارسنجی و سفارش می دهند و آنها را از بلوک های لایه 2 اجرا می کنند. تفاوت اصلی در جایی است که ماینرها امنیت را تامین می کنند و ترتیب دهنده ها ظرفیت تراکنش را فراهم می کنند.

مدل فشرده سازی دسته ای ترتیب دهنده ظرفیت تراکنش آن را در استارک نت مشخص می کند. به عنوان مثال، اندازه‌های جمع‌آوری دانش صفر کوچک‌تر از مجموعه‌های خوش‌بینانه هستند، که اجازه می‌دهد ظرفیت تراکنش بیشتری را برای ترتیب‌دهندگان در مجموعه‌های zk انجام دهد.

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

نقش پروورها:

پروورها شرکت کنندگان شبکه لایه 2 در استارک نت هستند که بلوک های تولید شده توسط ترتیب دهنده ها را دریافت می کنند. پروورها بررسی های اعتبار را روی بلوک های تولید شده توسط ترتیب دهنده ها انجام می دهند و برای اثبات درستی ساخته شدن بلوک ها، اثبات های STARK تولید می کنند.

ویژگی های کلیدی پروورها:

• قابلیت محاسباتی: پروورها به قدرت محاسباتی بیشتری نسبت به ترتیب دهنده ها نیاز دارند. آن‌ها نه تنها بلوک‌ها را تأیید می‌کنند، بلکه اثبات‌های STARK را نیز می‌سازند، یک فرآیند تحمل بار.
• ناهمزمان: پروورها به صورت ناهمزمان، اثبات های بلوکی را تولید می کنند، به این معنی که تولید اثبات ممکن است در زمان بلوکی دیرتر از ساخت بلوک اتفاق بیفتد.
• پردازش موازی: ناهمزمانی پروورها آنها را قادر می سازد تا در بلوک های مختلف به صورت موازی کار کنند. موازی سازی توزیع کارآمد بار را در سراسر شبکه پروور امکان پذیر می کند و استفاده بهینه از آنها را تضمین می کند.

ویژگی های کلیدی استارک نت

در اینجا برخی از ویژگی های کلیدی استارک نت آورده شده است:

انتزاع حساب

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

با Account Abstraction، استارک نت می تواند مدل جفت کلید را با قراردادهای هوشمند جایگزین کند. این قابلیت به شبکه اجازه می دهد تا کیف پول های کریپتو را به دلخواه کاربر سفارشی کند. ممکن است شخصی ترجیح دهد به کیف پول خود با یک رمز بیومتریک، یک رمز عبور الفا عددی یا هر مکانیسم تأیید دلخواه دیگری دسترسی داشته باشد. چنین شخصی سازی چندین مزیت را به همراه دارد:

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

Account Abstraction منحنی یادگیری استفاده از فناوری بلاک چین را هموارتر می کند و به طور بالقوه کاربران بیشتری را از اینترنت سنتی دعوت می کند.

در دسترس بودن داده ها

استارک نت یک مدل در دسترس بودن داده به نام Volition را اتخاذ می کند. در Volition، هر دپ در استارک نت می‌تواند تصمیم بگیرد که آیا می‌خواهد داده‌های مربوط به هر تراکنش اتریوم را به همراه zk-proofs فاش کند یا خیر. افشای جزئیات بیشتر مستلزم امنیت بالاتر (حالت جمع‌آوری)، هزینه‌های بالاتر و حریم خصوصی کمتر است. از سوی دیگر، فاش نکردن جزئیات تراکنش منجر به حفظ حریم خصوصی (حالت Validium)، توان عملیاتی بالاتر و هزینه کمتر و همچنین کاهش ضمانت‌های امنیتی اتریوم می‌شود.

اجازه دادن به برنامه‌ها برای انتخاب بین دو مدل، سفارشی‌سازی و موارد استفاده بیشتری را برای استارک نت باز می‌کند. به عنوان مثال، پلتفرم‌های معاملاتی به دنبال خروجی بالاتر هستند و حالت Validium را اتخاذ می‌کنند، در حالی که پلتفرم‌های NFT حالت رول‌آپ را برای امنیت بهتر انتخاب می‌کنند.

ماشین مجازی قاهره

به عنوان یک جمع‌بندی اعتبار، استارک نت از اثبات‌های STARK برای تأیید زنجیره‌ای تراکنش‌های لایه ۲ استفاده می‌کند. همانطور که در معماری بالا تعریف شد، گره های تخصصی شناخته شده به عنوان sequencer مسئول جمع آوری تراکنش ها و تولید این اثبات ها هستند. ترتیب‌دهنده‌های استارک نت، Cairo VM را اجرا می‌کنند تا اثبات‌های STARK را به طور موثر تولید کنند.

Cairo VM برای تولید اثبات STARK برای محاسبات عمومی در شبکه استارک نت طراحی شده است. Starknet که در Cairo VM اجرا می شود، سیستم را برای تولید اثبات کارآمدتر از ماشین مجازی اتریوم می کند، زیرا قاهره توسط محدودیت های فنی تحمیل شده توسط EVM محدود نمی شود.

توکنومیک توکن STRK

استارک نت قرار است توکن بومی خود، STRK را داشته باشد. مجموع عرضه توکن‌های STRK به 10 میلیارد محدود شده است و این توکن‌ها برای پوشش هزینه‌های تراکنش، حاکمیت و سهام در شبکه Starknet استفاده خواهند شد. راه اندازی استارک نت به عنوان یک شبکه کاملاً کاربردی لایه 2 در اتریوم در فوریه 2022 رخ داد.

توزیع STRK:

• مشارکت کنندگان اصلی: 32.9٪ با یک سال پرتگاه و سه سال دوره استقرار ماهانه.
• سرمایه گذاران StarkWare: 17٪ تحت شرایط واگذاری مشابه با مشارکت کنندگان.
• تدارکات جامعه: 9%
• تخفیف انجمن: 9٪
• کمک های مالی: 12٪
• فونداسیون: 10%
• کمک های مالی: 2٪
• تخصیص نیافته: 8.1%

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

برای هر کسی که به دنبال دستیابی به توکن STRK است، می توان آن را در بای بیت ، بایننس ، OKX ، بیت گت و کراکن خریداری کرد .

وضعیت StarkWare و برنامه های سال 2024

• تمرکززدایی و منبع باز: StarkWare بر تمرکززدایی از استارک نت متمرکز شده است، که در نقشه راه خود منتشر شده در اکتبر 2023 مشخص شده است. آنها از اجزای حیاتی منبع باز مانند Stone Prover، Starknet sequencer و Papyrus full node، توانمندسازی توسعه دهندگان و افزایش شفافیت را ارائه کردند.
• بازی و Appchains: استارک نت به مرکزی برای بازی های زنجیره ای تبدیل شد و بر محدودیت های بلاک چین سنتی غلبه کرد. بازی هایی مانند Influence، Shoshin، Realms و Loot Survivor پتانسیل فناوری Validity Rollup را در بازی به نمایش گذاشتند. راه اندازی Dojo، یک موتور بازی غیرمتمرکز، توسعه بازی را بیشتر تسهیل کرد. علاوه بر این، اولین زنجیره اپلیکیشن استارک نت، پارادکس، توسط پارادیم راه‌اندازی شد که توانایی استارک نت را برای پشتیبانی از برنامه‌هایی که به محاسبات سنگین و هزینه‌های پایین نیاز دارند، برجسته می‌کند.
• رشد اکوسیستم توسعه‌دهنده: اکوسیستم توسعه‌دهنده استارک نت 14 درصد رشد کرد و به بزرگترین راه‌حل‌های لایه 2 تبدیل شد. برنامه آزمایشی Devonomics که در دسامبر 2023 راه اندازی شد، بیش از 1600 ETH را بین توسعه دهندگان توزیع کرد و بر تعهد StarkWare به یک شبکه توسعه دهنده محور تأکید کرد.
• پیشرفت های تکنولوژیکی: StarkEx در معاملات انباشته از 1 تریلیون دلار فراتر رفت. نسخه Alpha نسخه 0.12.0 Starknet به لطف پیشرفت های Cairo VM، Blockifier و Papyrus، عملکرد قابل توجهی را با افزایش 10 برابری افزایش داد.
• تعامل با جامعه: StarkWare جامعه خود را از طریق رویدادهایی مانند StarkWare Sessions و Starknet Summit گسترش داد و همکاری و یادگیری را تقویت کرد.

چشم انداز آینده

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

اکوسیستم دپ استارک نت

اکوسیستم دپ استارک نت گواهی بر تطبیق پذیری و استحکام فناوری StarkWare است. این مجموعه گسترده ای از برنامه های غیرمتمرکز (DApps) را در دامنه های مختلف میزبانی می کند:

کیف پول های فعال استارک نت

ArgentX: یک کیف پول مبتنی بر مرورگر که برای استارک نت طراحی شده است که به کاربران اجازه می دهد بدون خروج از مرورگر وب با DApps تعامل داشته باشند.
Braavos: یک کیف پول خودسرپرست که از قابلیت های استارک نت برای ارائه تجربه ای امن و کاربرپسند برای مدیریت دارایی های دیجیتال استفاده می کند.

آینده استارک نت و بلاک چین

فناوری بلاک چین اساساً نحوه استفاده، تعامل، توسعه و حتی فکر کردن درباره تراکنش های مالی و امنیت داده ها را تغییر داده است. StarkWare (استارک نت) شرکتی است که از طریق راه حل های منحصر به فرد خود، مرزهای مقیاس پذیری و حریم خصوصی بلاک چین را در پیش می گیرد. همانطور که به آینده می نگریم، درک نقش چنین فناوری ها و تأثیر بالقوه آنها بر بخش های مختلف ضروری است.

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

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

تیم StarkWare درک عمیقی از فناوری بلاک چین دارد و نه تنها به محدودیت‌های بلاک چین فعلی رسیدگی می‌کند، بلکه حتی شبکه را «محافظ از آینده» می‌کند و نیازهای فردا را برطرف می‌کند. استارک نت با ترکیب مفاهیمی مانند Account Abstraction و Paymaster، در عین حال توسعه ماشین مجازی قاهره و با ارتقای Volition و توسعه یک شبکه مقاوم در برابر کوانتومی، اساساً در حال ساخت اکوسیستمی است که اکثریت بزرگی از شکایات و کاستی‌های موجود در بلاک چین را برطرف می‌کند.

چالش ها و محدودیت ها

راه حل های پیچیده و بلندپروازانه ای مانند آنچه StarkWare در حال ساخت است، بدون چالش و انتقاد نیست.

پیچیدگی – پیچیدگی و مشخصات فنی استارک نت ممکن است مانع درک و پذیرش گسترده شود. در حالی که استقرار تکنیک‌های Account Abstraction و Paymaster ممکن است این مشکل را حل کند و تجربه کاربرپسندتری ایجاد کند، پروتکل‌های بسیار پیچیده و پیشرفته بعید است که به جریان اصلی برسند. یک فرد معمولی نمی تواند مفاهیم فنی رایانه خود را توضیح دهد یا اینکه چه پروتکل های جریانی تماشای ویدیوهای یوتوب را ممکن می کند، به همین ترتیب، برای استفاده از استارک نت باید تمرکز زیادی روی موارد استفاده، تجربه کاربر و راه حل هایی باشد که به سادگی کار کردن

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

رقابت- چشم انداز لایه-2 به شدت رقابتی است، با پروژه هایی مانند آربیتروم و آپتیمیزم که قبلاً بر فضا تسلط دارند. «ناشناخته» نیز وجود دارد، یعنی نمی‌دانیم چه پیشرفت‌های فناوری ممکن است ایجاد شود که می‌تواند فناوری را منسوخ کند.

جمع‌بندی

استارک نت به عنوان نمونه ای از نوآوری در راه حل های مقیاس پذیری بلاک چین است که نشان دهنده یک جهش کوانتومی در نحوه پرداختن به سه گانه مقیاس پذیری، امنیت و تمرکززدایی است. StarkWare با استفاده از استحکام ZK-STARKs راه حل هایی را توسعه داده است که نه تنها تراکنش های پرسرعت و مقرون به صرفه را تسهیل می کند، بلکه امنیت برنامه های غیرمتمرکز را نیز تقویت می کند. تأثیر آن از طریق دیفای، NFT و فراتر از آن طنین انداز می شود، با برنامه های کاربردی دنیای واقعی مانند dYdX و ImmutableX که پتانسیل خود را برای متحول کردن صنایع و دموکراتیک کردن دسترسی به فناوری بلاک چین نشان می دهد.

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