Vitalik Buterin "Circle STARKsni O'rganish"ni E'lon Qildi

PANews 23-iyul kuni xabar berishicha, Ethereum asoschilaridan biri Vitalik Buterin "Circle STARKs-ni o'rganish" nomli maqola chop etdi va unda Circle STARKs deb nomlangan tuzilmani muhokama qildi. Bu tuzilma ba'zi noyob xususiyatlarga ega va samarali Mersenne31 maydoni bilan mos kelish uchun mo'ljallangan. Vitalikning fikricha, oddiy STARK bilan solishtirganda, Circle STARKs ishlab chiquvchilar uchun ko'p qo'shimcha murakkablik keltirmaydi. Amalga oshirish jarayonida, oddiy FRI bilan solishtirganda, men asosan uchta farqni kuzatdim. Circle FRI tomonidan boshqariladigan "polinom"ning matematik printsipi juda qarama-qarshi va tushunish va qadrlash uchun vaqt talab etadi. Biroq, bu murakkablik ishlab chiquvchilar tomonidan osonlikcha sezilmaydigan tarzda yashirilgan. Circle matematikasining murakkabligi tizimli emas, balki inkapsulyatsiyalangan. Circle FRI va Circle FFTni tushunish, shuningdek, boshqa "ekzotik FFTlar"ni tushunish uchun yaxshi bilim portali bo'lishi mumkin: eng ko'zga ko'ringanlari Binius va LibSTARKda ilgari ishlatilgan ikkilik domen FFT, shuningdek, elliptik egri chiziqli FFT kabi ko'proq ekzotik tuzilmalar bo'lib, ular elliptik egri chiziqli nuqta operatsiyalari bilan yaxshi muvofiqlashtirilgan bir-biriga mos keladigan xaritalardan foydalanadi. Mersenne31, BabyBear va ikkilik domen texnologiyalari (masalan, Binius) bilan birgalikda, biz haqiqatan ham STARK "asosiy qatlam" samaradorlik chegarasiga yaqinlashayotganimizni his qilamiz. Bu nuqtada, STARK optimallashtirish chegarasi hash funksiyalari va imzolar kabi primitivlarning yuqori samarali arifmetik versiyalarini yaratishga (va bu primitivlarni o'zlari uchun optimallashtirishga), ko'proq parallelizatsiya uchun rekursiv tuzilmalarni yaratishga, ishlab chiquvchilar tajribasini yaxshilash uchun virtual mashinalarni arifmetizatsiya qilishga va boshqa ilg'or vazifalarga o'tishi kutilmoqda.