المواضيع الرائجة
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
قمنا بتقنين صحة FRI في Lean، باستخدام @HarmonicMath وClaude Code.
- تحليل FRI بواسطة @nico_mnbl والمتعاونين
- تم تحويله إلى إثبات لين بواسطة @pirapira
🔥
معلومة جديدة: بدأ هذا بدافع الفضول استجابة لإعلان شركة Math, Inc عن برهان FRI، الذي قام بتقنين براهين الاختصار والجبر الخطي:
... وهذا أمر جيد، لكنه بعيد جدا عن الحدود الفعلية لأمن FRI الذي نتوقعه!
5 ديسمبر 2025
لقد تحققنا من أمان بروتوكول Fast Reed–Solomon Interactive Proof (FRI) - وهو حجر الأساس في براهين المعرفة الصفرية الحديثة الشفافة على طريقة STARK - من خلال صياغة "البراهين الموجزة والجبر الخطي" لإيفانز-أنجيريس مع غاوس.
108
الأفضل
المُتصدِّرة
التطبيقات المفضلة