استارک‌نت پشتهٔ حریم خصوصی ZK خود را برای سازندگان باز می‌کند؛ با الزام به انضباط نسخه‌ای

آخرین گام استارک‌نت در حوزهٔ حریم خصوصی، معرفی یک سامانهٔ اثباتی جدید نیست؛ بلکه تبدیل زیرساخت موجود به ابزاری قابل استفاده برای توسعه‌دهندگان برنامه‌هاست. استارک‌نت در ۱۵ ژوئیه اعلام کرد که Privacy SDK و Privacy Wallet API را برای سازندگان باز کرده است و STRK20 را از یک قابلیت فعال روی شبکهٔ اصلی به یک لایهٔ یکپارچه‌سازی تبدیل می‌کند.

این تفاوت مهم است. یک پروتکل حریم خصوصی می‌تواند از نظر رمزنگاری sound باشد، اما اگر هر کیف‌پول و برنامه مجبور شود viewing key، نوت‌های رمزنگاری‌شده، اثبات‌سازی و ارسال تراکنش را جداگانه پیاده‌سازی کند، در نقش زیرساخت توسعه‌دهنده شکست می‌خورد. پشتهٔ جدید استارک‌نت این کار را در دو مسیر تقسیم می‌کند.

مسیر مستقیم، یک SDK تایپ‌اسکریپتی برای کیف‌پول‌ها و یکپارچه‌سازهای پیشرفته است. این SDK ثبت کلید مشاهده، کانال‌های هر توکن، مدیریت نوت‌ها، تولید اثبات از طریق یک backend قابل تنظیم و ارسال روی زنجیره را پوشش می‌دهد. مسیر سطح‌بالا، Privacy Wallet API است که از طریق starknet.js در دسترس قرار می‌گیرد. یک برنامهٔ معمول غیرمتمرکز می‌تواند از کیف‌پولِ دارای قابلیت حریم خصوصی بخواهد دارایی را shield، transfer، unshield یا swap کند، بدون اینکه مستقیماً به viewing key، نوت‌ها یا اثبات‌های کاربر دسترسی داشته باشد.

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

برای سازندگان دیفای، ویژگی مهم‌تر قابلیت ترکیب‌پذیری است. یک قرارداد anonymizer می‌تواند به استخر حریم خصوصی اجازه دهد به‌صورت اتمیک یک برنامه را فراخوانی کند: دارایی برداشت شود، برای یک swap یا عملیات دیگر به کار رود و دوباره به شکل نوت‌های خصوصی ثبت شود. اگر مرحلهٔ برنامه شکست بخورد، کل عملیات بازگردانده می‌شود. این مدل به توسعه‌دهندگان اجازه می‌دهد swap، وام‌دهی یا staking خصوصی را آزمایش کنند، بدون اینکه کاربر به جریان عمومیِ unshield و سپس reshield وارد شود.

مسیر اثبات در پروتکل استارک‌نت تعبیه شده و به یک قرارداد معمول برنامه‌ای واگذار نمی‌شود. انتشار v0.14.2 استارک‌نت، فیلدهای proof و proof_facts را به تراکنش‌های Invoke V3 افزود تا تراکنش‌ها بتوانند به اثبات‌های اجرای خارج از زنجیره ارجاع دهند و اجماع، اعتبار آن‌ها را بررسی کند. این طراحی مشکل اندازهٔ تراکنش را کاهش می‌دهد؛ مشکلی که بررسی مستقیم اثبات‌های بزرگ STARK را در فراخوانی‌های عادی قرارداد هوشمند غیرعملی می‌کند.

بااین‌حال، توسعه‌دهندگان باید یک مرز عملیاتی را جدی بگیرند. مخزن متن‌باز، زنجیره‌ای شامل SDK، سرویس کشف برای داده‌های رمزنگاری‌شدهٔ روی زنجیره، سرویس اثبات‌سازی، قرارداد استخر حریم خصوصی و anonymizerهای اختیاری را توصیف می‌کند. این مخزن همچنین جدول سازگاری نسخه‌ها را منتشر کرده و می‌گوید مؤلفه‌ها در revisionهای هماهنگ با یکدیگر آزمایش شده‌اند. چند مؤلفهٔ فعلی با برچسب release candidate ارائه شده‌اند؛ بنابراین تجربهٔ سازنده هنوز معادل یک API عمومیِ کاملاً تثبیت‌شده نیست. این پشته به نسخه‌های هماهنگ وابسته است و این ملاحظه در نسخهٔ انگلیسی و فارسی این مقاله نیز افشا شده است.

نتیجهٔ عملی روشن است: برنامه‌های معمولی بهتر است با Wallet API شروع کنند، درحالی‌که کیف‌پول‌ها و تیم‌هایی که به کنترل بر اثبات‌سازی و مدیریت نوت‌ها نیاز دارند، می‌توانند مستقیماً با SDK کار کنند. تیتر رمزنگاری همچنان اعتبارسنجی با دانش صفر است، اما داستان توسعه‌دهنده اکنون دربارهٔ رابط‌ها، نگهداری کلید، کشف داده، زیرساخت اثبات و بازیابی خطاست. این همان نقطه‌ای است که فناوری حریم خصوصی از یک دموی مستقل به زیرساخت واقعی برنامه‌ها تبدیل می‌شود.