شبکه استارک نت ZK-Rollup یک فناوری غیرمتمرکز بدون مجوز است که توسط StarkWare توسعه یافته است. این شبکه به عنوان یک شبکه لایه 2 (L2) در بالای اتریوم عمل می کند و به هر dApp اجازه می دهد تا مقیاس نامحدودی را برای محاسبات خود بدون به خطر انداختن ترکیب پذیری و امنیت اتریوم به دست آورد. در این مقاله سعی داریم در مورد شبکه Starknet، ویژگی های آن، تیم توسعه و نقشه راه آن صحبت کنیم.
درباره استارک نت
شبکه StarkNet یک فناوری لایه 2 ZK-Rollup غیرمتمرکز، بدون مجوز و مقاوم در برابر سانسور است که توسط StarkWare توسعه یافته و از محاسبات عمومی اتریوم پشتیبانی می کند. این شبکه بر اساس زبان برنامه نویسی Cairo Turing ساخته شده است. علاوه بر افزایش سرعت شبکه، افزایش می تواند ازدحام شبکه و هزینه های گاز اتریوم را کاهش دهد.
توسعه دهندگان، کاربران و گره های StarkNet می توانند هر کاری که از مجموعه لایه 2 بدون مجوز انتظار می رود انجام دهند: توسعه دهندگان می توانند برنامه هایی را با اجرای منطق تجاری خود بسازند و آنها را در StarkNet مستقر کنند، یا می توانند تراکنش های ارسال شده به StarkNet را برای اجرا انجام دهند، درست مانند تعامل با اتریوم. امروز. گره‌ها و شرکت‌کنندگان StarkNet از لحاظ اقتصادی و رمزنگاری انگیزه خواهند داشت تا اطمینان حاصل کنند که شبکه کارآمد و منصفانه عمل می‌کند.
کلیه معاملات شبکه استارک نت آنها به صورت دوره ای دسته بندی می شوند و اعتبار آنها در یک اثبات STARK برای تأیید در اتریوم اثبات می شود. از آنجایی که تلاش محاسباتی مورد نیاز برای تأیید اثبات STARK در مقایسه با محاسبه اثبات به طور تصاعدی کوچک است، STARKnet اتریوم را بر اساس مرتبه های بزرگی مقیاس می کند. از آنجایی که تمام نقل و انتقالات در حالت StarkNet در برابر STARK مقاوم هستند، فقط موارد معتبر در اتریوم پذیرفته می شوند. تمام داده های مورد نیاز برای بازگرداندن وضعیت کامل StarkNet در زنجیره منتشر می شود. هر کسی می تواند گره StarkNet خود را راه اندازی کند. این ویژگی ها استارک نت را مانند اتریوم ایمن و بدون مجوز می کند.
به زبان ساده، Starknet راه حل شبکه مقیاس پذیری Starkware بر اساس الگوریتم Stark است که مقیاس پذیری بالاتر، هزینه گاز کمتر و امنیت بیشتر را ارائه می دهد. StarkNet به برنامه‌ها اجازه می‌دهد بدون به خطر انداختن امنیت، مقیاس شوند، کاربران هزینه‌های معاملاتی معقولی بپردازند و کل اکوسیستم رشد قابل‌توجهی داشته باشد و به وعده‌هایش عمل کند.
تیم توسعه دهندگان و سرمایه گذاران شبکه Starknet
الی بن ساسون، اوری کولودنی، مایکل ریابزف و الساندرو کیزا این پروژه را آغاز کردند.
Starkware، شرکتی که StarkNet را راه اندازی کرد، سرمایه خود را از طریق سرمایه گذاران خطرپذیر در سه دور افزایش داد (در مجموع حدود 111 میلیون دلار). این شبکه همچنین 12 میلیون دلار از شبکه اتریوم برای کمک به گسترش شبکه دریافت کرده است. از سرمایه گذاران این شبکه می توان به Vitalik Buterin، Paradigm، Pantera، DCVC، Intel Capital و Polychain اشاره کرد.
کاربران Starknet
Starks یک سیستم اثبات مفهوم است که امکان اثبات و تأیید محاسبات در شبکه را فراهم می کند. استارک نت بدون مجوز است و یک شبکه لایه دوم مبتنی بر اتریوم است که در آن کاربران می توانند با استفاده از زبان تورینگ قاهره قراردادهای هوشمندی را بر روی پلتفرم آن ایجاد کنند و برخلاف اتریوم، قراردادهای هوشمند ایجاد شده در شبکه استارک نت می توانند با قراردادهای هوشمند دیگر برای تعامل تعامل داشته باشند. حتی آن قراردادهایی که در شبکه Starknet نوشته شده‌اند می‌توانند با قراردادهای اتریوم (البته نه به طور همزمان) از طریق پیام‌ها ارتباط برقرار کنند.
تراکنش ها در این شبکه گروه بندی می شوند و برای پردازش و تأیید ارسال می شوند.
کاربران Starknet شامل ترتیب دهندگان، آزمایش کنندگان، توسعه دهندگان و کاربران عادی هستند. سازمان دهندگان در این شبکه تراکنش ها را دسته بندی کرده و یک بلوک جدید پیشنهاد می کنند. اثبات کننده ها شبکه استارک نت، بلوک های جدید را اثبات و تأیید کنید. توسعه دهندگان قراردادهای هوشمند خود را در شبکه پیاده می کنند و در نهایت کاربران عادی در شبکه تراکنش می کنند. از آنجایی که شبکه Starknet یک شبکه بدون مجوز است، هر کسی می تواند یک ترتیب دهنده (Sequencers)، پروور (Provers)، توسعه دهنده (توسعه دهندگان) یا کاربران عادی (Users) باشد و در شبکه سهم داشته باشد.
ویژگی های شبکه Starknet
مقیاس پذیری و ادغام
StarkNet از مقیاس پشتیبانی می کند و در عین حال امنیت L1 Ethereum را با تولید مدارک STARK خارج از زنجیره و سپس تأیید آن اثبات ها در زنجیره، پشتیبانی می کند.
برای همه اهداف
در StarkNet، توسعه دهندگان به راحتی می توانند هر منطق تجاری را با استفاده از قراردادهای StarkNet پیاده سازی کنند.
ترکیبی بودن
StarkNet قابلیت ترکیب بندی در سطح اتریوم را فراهم می کند و توسعه و نوآوری را تسهیل می کند.
نقشه راه استارک نت
مرحله اول: مجموعه برنامه های تک (سیاره ها)
این مرحله به توسعه دهندگان اجازه می دهد تا برنامه های مقیاس پذیر خود را در StarkNet بسازند و مستقر کنند. در این مرحله، هر نمونه از StarkNet قادر به اجرای یک برنامه خواهد بود. کپی های مختلف می توانند برنامه های مختلفی را اجرا کنند. چارچوب StarkNet شامل موارد زیر است:
- مکانیسم‌های لازم برای تولید شواهد STARK از منطق تصادفی قاهره و سپس ارسال و تأیید آنها در اتریوم.
- تعامل با L1 Ethereum: سپرده گذاری و برداشت توکن های L1، انتشار داده های زنجیره ای، مکانیسم های فرار برای کاربران StarkNet در برابر اپراتورهای مخرب StarkNet و موارد دیگر.
- مدیریت موجودی کاربر L2 و ذخیره سازی و حافظه برنامه.
توسعه دهندگان می توانند صرفاً بر روی ایجاد منطق تجاری برنامه های خود تمرکز کنند و سپس وارد مرحله تولید شوند و آن را در مقیاس بزرگ در StarNet عرضه کنند.
چیزی که StarkWare را قادر می سازد تا یک ZK-Rollup مقیاس پذیر عمومی بسازد، ترکیبی از موارد زیر است:
- Cairo یک زبان برنامه نویسی کامل تورینگ است.
- یک آرایش قوی از STARK ها (چک کننده ها و تأیید کننده ها) که محاسبات عظیم را در یک اثبات واحد جمع می کند.
مرحله دوم: مجموعه چندین برنامه (صورت فلکی)
مرحله بعدی از چندین برنامه در حال اجرا در یک نمونه StarkNet و دسترسی به وضعیت L2 جهانی پشتیبانی می کند. این باعث بهبود قابلیت همکاری بین برنامه های مختلف و همچنین کاهش هزینه های گاز به دلیل صرفه جویی در مقیاس می شود. قاهره، چیدمان قدرتمند STARK و GPS مزیت رقابتی StarkNet را در پشتیبانی از تجمیع چندین برنامه تقویت می کند.
در این مرحله، StarkNet یک چارچوب کاملاً کاربردی برای اجرای چندین برنامه با هر منطق تجاری Ethereum دلخواه خواهد بود که هر نمونه توسط یک اپراتور واحد مدیریت می شود.
اکنون اپراتور می تواند یک گره StarkNet را بچرخاند و توسعه دهندگان برنامه می توانند قراردادهای خود را بر روی آن مستقر کنند. از دیدگاه کاربر، StarkNet اکنون مشابه اتریوم است و مقیاس بالاتری دارد.
مرحله سوم: گردهمایی غیرمتمرکز (جهان)
آخرین مرحله در تکامل StarkNet تمرکززدایی از عملکردهای آن است. تمرکززدایی در استارک نت چگونه خواهد بود؟
تمرکززدایی شبکه دو جنبه دارد:
- لایه بدون مجوز Sequencers و Provers تضمین می کند که شبکه در برابر سانسور مقاوم است.
- استفاده از STARK-proofs تضمین می‌کند که هر کسی می‌تواند کل زنجیره StarkNet را با نیازهای سخت‌افزاری کم، بدون توجه به پهنای باند شبکه و بدون اعتماد به یک نهاد خارجی تأیید کند.
خدمات شبکه استارک نت
- قاهره: این زبان برنامه نویسی شبکه STARK و پلتفرم این شبکه است که برای تولید اثبات محاسبات عمومی STARK در اتریوم استفاده می شود و همه پروتکل ها و همچنین برنامه های غیرمتمرکز در شبکه STARK از قاهره استفاده می کنند.
- تیز: سرویس بعدی شبکه استارک نت تیز است. شارپ امکان کامپایل همه برنامه ها را بر اساس زبان قاهره فراهم کرد تا فرآیند اثبات انجام شود. سپس این مدرک در شبکه اتریوم قرار می‌گیرد تا توسط یک اعتبارسنجی تأیید شود و هزینه‌های گاز تراکنش را کاهش دهد.
- وی دو: ویدئو در واقع بر اساس سرویس STARK VDF یا تابع تاخیر قابل تایید است. اولین برنامه ای که روی Vido اجرا شد، اثبات مفهومی برای زنجیره بیکن تصادفی بود.
