اثبات دانش صفر (zero-knowledge proofs) به عنوان آینده مقیاس پذیری بلاک چین

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

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

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

سایر متخصصان صنعت، مانند الی بن ساسون از StarkWare، الکس گلوچوفسکی از zkSync و بری وایتهت از بنیاد اتریوم نیز به دلیل مزایایی که در مقیاس پذیری و امنیت دارند، از zk-rollup ها حمایت می‌کنند.

با این حال، آیا ZKP ها عنصر گمشده در پازل مقیاس پذیری را نشان می‌دهند؟

به گفته مایک ورونوف، رئیس بخش تحقیق و توسعه فلوئنس، پاسخ آنقدرها هم که به نظر می‌رسد ساده نیست.

در صحبت با crypto. news، ورونوف مزایای این رویکرد، از جمله اقدامات امنیتی افزایش یافته و زمان برداشت سریع‌تر را برجسته کرد. با این حال، وی یادآور شد که مانند سایر روش‌های مقیاس بندی، مزایا و معایب خاص خود را دارد.

در ZKPها، فرآیند تولید و تأیید اثبات می‌تواند از نظر محاسباتی کاملاً سخت باشد زیرا نیاز به اجرای الگوریتم‌های رمزنگاری پیچیده است. این الگوریتم‌ها تضمین می‌کنند که اثبات‌ها ایمن و مختصر هستند، که برای حفظ حریم خصوصی تراکنش‌ها در شبکه‌های بلاک چین ضروری است.

این مهم است که در نظر داشته باشیم که ZKP ها ممکن است راه حل کاملی برای هر موقعیتی نباشند، و همچنین چالش اضافه شده تحقیق و اجرای پروتکل‌های ZK وجود دارد.

ورونوف تأکید کرد که روش‌های جایگزین، مانند اثبات تقلب، ترکیبی مشابه از عملکرد و امنیت را فراهم می‌کنند. کاربران می‌توانند تراکنش‌های خارج از زنجیره را در مجموعه‌های خوش بینانه با استفاده از شواهد تقلب تأیید کنند، که آنها را قادر می‌سازد هر گونه تراکنش مشکوکی را به چالش بکشند. پس از سؤال، مشروعیت این تراکنش‌ها در زنجیره اصلی تأیید می‌شود و امنیت را از طریق تأیید پس از تأیید تضمین می‌کند.

این رویکرد نسبت به ZKP کارآمدتر است، زیرا فقط زمانی که تراکنش به چالش کشیده می‌شود، بررسی‌های محاسباتی را انجام می‌دهد، نه اینکه هر تراکنش را از قبل تأیید کند.

با این حال، او اشاره کرد که ZKP ها از نظر ضمانت‌های رمزنگاری یک مزیت قوی دارند، برخلاف Optimistic Rollups که بر اثبات تقلب متکی هستند.

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

فرانسیسکو لیل، مدیر ارشد فناوری پروتکل استعداد، با تأکید بر اینکه موفقیت پروژه‌های اخیر متمرکز بر ZK مانند zkSync و Starknet ماهیت پیشرفته و امیدوارکننده فناوری ZK را نشان می‌دهد، موافقت کرد.

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

طبق دیدگاه CTO، مجموعه‌های خوش بینانه چالش مهمی برای جمع آوری ZK در چشم انداز فعلی ایجاد می‌کند. او چالش‌های مرتبط با اثبات‌های دانش صفر (ZKPs)، مانند zk-SNARKs و zk-STARKs را برجسته کرد که به منابع محاسباتی قابل توجهی برای تولید اثبات و تأیید نیاز دارند.

با این حال، با توجه به بهبود در قدرت محاسباتی، Leal پیش بینی می‌کند که به زودی کاهش می‌یابد. علاقه سرمایه‌گذاران به فناوری‌های دانش صفر به شدت افزایش یافته است که منجر به سرمایه‌گذاری قابل توجهی به میلیون‌ها دلار شده است. دستاوردهای قابل توجه عبارتند از StarkWare، جمع آوری موفقیت آمیز 100 میلیون دلار با ارزش 6 میلیارد دلار، و zkSync، که توانست 200 میلیون دلار بودجه را تأمین کند. در همین حال، Polygon Labs به طور قابل توجهی تعهد خود را به ابتکارات دانش صفر با سرمایه گذاری 1 میلیارد دلاری در این بخش افزایش داد.

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

منبع : crypto.news