پالیگان (MATIC) مجموعههای دانش صفر، ادغام شبکه اصلی ورودی را آزمایش میکند
پالیگان مجموعههای دانش صفر را به شبکه آزمایشی نهایی میبرد تا عملکرد zkEVM خود را قبل از یکپارچهسازی نهایی شبکه اصلی اندازهگیری کند.
پروتکل مقیاسپذیری لایه ۲ اتریوم پالیگان در حال انجام تست عملکرد فناوری جمعآوری دانش صفر (zk rollups) قبل از ادغام کامل با شبکه اصلی خود است.
توسعه این فناوری که zkEVM پالیگان (ماشین مجازی اتریوم) نام دارد، بیش از سه سال است که توسط تیم پالیگان ادامه دارد. این تیم قبلا تایید کرده است که اثبات دانش صفر در اتریوم با تولید بیش از 12000 zk-proof در نسخه اولیه شبکه آزمایشی zkEVM امکان پذیر است.
دیوید شوارتز، سرپرست پروژه zkEVM پالیگان و PolygonID، توسعه این قابلیت را باز کرد. پلتفرمهای لایه ۲ به تکامل و بهبود عملکرد ادامه دادهاند که نقش کلیدی در افزایش مقیاسپذیری اتریوم داشته است.
همانطور که او توضیح داد، مجموعههای دانش صفر سرعتی را افزایش داده است که در آن پلتفرمهای لایه ۲ میتوانند نهایی شوند و در عین حال از اعتبارسنجی امن تراکنشها با فناوری دانش صفر اطمینان حاصل کنند. در اصطلاح بلاک چین، نهاییبودن نقطهای است که در آن بلوکی از تراکنشها بهطور دائم و غیرقابل برگشت به بلاک چین اضافه شده است:
در نهایت، ما zkEVM هایی مانند zkEVM پالیگان داریم که تمام موارد فوق را علاوه بر معادل ماشین مجازی اتریوم با روش های پیشرفته zk-STARK و zk-SNARK ارائه می دهد.
به گفته شوارتز، zkEVM پالیگان شامل اولین کد منبع کامل موجود zkProver معادل EVM است که تمام تستهای برداری اتریوم را با بیش از 99% گذرانده است. او تکمیل اثبات اعتبار برای تراکنشهای کاربر معمولی را «چالشبرانگیزترین و سودآورترین تلاش» از زمانی که تیمش شروع به توسعه zkEVM بومی خود کرد، توصیف کرد.
دو سال پیش، تیم پالیگان تخمین زد که توسعه مجموعههای zk با سازگاری EVM تا ده سال طول میکشد. با توجه به گام های برداشته شده، تیم zkEVM را به عنوان بازی پایانی توصیف می کند که پیشرفت ها را با مقیاس پذیری لایه 2 و نهایی شدن سریع ترکیب می کند. این مزیت های بی شماری را برای کاربران در هنگام اضافه کردن توان عملیاتی بیشتر و هزینه های کمتر ارائه می دهد.
کوین تلگراف همچنین تفاوت بین zkEVM پالیگان و فناوری ZK-SNARK و ZK-STARK اختصاصی استارک نت را در شبکه مقیاس بندی لایه ۲ اتریوم جویا شد. همانطور که قبلاً گزارش شد، ZK-STARKS (برهان شفاف دانش مقیاس پذیر با دانش صفر) در درجه اول مقیاس پذیری را با جمع آوری هزاران تراکنش با یک اثبات واحد برای تأیید اعتبار در زنجیره افزایش می دهد.
شوارتز گفت تفاوت اصلی بین این پروژهها این است که zkEVM به جای دیگر zk-rollupها که فقط تراکنشها را مقیاسبندی میکنند و عملکرد را در قالب VM متفاوتی افزایش میدهند، بر مقیاس بومی اکوسیستم اتریوم تمرکز میکند.
رویکرد پالیگان مطابق با طبقه بندی zkEVM نوع 2 است که توسط بنیانگذار اتریوم ویتالیک بوترین در آگوست 2022 توصیف شده است. طبق خلاصه بوترین، zkEVM های نوع 2 به طور کامل با برنامه های موجود سازگار هستند، اما برای توسعه آسان تر تغییرات جزئی در اتریوم ایجاد می کنند. و تولید اثبات سریعتر شوارتز افزود:
در مقابل، استارک نت به عنوان یک نوع 4 قرار می گیرد و یک زبان سطح بالا را معرفی می کند و نیاز به ترانسپایلرها برای ترجمه کد solidity به زبان خود دارد.
در همان زمان، شوارتز از این فرصت برای داشتن معیارها و کد منبع بیشتر در دسترس از پروژه های دیگر به منظور یادگیری از رویکردهای مختلف استقبال کرد. فعالیت در راهحلهای لایه ۲ اتریوم به رشد خود ادامه میدهد و دادههای بلاک چین نشان میدهد که حجم تراکنش آربیتروم و آپتیمیزم بر تراکنشهای شبکه اصلی اتریوم تا سال ۲۰۲۳ سایه انداخته است.