وقت القصة - أسرع مكرر في الغرب وكيف نشأ. عندما أسسنا StarkWare في عام 2018 ، شرعنا في بناء أول STARK prover من الدرجة الإنتاجية. في ذلك الوقت ، كان العامل المحدد هو تكلفة الغاز على Ethereum. كان من الأبسط والأرخص بناء بروفر باستخدام أعداد ضخمة (أرقام 256 بت). أدى ذلك إلى بروفير STARK بسيط كنا نعلم أنه يمكن جعله أكثر كفاءة عن طريق تقليل حجم الحقل. تقدم سريعا إلى عام 2023. العالم بأسره مقتنع الآن بأن zkSTARKs هي نهاية اللعبة ، وتبدأ العديد من الفرق في بناء أنظمة باستخدام حقول صغيرة ، مما يؤدي إلى أسرع. في صيف 2023 بدأنا مشروعا لاختيار تقنية الإثبات من الجيل التالي. قمنا بمسح جميع تقنيات الإثبات الحالية - SNARKs ، والأشياء القائمة على الطي ، و GKR ، والمزيد. لقد أدركنا بسرعة كبيرة أن عامل الأداء المهيمن هو حجم المجال المحدود هو ما يهم ، وأن الأعداد الأولية 32 بت هي الأفضل. لماذا؟ (1) تم تحسين جميع بنى HW الحديثة لهؤلاء ، (2) لماذا أولية (وليس ثنائية؟) لأن وحدات معالجة الرسومات لا تدعم الضرب الثنائي جيدا. حسنا ، هذا يتركنا مع تقنيات إثبات مثل GKR و STARK ، أكثر من 32b من الأعداد الأولية. الآن واجهنا مشكلة. أفضل مجال للحساب السريع هو M31 ، لكنه يفتقر إلى هيكل المجموعة للحصول على STARKs سريعة. لحسن الحظ ، اكتشف الثلاثي اللامع - أولريش هابوك (ثم في Polygon ، والآن بدوام كامل في StarkWare) ، وديفيد ليفيت ، وشاهار بابيني طريقة لاستخدام "مجموعة الدائرة" على M31 للحصول على الحل الأمثل. بدأ الفريق الجديد في تنفيذ الرياضيات. بأكثر الطرق فعالية التي يمكن أن نفكر فيها ، اختبار الكفاءة والتحقق من صحتها ، وكذلك بنائها بطريقة معيارية بما يكفي لتستخدمها الفرق الأخرى. في الوقت نفسه ، أعيد بناء البنية التحتية لقيود AIR من البداية ، بناء على تجربتنا السابقة ، لتؤدي إلى شيء سليم وفعال. والآن ، تدخل Stwo الإنتاج في Starknet ، مما يقلل من التكاليف وزمن الوصول. المعايير التي اختبرناها هي خارج هذا العالم. في الوقت نفسه ، تستخدمه العديد من الفرق الخارجية لبناء البنية التحتية الخاصة بهم. أعتقد أنه سيكون إثبات المعيار الذهبي مفتوح المصدر ، وأنتم جميعا مدعوون لاستخدامه. النهاية.