امسال، اثباتهای دانش صفر (zk-proofs) به عنوان قویترین ابزار رمزنگاری که به نوآوری در اکوسیستمهای غیرمتمرکز کمک میکند، نشان خود را نشان میدهند.
اثباتهای Zk برای اولین بار توسط محققین علوم کامپیوتر شاری گلدواسر، سیلویو میکالی و چارلز راکف در مقاله خود در سال 1985 کشف شدند. پیچیدگی دانش سیستم های اثبات تعاملی. توسعه دهندگان، معماران سیستم و محققان در جامعه اتریوم - اکوسیستم قراردادهای هوشمند پیشرو در بلاک چین - بخش عمده ای از سه سال گذشته را صرف فشار دادن استعدادهای خلاق خود برای توسعه راه حل ها - و اغلب، راه حل های موقتی کرده اند. هدف آنها رفع دو نقص آشکار بلاک چین است: ظرفیت کارآمدی در مقیاس، و حفاظت از حریم خصوصی کاربران بدون چون و چرا.
در هر دو امتیاز، بهترین و باهوشترین ذهنهای اتریوم روی پروتکلهای دانش صفر و پیادهسازیهای همهکاره آنها برای ساختن زیرساختهای بلاک چین کامل تورینگ همگرا شدهاند.
جستوجو برای توان عملیاتی
zk-proof مکانیزمی را توصیف میکند که به موجب آن یک طرف میتواند بدون افشای اطلاعات اضافی، بهویژه محتوای خود بیانیه، به دیگری ثابت کند که یک عبارت داده شده درست است. اگرچه فوراً در سناریوهای حفظ حریم خصوصی - معروفترین آن در راهاندازی Zcash در سال ۲۰۱۶، یک کوین حفظ حریم خصوصی که از zks برای محافظت از تراکنشها استفاده میکند، کاربرد بیشتری دارد، اما zk-proof در جستجوی دیوانهوار اتریوم برای راهحل مقیاسپذیری که میتواند آرایههای آن را باز کند، برجسته شدهاند. برنامه های کاربردی انقلابی DeFi و NFT در بازار انبوه.
طبق وایت پیپر ساتوشی، بلاک چین برای یک هدف توسعه یافته است: دور زدن قدرت از طریق تشکیل یک سیستم غیرمتمرکز و مقاوم در برابر سانسور بدون یک نقطه شکست. اگرچه یک شاهکار فوق العاده در معماری سیستم است، تمرکززدایی بدون هزینه انجام نمی شود. در سیستمهای غیرمتمرکز، فرآیندهای مبادله، ذخیره و تأیید اطلاعات در میان دستگاهها، نرمافزارها و انسانها به یکدیگر وابسته هستند. یعنی سیستم های بسیار بالایی هستند پیچیدگی دانش.
برخلاف فرآیندهای ساده بومی سیستم های متمرکز، پیچیدگی دانش لزوماً کارایی شبکه را کاهش می دهد، زمان تراکنش را کاهش می دهد و هزینه تراکنش را برای کاربران افزایش می دهد.
از آنجا که شکست Cryptokitties در سال 2017اتریوم به عنوان پوستر معضل مقیاس پذیری ذاتی بلاک چین در کانون توجه دائمی ارزهای دیجیتال قرار گرفته است. بهعنوان پیشرو در صنعت در برنامهها و کاربران غیرمتمرکز، پیچیدگی دانش اتریوم، توان عملیاتی تراکنشهای آن را به ده تراکنش ناچیز در ثانیه محدود میکند – ۱۲ در یک روز خوب.
تیمهای توسعهدهنده در سراسر اکوسیستم که مصمم به مقابله با این مشکل بودند، راهحلهای اولیه مختلفی را ارائه کردند: کانالهای دولتی، که با EVM سازگار نبودند و به هویت کاربر و قفل سرمایه اولیه نیاز داشتند. پلاسما، شبکهای از زنجیرههای کودک نه چندان راحت که فاقد سازگاری با EVM هستند. زنجیره های جانبی که مستقل از امنیت زنجیره اصلی اتریوم عمل می کردند. و شاردینگ، یک اصلاح اجماع که ویژگیها و تاریخهای تحویل آن متزلزل شده و به گونهای تکامل یافته است که یادآور وعدههای انتخاباتی سیاسی شکستهشده است.
Zks در قالب Zk-Rollups باقی ماند، مکانیزمی که از فناوری zkSNARK برای ادغام تراکنش های خارج از زنجیره از طریق Merkle Trees و انتشار آنها در زنجیره اصلی اتریوم با یک تراکنش واحد استفاده می کند - یک مدل بسیار کارآمد که محاسبات خارج از زنجیره را انجام می دهد. و از mainchain به طور انحصاری برای ذخیره سازی داده ها استفاده کرد. اگرچه Zk-Rollups بهترین راه حل فنی در دسترس بود، اما هنوز با EVM سازگار نبوده و تنها می تواند به عنوان کانال پرداخت عمل کند. برنامه های DeFi باید در زنجیره باقی بمانند تا زمانی که رول آپ ها بتوانند از اجرای قرارداد هوشمند پشتیبانی کنند.
مجموعه خوش بینی
در رقابت برای پشتیبانی از DeFi، تیم توسعهدهنده اتریوم Optimism اولین کسی بود که با انتشار Optimistic Rollups، یک زنجیره Rollup سازگار با EVM آماده برای استقرار dApp با یک کلیک، و همه بدون یک zk-proof، موفق شد. تنها یک مشکل وجود داشت: Optimism's Rollup برای انتشار تراکنشهای گروهبندیشده در زنجیره، به اثبات تقلب وابسته بود، در نتیجه کاربران را ملزم میکرد تا تاخیرهای زمانی اختلاف (DTD) را برای برداشتهای زنجیره اصلی تحمل کنند، اغلب بیش از یک هفته. اما با قابلیت ترکیب آنلاین، Optimism بهترین جایگزین موجود باقی ماند.
این تا ماههای اخیر بود که Matter Labs zkSync v2 را منتشر کرد: یک Zk-Rollup کاملاً کاربردی و سازگار با EVM که از اثبات اعتبار محاسباتی با DTD کوتاه استفاده میکند. با حل شدن سازگاری با EVM برای نسخه 2، zkSync و برداشتهای زنجیره اصلی زیر ده دقیقهای آن اکنون برتر از Optimism است که OVM آن هنوز برای تأیید تراکنشهای برداشت به DTDهای طولانی مدت وابسته است.
همانطور که توجه و منابع توسعهدهنده به سمت قلمرو دانش صفر ادامه میدهند، واقعیت روشن میشود: طبق عنوان انتخابی معماران، zk-proof برای سیستمهایی طراحی شدهاند که مشخصه آنها پیچیدگی دانش بالاو برای حل بسیاری از معضلات محاسباتی پیش روی اکوسیستم های بلاک چین و مسیرهای پذیرش آن ها مناسب هستند.
حلقه کامل آمدن: حفظ حریم خصوصی در جایی که متعلق به آن است
با مفهوم DeFi، اتریوم جایگاه خود را به عنوان هاب پیشرو برای نوآوری بلاک چین تثبیت کرده است. برنامههای پیچیدهای مانند آنهایی که بخش DeFi کریپتو را تشکیل میدهند، نیاز به صرفهجویی در حالت، و بنابراین مدل تراکنش تورینگ کامل و مبتنی بر حساب اتریوم دارند. در همین حال، برنامههای کاربردی با محوریت حریم خصوصی بر روی زنجیرههای بلوکی با مدلهای تراکنش UTXO کار میکنند، جایی که ایالات جهانی از جمله موجودی حسابها توسط سطوح بالاتری از انتزاع مانند برنامههای کیف پول و کاوشگرهای بلوک مدیریت میشوند.
در این مرحله، در مأموریت آوردن حریم خصوصی به DeFi، توسعهدهندگان به حفظ حریم خصوصی DeFi رضایت دادهاند، یا بلاک چینهای مستقل UTXO میسازند یا مدلهای لایه 2 بسیار متمرکز و غیرشفاف دور از زنجیره اصلی دلهرهآور اتریوم.
تا ژانویه 2019 بود که اولین استاندارد توکن محرمانه روی زنجیره اتریوم در پروتکل آزتک تصور شد. EIP-1724. آزتک استفاده از zkSNARK ها را برای تولید توکن های خصوصی در اتریوم پیشنهاد کرد، اگرچه راه اندازی قابل اعتماد مورد نیاز است برای توزیع کلیدهای خصوصی علاوه بر این، کل فرآیند مبهم سازی که حریم خصوصی را به zk-token های آزتک اعطا می کند در لایه 2 از نوع انجام می شود. ساختار لایه 2 آزتک، یک مدل رویایی درخشان، برای اولین بار حریم خصوصی را به اتریوم آورد. اما برخلاف مقیاسپذیری، وظیفه اصلی حریم خصوصی این است که باید در لایه 1 زندگی کند - بدون اگر، و یا پل.
راه اندازی مورد اعتماد
یک سال پس از راهاندازی آزتک، تیم Offshift راهحل پیشگام Layer 1 PriFi را روی اتریوم ارائه کرد که قرار بود در سهماهه اول 1 راهاندازی شود. مدل تیم از zks ضد گلوله استفاده میکند که برخلاف SNARKها به هیچ عنصری از راهاندازی قابل اعتماد نیاز ندارند و کاملاً زندگی میکنند. در لایه 2022. برای پرداختن به مدل تراکنش مبتنی بر حساب اتریوم، پروتکل Offshift zkAssets را به شکل تعهدات رمزنگاری که بین آدرسهای اتریوم در یک مدل UTXO رد و بدل میشود، صادر میکند، در نتیجه به برنامههای PriFi اجازه میدهد از کامل بودن تورینگ اتریوم بدون خروج از لایه 1 بهره ببرند.
اگرچه چالشهای کاملاً منحصربهفرد، مقیاسپذیری کارآمد و حریم خصوصی غیرقابل نفوذ به بهترین وجه توسط ابزارهای محاسباتی که برای سیستمهای غیرمتمرکز طراحی شدهاند حل میشوند - یعنی سیستمهایی که با پیچیدگی دانش بسیار بالا مشخص میشوند.
چندین دهه جلوتر از زمان خود، گلدواسر، مکالی و راکف در مقاله خود در سال 1985 به وفور توضیح دادند: «پیچیدگی دانش به اثبات یا رد صحت پروتکلهای رمزنگاری کمک میکند، زیرا این پروتکلها بر اساس محرمانه بودن برخی اطلاعات خصوصی هستند و باید این رازداری را حفظ کنند. ”
آنها سپس به صورت شاعرانه خاطرنشان کردند: "حریم خصوصی برخی از اطلاعات چیزی است که به ما برتری نسبت به دشمنانمان می دهد."
الکس شیپ، مدیر ارشد استراتژی جابجایی، یک پلتفرم مشتقات PriFi (خصوصی DeFi).
منبع: https://thedefiant.io/zero-knowledge-ethereum-layer-1/
- 2016
- 2019
- حساب
- اضافی
- اتخاذ
- مزیت - فایده - سود - منفعت
- معرفی
- اجازه دادن
- برنامه های کاربردی
- معماری
- بهترین
- بلاکچین
- ساختن
- بنا
- کمپین بین المللی حقوق بشر
- ظرفیت
- سرمایه
- کانال
- چارلز
- رئیس
- سکه
- انجمن
- علم کامپیوتر
- اجماع
- محتوا
- ادامه دادن
- قرارداد
- هزینه
- خالق
- dapp
- داده ها
- ذخیره سازی داده ها
- تاریخ
- روز
- عدم تمرکز
- غیر متمرکز
- برنامه های تقسیم شده
- DEFI
- تاخیر
- تحویل
- مشتقات
- توسعه
- توسعه دهنده
- توسعه دهندگان
- دستگاه ها
- اختلاف نظر
- اکوسیستم
- اکوسیستم
- بهره وری
- ethereum
- نما
- شکست
- نام خانوادگی
- بار اول
- مناسب
- فرم
- تقلب
- جهانی
- خوب
- زیاد
- چگونه
- HTTPS
- انسان
- از جمله
- صنعت
- اطلاعات
- شالوده
- ابداع
- تعاملی
- مسائل
- IT
- نگهداری
- کلید
- دانش
- آزمایشگاه
- راه اندازی
- برجسته
- قفل
- ساخت
- علامت
- بازار
- ماموریت
- مدل
- ماه
- شبکه
- NFT
- افسر
- آنلاین
- باز کن
- مقاله
- پرداخت
- سکو
- خلوت
- خصوصی
- کلیدهای خصوصی
- پروتکل
- عمومی
- منتشر کردن
- Q1
- جستجو
- نژاد
- واقعیت
- منابع
- ساتوشی
- صرفه جویی کردن
- مقیاس پذیری
- مقیاس
- علم
- جستجو
- تیم امنیت لاتاری
- sharding
- کوتاه
- کند شدن
- هوشمند
- قرارداد هوشمند
- نرم افزار
- مزایا
- دولت
- بیانیه
- ایالات
- ذخیره سازی
- استراتژی
- ارسال
- پشتیبانی
- سیستم
- سیستم های
- شیر
- فنی
- پیشرفته
- موقت
- زمان
- رمز
- نشانه
- معامله
- معاملات
- us
- حریم خصوصی کاربر
- کاربران
- کیف پول
- هفته
- نشریه
- سال
- سال
- زکاش
- صفر
- اثبات دانش صفر