شبکه آزتک چگونه قراردادهای هوشمند محرمانه را محقق می‌کند؟

جستجوی حریم خصوصی در جهانی شفاف: چرا قراردادهای هوشمند محرمانه اهمیت دارند

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

پارادوکس شفافیت در بلاک‌چین‌های عمومی

بلاک‌چین‌های عمومی بر این فرض عمل می‌کنند که قابلیت تأیید جهانی امری حیاتی است. برای اینکه یک شبکه غیرمتمرکز و بدون نیاز به اعتماد (Trustless) باشد، هر شرکت‌کننده باید بتواند به‌طور مستقل وضعیت سیستم را تأیید کند. این امر معمولاً با عمومی کردن تمام داده‌ها محقق می‌شود. اگرچه این طراحی برای تضمین مقاومت در برابر سانسور و جلوگیری از خرج کردن مضاعف (Double-spending) عالی است، اما یک «پارادوکس شفافیت» ایجاد می‌کند. دقیقاً همان ویژگی که امنیت و اعتماد را تضمین می‌کند، اطلاعات حساس را نیز در معرض دید قرار می‌دهد.

یک اپلیکیشن مالی غیرمتمرکز (DeFi) را در نظر بگیرید. اگر تمام تراکنش‌ها، موقعیت‌های نقدینگی و استراتژی‌های معاملاتی عمومی باشند، کاربران در معرض فرانت-رانینگ (Front-running) و حملات ساندویچی قرار می‌گیرند و به بازیگران حرفه‌ای مزیتی غیرمنصفانه داده می‌شود. برای شرکت‌ها، ناتوانی در حفظ اسرار تجاری، جزئیات زنجیره تأمین یا جابجایی‌های مالی داخلی، کاربرد بلاک‌چین را به شدت محدود می‌کند. حتی برای کاربران عادی، ایده فاش شدن کل تاریخچه مالی‌شان برای هر کسی که بخواهد آن را بررسی کند، اغلب پذیرفتنی نیست. این فقدان ذاتی حریم خصوصی به عنوان یک مانع بزرگ برای ورود نهادها و افراد عمل می‌کند و مانع از تحقق پتانسیل واقعی وب۳ می‌شود.

نیاز به محرمانگی در وب۳

تقاضا برای محرمانگی به معنای پنهان کردن فعالیت‌های غیرقانونی نیست؛ بلکه درباره فعال‌سازی موارد استفاده مشروعی است که به صلاحدید، کنترل و حفاظت از داده‌ها نیاز دارند. همان‌طور که اینترنت از پروتکل رمزنگاری‌نشده HTTP به HTTPS امن تکامل یافت، اکوسیستم بلاک‌چین نیز به جهشی مشابه در حریم خصوصی نیاز دارد. محرمانگی برای موارد زیر حیاتی است:

• پذیرش سازمانی: کسب‌وکارها نیاز دارند تا اطلاعات اختصاصی خود مانند لجستیک زنجیره تأمین، استراتژی‌های قیمت‌گذاری، حسابداری داخلی و داده‌های مشتریان را محافظت کنند.
• خدمات مالی: امور مالی سنتی با مقررات سختگیرانه حریم خصوصی (مانند GDPR، HIPAA، KYC/AML) فعالیت می‌کند. دیفای (DeFi) باید تضمین‌های مشابهی را برای سرمایه‌گذاران نهادی، پرداخت حقوق محرمانه، وام‌دهی خصوصی و مشتقات پیچیده ارائه دهد.
• حفاظت از داده‌های شخصی: کاربران باید حق کنترل این را داشته باشند که چه کسی تاریخچه تراکنش‌ها، دارایی‌ها و سایر داده‌های مالی شخصی آن‌ها را مشاهده می‌کند.
• بازی‌ها و NFTها: برخی مکانیسم‌های بازی ممکن است از اطلاعات پنهان سود ببرند (مانند مزایده‌های با پیشنهاد مخفی یا ویژگی‌های فاش‌نشده آیتم‌ها).
• هویت و اعتبار: گواهی‌های خصوصی یا اعتبارنامه‌های قابل تأیید که داده‌های شخصی زیربنایی را فاش نمی‌کنند، برای راهکارهای هویتی حافظ حریم خصوصی ضروری هستند.

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

معرفی چشم‌انداز شبکه آزتک (Aztec Network)

شبکه آزتک به عنوان یک راهکار کلیدی برای حل این پارادوکس شفافیت ظهور کرده است. این شبکه یک راهکار لایه ۲ (L2) اتریوم با تمرکز بر حریم خصوصی است که به طور خاص برای آوردن قراردادهای هوشمند محرمانه و تراکنش‌های خصوصی به اکوسیستم اتریوم مهندسی شده است. چشم‌انداز آزتک ایجاد یک لایه حریم خصوصی قابل برنامه‌نویسی برای وب۳ است که به توسعه‌دهندگان اجازه می‌دهد اپلیکیشن‌هایی بسازند که در آن‌ها صحت محاسبات بدون فاش شدن داده‌های زیربنایی قابل تأیید باشد. با بهره‌گیری از تکنیک‌های پیشرفته رمزنگاری، عمدتاً اثبات‌های دانش‌صفر (Zero-Knowledge Proofs)، آزتک قصد دارد پارادایم جدیدی از اپلیکیشن‌های غیرمتمرکز را باز کند که به حریم خصوصی کاربر احترام می‌گذارند و در عین حال امنیت و مزایای غیرمتمرکز بودن اتریوم را حفظ می‌کنند. این رویکرد نوآورانه وعده می‌دهد که کاربرد و نفوذ فناوری بلاک‌چین را به میزان قابل توجهی گسترش دهد و شکاف بین قابلیت تأیید عمومی و محاسبات خصوصی را پر کند.

زیربنای دانش‌صفر: چگونه اثبات‌های ZK محرمانگی را قدرت می‌بخند

در قلب توانایی شبکه آزتک برای دستیابی به قراردادهای هوشمند محرمانه، یک مفهوم رمزنگاری پیشرفته به نام اثبات‌های دانش‌صفر (ZKPs) نهفته است. این اثبات‌ها صرفاً جزئی از معماری آزتک نیستند؛ بلکه فناوری توانمندساز بنیادینی هستند که امکان تأیید بدون افشا را فراهم می‌کنند. درک ZKPها برای فهم نحوه عملکرد آزتک حیاتی است.

اثبات دانش‌صفر (ZKP) چیست؟

اثبات دانش‌صفر روشی است که از طریق آن یک طرف (اثبات‌کننده یا Prover) می‌تواند به طرف دیگر (تأییدکننده یا Verifier) ثابت کند که یک گزاره خاص درست است، بدون اینکه هیچ اطلاعاتی فراتر از اعتبار خودِ آن گزاره فاش کند. این مفهوم که اولین بار در دهه ۱۹۸۰ توسط شفی گلدواسر، سیلویو میکالی و چارلز رکوف معرفی شد، انقلابی در رمزنگاری ایجاد کرد.

برای اینکه یک فرآیند به عنوان ZKP واقعی شناخته شود، باید سه ویژگی اساسی را داشته باشد:

1. کمال (Completeness): اگر گزاره درست باشد، یک اثبات‌کننده صادق می‌تواند یک تأییدکننده صادق را از درستی آن آگاه کند.
2. صحت (Soundness): اگر گزاره نادرست باشد، هیچ اثبات‌کننده متقلبی نمی‌تواند تأییدکننده صادق را متقاعد کند که گزاره درست است (مگر با احتمالی بسیار ناچیز).
3. دانش‌صفر (Zero-Knowledge): اگر گزاره درست باشد، تأییدکننده چیزی فراتر از حقیقتِ گزاره نمی‌آموزد. تأییدکننده هیچ اطلاعات اضافی در مورد ورودی مخفی (شاهد یا Witness) که توسط اثبات‌کننده استفاده شده، به دست نمی‌آورد.

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

انواع ZKPهای مرتبط با آزتک

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

• zk-SNARKs (استدلال دانش‌صفر موجز غیرتعاملی): این‌ها با ویژگی «موجز بودن» (به این معنی که اثبات‌ها بسیار کوچک هستند، اغلب چند صد بایت، صرف نظر از پیچیدگی گزاره) و «غیرتعاملی بودن» (به این معنی که اثبات‌کننده یک اثبات واحد تولید می‌کند که هر کسی در هر زمان می‌تواند بدون تعامل بیشتر آن را تأیید کند) شناخته می‌شوند. zk-SNARKها معمولاً به یک فاز «راه‌اندازی مورد اعتماد» (Trusted Setup) نیاز دارند. با این حال، تکنیک‌هایی مانند محاسبات چندجانبه (MPC) برای کاهش این خطر استفاده می‌شود. آزتک عمدتاً از zk-SNARKها به دلیل کارایی و حجم کم اثبات استفاده می‌کند که برای تأیید روی زنجیره (On-chain) ایده‌آل هستند.

• zk-STARKs (استدلال دانش‌صفر مقیاس‌پذیر شفاف): برخلاف zk-SNARKها، zk-STARKها نیازی به راه‌اندازی مورد اعتماد ندارند و به همین دلیل «شفاف» هستند. آن‌ها همچنین «مقیاس‌پذیری» بالایی دارند، به این معنی که زمان تولید و تأیید اثبات با اندازه محاسبات به صورت شبه‌لگاریتمی رشد می‌کند. با این حال، zk-STARKها معمولاً حجم اثبات بزرگ‌تری نسبت به zk-SNARKها دارند که می‌تواند هزینه گاز روی زنجیره را برای تأیید افزایش دهد. در حالی که پشته اصلی آزتک برای تأیید در لایه ۱ اتریوم بر zk-SNARKها متکی است، فضای ZKP پویاست و ممکن است در آینده جنبه‌هایی از zk-STARKها یا رویکردهای ترکیبی را در بر بگیرد.

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

از تئوری تا عمل: ZKPها در میدان عمل

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

1. محاسبات به صورت محلی یا خارج از زنجیره انجام می‌شود. دستگاه کاربر یا یک ترتیب‌دهنده (Sequencer) شبکه، محاسبات لازم را با استفاده از داده‌های رمزنگاری‌شده یا ورودی‌های خصوصی انجام می‌دهد.
2. یک اثبات رمزنگاری تولید می‌شود. این اثبات به طور ریاضی گواهی می‌دهد که محاسبات طبق منطق قرارداد هوشمند، با استفاده از ورودی‌های معتبر و بدون فاش کردن هیچ یک از آن ورودی‌ها یا حالت‌های میانی، به درستی انجام شده است.
3. اثبات به اتریوم ارسال می‌شود. فقط این اثبات فشرده، به همراه یک به‌روزرسانی حداقلی در وضعیت عمومی شبکه (مانند یک ریشه هش جدید از درخت وضعیت خصوصی)، به لایه ۱ اتریوم فرستاده می‌شود.
4. اتریوم اثبات را تأیید می‌کند. قرارداد هوشمند لایه ۱، اثبات ZK را بررسی می‌کند. اگر اثبات معتبر باشد، اتریوم تأیید می‌کند که یک گذار وضعیت (State Transition) صحیح در آزتک رخ داده است، با وجود اینکه هیچ اطلاعی از جزئیات خاص آن گذار ندارد.

این مکانیسم ظریف به آزتک اجازه می‌دهد تا یک وضعیت محرمانه را حفظ کرده و منطق خصوصی را در لایه ۲ خود اجرا کند، در حالی که همچنان از امنیت و نهایی‌ت (Finality) قدرتمند اتریوم بهره می‌برد. ZKP مانند یک سپر رمزنگاری عمل می‌کند و ضمن حفظ یکپارچگی سیستم غیرمتمرکز، حریم خصوصی را پاس می‌دارد.

معماری شبکه آزتک: بلوک‌های سازنده محرمانگی

شبکه آزتک به عنوان یک ZK-Rollup معماری شده است؛ نوع خاصی از راهکار مقیاس‌پذیری لایه ۲ که بسیاری از تراکنش‌های خارج از زنجیره را در یک دسته واحد جمع‌آوری (Roll up) کرده و یک اثبات رمزنگاری از اعتبار آن‌ها را در شبکه اصلی اتریوم منتشر می‌کند. این معماری هم برای مقیاس‌پذیری اتریوم و هم برای تأمین حریم خصوصی حیاتی است.

مدل رول‌آپ: مقیاس‌پذیری و حریم خصوصی

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

1. مقیاس‌پذیری: با پردازش هزاران تراکنش در خارج از زنجیره و تنها انتشار یک اثبات واحد روی زنجیره، ZK-Rollupها به طرز چشمگیری بار شبکه اصلی اتریوم را کاهش می‌دهند که منجر به ظرفیت بالاتر و هزینه‌های تراکنش کمتر می‌شود.
2. امنیت: ZK-Rollupها امنیت خود را از لایه ۱ به ارث می‌برند. بمحض اینکه یک اثبات در اتریوم تأیید شود، تراکنش‌ها با همان ضمانت‌های امنیتی تراکنش‌های لایه ۱ نهایی تلقی می‌شوند. برخلاف رول‌آپ‌های خوش‌بینانه (Optimistic Rollups)، ZK-Rollupها نیازی به دوره چالش ندارند و نهایی‌ت آنی فراهم می‌کنند.
3. حریم خصوصی: برای آزتک، مدل ZK-Rollup برای تسهیل حریم خصوصی گسترش یافته است. آزتک به جای صرفاً اثبات اعتبار تراکنش‌های عمومی، اعتبار محاسبات و گذارهای وضعیت *خصوصی* را اثبات می‌کند. محتوای این تراکنش‌ها در خارج از زنجیره رمزنگاری‌شده باقی می‌ماند و تنها اعتبار رمزنگاری آن‌ها از طریق ZKP روی زنجیره فاش می‌شود.

هسته لایه ۲ آزتک به عنوان یک ماشین وضعیت (State Machine) عمل می‌کند که کاربران می‌توانند در آن با قراردادهای هوشمند محرمانه تعامل داشته باشند. محاسبات در لایه ۲ انجام می‌شود و اثبات‌های رمزنگاری حاصل به اتریوم ارسال می‌شوند که به عنوان لایه در دسترس بودن داده‌ها (Data Availability) و منبع نهایی حقیقت عمل می‌کند.

مدل وضعیت رمزنگاری‌شده (Encrypted State Model)

یکی از ارکان طراحی حریم خصوصی آزتک، مدل وضعیت رمزنگاری‌شده آن است که تفاوت قابل توجهی با مدل مبتنی بر حساب (Account-based) و شفاف اتریوم دارد. آزتک از مدلی شبیه به UTXO (مشابه بیت‌کوین) استفاده می‌کند که برای عملکردهای قرارداد هوشمند و حریم خصوصی ارتقا یافته است. در آزتک، ارزش و وضعیت قرارداد در قالب «نوت‌های» (Notes) رمزنگاری‌شده نگهداری می‌شوند.

• نوت‌ها (Notes): یک نوت، نمایشی رمزنگاری‌شده از یک دارایی (مثلاً مقدار محرمانه‌ای از ETH، یک توکن ERC-20 یا قطعه‌ای از داده‌های محرمانه قرارداد) است که متعلق به یک کاربر خاص است. هر نوت دارای یک شناسه منحصر‌به‌فرد است و با یک گیرنده خاص مرتبط می‌شود.
• درخت مرکلِ نوت‌ها: تمام نوت‌های فعال در شبکه آزتک در یک درخت مرکل ذخیره می‌شوند. هش ریشه این درخت، وضعیت فعلی تمام دارایی‌های محرمانه را نشان می‌دهد. وقتی تراکنشی رخ می‌دهد، نوت‌های قدیمی «خرج» می‌شوند (باطل می‌شوند) و نوت‌های جدید برای گیرنده «ایجاد» می‌شوند که ریشه درخت مرکل را تغییر می‌دهد.
• باطل‌کننده‌ها (Nullifiers): برای جلوگیری از خرج کردن مضاعف، هر نوت هنگام خرج شدن، یک «باطل‌کننده» منحصربه‌فرد ایجاد می‌کند. این باطل‌کننده‌ها به یک درخت مرکل جداگانه اضافه می‌شوند و یک ZKP تضمین می‌کند که هیچ باطل‌کننده‌ای هرگز دو بار ارسال نشود.

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

محیط اجرای خصوصی (Private Execution Environment)

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

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

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

پل زدن میان شکاف: تعامل لایه ۱ و لایه ۲

تعامل بین لایه ۲ آزتک و لایه ۱ اتریوم برای تضمین امنیت و در دسترس بودن داده‌ها به دقت طراحی شده است:

1. دسته‌بندی تراکنش‌ها و تولید اثبات: کاربران تراکنش‌های خصوصی را به ترتیب‌دهنده‌های آزتک ارسال می‌کنند. این ترتیب‌دهنده‌ها تراکنش‌های خصوصی را دسته‌بندی کرده، منطق آن‌ها را به صورت خصوصی اجرا می‌کنند و یک اثبات ZK تجمعی واحد تولید می‌کنند.
2. قرارداد رول‌آپ لایه ۱: این اثبات تجمعی به همراه به‌روزرسانی‌های وضعیت عمومی لازم به قرارداد رول‌آپ آزتک در اتریوم ارسال می‌شود.
3. تأیید اثبات: قرارداد لایه ۱ اثبات ارسالی را تأیید می‌کند. این گام حیاتی امنیتی است؛ اگر اثبات معتبر باشد، قرارداد لایه ۱ ریشه‌های وضعیت عمومی آزتک را به‌روزرسانی می‌کند.
4. در دسترس بودن داده‌ها: برای اطمینان از اینکه همه کاربران می‌توانند وضعیت خصوصی آزتک را بازسازی کنند (مثلاً برای یافتن نوت‌های خود)، تعهدات داده‌های رمزنگاری‌شده نیز به عنوان calldata در اتریوم ثبت می‌شوند.

این تعامل لایه ۱ و لایه ۲ تضمین می‌کند که در حالی که جزئیات تراکنش‌ها محرمانه باقی می‌ماند، یکپارچگی کلی آن‌ها و پایبندی به قوانین پروتکل به صورت عمومی و قابل تأیید در اتریوم نهایی می‌شود.

کالبدشکافی قراردادهای هوشمند محرمانه در آزتک

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

یک تراکنش خصوصی چگونه کار می‌کند

بیایید مراحل یک تراکنش خصوصی معمولی در آزتک، مثلاً انتقال محرمانه توکن را بررسی کنیم:

1. شروع: کاربر (آلیس) می‌خواهد مقدار محرمانه‌ای از توکن A را به باب بفرستد. آلیس چندین «نوت» رمزنگاری‌شده دارد که نشان‌دهنده موجودی اوست.
2. محاسبات محلی و تولید اثبات:
   • کلاینت آلیس نوت‌های ورودی لازم برای پوشش مبلغ انتقال را شناسایی می‌کند.
   • سپس نوت‌های جدید را به صورت محلی محاسبه می‌کند: یکی برای باب و احتمالاً یک نوت «باقی‌مانده» برای آلیس.
   • کلاینت همچنین «باطل‌کننده‌هایی» برای نوت‌های ورودی ایجاد می‌کند تا آن‌ها را به عنوان خرج‌شده علامت‌گذاری کند.
   • تمام این عملیات در یک مدار دانش‌صفر محصور شده‌اند. کلاینت آلیس یک ZKP برای این مدار محاسبه می‌کند که ثابت می‌کند انتقال طبق قوانین قرارداد معتبر است. اثبات *هیچ چیزی* در مورد نوع توکن، مبلغ یا فرستنده/گیرنده فاش نمی‌کند.
3. تجميع تراکنش‌ها (رول‌آپ): چندین اثبات تراکنش خصوصی از کاربران مختلف توسط یک ترتیب‌دهنده آزتک جمع‌آوری می‌شود.
4. تولید اثبات دسته‌ای: ترتیب‌دهنده این اثبات‌ها را در یک «اثبات رول‌آپ» واحد و فشرده ترکیب می‌کند که به اعتبار کل دسته تراکنش‌ها گواهی می‌دهد.
5. تسویه در اتریوم: ترتیب‌دهنده این اثبات تجمعی را به همراه ریشه‌های جدید درخت مرکل به قرارداد آزتک در اتریوم ارسال می‌کند.
6. تأیید روی زنجیره: قرارداد لایه ۱ اتریوم اثبات رول‌آپ را تأیید می‌کند. در صورت معتبر بودن، ریشه‌های وضعیت جهانی را به‌روزرسانی می‌کند و تراکنش‌های محرمانه را بدون فاش کردن جزئیات نهایی می‌کند.

گذارهای وضعیت خصوصی

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

یک اپلیکیشن رأی‌گیری محرمانه را در نظر بگیرید:

• وضعیت اولیه: کاربران «توکن‌های رأی‌گیری» محرمانه (نوت‌ها) دریافت می‌کنند.
• ثبت رأی: کاربر تابع خصوصی castVote() را فراخوانی می‌کند. کلاینت کاربر محاسبات مربوط به رأی را به صورت محلی انجام داده و یک ZKP تولید می‌کند که ثابت می‌کند کاربر توکن معتبر داشته و فقط یک بار رأی داده است، بدون اینکه فاش کند به *کدام* گزینه رأی داده است.
• شمارش و افشا (اختیاری): در پایان دوره، می‌توان یک ZKP تولید کرد که ثابت کند مجموع تمام آرای محرمانه با یک نتیجه نهایی خاص مطابقت دارد، که سپس می‌تواند به صورت عمومی اعلام شود.

قابلیت تأیید بدون افشا

اصل بنیادین آزتک «قابلیت تأیید بدون افشا» است. اینجاست که قدرت اثبات‌های دانش‌صفر واقعاً می‌درخشد.

• نقش اتریوم به عنوان تأییدکننده: شبکه اصلی اتریوم به عنوان تأییدکننده نهایی عمل می‌کند. اتریوم تراکنش‌های لایه ۲ را اجرا نمی‌کند، بلکه فقط اثبات‌های رمزنگاری گواهی‌دهنده بر اجرای صحیح آن‌ها را تأیید می‌کند.
• امنیت بدون نیاز به اعتماد: کاربران نیازی به اعتماد به ترتیب‌دهنده‌های آزتک ندارند. تا زمانی که به امنیت رمزنگاری اتریوم اعتماد داشته باشند، می‌توانند به یکپارچگی وضعیت محرمانه آزتک اعتماد کنند. ZKP تضمین می‌کند که قرارداد لایه ۱ *نمی‌تواند* یک گذار وضعیت نامعتبر را بپذیرد.

در واقع، آزتک از اتریوم به عنوان یک لایه حقیقت غیرمتمرکز و امن بهره می‌برد تا کل شبکه بدون به خطر انداختن محرمانگی داده‌های کاربر، امن و قابل تأیید باشد.

نقش توکن AZTEC در اکوسیستم محرمانه

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

تأمین امنیت شبکه از طریق استیکینگ (Staking)

آزتک قصد دارد از استیکینگ به عنوان مکانیسم اصلی برای تأمین امنیت زیرساخت خود، به‌ویژه مجموعه ترتیب‌دهنده‌ها (Sequencers) استفاده کند. ترتیب‌دهنده‌ها مسئول جمع‌آوری تراکنش‌ها، اجرای خصوصی آن‌ها، تولید اثبات‌های دانش‌صفر و ارسال آن‌ها به اتریوم هستند.

• وثیقه‌ای برای رفتار صادقانه: شرکت‌کنندگان احتمالاً ملزم به استیک کردن توکن‌های AZTEC خواهند بود تا حق فعالیت در شبکه را داشته باشند. این سرمایه به عنوان یک ضمانت مالی عمل می‌کند.
• مکانیسم‌های جریمه (Slashing): اگر ترتیب‌دهنده‌ای رفتار مخرب داشته باشد (مثلاً تلاش برای ارسال اثبات نامعتبر یا سانسور تراکنش‌ها)، بخشی از توکن‌های استیک‌شده او مصادره می‌شود.
• پاداش برای خدمت: در مقابل، ترتیب‌دهنده‌های صادق و کارآمد با توکن‌های AZTEC پاداش می‌گیرند که انگیزه‌ای مستمر برای مشارکت در امنیت شبکه فراهم می‌کند.

قدرت‌بخشی به حاکمیت جامعه

توکن AZTEC به عنوان ابزار اصلی برای مشارکت در چارچوب حاکمیتی طراحی شده است. دارندگان این توکن امکان پیشنهاد و رأی‌دهی در مورد ارتقای پروتکل، تغییر پارامترها (مانند کارمزدها) و تخصیص بودجه خزانه‌داری جامعه را خواهند داشت. این مکانیسم کنترل را از یک تیم متمرکز به جامعه‌ای توزیع‌شده منتقل می‌کند.

سوخت تراکنش‌ها: گاز برای حریم خصوصی

همان‌طور که اتر (ETH) برای پرداخت هزینه‌های گاز در اتریوم استفاده می‌شود، توکن‌های AZTEC به عنوان ارز بومی برای پرداخت کارمزد تراکنش‌ها و تعاملات قرارداد در شبکه آزتک عمل خواهند کرد. این کارمزدها برای تخصیص بهینه منابع، جبران زحمات ترتیب‌دهنده‌ها و جلوگیری از اسپام در شبکه ضروری هستند.

انگیزه‌های اقتصادی برای محرمانگی

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

تأثیر گسترده‌تر و آینده وب۳ محرمانه

شبکه آزتک با فعال کردن قراردادهای هوشمند محرمانه، درهای جدیدی را به روی کاربردهایی باز می‌کند که قبلاً به دلیل محدودیت‌های شفافیت در بلاک‌چین‌های عمومی غیرممکن بودند:

• دیفای محرمانه (DeFi 2.0): معاملاتی که استراتژی یا حجم سفارش را فاش نمی‌کنند، وام‌دهی خصوصی و مزایده‌های با پیشنهاد مخفی.
• راهکارهای سازمانی: مدیریت زنجیره تأمین بدون فاش کردن قیمت‌ها برای رقبا و تسویه حساب‌های بین‌شرکتی محرمانه.
• سیستم‌های هویت و اعتبار: اثبات داشتن معیارهای خاص (مثلاً سن بالای ۱۸ سال) بدون فاش کردن تاریخ تولد دقیق یا اطلاعات هویتی حساس.
• بازی‌های محرمانه و NFTها: مکانیسم‌های بازی پنهان مانند کارت‌های دستِ بازیکن یا ویژگی‌های فاش‌نشده NFT.
• سازمان‌های خودگردان غیرمتمرکز (DAOs): رأی‌گیری مخفی برای کاهش فشارهای اجتماعی و پرداخت حقوق محرمانه به مشارکت‌کنندگان.

چالش‌ها و ملاحظات

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

سخن پایانی: سهم آزتک در آینده دیجیتال خصوصی‌تر

شبکه آزتک صرفاً در حال ساخت یک لایه ۲ دیگر نیست؛ بلکه در حال بنا نهادن زیرساختی برای یک وب۳ خصوصی‌تر، عادلانه‌تر و توانمندتر است. آزتک با پیشگامی در قراردادهای هوشمند محرمانه، شکاف بحرانی بین شفافیت بلاک‌چین‌های عمومی و نیاز جهانی انسان به حریم خصوصی را پر می‌کند. در دنیای غیرمتمرکز آینده، حریم خصوصی یک «گزینه» نخواهد بود، بلکه یک «پیش‌فرض» است و توکن AZTEC به عنوان رگ حیات این شبکه، نقشی حیاتی در تأمین امنیت و رشد این مرز دیجیتال محرمانه ایفا خواهد کرد.