تنگنای میلیارد دلاری که تراکنش‌های کریپتوی شما را گران نگه می‌دارد | نظر

افشا: نظرات و دیدگاه های بیان شده در اینجا منحصراً متعلق به نویسنده است و نماینده نظرات و دیدگاه های سردبیری crypto.news نیست.

شما سعی کردید 50 دلار از اتریوم (ETH) به یک Zk-rollup مانند zkSync منتقل کنید و انتظار داشتید چند سنت هزینه پرداخت کنید. در عوض، هزینه ای بین 0.15 دلار تا 0.50 دلار به کیف پول شما وارد شد. زمانی که می دانید رول آپ های خوش بینانه در مقابل Zk-rollup ها اغلب سه برابر ارزان تر هستند و ارتقاء Dencun هزینه های داده را بیش از 90٪ کاهش داده است، پذیرفتن این موضوع سخت است. گلوگاه تراکم شبکه نیست. خود اثبات است.

خلاصه

• هزینه های Zk-rollup تحت سلطه اثبات هستند، نه داده یا اجرا: تولید اثبات به دلیل رمزنگاری ناکارآمد GPU، 60-70٪ از هزینه ها را مصرف می کند و بازار متمرکز اثبات کننده حدود 97 میلیون دلاری ایجاد می کند که هزینه های Zk را علیرغم ارتقاء Dencun اتریوم بالا نگه می دارد.
• این یک تله تمرکز و امنیت ایجاد می کند: بیش از 90٪ از ZK-L2ها به چند ارائه دهنده اثبات کننده به عنوان سرویس متکی هستند که سانسور، استخراج MEV، قطعی ها و استخراج اجاره به سبک web2 را معرفی می کنند و تمرکززدایی و پذیرش را تضعیف می کنند.
• راه حل سخت افزار تخصصی + بازارهای باز اثبات کننده است: ASICهای اختصاصی ZK و حراج های رقابتی اثبات کننده درون زنجیره ای می توانند هزینه ها را به مراتب کاهش دهند، اثبات را غیرمتمرکز کنند و هزینه های زیر یک سنت را باز کنند و در نهایت مقیاس پذیری ZK را عملی کنند.

تولید اثبات دانش صفر برای یک دسته تراکنش یک فرآیند فشرده است. این شامل تریلیون ها عملیات ریاضی، به طور خاص ضرب های منحنی بیضوی است که روی سخت افزاری اجرا می شود که برای این کار طراحی نشده است. طبق داده های L2Beat، تنها فرآیند اثبات 60-70٪ از کل هزینه ها در ZK-L2ها را تشکیل می دهد.

این امر بازار متمرکزی از "مزارع اثبات کننده" ایجاد کرده است که ارزش آن بیش از 97 میلیون دلار تخمین زده می شود. این گلوگاه میلیارد دلاری است. این یک سیستم متمرکز و انرژی بر است که به سخت افزار نامتناسب متکی است و دلیلی است که مقیاس پذیری ZK هنوز بیشتر شبیه یک وعده است تا یک واقعیت. 

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

هزینه های شما واقعاً کجا می روند

یک تراکنش Zk-rollup هزینه های مختلفی دارد. اجرای L2 تقریباً رایگان است. ارسال داده به شبکه اصلی نیز اکنون به لطف بلوب ها ارزان است و یک دهم سنت برای هر تراکنش هزینه دارد. هیولای واقعی اثبات است. یک اثبات واحد برای یک دسته 4000 تراکنش می تواند بین دو تا پنج دقیقه طول بکشد تا روی یک GPU پیشرفته A100 تولید شود. 

این کار تنها بین 0.04 دلار تا 0.17 دلار در هزینه های رایانش ابری هزینه دارد، بر اساس معیارهای Brevis. وقتی آن هزینه را استهلاک می کنید، حدود یک تا چهار سنت برای هر تراکنش می شود. اما تحت بار سنگین، به راحتی می تواند به بیش از ده سنت برسد.

اثبات ZK مانند ریاضیات ماتریسی که در هوش مصنوعی استفاده می شود نیست. این به ضرب های چند مقیاسی (MSM) و تبدیل های نظریه اعداد (NTT) روی منحنی های بیضوی متکی است. این عملیات برای GPUها که برای عملیات موازی نقطه شناور طراحی شده اند، بار سنگینی است. یک اثبات واحد Groth16 نیاز به حدود 10¹² عملیات میدانی دارد.

طبق آزمایش های Ingonyama، حدود 80٪ از چرخه های GPU در طول این فرآیند بیکار هستند. سخت افزار فقط مناسب نیست. در سه ماهه اول 2025، گزارش zkSync Era نشان داد که اثبات 65٪ از درآمد 2.3 میلیون دلاری آنها را تشکیل می دهد. 

این 1.5 میلیون دلار است که مستقیماً به خوشه های متمرکز رفت. در همین حال، تیم های رول آپ ماهانه 1000 دلار تا 5000 دلار به AWS برای هر دستگاه پرداخت می کنند و این هزینه به طور خطی با حجم مقیاس می شود. جای تعجب نیست که کل ارزش قفل شده در L2های برتر ZK در 3.3 میلیارد دلار گیر کرده است، در حالی که رول آپ های خوش بینانه از 40 میلیارد دلار فراتر رفته اند.

اما رول آپ های خوش بینانه (Base، Arbitrum، Optimism و غیره) نیز یک راه حل کامل نیستند، زیرا با معاوضات عظیمی همراه هستند. رول آپ های خوش بینانه به حداقل هفت روز تاخیر برداشت نیاز دارند تا اعتبارسنج های هوشیار بتوانند به انتقال های حالت نامعتبر اعتراض کنند. در دنیای سریع DeFi، این زمان انتظار برای اکثر موارد استفاده بسیار طولانی است. این شبکه ها همچنین نیاز دارند که کاربران به این اعتبارسنج های هوشیار اعتماد کنند. در حالی که این ممکن است برای تراکنش های کم ارزش مانند بازی web3 یا رسانه های اجتماعی خوب باشد، در مورد دارایی های دنیای واقعی و سایر موارد استفاده مالی قدرتمند چیزی برای آرزو باقی می گذارد.

بنابراین، مسیر تراکنش های واقعاً مقیاس پذیر، ارزان و ایمن نه در اجتناب از تولید اثبات، بلکه در متحول کردن آن نهفته است.

این ناکارآمدی اصلی است: ما یک پرمیوم web2 پرداخت می کنیم، هم در هزینه و هم در تمرکز، برای ایجاد اعتماد برای یک شبکه غیر متمرکز. هزینه اثبات فقط یک هزینه نیست؛ لنگر اقتصادی است که پذیرش ZK را عقب نگه می دارد. تا زمانی که تولید اثبات به اندازه اجرا ارزان نشود، Zk-rollup ها در سیستمی گیر خواهند کرد که در آن بزرگترین قدرت آنها، امنیت رمزنگاری، همچنین پرهزینه ترین گلوگاه آنها است. و آن هزینه فقط هزینه ها را افزایش نمی دهد؛ تله متمرکزی را می سازد که اکنون باید از آن فرار کنیم.

تله تمرکز

بیش از 90٪ از Zk-rollup ها به تعداد انگشت شماری از شرکت های "اثبات کننده به عنوان سرویس" برون سپاری می کنند. این یک نقطه شکست واحد عظیم ایجاد می کند. در مارس 2025، اپراتورهای Blast تراکنش های مهاجم و 12000 کاربر بی گناه را برای 48 ساعت مسدود کردند. اثبات کنندگان متمرکز دسته های متن ساده را می بینند، MEV استخراج می کنند و تراکنش ها را رد می کنند. dYdX از یک امضای چندگانه 3 از 5 استفاده می کند، به این معنی که سه نفر از افراد داخلی می توانند زنجیره را ربوده کنند. این مسائل وابستگی سخت افزاری را در سایر سیستم های بلاک چین، مانند مکانیزم اجماع Solana، منعکس می کند.

این تمرکز شکنندگی ایجاد می کند. اثبات کنندگان برتر 99.2٪ زمان فعالیت دارند، اما یک قطعی AWS می تواند آبشاری شود. در سه ماهه دوم 2025، Starknet به دلیل شکست یک گره 20٪ توان عملیاتی را از دست داد. این ارائه دهندگان 80٪ حاشیه سود را به دست می آورند و رول آپ ها را با اجاره محدود می کنند، در حالی که L1 اتریوم امنیت را فراهم می کند. این یک تناقض معماری است. ما L2های "غیر متمرکز" داریم که به مراکز داده Web2 وابسته هستند. همانطور که ویتالیک بوترین در Devcon 2024 گفت: "اثبات را برون سپاری کنید و هیچ چیز را مقیاس نداده اید، فقط به یک اوراکل جدید اعتماد کرده اید."

راه حل در دست است

برای حل این مشکل، ما به یک ضربه یک-دو نیاز داریم. ما به سیلیکونی نیاز داریم که برای ZK ساخته شده باشد و به یک بازار برای توزیع آن نیاز داریم. اول، سخت افزار. GPUها مانند اتومبیل های مسابقه در بزرگراه هستند. آنها برای عملیات تانسوری که در هوش مصنوعی استفاده می شود عالی هستند، اما برای عملیات منحنی که در ZK استفاده می شود وحشتناک هستند. اینجاست که ASICهای خاص دامنه وارد عمل می شوند.

برندگان مسابقه ZPrize 2025 توانستند اثبات های STARK را در 6-8 ثانیه روی FPGAها زمان بندی کنند. این 10-100 برابر سریعتر در هر وات نسبت به GPU است، زیرا آنها MSMها و NTTها را سیم کشی کرده اند. Cysic در حال حاضر ASICهایی را تولید می کند که می توانند اثبات هایی را برای مدارهای میلیارد دروازه ای در کمتر از دو ثانیه تولید کنند و این کار را با کاهش 50 برابری مصرف انرژی انجام می دهند. این همان تکاملی است که در استخراج بیت کوین (BTC) دیدیم. ما از CPUها به ASICها رفتیم، اما این بار برای حقیقت است، نه برای هش ها.

دوم، بازارها. ما باید مدل SaaS را کنار بگذاریم و اثبات کنندگان را به عنوان یک کالا رفتار کنیم. شبکه اصلی Succinct در سال 2025 این موضوع را نمونه می دهد. رول آپ ها مشاغل را در حراج های مبتنی بر اتریوم ارسال می کنند و دستگاه های تخصصی در عرض چند ثانیه روی آنها پیشنهاد می دهند. Brevis ProverNet به 20 برابر سرعت CPU از طریق خوشه های GPU با اسلش برای گره های تنبل دست یافت.

نتیجه کاهش 40٪ هزینه، توزیع عادلانه ارزش و مقاومت در برابر سانسور است. هر کسی می تواند اثبات کند، اتریوم تأیید می کند. تجمع بازگشتی ZPrize 2025 اثبات ها را در کمتر از 200 میلی ثانیه درون زنجیره ای تأیید کرد. یک ربات DeFi 10000 دلاری می تواند ZK-ML خصوصی را روی یک L2 برای یک هزارم سنت در هر تراکنش اجرا کند.

باز کردن سیل آسا

اثبات ارزان تر منجر به هزینه های قابل پیش بینی و کمتر از 0.01 دلار در 15000 TPS می شود، طبق نقشه راه zkSync Atlas. این NFTهای پرداخت به ازای هر پیکسل، اقتصادهای بازی بلادرنگ و عوامل هوش مصنوعی را که معاملات را بدون فرانترانینگ تسویه می کنند، باز می کند. L2ها به زیرساخت خنثی تبدیل می شوند، نه حوزه های اثبات کننده. 

توسعه دهندگان به جای مدیریت مزارع سرور عظیم، بر بهینه سازی VM تمرکز می کنند. این نوآوری برنامه را ده برابر تحریک می کند. ZK TVL از 28 میلیارد دلار در سال 2025 به بیش از 100 میلیارد دلار رشد می کند. فرصت واقعی سیستمیک است. 

وقتی اثبات ارزان و غیرمتمرکز می شود، کل پیشنهاد ارزش متبلور می شود. کاربران سرعت و هزینه را دریافت می کنند. توسعه دهندگان پلتفرمی را دریافت می کنند که نیازی به اعتماد به تعداد انگشت شماری از اپراتورها ندارد. اتریوم یک راه حل مقیاس پذیری دریافت می کند که تضمین های امنیتی را بدون مصالحه حفظ می کند.

مبارزه اینجاست

بزرگترین مانع برای پذیرش ZK کریپتو یا بازی نیست، اقتصاد مهندسی است. زیرساخت متمرکز در حال خفه کردن حقیقت مقیاس پذیر است. جنگ بر سر اجماع نیست. در سخت افزار و بازارها برای محاسبات قابل تأیید است. اثبات کنندگان غیرمتمرکز و تسریع شده را ارسال کنید و ما تراکنش های ارزان و بدون اعتماد را برای میلیاردها نفر ارائه می دهیم. 

ما به ارباب اثبات کننده نیاز نداریم. ما به یک بازار جهانی برای اثبات ها نیاز داریم، جایی که هر کسی مشارکت می کند، همه تأیید می کنند و وب باز امن است.

لئو فن

لئو فن بنیانگذار و مدیرعامل Cysic.xyz است، اولین شبکه محاسباتی کامل که اثبات دانش صفر بلادرنگ، محاسبات هوش مصنوعی تسریع شده با سخت افزار و دسترسی توکنیزه شده به سخت افزار با کارایی بالا را از طریق ComputeFi ارائه می دهد. با دکترای رمزنگاری از کرنل و پیشینه ای که تحقیقات دانشگاهی، طراحی FPGA/ASIC، مهندسی پروتکل و خطوط لوله سخت افزار نسل بعدی را در بر می گیرد، لئو به انتقال اثبات دانش صفر از ساختارهای نظری به سیستم های مقیاس صنعتی کمک کرده است. در Cysic، لئو یک تیم چند رشته ای را رهبری می کند که ASICهای بهینه شده ZK و هوش مصنوعی، خوشه های اثبات GPU با توان عملیاتی بالا و یک شبکه محاسباتی غیرمتمرکز طراحی می کند که محاسبات را به یک دارایی برنامه پذیر درون زنجیره ای تبدیل می کند. این مکالمه روز بعد از راه اندازی شبکه اصلی Cysic اتفاق می افتد و آن را به فرصتی عالی برای عمیق شدن در آنچه شبکه اصلی برای عملکرد، تمرکززدایی و استفاده در دنیای واقعی باز می کند تبدیل می کند.