ارتقای X-Ray استلار، ایمنی پارامترهای ZK را به مسئولیت قرارداد هوشمند تبدیل میکند
ارتقای X-Ray استلار، primitiveهای مربوط به BN254 و Poseidon را در اختیار Soroban میگذارد؛ قابلیتی که سازگاری ZK را افزایش میدهد، اما انتخاب پارامترها و ایمنی منابع را بر عهده توسعهدهنده میگذارد.
بر اساس گزارش سهماهه نخست ۲۰۲۶ بنیاد توسعه استلار، ارتقای Protocol 25 این شبکه با نام X-Ray اکنون فعال است. اهمیت آن برای توسعهدهندگان ZK، افزودن یک پروتکل کامل حریم خصوصی نیست؛ بلکه انتقال primitiveهای اصلی رمزنگاری به محیط host در Soroban است.
X-Ray عملیات بومی BN254 یعنی bn254_g1_add، bn254_g1_mul و bn254_multi_pairing_check را اضافه میکند. BN254 در سیستمهای اثبات سازگار با اتریوم کاربرد گستردهای دارد؛ بنابراین پشتیبانی بومی میتواند هنگام انتقال برنامههای ZK به Soroban، نیاز به بازنویسی مدارها یا راهکارهای پرهزینه را کاهش دهد. CAP مربوطه همچنین قالب دقیق بایتها، رفتار اعتبارسنجی و دستههای جداگانه متِرینگ برای decode، بررسی منحنی، ضرب اسکالر و pairing را مشخص میکند.
بخش دوم ارتقا، primitiveهای permutation مربوط به Poseidon و Poseidon2 را در اختیار قراردادها میگذارد. این انتخاب معماری مهم است: Soroban یک تابع hash ثابت ارائه نمیکند، بلکه permutationای قابلتنظیم میدهد که برنامهها میتوانند از آن برای ساخت hash، فشردهسازی یا درخت Merkle استفاده کنند. این CAP هر دو میدان اسکالر BLS12-381 و BN254 را پشتیبانی میکند و اجازه میدهد پارامترهایی مانند عرض state، تعداد roundها، ماتریسها و ثابتهای round توسط فراخوانیکننده تعیین شوند.
همین انعطافپذیری، مهمترین مرز امنیتی نیز هست. مشخصات، شکل داده و محدوده میدان را تا حد پایه بررسی میکند، اما تعیین نمیکند که roundها، ماتریسها و ثابتهای ارائهشده یک پیکربندی رمزنگاری امن میسازند یا نه. در نتیجه توسعهدهندگان به مجموعهپارامترهای معتبر، test vectorها و آزمونهای سازگاری نیاز دارند؛ صرف موفقیت در فراخوانی host function کافی نیست. پارامترهای نادرست میتوانند مقاومت در برابر collision یا حملات preimage را تضعیف کنند و کالیبراسیون نادرست هزینه نیز ممکن است به خطر denial-of-service منجر شود.
یک ملاحظه مستنداتی هم باید در checklist انتشار باقی بماند: مقدمه CAP-0075 پروتکل 25 را ذکر میکند، اما بخش انتقال آن میگوید این توابع از پروتکل 24 در دسترساند. این تناقض جهت معماری را بیاعتبار نمیکند، اما توسعهدهندگان باید پیش از اتکا به این importها در محیط production، نسخه فعال پروتکل، bindingهای SDK و رفتار deployment را بررسی کنند.
برای توسعهدهندگان ICP، این درس قابل انتقال است. وقتی یک شبکه primitiveهای بومی منحنی و hash ارائه میدهد، هدفگیری ZK آسانتر میشود؛ اما interoperability با safety یکی نیست. یک integration production باید منحنی، قالب serialization، پارامترهای proving system، در دسترسبودن host function و بودجه منابع را بهعنوان یک قرارداد سازگاری واحد و آزمودهشده pin کند.
خبرخوان را در ایمیل بگیرید
هر سیگنال تازه، مستقیم از خط تولید. بدون مزاحمت، لغو عضویت در هر زمان.