STARK و مزیت آن نسبت به SNARK

پس از انتشار مقاله پروژه StarkWare و فناوری STARK که سوالات بسیاری را در خصوص این فناوری به همراه داشت، بهتر دیدیم تا آن را کمی بیشتر مورد تجزیه و تحلیل قرار دهیم و دلیل پیدایشش را در جایی که فناوری SNARK هنوز بسیار کارآمد است، بیان کنیم.

می توان سیستم های Proof مبتنی بر دانش صفر را در ارزهای رمزنگاری شده ای چون Zcash مشاهده کرد، آنها از SNARK ها و BulletProof های مورد استفاده در Monero استفاده می کنند. با این حال، سیستم STARK در بخش اثبات کننده در مقایسه با SNARK و BulletProof برای یک محاسبات معین، ده برابر سریع تر و در بخش تأیید کننده، دو برابر سریعتر از SNARK و ده برابر سریعتر از BulletProof است.

بیشتر بخوانیم: روش های حفظ حریم خصوصی در بلاکچین

چیزی که STARK ها را متمایز می کند، ترکیب سه ویژگی زیر است:

مقیاس پذیری
شفافیت
رمزنگاری ناب

ZK – SNARK در مقابل ZK – STARK

ZK – SNARK (برهان دانش غیر تعاملی مختصر دانش صفر) یک مدرک رمزنگاری است که برای موارد مختلفی مانند تأیید محاسباتی، ارزهای رمزنگاری مبتنی بر حریم خصوصی (مانند Zcash) و احراز هویت بدون نیاز به رمز عبور استفاده می شود.

درک آنها بواسطه متغییرهای بی شمارشان ممکن است سخت باشد، با این حال برای درک بهتر آن پیشنهاد ما این است که به مقاله الگوریتم های دانش صفر ZKP و ZK-SNARKs مراجعه فرمایید.

ZK – STARK (برهان شفاف مقیاس پذیر دانش صفر) نوعی از اثبات رمزنگاری است که می‌ تواند درست بودن چیزی را بدون فاش کردن آنچه که دقیقاً درستی آن را اثبات می کند، به اثابت برساند. ZK – SNARK ها قبل از ظهور ZK – STARK ها به سیستم های Zero-Knowledge دست یافتند اما با همین روش ZKP به جهان اثبات کردند که لزوما هر اولین بودنی به معنای بهترین بودن نیست.

احزاب مورد اعتماد

با تمام آنچه که تا اینجا گفته شد اما ZK – SNARK به یک شخص مورد اعتماد نیاز داشت تا سیستم ZKP را راه اندازی کند، و همین نیاز بود که یک آسیب پذیری مورد توجه را در این سیستم معرفی کرد:

اگر طرف های مورد اعتماد در نهایت حریم خصوصی کل سیستم را به خطر بیندازند، چه خواهد شد؟

در پاسخ به این سوال بود که ZK – STARK با حذف این نیاز برای یک راه اندازی قابل اعتماد، امنیت سیستم ZK – SNARK را بهبود بخشید. و همانطور که پیش تر گفته شد، پروژه StarkWare در ابتدا با تمرکز بر مقیاس پذیری و سپس حریم خصوصی از فناوری STARK بهره بسیاری برد.

علاوه بر عدم نیاز به مرحله راه اندازی قابل اعتماد، ZK-STARKs از سیستم تصادفی قابل تأیید عمومی استفاده می کند و در مقایسه با ZK-SNARKs مقیاس پذیرتر است. همچنین، ZK-STARK ها به دلیل رمزنگاری به کار رفته در آنها در برابر حملات رایانه های کوانتومی مانند ZK-SNARK ها آسیب پذیر نیستند.

بنیانگذاران و مشاوران StarkWare

درست است که در ابتدا StarkWare توسط یک متخصص ریاضی به نام Eli-Ben Sasson بنیانگذاری شد، اما مشاوران چشمگیری مانند Naval Ravikant نیز در توسعه این پروژه شرکت داشتند.

اگر نام ناوال را تاکنون نشنیده اید، باید بگوییم که او دستاوردها و عناوین زیادی دارد، به عنوان مثال؛ او رئیس و یکی از بنیانگذاران AngelList و CoinList است، همچنین بنیانگذار قدیمی ترین صندوق آلتکوین، یعنی MetaStable Capital بوده و در کوله پربار خود عنوان سرمایه گذار اولیه در شرکت هایی مانند توییتر، اوبر، کراکن، یامر، استک اورفلو، زی کش و غیره را نیز دارد.

StarkEx چیست؟

StarkEx موتور مقیاس پذیری لایه دوم Starkware است. مشتریان DeversiFi از ژوئن 2020 از آن در Mainnet استفاده می کنند و اخیراً dYdX آن را با ImmutableX ادغام کرده است. StarkEx منطق معاملاتی پیچیده ای مانند مشتقات، معاملات نقطه ای، NFT ها و پرداخت ها را مدیریت می کند.

این موتور؛ برنامه های کاربردی مانند صرافی های رمزارزی و پلتفرم های بازی را با استفاده از ZK-Rollup مبتنی بر STARK مقیاس می دهد. خبر خوب برای پروژه هایی که با StarkEx ادغام می شوند این است که به حداقل تغییرات در راه اندازی کسب و کار موجود نیاز دارند. به گونه ای که هر dApp منطق تجاری خود را تعریف می کند و در بالای StarkEx اجرا می شود.

نکته مثبت دیگر این است که StarkEx هزینه گس را به شدت کاهش می دهد و نیازی به اعتماد کاربر ندارد، همچنین در چندین کیف پول معتبر از جمله MetaMask ادغام می شود.

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

جاده استارک نت

Starkware همچنین در حال توسعه StarkNet است، StarkNet یک لایه بدون مجوز، غیرمتمرکز و مقاوم در برابر سانسور و لایه دوم ZK-Rollup است که تجزیه آن در اینجا خالی از لطف نیست.

StarkNet برنامه ها را قادر می سازد تا بدون آسیب های امنیتی مقیاس شوند و کاربران می توانند تراکنش های StarkNet را درست به مانند همین تراکنش های امروزی در اتریوم، به راحتی انجام دهند. همچنین دارای زبان Cairo است، یک زبان با قابلیت تورینگ کامل که بصورت “Under The Hood” اجرا می شود.

تخمین اندازه گیری مقیاس بندی آن شامل عدد چشمگیر 300 هزار تراکنش در یک اثبات واحد در شبکه اصلی با نرخ گس بسیار پایینتری به ازای هر تراکنش در لایه اول اتریوم است.

اجماع

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

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