لایه ZK در Rustِ Commonware، بازاستفاده از مدار را به مسئله هماهنگی انتشار تبدیل می‌کند

انتشار v2026.9.0 پروژه Commonware یک لایه جدید برای مدارهای دانش صفر به پشته رمزنگاری Rust این پروژه اضافه می‌کند. تغییر اصلی، انتزاعی برای مدارهای حسابی بر پایه نوع Var است: توسعه‌دهندگان می‌توانند مدارها را با Rust معمولی توصیف کنند و تولیدکننده اثبات و تأییدکننده نیز مدار را از همان پیاده‌سازی مشترک بسازند.

این تغییر برای مهندسان پروتکل مهم است. به‌جای نگهداری دو توصیف مفهومی جداگانه برای تولید و تأیید اثبات، تعریف مشترک مدار می‌تواند اختلاف میان دو سمت را کاهش دهد. این ماژول همچنین متغیرهای بولی، گجت Selector برای lookupهای جدول ثابت، و مسیری برای تبدیل مدارها به زیرساخت Bulletproofs موجود پروژه دارد. witnessها با تعهدهای پدرسن نمایش داده می‌شوند و یادداشت انتشار می‌گوید این تبدیل، همه مقادیر متعهدشده را در معادله تأیید مقید می‌کند.

مشخص‌ترین کاربرد این تغییر، Golden DKG در Commonware است. ‌eVRF نمایی این سامانه بر پایه انتزاع جدید بازپیاده‌سازی شده و از گروه Banderwagon داخلی استفاده می‌کند. یادداشت انتشار گزارش می‌دهد که ضرب اسکالر با پایه ثابت پنجره‌ای و اشتراک selectorهای پنجره‌ای، مدار هر گیرنده را از ۸٬۶۶۴ سیم ضربی به ۲٬۲۴۷ سیم کاهش می‌دهد. این کاهش قابل توجه است، اما نباید آن را به‌عنوان معیار عمومی سرعت تولید اثبات تفسیر کرد؛ یادداشت‌ها درباره تعداد سیم‌ها صحبت می‌کنند، نه زمان اجرای کامل، مصرف حافظه یا هزینه تأیید.

درس امنیتی مهم، هماهنگی انتشار است. Commonware صراحتاً ماژول جدید Banderwagon را در وضعیت ALPHA معرفی می‌کند و از شکست سازگاری خبر می‌دهد: کلیدهای عمومی eVRF، dealingها و اثبات‌های نسخه v2026.5.0 با این انتشار کار نمی‌کنند. مشارکت‌کنندگان باید هم‌زمان ارتقا دهند، کلیدها را دوباره تولید و مبادله کنند، setupها را بازسازی کنند و دورهای در حال اجرا را دوباره راه بیندازند. انتشار همچنین می‌گوید اثبات‌های مدار نسخه v2026.7.0 دیگر تأیید نمی‌شوند، زیرا کدگذاری مدار و ماتریس تنک تغییر کرده است.

برای توسعه‌دهندگان ICP که اجزای ZK مبتنی بر Rust را ارزیابی می‌کنند، نتیجه کاربردی فقط این نیست که «Rust مشترک، ساخت مدار را ساده‌تر می‌کند». تعریف مدار، قالب کدگذاری، پارامترهای تولید اثبات، کلیدهای تولیدشده و انتظارات verifier را یک artifact پروتکلی نسخه‌بندی‌شده در نظر بگیرید. به‌روزرسانی یک وابستگی می‌تواند بیشتر از یک API را تغییر دهد: ممکن است اثبات‌های قبلی را نامعتبر کند یا به بازتولید هماهنگ وضعیت نیاز داشته باشد.

مسیر Commonware امیدوارکننده است، چون ساخت مدار را به ترکیب معمول Rust نزدیک می‌کند و وابستگی خارجی arkworks را از این مسیر Golden DKG حذف می‌کند. بااین‌حال، برچسب‌های پایداری و یادداشت‌های سازگاری خود پروژه مرز فعلی را روشن می‌کنند: این زیرساختی برای ارزیابی در ارتقاهای کنترل‌شده است، نه چیزی که بتوان پایداری قالب سیم یا wire format آن را بدیهی فرض کرد.