مدرک بدون دانش چیست؟ توضیح حریم خصوصی و مقیاس‌پذیری

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

• مدارک بدون دانش به یک اثبات‌کننده اجازه می‌دهد تا یک تأییدکننده را متقاعد کند که یک محاسبه به درستی انجام شده است بدون اینکه داده‌های زیرین را فاش کند، که هم حریم خصوصی و هم مقیاس‌پذیری را در بلاک‌چین‌ها امکان‌پذیر می‌سازد.
• دو خانواده اصلی مدارک بدون دانش که در بلاک‌چین استفاده می‌شوند zk-SNARKs هستند که به یک مراسم راه‌اندازی قابل اعتماد اولیه نیاز دارند و zk-STARKs که به راه‌اندازی قابل اعتماد نیاز ندارند اما مدارک بزرگ‌تری تولید می‌کنند.
• رول‌آپ‌های لایه ۲ اتریوم مانند zkSync، Scroll و Polygon zkEVM از مدارک بدون دانش برای فشرده‌سازی هزاران تراکنش به یک مدرک واحد که بر روی زنجیره اصلی تأیید می‌شود، استفاده می‌کنند و هزینه‌های گاز را تا ۹۰ درصد یا بیشتر کاهش می‌دهند.
• ویتالیک بوترین پروتکل GKR را در اواخر سال ۲۰۲۵ معرفی کرد به عنوان راهی برای تسریع تأیید مدارک بدون دانش اتریوم، با هدف عملی کردن این فناوری برای استفاده روزمره در مقیاس.
• مدارک بدون دانش از نظر ریاضی معتبر هستند اما جادو نیستند. آن‌ها به فرضیات رمزنگاری خاصی وابسته‌اند، به منابع محاسباتی قابل توجهی برای تولید نیاز دارند و کمتر از سه سال است که در مقیاس در تولید به کار گرفته شده‌اند.

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

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

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

سه خاصیت

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

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

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

پایه‌های ریاضی بر سختی برخی مسائل محاسباتی استوار است. برای zk-SNARKها، امنیت به دشواری محاسبه لگاریتم‌های گسسته بر روی منحنی‌های بیضوی وابسته است. برای zk-STARKها، امنیت به مقاومت در برابر تصادف توابع هش وابسته است که به عنوان یک فرضیه ضعیف‌تر و محافظه‌کارانه‌تر در نظر گرفته می‌شود. اگر هر یک از این فرضیات نادرست از آب درآید، سیستم اثبات مربوطه از کار می‌افتد. به همین دلیل، انتخاب بین zk-SNARKها و zk-STARKها شامل مصالحه‌هایی فراتر از اندازه اثبات و سرعت تأیید است.

🚀 @VitalikButerin پروتکل GKR را معرفی می‌کند که ۲ میلیون محاسبه در ثانیه را تأیید می‌کند و کار اثبات را از ۱۰۰ برابر به ۱۰-۱۵ برابر کاهش می‌دهد، در حالی که اتریوم خوشه حریم خصوصی ۴۷ نفره را راه‌اندازی می‌کند. #Ethereum #Privacy https://t.co/Z5kIh35LQ8 --- Cryptonews.com (@cryptonews) ۲۰ اکتبر ۲۰۲۵

zk-SNARKها: راه‌اندازی قابل اعتماد، اثبات‌های کوچک

zk-SNARK مخفف «استدلال غیرتعامل‌پذیر و مختصر دانش بدون دانش» است. کلمه مختصر کلید تمایز است: یک اثبات zk-SNARK بسیار کوچک است، معمولاً چند صد بایت، و می‌تواند در میلی‌ثانیه‌ها تأیید شود، صرف نظر از اینکه محاسبه زیرین چقدر پیچیده است.

هزینه این مختصر بودن، راه‌اندازی قابل اعتماد است. بیشتر ساختارهای zk-SNARK به یک مراسم اولیه نیاز دارند که در آن مجموعه‌ای از رشته‌های مرجع ساختاریافته تولید می‌شود. این رشته‌ها توسط هر دو ارائه‌دهنده و تأییدکننده استفاده می‌شوند. اگر مقادیر تصادفی که برای تولید آن‌ها استفاده می‌شود به درستی از بین نروند، هر کسی که آن‌ها را نگه دارد می‌تواند اثبات‌های جعلی ایجاد کند که به نظر معتبر می‌رسند. این گاهی اوقات به عنوان زباله سمی نامیده می‌شود.

مراسم‌های مدرن راه‌اندازی قابل اعتماد از پروتکل‌های محاسبات چندنفره استفاده می‌کنند که در آن صدها یا هزاران شرکت‌کننده هر یک به تصادفی بودن کمک می‌کنند. تضمین امنیت این است که تا زمانی که حداقل یک شرکت‌کننده به‌طور صادقانه سهم تصادفی خود را از بین ببرد، راه‌اندازی امن است. Zcash این رویکرد را با مراسم Powers of Tau خود پیشگام کرد و پروژه‌های بعدی آن را اصلاح کرده‌اند.

ساختارهای جدیدتر zk-SNARK مانند PLONK و انواع آن از یک راه‌اندازی قابل اعتماد جهانی و قابل به‌روزرسانی استفاده می‌کنند، به این معنی که همان راه‌اندازی می‌تواند برای مدارهای مختلف دوباره استفاده شود و شرکت‌کنندگان اضافی می‌توانند با گذشت زمان به تقویت راه‌اندازی کمک کنند بدون اینکه از ابتدا شروع کنند. این نگرانی در مورد راه‌اندازی قابل اعتماد را کاهش می‌دهد اما به‌طور کامل آن را از بین نمی‌برد. مصالحه بنیادی باقی می‌ماند: اثبات‌های کوچکتر و سریع‌تر در ازای یک فرضیه اعتماد یک‌باره.

zk-STARKها: بدون راه‌اندازی قابل اعتماد، اثبات‌های بزرگتر

zk-STARK مخفف «استدلال مقیاس‌پذیر و شفاف دانش بدون دانش» است. شفاف به این معنی است که نیازی به راه‌اندازی قابل اعتماد نیست. رشته‌های مرجع از تصادفی بودن عمومی قابل تأیید تولید می‌شوند که مشکل زباله سمی را به‌طور کامل از بین می‌برد. مقیاس‌پذیر به این واقعیت اشاره دارد که زمان اثبات به‌طور شبه‌خطی با اندازه محاسبه رشد می‌کند و STARKها را برای محاسبات بسیار بزرگ مناسب می‌سازد.

مصالحه در اندازه اثبات است. یک اثبات zk-STARK معمولاً ده‌ها تا صدها کیلوبایت است، در مقایسه با چند صد بایت برای یک zk-SNARK. در یک بلاک‌چین که ذخیره‌سازی داده‌ها گران است، این تفاوت اهمیت دارد. زمان تأیید نیز برای STARKها کمی بیشتر است، هرچند هنوز به اندازه کافی سریع برای استفاده عملی است.

StarkWare، شرکتی که پشت Starknet است، به عنوان حامی تجاری اصلی zk-STARKها شناخته می‌شود. استدلال آن‌ها این است که ویژگی شفافیت، همراه با مقاومت در برابر کوانتوم از طریق اتکا به توابع هش به جای منحنی‌های بیضوی، STARKها را به انتخاب بهتری در درازمدت تبدیل می‌کند، حتی با هزینه اثبات‌های بزرگتر. اینکه آیا کامپیوترهای کوانتومی واقعاً تهدیدی برای رمزنگاری منحنی بیضوی در یک بازه زمانی مرتبط خواهند بود، مورد بحث است، اما رویکرد امنیتی محافظه‌کارانه به کاربردهایی که در آن دوام درازمدت مهم‌تر از کارایی فوری است، جذاب است. شما ممکن است همچنین دوست داشته باشید: اثبات بدون دانش: راهنمای کامل برای بلاک‌چین لایه ۱ متمرکز بر حریم خصوصی

ZK رول‌آپ‌ها: برنامه مقیاس‌پذیری

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

این معماری به شبکه‌های لایه ۲ اتریوم اجازه می‌دهد تا هزاران تراکنش را به هزینه یک تأیید اثبات در لایه ۱ پردازش کنند. در عمل، رول‌آپ‌های ZK مانند آن‌هایی که بر روی زیرساخت اتریوم ساخته شده‌اند، هزینه‌های گاز را نسبت به اجرای همان تراکنش‌ها به‌طور مستقیم در شبکه اصلی، ۹۰ درصد یا بیشتر کاهش می‌دهند.

پروژه‌های بزرگ رول‌آپ ZK که در حال حاضر در حال تولید یا در مراحل توسعه پیشرفته هستند، شامل zkSync Era، Scroll، Polygon zkEVM، Linea و Taiko می‌باشند. هر یک از آن‌ها از یک سیستم اثبات متفاوت استفاده می‌کند و تعادل‌های متفاوتی بین سازگاری EVM، سرعت اثبات و تمرکززدایی برقرار می‌کند. zkSync از یک ماشین مجازی سفارشی و اثبات‌های مبتنی بر PLONK استفاده می‌کند. Scroll هدفش معادل‌سازی EVM در سطح بایت با استفاده از اثبات‌کننده zk-SNARK است. Polygon zkEVM از ترکیبی از اثبات‌های STARK و SNARK در یک معماری بازگشتی استفاده می‌کند.

رقابت بین این پروژه‌ها باعث نوآوری سریع در تولید اثبات شده است. زمان‌های اثبات در دو سال گذشته از ساعت‌ها به دقیقه‌ها و سپس به ثانیه‌ها کاهش یافته است. معرفی پروتکل GKR توسط ویتالیک بوترین برای اتریوم نمایانگر یک گام دیگر به سمت تبدیل تأیید اثبات ZK به یک عملیات روتین به جای یک گلوگاه محاسباتی است.

🚀 ویتالیک بوترین می‌گوید اتریوم معضل سه‌گانه بلاکچین را با ZKEVMها و فناوری PeerDAS که اکنون در شبکه اصلی در حال اجرا است، پس از یک دهه توسعه حل کرده است. #Ethereum #Buterin https://t.co/cUzlhhO6Xr --- Cryptonews.com (@cryptonews) ۴ ژانویه ۲۰۲۶

کاربردهای حریم خصوصی فراتر از رول‌آپ‌ها

اثبات‌های بدون دانش در اصل برای حریم خصوصی توسعه یافته‌اند، نه مقیاس‌پذیری. Zcash، که در سال ۲۰۱۶ راه‌اندازی شد، اولین بلاکچین بزرگ بود که از zk-SNARKها برای تراکنش‌های خصوصی استفاده کرد. در یک تراکنش محافظت‌شده Zcash، فرستنده، گیرنده و مقدار همه از دید عمومی پنهان هستند در حالی که اثبات تضمین می‌کند که هیچ سکه‌ای از هیچ جا ایجاد نشده و هیچ هزینه مضاعفی وجود ندارد.

کاربرد حریم خصوصی فراتر از تراکنش‌های مالی گسترش می‌یابد. اثبات‌های بدون دانش می‌توانند ویژگی‌های هویتی را بدون افشای داده‌های زیرین تأیید کنند. یک کاربر می‌تواند ثابت کند که بالای ۱۸ سال دارد بدون اینکه تاریخ تولد خود را افشا کند، ثابت کند که شهروند یک کشور خاص است بدون اینکه شماره گذرنامه خود را افشا کند، یا ثابت کند که مدرکی خاص دارد بدون اینکه مشخص کند کدام مؤسسه آن را صادر کرده است.

پروژه‌هایی مانند Worldcoin و Polygon ID سیستم‌های تأیید هویت مبتنی بر ZK را پیاده‌سازی کرده‌اند. Worldcoin از اثبات‌های بدون دانش برای تأیید اینکه یک شخص توسط دستگاه اسکن عنبیه آن‌ها اسکن شده است، بدون ارتباط دادن اسکن به هر هویت خاصی استفاده می‌کند. پروژه‌های اکوسیستم اتریوم به‌طور فزاینده‌ای هویت مبتنی بر ZK را به‌عنوان یک عنصر اولیه در کنار تراکنش‌های مالی ادغام می‌کنند.

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

چیزهایی که اثبات‌های بدون دانش پوشش نمی‌دهند

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

یک ZK رول آپ می‌تواند اثبات کند که تمام تراکنش‌ها در یک دسته بر اساس قوانین رول آپ معتبر بوده‌اند. اما نمی‌تواند اثبات کند که خود قوانین صحیح هستند. یک اشکال در قراردادهای هوشمند رول آپ یا مدار اثبات می‌تواند اثبات‌های معتبری برای انتقال‌های وضعیت نامعتبر تولید کند. چندین پروژه ZK رول آپ در طول حسابرسی‌ها و استقرارهای تست‌نت، اشکالات بحرانی را در مدارهای خود فاش و اصلاح کرده‌اند.

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

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

بررسی‌های عملی برای ارزیابی پروژه‌های ZK

هنگام ارزیابی یک پروژه که ادعا می‌کند از اثبات‌های بدون دانش استفاده می‌کند، چندین سوال وجود دارد که پیاده‌سازی‌های جدی را از بازاریابی متمایز می‌کند.

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

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

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

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

🚀 توسعه‌دهندگان اتریوم ارتقاء Pectra را در Hoodi فعال کرده‌اند و این یک نقطه عطف دیگر در آماده‌سازی برای استقرار شبکه اصلی آن است. #Ethereum #ETH https://t.co/eALuuC2dgk --- Cryptonews.com (@cryptonews) 27 مارس 2025
بیشتر بخوانید: اثبات بدون دانش چیست؟ نگاهی عمیق به ریاضیات پشت zk-SNARKs

سوالات متداول

اثبات بدون دانش به زبان ساده چیست؟

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

تفاوت بین zk-SNARKs و zk-STARKs چیست؟

zk-SNARKs اثبات‌های بسیار کوچکی تولید می‌کنند، معمولاً چند صد بایت، و به سرعت تأیید می‌شوند، اما به یک مراسم راه‌اندازی مورد اعتماد یک‌باره نیاز دارند. zk-STARKs اثبات‌های بزرگتری تولید می‌کنند، معمولاً ده‌ها کیلوبایت، اما به هیچ راه‌اندازی مورد اعتمادی نیاز ندارند و به عنوان مقاوم در برابر حملات محاسبات کوانتومی در نظر گرفته می‌شوند. هر دو هدف یکسانی از محاسبات قابل تأیید با دانش صفر را دنبال می‌کنند.

چگونه ZK رول آپ‌ها هزینه‌های گاز اتریوم را کاهش می‌دهند؟

ZK رول آپ‌ها تراکنش‌ها را خارج از زنجیره اصلی اتریوم اجرا می‌کنند، آن‌ها را با هم گروه‌بندی کرده و یک اثبات صفر-دانش تولید می‌کنند که نشان می‌دهد تمام تراکنش‌ها معتبر هستند. تنها اثبات و داده‌های فشرده شده به اتریوم ارسال می‌شوند. تأیید یک اثبات به مراتب ارزان‌تر از اجرای هزاران تراکنش فردی است که منجر به کاهش هزینه گاز به میزان 90 درصد یا بیشتر می‌شود.

آیا اثبات‌های صفر-دانش مقاوم در برابر کوانتوم هستند؟

این بستگی به سیستم اثبات دارد. zk-STARKs به توابع هش وابسته هستند که به نظر می‌رسد در برابر کامپیوترهای کوانتومی مقاوم باشند. zk-SNARKs به رمزنگاری منحنی بیضوی وابسته هستند که به طور نظری می‌تواند توسط یک کامپیوتر کوانتومی با قدرت کافی شکسته شود. با این حال، کامپیوترهای کوانتومی عملی که قادر به شکستن منحنی‌های بیضوی باشند هنوز وجود ندارند و ممکن است برای دهه‌ها وجود نداشته باشند.

آیا اثبات‌های صفر-دانش می‌توانند تمام تراکنش‌های بلاک‌چین را خصوصی کنند؟

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

راه‌اندازی مورد اعتماد چیست و چرا مهم است؟

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

کدام بلاک‌چین‌ها از اثبات‌های صفر-دانش استفاده می‌کنند؟

Zcash اولین بلاک‌چین بزرگ بود که از اثبات‌های صفر-دانش برای تراکنش‌های خصوصی استفاده کرد. اتریوم از اثبات‌های ZK از طریق رول آپ‌های لایه 2 شامل zkSync، Scroll، Polygon zkEVM، Linea و Starknet استفاده می‌کند. پروتکل مینا از اثبات‌های ZK بازگشتی برای حفظ یک بلاک‌چین با اندازه ثابت استفاده می‌کند. چندین زنجیره دیگر فناوری ZK را برای ویژگی‌های خاصی مانند تأیید هویت یا پیام‌رسانی بین زنجیره‌ای به کار می‌برند.

چقدر طول می‌کشد تا یک اثبات صفر-دانش تولید شود؟

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

توجه: این مقاله صرفاً برای مقاصد اطلاعاتی است و مشاوره مالی، سرمایه‌گذاری یا حقوقی محسوب نمی‌شود. سرمایه‌گذاری در ارزهای دیجیتال خطرات قابل توجهی دارد. همیشه تحقیقات خود را قبل از اتخاذ هرگونه تصمیم سرمایه‌گذاری انجام دهید. اطلاعات به روز تا 1 اوت 2026 است.