جستجوی اشکال Alpenglow سولانا از محققان 0.5 SOL هزینه می‌گیرد

آنزا از محققان امنیتی 0.5 SOL غیرقابل استرداد برای ثبت هر یافته Alpenglow قبل از بسته شدن مسابقه در ساعت 16:00 UTC در تاریخ 19 اوت هزینه می‌گیرد.

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

هدف مهم است. SIMD-0326 Alpenglow را به عنوان یک جایگزین ناسازگار با نسخه‌های قبلی برای پروتکل اجماع Proof-of-History و TowerBFT فعلی سولانا پیشنهاد می‌کند. آنزا اجزای جدید اجماع، ادغام‌های اعتبارسنجی و مسیر مهاجرت را در محدوده موقت جایزه قرار داده است.

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

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

بررسی مسابقه می‌گوید Alpenglow در طول توسعه، مهاجرت monorepo و مراحل حسابرسی داخلی از جایزه دائمی Agave مستثنی شده است. مسابقه دو هفته‌ای مجموعه‌ای از کدهای Alpenglow را باز می‌کند که شامل موتور رأی‌گیری Votor، پیام‌های رأی و گواهی، امضای BLS و تأیید گواهی، مسیر مهاجرت TowerBFT و سطوح ادغام اعتبارسنجی مشخص شده است.

چندین مرز باقی مانده است. مسائل عمومی یا قبلاً افشا شده واجد شرایط نیستند. مسائل شناخته شده، کدهای آزمایشی، وابستگی‌های رمزنگاری شخص ثالث و مسیرهای معمولی فقط TowerBFT نیز مستثنی هستند. محققان باید یافته‌ها را در یک فورک محلی، شبیه‌سازی چند گره یا شبیه‌سازی نشان دهند؛ حملات mainnet و public-testnet مجاز نیستند.

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

شرایط واجد شرایط بودن زمانی پایان می‌یابد که یک اصلاح به Agave master برسد. بنابراین یک گزارش می‌تواند در طول مسابقه شانس پرداخت خود را از دست بدهد حتی زمانی که محقق اشکال را در برابر یک commit قبلی در پنجره بازتولید کرده باشد.

بر اساس قوانین Alpenglow، 50,000 SOL تبلیغ شده بزرگترین مجموعه تجمعی است که تنها با بالاترین شدت آزاد می‌شود:

جوایز فردی از محدوده‌های کوچکتر استفاده می‌کنند. یافته‌های از دست دادن وجوه بین 6,250 تا 25,000 SOL، نقض‌های اجماع یا ایمنی بین 3,125 تا 12,500 SOL، یافته‌های زنده بودن بین 1,250 تا 5,000 SOL و یافته‌های DoS بین 315 تا 1,250 SOL دریافت می‌کنند.

آنزا جوایز را به صورت تناسبی کاهش می‌دهد اگر جوایز ترکیبی از مجموعه آزاد شده فراتر رود. یافته‌های کمتر یا کوچکتر می‌توانند بخشی از مجموعه را بدون پرداخت باقی بگذارند. حتی یک نتیجه از دست دادن وجوه نیز بودجه را بدون افزایش هیچ جایزه‌ای بالاتر از 25,000 SOL آزاد می‌کند.

پرداخت پس از بسته شدن داوری در تاریخ 2 سپتامبر و KYC انجام می‌شود. جوایز به صورت یکجا در SOL قفل شده برای 12 ماه تحت شرایط جایزه دائمی Agave هستند. سوزاندن ثبت فوری است؛ جبران خسارت به داوری‌های بعدی بستگی دارد و برای یک سال غیرقابل نقد است.

جایزه Alpenglow شامل مهاجرت اجماع است.

اجزای Votor Alpenglow از تجمیع و تأیید رأی و گواهی مبتنی بر BLS استفاده می‌کنند. تأیید، رد، نهایی‌سازی و گواهی‌های notar-fallback به 60% از سهام نیاز دارند، در حالی که نهایی‌سازی سریع به 80% نیاز دارد. طراحی اولیه Turbine را برای انتشار داده‌ها حفظ می‌کند.

این پیشنهاد یک مدل امنیتی 20+20 با 40% تاب‌آوری در برابر شکست تصادفی تعریف می‌کند. آن را به عنوان ریسک اصلی پیاده‌سازی می‌نامد، مهاجرت را چالش‌برانگیز می‌داند و بیان می‌کند که منطق رأی‌گیری جدید با پیشینیان خود ناسازگار است.

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

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

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

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