المواضيع الرائجة
#
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
We have verified the security of the Fast Reed–Solomon Interactive Oracle Proof (FRI) protocol - a cornerstone of modern transparent, STARK-style zero-knowledge proofs - by autoformalizing "Succinct Proofs and Linear Algebra" by Evans-Angeris with Gauss.
24
الأفضل
المُتصدِّرة
التطبيقات المفضلة