إليكم حديثنا من Google ZK Summit الأسبوع الماضي: تشفير عالي السرعة / @OmerShlomovits H / t Mauro للتسجيل ، Google للاستضافة.

قبل عام واحد بالضبط انضممت إلى @Ingo_zk. في ذلك الوقت ، عملت في العديد من المشاريع. لكن اثنين مميزان: جليد سنارك وهالة جليدية2. عندما علمت لأول مرة عن ZK ، كنت أحاول فهم ما هو R1CS ، وكيف يعمل Groth16 ، وكيفية كتابة دوائر Circom. اليوم أنا مؤلف أسرع Groth16 prover وأسرع (على ما أعتقد) Halo2 Prover. ICICLE-snark هو تطبيق groth16 جديد باستخدام ICICLE ومكتوب بلغة Rust. إنه أسرع 160 مرة من SnarkJS و 30 مرة أسرع من RapidSnark على 5090. ICICLE-halo2 عبارة عن شوكة من @ezklxyz-halo2 مع تكامل ICICLE الذي يعطي ما يصل إلى 25 ضعفا من الإثبات باستخدام نواة تقييم البوابة. بشكل عام ، لقد كان عاما ممتعا من التعلم والبناء والشحن.

كيف انتهى بي الأمر عالم رياضيات؟ (قصة طويلة) عندما كنت طفلا ، قال لي والدي "عائلتنا ليست جيدة في الرياضيات" وأنا ، مفضلة كرة القدم والمواعدة لأي شيء ينطوي على عمل الدماغ ، قبلت هذا على أنه حقيقة. عندما كنت طالبا جامعيا ، درست علم الأحياء وعلوم الكمبيوتر ، للذهاب إلى علم الأعصاب (انتهى بي الأمر بالزواج من ابنة أحد أساتذتي المحترمين. لكن هذه قصة مختلفة). أدركت أنني أحببت حقا دورات الرياضيات ، وكرهت أي شيء مطبق - سواء كان ذلك في مختبرات البرمجة أو علم الأحياء. في الواقع ، في كل فصل دراسي ، كنت أذهب إلى عميد البكالوريوس في ذلك الوقت (البروفيسور @noamnisan ، وهو الآن مستشار ل StarkWare) للتفاوض على استبدال دورات البرمجة بمزيد من الرياضيات (وهذا هو السبب في أنني لا أعرف البرمجة حتى يومنا هذا ؛ على الرغم من أن مقدمة إلى C ++ كانت أول دورة قمت بتدريسها كأستاذ مساعد. لكن هذه أيضا قصة مختلفة.) بعد ذلك ، كطالب دراسات عليا ، أردت أن أذهب إلى التعلم الآلي ، لكن الأستاذ المرغوب فيه (تالي تيشبي ، RIP) ، كان لديه بالفعل طلاب غازيليون. كنت جالسا في دورة حول التعقيد الحسابي يدرسها باحث ما بعد الدكتوراه ، عندما تم استبداله في محاضرة واحدة بآفي ويجدرسون. لم أكن أعرف شيئا عنه في ذلك الوقت (ظهرت صورته على الملصقات ، حيث حصل للتو على جائزة نيفانلينا ، لكن بصفتي طالب دراسات عليا شابا غبيا لم أكن أعرف ما يعنيه ذلك). تحدث آفي عن كيف يحاول بعض الأشخاص الآن إثبات أنه من المستحيل تسوية تخمين P مقابل NP. وكنت مفتونا بهذا. لذلك قلت له: أريد أن أدرس هذا كمشروع الماجستير. بدأت فترة من المغازلة. لم يكن آفي متأكدا من أنني مناسب له (كانت درجاتي في الرياضيات على ما يرام ، لكنني لم أكن أبدا من نوع الطالب المستقيم). لذلك ، أسقط كتابا عن تعقيد الإثبات علي ، قائلا: اقرأه ولخصه لي. قرأت هذا الكتاب مثل 3 مرات من الغلاف إلى الغلاف ولم أفهم كلمة تتجاوز فصل المقدمة (اليوم أعلم أن هذا على الأرجح خطأ المؤلف ، وليس غباءي. لكن هذه قصة أخرى). بعد بضعة أسابيع ، بعد أن لم يفهم كلمة واحدة حول الموضوع ، طلب آفي شرح ورقة حديثة حول "درجة وحجم براهين حساب التفاضل والتكامل متعددة الحدود". جلسنا في منزله ، شرحت. في مرحلة ما سأل: "لماذا لا يمكن تطبيق هذا على نظام إثبات الدقة؟" (القرار هو أهم وأساسي نظام إثبات حساب التفاضل والتكامل المقترح). حدقت ، فكرت قليلا ، وقلت "أوه ، لكن يمكن ذلك ، إليك الطريقة" ، وطبقت نفس طريقة الإثبات على القرار. شعر آفي بالحماس الشديد. قلت "دعنا نرسل بريدا إلكترونيا إلى مؤلفي الورقة السابقة" ، معتقدا أنه إذا فهمت هذه الأشياء ، فلا يمكن أن تكون أكثر من مجرد بريد إلكتروني. أصر آفي على أن نكتبها كورقة. كل بضعة أيام حاولت إقناعه بالتخلي عنه وإرسال بريد إلكتروني فقط ، لكنه كان مصرا ، واستمعت. شيء جيد فعلته. انتهى بها الأمر كورقة أكثر استشهادا وعاجزة قبل تلك الموجودة STARK / SNARK. بعد تلك الورقة ، جاء عدد قليل من الآخرين. مع كل واحدة ، كنت متأكدا من أنها مجرد ملاحظة تستحق البريد الإلكتروني ، وليست الرياضيات العميقة. رأيت كل هذه الأوراق الأخرى ، التي كان من الصعب جدا فهمها ، وبالمقارنة كانت أغراضي الخاصة واضحة وبسيطة للغاية. استغرق الأمر مني سنوات عديدة لأدرك أن هذه هي الطريقة التي تتقدم بها الرياضيات. تقضي الكثير من الوقت في استيعاب بعض المفاهيم النظرية ، ثم في يوم من الأيام "تراها". وبعد ذلك يبدو لكم جميعا واضحا وبسيطا. لكن الأمر واضح وبسيط لك فقط. بالنسبة للآخرين ، الأمر معقد. اليوم ، عندما يتعين علي أن أذهب وألقي نظرة على بعض أوراقي السابقة ، أجد نفسي أحدق ، وأخدش رأسي ، وأقول "اللعنة ، هذه بعض الأشياء الخطيرة ، كيف توصلوا إلى هذا؟" :-) بعد تلك الاختراقات الأولية في الرياضيات ، عرض آفي أنني لا أحصل على درجة الماجستير فحسب ، بل في الواقع درجة الدكتوراه ، وهكذا انتهى بي الأمر إلى عالم كمبيوتر نظري (وهو نوع من علماء الرياضيات). النهاية.

التكنولوجيا جاهزة لتحديث التمويل ، ولكن علينا تحديث قوانيننا أولا. كان قانون GENIUS خطوة كبيرة إلى الأمام ، فلنحافظ على استمرار الزخم. سيكون الاعتماد الواسع لحلول مثل ZK Proofs بمثابة فتح هائل لحماية المستهلك.

🍫 حلقة شوكولاتة 🍫 سنارك الجديدة مستقبل FHE للواقي من الشمس جلسنا هذا الأسبوع مع @ravitals ، مؤسس @SunscreenTech ، للحديث عن الطريق إلى تبني FHE في العالم الحقيقي. 🔐 ماضي وحاضر ومستقبل FHE 🏗️ الهندسة المعمارية والتصميم للواقي من الشمس 🛠️ المكدس التقني وخارطة الطريق ✨ ما الذي يميز واقي الشمس 🤝 التعاون مع مناد 🧲 نصائح للتوظيف في مجال التكنولوجيا العميقة سبوتيفي: Apple Podcasts: يوتيوب: نادي الشوكولاتة Snark على Telegram:

الصباح! نحن نعمل مباشرة مع مدير حساب مخصص في @AIatAMD يساعد في تتبع مشكلات البرامج التي أبلغ عنها عملاؤنا. هل وجدت خطأ؟ قم بتقديم مشكلة في GitHub ، وسنقوم بتشغيلها ومتابعتها حتى الحل. على الرغم من أننا لا نستطيع ضمان الجداول الزمنية (قد تتطلب بعض الإصلاحات إصدارا مستقبليا من ROCm) ، فهذه خطوة كبيرة إلى الأمام من @AMD القديمة. نحن نعلم مدى أهمية أن يشعر المطورون بأنهم مسموعون ، والآن هم كذلك. إنها واحدة من العديد من القيمة المضافة التي نقدمها. ❤️

اليوم ، في الذكرى السنوية العاشرة لشركة @ethereum ، نطلق EigenDA V2 بإنتاجية 100 ميجابايت / ثانية ، مما يجعله أول حل لتوفر البيانات لكسر الحاجز المكون من ثلاثة أرقام. مع دخول Ethereum عقدها الثاني ، نحن فخورون بالمساعدة في توسيع نطاق الموجة التالية من الابتكار. التعرف على المزيد 🧵

بعض النتائج الرائعة في الداخل!

جئت للسلع ، وبقيت للتكنولوجيا!

استثمرت Dragonfly في PepperSec، Inc. ، مطوري Tornado Cash ، في أغسطس من عام 2020. لقد قمنا بهذا الاستثمار لأننا نؤمن بأهمية تقنية الحفاظ على الخصوصية مفتوحة المصدر. قبل استثمارنا ، حصلنا على رأي قانوني خارجي أكد أن Tornado Cash كما تم إنشاؤه يمتثل للقانون ، بموجب إرشادات قدمتها FinCEN في عام 2019. صرحت الحكومة الآن في محكمة علنية أنها تفكر في توجيه اتهامات ضد Dragonfly لاستثمارها في فريق Tornado Cash في عام 2020. بناء على نصيحة المحامي ، امتنعنا عن التعليق العام. لكن لم يعد بإمكاننا البقاء صامتين. نحن نؤمن بشدة بحق الأمريكيين في الخصوصية ، ولا يزال الافتقار إليها أحد أكبر مشاكل التشفير التي لم يتم حلها. لذلك نحن نقف إلى جانب استثماراتنا. لم نقم بتشغيل أو ممارسة أي سيطرة على Tornado Cash ، ولم يكن لدينا أي اتصال مع أي مستخدمين خبيثين ، وشجعنا دائما شركات محفظتنا على اتباع القانون ، ونؤكد أن Tornado Cash نفسها لها حق قانوني في الوجود - وهي وجهة نظر عززها Van Loon v. وزارة الخزانة وإلغاء مكتب مراقبة الأصول الأجنبية اللاحق للعقوبات. إن توجيه اتهام إلى شركة استثمارية بسبب سوء السلوك المزعوم لشركة محفظة سيكون غير مسبوق ، خاصة في ظل هذه الظروف. في عام 2023 ، تلقينا مذكرة استدعاء من وزارة العدل وتعاونا بشكل كامل مع تحقيق الحكومة في Tornado Cash ، واثقين من أننا امتثلنا دائما للقانون. أوضحت وزارة العدل أننا لسنا هدفا لتحقيقهم. كما هو الحال مع كل استثمار ، قدمنا PepperSec نفس المشورة والدعم الذي نقدمه لجميع شركات المحفظة. نعتقد أن بيان الحكومة في المحكمة اليوم كان في المقام الأول لتقويض الدفاع عن Tornado Cash - لجعل من الصعب على الدفاع استدعاء توم للإدلاء بشهادته على المنصة. بعد كل هذا الوقت - بعد سنوات - سيكون توجيه الاتهامات ضد Dragonfly أمرا شائنا ، خلافا للحقائق والقانون ، وسيؤدي إلى تأثير مخيف على جميع الاستثمارات في العملات المشفرة وتقنيات الحفاظ على الخصوصية في أمريكا. لا نعتقد أن وزارة العدل ستوجه بالفعل مثل هذه الاتهامات السخيفة التي لا أساس لها من الصحة. ولكن إذا فعلوا ذلك، فإننا نعتزم الدفاع عن أنفسنا بقوة.