نتطلع إلى حديث zk-SNARKs الديناميكي في SBC 2025!

🚨 كسر: أسقطت Sui Research للتو اختراقا كبيرا في الانتقال الكمي ل "بعض" سلاسل الكتل. لسوء الحظ ، فهو يعمل مع Sui و Solana و Near و Cosmos وغيرها من السلاسل المستندة إلى EdDSA ، ولكن ليس مع Bitcoin و Ethereum 😢 ها هي الورقة: * Afaik هذا هو أول مسار ترقية آمن للكم متوافق مع الإصدارات السابقة لمحافظ blockchain لتجنب عمليات الانقسام المستقبلية أو تجميد الحسابات. ... ولماذا هذا ضخم 🧵👇 💀 هناك فرصة غير صفرية لأن تصبح محافظ اليوم عرضة للخصوم الكموميين في العقود القادمة. بينما أشك شخصيا في أننا في أي مكان بالقرب من التفوق الكمي الذي يمكن أن يكسر التشفير قريبا ، فإن المخاوف المتزايدة والإرشادات الجديدة من وكالات الأمن التي توصي بترقيات الخوارزمية بحلول عام 2035 ، يجب أن تكون بمثابة دعوة للاستيقاظ. حتى لو كان الكثير من هذا مدفوعا بالإدراك ، يجب أن يكون مجتمعنا مستعدا للانتقال في النهاية. بمجرد وصول أجهزة الكمبيوتر الكمومية ، يمكن استنزاف ملايين المحافظ ، بما في ذلك ساتوشي ، على الفور. إذا كان مفتاحك العام مرئيا ، اختراقه في النهاية. المفاتيح المفقودة ، أصحاب المتوفين ، التخزين البارد ... الجميع في خطر (هؤلاء سيكونون الضحايا الأوائل). توجد مليارات العملات المشفرة في محافظ "نائمة" قد لا يتم تحديثها أبدا أو نقل أصولها إلى الخارج. 💡 حلنا: وجدنا طريقة للمحافظ التي تستخدم EdDSA (على سبيل المثال ، Sui و Solana و Near و co) لإثبات الملكية بشكل آمن بعد الكم ، دون الكشف عن الأسرار أو لمس المحفظة لتحويل عملاتها بسرعة. من المثير للدهشة أن التفاصيل الصغيرة حول كيفية اشتقاق مفاتيح EdDSA الخاصة مقارنة ب ECDSA تحدث فرقا كبيرا في الاستعداد الكمي. TL. DR استدعاء تجزئة بسيط على بذرة وعدم اختيار المقاييس المنحنى الإهليلجي مباشرة كمفاتيح خاصة أنقذت اللعبة! 🔐 لا إعادة التوقيع. لا تغيير في العنوان. صفر وقت تعطل. مجرد دليل معرفي صفري يقول: "ما زلت أتحكم في هذه المحفظة ، لكنني الآن أوقع محميا ضد المتسللين الكموميين" 🚀 مبني على اشتقاق مفتاح Ed25519 (SLIP-0010) و zk-STARKs / Ligero 🛡️ يعمل على حسابات النوم والمفقودة ، والمتعدد التوقيعات ، والخزينة ، والتخزين البارد 📈 يحمي المستخدمين والمؤسسات الحقيقية ، ليس فقط السلاسل المستقبلية ، ولكن محافظ ذاكري اليوم أيضا 👨 🔬 تم تطويره بواسطة @SuiNetwork و@Mysten_Labs و @GeorgeMasonU مصممي التشفير التطبيقي والنظري ، تهانينا ل Foteini و Arnab اللذين كانت مساعدتهما ذات أهمية قصوى! * نحن على اتصال بالفعل بالفرق التي تقف وراء @ligero_inc و @SoundnessLabs ، لكننا سنتواصل أيضا مع الحكومات والمؤسسات الكبرى مثل Google (التي بدأت بالفعل في استكشاف براهين Ligero ZK) لمتابعة التنفيذ ، وإذا أمكن ، جعله معيارا عالميا. ربما كان أولئك الذين اختاروا Ed25519 على ECDSA محظوظين أو أذكياء فقط. أنا شخصيا أود أن أشكر أحد مدربي التشفير الأوائل ، دانيال بيرنشتاين (@hashbreaker) مخترع EdDSA ، الذي درس في مدرسة ECRYPT الصيفية للاتحاد الأوروبي في ساموس في عام 2007. لقد زرع شرارة جعلتني مهووسا بكل تفاصيل الخوارزمية وربما بدون ذلك ، لن أكون هنا اليوم كعالم.

يرجى الترحيب بأليكس ليو ، أستاذ مساعد في علوم الكمبيوتر في جامعة ييل للهندسة! إن عمله في البرمجة الاحتمالية ، واستدلال ML & Bayesian يدفع حدود كيفية بناء وفهم الأنظمة الذكية. #NewFaculty #WelcomeAboard #AIResearch

استعدادا لحديثنا في SBC 2025 ، قمنا بتحديث ورقة zk-SNARKs الديناميكية الخاصة بنا التي توضح بالتفصيل نهج log N وبنية البيانات. ضيف خاص: أشجار AMT من @alinush407! أحدث إصدار: . ممتن لطالب الدكتوراه @YaleCSDept ويجي وانغ لقيادته هذا.

مرحبا بكم في @YaleCSDept ، نيكول!

فوز كبير ل Yale CS! 🏆 حصل فريق بقيادة يانغ كاي (يسار) ومانوليس زامبيتاكيس (يمين) على جائزة أفضل ورقة بحثية في #COLT2025 لإعادة تعريف كيفية تحديد تأثيرات العلاج في البيانات المعقدة. قفزة إلى الأمام للاستدلال السببي و الذكاء الاصطناعي التأسيسي. 🔗 #WhatsNext @Yang_Cai

تهانينا ل Yale Engineering's @Yang_Cai (علوم الكمبيوتر والاقتصاد) ، Manolis Zampetakis (CS) والمتعاونين معهم لحصولهم على جائزة أفضل ورقة في COLT 2025! #الذكاء الاصطناعي #ML

تهانينا لعوزي فيشكين على هذا التكريم المذهل. رائد حقيقي في الخوارزميات المتوازية.

تم قبول ورقتنا حول التحديث الفعال ل ZKPs أو zk-SNARKs الديناميكية للعرض في مؤتمر علوم Blockchain! ممتن ل @lagrangedev على إلهام ودعم هذا البحث. نتطلع إلى مزيد من المضي قدما في هذا النوع من العمل.

مبروك على الدور الجديد @giorgos_tsimos! سنفتقدك في @Yale و @YaleACL!