Cysic موتور zkVM ونوس خود را متنباز میکند، تولید اثبات را به عنوان یک نمودار محاسباتی جهانی بازتعریف کرده و ZisK را در بازار نوظهور اثبات EIP‑8025 اتریوم قرار میدهد.
Cysic ونوس را منتشر کرده است، یک موتور محاسباتی متنباز zkVM جدید که تولید اثبات را حول یک نمودار محاسباتی جهانی به جای یک لایه انتزاعی سختافزاری سنتی بازسازی میکند، و پشته ZisK این شرکت را به طور کامل در بحث بازار اثبات L1 نوظهور اتریوم قرار میدهد. Cysic با اعلام این اقدام در X، ونوس را به عنوان "ساخته شده بر روی ZisK" توصیف کرد و گفت که این سیستم "مدل سنتی HAL را رها میکند" و به نفع یک نمایش مبتنی بر نمودار از کل خط لوله اثبات است. تیم نوشت: "این تغییر پارادایم سه مزیت اصلی دارد: بهینهسازی محاسباتی جهانی، کاهش حرکت غیرموثر دادهها و بهبود قابل توجه استفاده از GPU."
ونوس به جای رفتار با بکاندهای سختافزاری به عنوان دنبالهای از فراخوانیهای تابع ایزوله، تولید اثبات دانش صفر را به عنوان یک نمودار محاسباتی صریح کدگذاری میکند که میتواند به صورت سرتاسری در GPUها، FPGAها و ASICهای آینده زمانبندی شود. Cysic میگوید که این امر به کامپایلر اجازه میدهد تا "دستورالعملها را دوباره مرتب کرده و عملیات حافظه را در سراسر مرزهای هسته ادغام کند"، که باعث کاهش کشمکش حافظه بین CPU و شتابدهنده و تطابق بهتر با ویژگیهای موازی گسترده عملیات MSM و NTT میشود. در تستهای داخلی، موتور ونوس "بیش از 9 درصد بهبود در زمان اثبات سرتاسری در مقایسه با ZisK 0.16.1" را ارائه داد، عمدتاً با کاهش سربار همگامسازی CPU‑GPU به جای تکیه بر مزایای سختافزاری خام.
اعلامیه ونوس در حالی منتشر میشود که پیشنهاد EIP‑8025 اتریوم، تحت عنوان "اثباتهای اجرایی اختیاری"، یک مدل چند اثباتگر را برای اعتبارسنجی بلاک L1 با استفاده از zkVMها رسمی میکند. Cysic در توضیحات خود اشاره میکند که ZisK "یکی از پنج zkVM است که به صراحت به عنوان کاندیدا در بحثهای رسمی جامعه نام برده شده است"، در کنار سیستمهایی مانند RISC Zero و openVM، و میگوید که تیم میتواند "تولید اثبات برای یک بلاک اتریوم را در 7.4 ثانیه با استفاده از 24 GPU" تکمیل کند، که اهداف بلادرنگ را برآورده میکند. این پروژه "در حال حاضر بر روی Ethproofs فعال است، اثباتهای بلادرنگ برای بلاکهای اتریوم را با استفاده از یک RTX 4090 واحد ارسال میکند"، و به عنوان یک شریک یکپارچهسازی Ethproofs فهرست شده است، در حالی که اکوسیستم به سمت بازار اثبات L1 حرکت میکند.eips.
Cysic ونوس را به عنوان هسته شتابدهنده نرمافزاری در یک پشته بزرگتر قاببندی میکند که شامل zkVM ZisK در نقطه ورودی پروتکل، سختافزار ASIC سفارشی به عنوان پایه محاسباتی و یک شبکه ComputeFi برای زمانبندی وظایف بین اثباتگران است. تیم استدلال میکند: "مشکل واقعی، ناکافی بودن قدرت محاسباتی خام نیست، بلکه یک عدم تطابق معماری بنیادی است"، و معتقد است که یک پشته zkVM، سختافزار و زمانبندی یکپارچه برای ابرمقیاسسازی نقشه راه zkEVM برنامهریزی شده اتریوم ضروری است.university.
