مصاحبه با StarkWare PM Gal Ron

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

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

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

مشکل اتریوم

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

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

همین امر در مورد اتریوم در وضعیت فعلی آن نیز صادق است. ضرورت این امر از این واقعیت ناشی می شود که اتریوم باید نیاز «اعتماد» را برآورده کند.

رون در این مورد توضیح می دهد:

برای برآورده کردن تمام مفروضات اعتماد و الزامات اعتماد، همه گره ها (روی اتریوم) باید همین کار را انجام دهند. طبق تعریف، این محدودیتی را در توان عملیاتی سیستم ایجاد می‌کند، زیرا اگر TPS یا اندازه بلوک را بالای یک آستانه مشخص افزایش دهیم، از مشارکت گره‌های کوچکتر (بخوانید: با توان محاسباتی کمتر) جلوگیری می‌کنیم.

در اصل، این باعث می شود که اتریوم، طبق تعریف، ظرفیت خود را محدود کند.

رویکرد StarkWare: ZK-Proof چیست؟

ران توضیح می دهد که چند گزینه برای رسیدگی به مشکلات محدودیت اتریوم وجود دارد. یکی از آنها اختراع چیز دیگری است.

با این حال، StarkWare رویکرد متفاوتی را اتخاذ کرده است: «مقیاس‌سازی اتریوم از اتریوم و ایجاد نکردن زنجیره‌ای دیگر». آنها این کار را از طریق StarkNet و StarkEx انجام می دهند، بنابراین بیایید نگاهی بیندازیم.

StarkNet به عنوان یک مجموعه اعتبار غیرمتمرکز بدون مجوز، که به عنوان a نیز شناخته می شود، توصیف می شود ZK-Rollup" این به عنوان یک شبکه L2 (لایه دو) روی اتریوم عمل می کند و هدف آن این است که هر برنامه غیرمتمرکز (dApp) را قادر سازد تا مقیاس نامحدودی را برای محاسبات خود به دست آورد. این کار بدون به خطر انداختن امنیت و ترکیب پذیری لایه اصلی - اتریوم - انجام می شود، زیرا StarkNet به سیستم اثبات رمزنگاری معروف به STARK متکی است.

در اینجا چیزهای زیادی برای باز کردن وجود دارد، بنابراین بیایید با مفهوم اثبات دانش صفر شروع کنیم.

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

جادوی ZK این است که الگوی جدیدی از اعتماد به سایر موجودات بدون نیاز به اجرای مجدد محاسباتی که آنها انجام داده‌اند ایجاد می‌کند. - رون گفت.

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

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

گال رون توضیح داد که هر دو Prover و Sequencer چگونه کار می کنند، بنابراین برای جزئیات بیشتر در این مورد، لطفاً به ویدیوی بالا نگاه کنید.

ما همچنین نگاهی دقیق‌تر به این می‌کنیم که دقیقاً چیدمان‌ها چیست، StarkEx چیست، و StarkWare چه برنامه‌هایی برای آینده دارد.