صادرکننده Groth16 در Dusk، استاندارد EIP-2537 را به مرز تازه اتصال زنجیره‌ها تبدیل می‌کند

پروژه zk-tools در Dusk در ۱۴ اوت ۲۰۲۶ یک وریفایر Groth16 برای Solidity را ادغام کرد. این تغییر فقط یک قالب قرارداد نیست؛ بلکه مرزی عملی میان پشته اثبات‌سازی Rust و راستی‌آزمایی در محیط EVM تعریف می‌کند.

این صادرکننده، با استفاده از کلید راستی‌آزمایی Groth16، یک وریفایر Solidity مخصوص همان مدار تولید می‌کند. قرارداد حاصل به پیش‌کامپایل‌های ضرب چنداسکالر نقطه G1 و جفت‌سازی روی BLS12-381 متکی است که در EIP-2537 تعریف شده‌اند. سپس توسعه‌دهنده می‌تواند از طریق verifyProof(bytes,uint256[])، اثبات و ورودی‌های عمومی را در Solidity بررسی کند.

مرز انتقال داده عمداً شفاف طراحی شده است. اثبات استاندارد Groth16 در Dusk همچنان یک نمایش فشرده ۱۹۲ بایتی است، درحالی‌که EIP-2537 به قالب بازشده ۵۱۲ بایتی شامل -A، B و C نیاز دارد. پروژه مسیر تبدیل در Rust را فراهم می‌کند، اما مستندات تأکید دارند که قالب استاندارد اثبات و انتقال مخصوص EVM باید جدا نگه داشته شوند.

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

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

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

ملاحظات: وریفایر مخصوص مدار است؛ بنابراین هر تغییر در شکل مدار یا راه‌اندازی مورداعتماد به قرارداد تازه‌ای نیاز دارد. فعال‌بودن EIP-2537 میان شبکه‌های EVM متفاوت است و باید برای هر مقصد جداگانه بررسی شود. راه‌اندازی Groth16 مستندشده تک‌طرفه است و مراسم MPC در آن پیاده‌سازی نشده است. صادرکننده و قرارداد هنوز ممیزی امنیتی اختصاصی نشده‌اند و منشأ کلید و صحت راه‌اندازی همچنان بر عهده برنامه کاربردی است.