Technical
sarah-jenkins
نوشته شده توسط
سارا جنکینز
3 دقیقه مطالعه

اثبات‌های دانش صفر: حریم خصوصی مقیاس‌پذیری جدید است

اثبات‌های دانش صفر: حریم خصوصی مقیاس‌پذیری جدید است

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

مقدمه

"ثابت کن بالای ۲۱ سال سن داری بدون اینکه کارت شناسایی‌ات را نشان دهی." در دنیای واقعی، غیرممکن است. شما گواهینامه خود را به نگهبان می‌دهید؛ او نام، آدرس و تاریخ تولد شما را می‌بیند. اطلاعات خیلی زیاد. با Zero-Knowledge Proof، شما یک کد رمزنگاری تولید می‌کنید که می‌گوید "درست: سن > ۲۱". نگهبان کد را تأیید می‌کند. آن‌ها هیچ چیز دیگری نمی‌دانند.

در سال ۲۰۲۶، ZK همه جا هست.

ZK Library with Zipped Books

ستون‌های ZK

1. ZK برای مقیاس‌پذیری (Rollups)

ZK-Rollups (مانند zkSync، Starknet، Scroll) ده هزار تراکنش را خارج از زنجیره پردازش می‌کنند. آن‌ها یک "اثبات اعتبار" کوچک (SNARK یا STARK) تولید می‌کنند که تأیید می‌کند تمام آن ۱۰,۰۰۰ تراکنش قانونی بوده‌اند. آن‌ها فقط اثبات را به اتریوم ارسال می‌کنند. این فشرده‌سازی به اتریوم اجازه می‌دهد تا توان عملیاتی در سطح نزدک را مدیریت کند.

2. ZK برای حریم خصوصی (Web3 "تاریک")

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

  • حقوق و دستمزد: شرکت‌ها به کارکنان روی زنجیره حقوق می‌دهند. بلاک‌چین ثبت می‌کند "کیف پول A به کیف پول B پرداخت کرد"، اما مبلغ پنهان است. اثبات می‌گوید کیف پول A وجوه معتبر داشته است.

ZK SNARK Math Bridge

ZK-KYC: انطباق بدون افشای هویت (Doxing)

این جام مقدس دیفای سازمانی است. ZK-ID من پاسپورتم را در یک ارائه‌دهنده امن (مانند Coinbase یا پرتال دولتی) آپلود می‌کنم. آن‌ها یک اثبات ZK به من می‌دهند: "کاربر شهروند آمریکا است، تحریم نیست." من این اثبات را به یک پروتکل دیفای ارائه می‌دهم. پروتکل تأیید می‌کند و به من اجازه می‌دهد معامله کنم. نتیجه: پروتکل می‌داند من منطبق هستم، اما نمی‌داند من کی هستم. انطباق با حریم خصوصی سایبرپانک ملاقات می‌کند.

شتاب‌دهنده سخت‌افزاری

اثبات‌های ZK از ریاضیات سنگین استفاده می‌کنند. قبلاً دقیقه‌ها طول می‌کشید تا تولید شوند. اکنون، ما ZK-ASICs تخصصی داریم. این تراشه‌ها (مثل ماینرهای بیت‌کوین اما برای ZK) در تلفن‌ها و لپ‌تاپ‌های ما هستند. این امکان "اثبات سمت کلاینت" را فراهم می‌کند. تلفن شما اثبات را به‌صورت محلی تولید می‌کند، بنابراین داده‌های خصوصی شما هرگز دستگاهتان را ترک نمی‌کنند.

سوالات متداول (FAQ)

س: تفاوت بین SNARK و STARK چیست؟ ج: * SNARK: اثبات‌های کوچک، تأیید سریع، اما نیاز به "تنظیم مورد اعتماد" (در ابتدا) دارد.

  • STARK: اثبات‌های بزرگتر، مقاوم در برابر کوانتوم، بدون تنظیم مورد اعتماد. اختراع شده توسط StarkWare. در سال ۲۰۲۶، STARK برنده مقیاس‌پذیری انبوه شد.

س: آیا مونرو یک کوین ZK است؟ ج: مونرو از امضاهای حلقوی (Ring Signatures) استفاده می‌کند که فناوری حریم خصوصی قدیمی‌تری است. ZK انعطاف‌پذیرتر است زیرا قابل برنامه‌ریزی است (می‌توانید با آن قرارداد هوشمند بسازید).

س: آیا دولت‌ها ZK را ممنوع می‌کنند؟ ج: تلاش کردند (Tornado Cash). اما ZK برای انطباق (اثبات اینکه شما جنایتکار نیستید بدون ذکر نامتان) توسط رگولاتورهای آگاه به حریم خصوصی در اتحادیه اروپا (دوستدار GDPR) پذیرفته شده است.

نتیجه‌گیری

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

آیا آماده‌اید دانش خود را به کار بگیرید؟

همین امروز معامله با اطمینان مبتنی بر هوش مصنوعی را شروع کنید

شروع کنید

ابزارهای دسترسی و خواندن