# مقاله جدید بنیاد آپتیمیزم
RFP: OP Stack Zero Knowledge Proof

By [0xMohsenz.eth](https://paragraph.com/@0xmohsenz) · 2023-07-29

---

*   برای اجرای این مأموریت بنیاد (RFP) چه چیزی لازم است؟
    
*   تکمیل این ماموریت به معنای پیاده‌سازی یک سیستم اثبات دانش صفر (ZKP) است که می‌تواند برنامه اثبات خطای Optimism را با استفاده از معماری مجموعه دستورالعمل (ISA) که توسط کامپایلر golang پشتیبانی می‌شود مانند MIPS، RISC-V یا WASM اثبات کند. این سیستم اثبات علاوه بر این باید با اثبات انتقال حالت بین دو بلوک برای یک زنجیره OP Stack با پیکربندی استاندارد در عمل نشان داده شود.
    
*   پشتیبانی از برنامه اثبات خطا علاوه بر اثبات رد اجرای استاندارد برای یک ISA، الزامات اضافی را معرفی می کند. به طور خاص، برنامه اثبات خطا مفهوم پیش تصویر اوراکل را معرفی می کند که از فراخوانی های سیستمی ویژه برای بارگذاری داده های خارجی در برنامه استفاده می کند. هر vm اثبات خطا مسئول پیاده‌سازی مکانیزمی است که به وسیله آن هش برخی از داده‌ها در یک مکان خاص در حافظه قرار می‌گیرد، یک syscall اجرا می‌شود و سپس تصویر اولیه برای آن هش در حافظه بارگذاری می‌شود تا برنامه از آن استفاده کند. اوراکل preimage نیز برای بوت استرپ برنامه با ورودی های اولیه استفاده می شود. لطفاً برای اطلاعات بیشتر به بخش preimage oracle مستندات برنامه اثبات خطا مراجعه کنید.
    
*   برای این ماموریت، بنیاد Optimism حداکثر سه ارسال را می پذیرد. تلاش های موازی متعدد برای ایجاد یک OP Stack ZKP شانس موفقیت را افزایش می دهد و رقابت دوستانه ای را برای ساخت بهترین OP Stack ZKP فراهم می کند.
    
*   با توجه به فضای طراحی گسترده، هر راه حل بر اساس چند معیار، ارزیابی می شود. با توجه به گستردگی این پروژه، انتظار نمی رود این RFP در فصل حاکمیت 4 (ژوئن تا سپتامبر) تکمیل شود. با هر تیمی که ارسال می کند، جدول زمانی خاص مورد بحث قرار خواهد گرفت. جدول زمانبندی خاص هر تیم ارسال کننده با همان تیم، مورد بحث قرار میگیرد.
    
*   پرداخت کمک هزینه هدف برای هر ارسال 250 هزار OP خواهد بود. تیم‌ها باید معیارهای راه‌حل را با بنیاد در میان بگذارند و ممکن است بسته به حیطه کاری خود، مبلغ کمک هزینه‌ای بصورت توافقی در نظر گرفته شود.

---

*Originally published on [0xMohsenz.eth](https://paragraph.com/@0xmohsenz/rfp-op-stack-zero-knowledge-proof)*