نحن متحمسون لإطلاق LLZK ، وهو تمثيل وسيط مفتوح المصدر (IR) لدوائر المعرفة الصفرية. فكر في LLVM ، ولكن من أجل ZK. تم بناء LLZK بواسطة @VeridiseInc ودعمه بمنحة من @ethereumfndn ، وهو متاح الآن على GitHub. خيط 🧵 1/4

عندما بدأنا العمل على أدوات ZK ، لم يكن هناك شيء متاح. تشارك @FormallyJon رحلة الأدوات الصفرية في @HouseofZK المقابلة.

ما الذي دفعنا إلى تطوير Vanguard ، محللنا الثابت ، وكيف قمنا بتوسيعها إلى ما هو أبعد من Solidity؟ يشرح @FormallyJon في بودكاست @HouseofZK.

كان ، لقد كنت مذهلا! شكرا لكل من توقف عند جناحنا ، وإلى @EthCC لاستضافتنا. إليك وليمة بصرية من الأسبوع 🌞

تحياتي من @EthCC - يشارك @KFerles CTO لدينا كيف نقدم حتمية دائمة ل zkVMs مثل @RiscZero

احصل على نظرة عامة على أدوات ZK من Veridise ولمحة عما سيحدث بعد ذلك. يشارك @IsilDillig توجهاتنا المستقبلية في حدث @a16zcrypto.

تم انتهاء مهلة أدوات الكشف عن ZK الخاصة بنا سابقا على 30٪ من دوائر ZK. كيف حللنا هذا؟ يشارك @IsilDillig رؤى من ورقتنا البحثية الأخيرة.

كيف نحافظ على دوائر ZK صلبة وحتمية أثناء عمليات التدقيق؟ يشارك المؤسس المشارك لدينا @IsilDillig رؤى حول الجمع بين التحليل الثابت ومحللات SMT في أدوات ZK الخاصة بنا.

هل تشكل الدوائر المقيدة بشكل مفرط تحديا في دوائر المعرفة الصفرية؟ ما الذي يشكل تهديدا أكبر: الدوائر غير المقيدة أو المقيدة بشكل مفرط؟ @IsilDillig يتحللها.

أخيرا وليس آخرا ، تم الإعلان أيضا عن جائزة SIGPLAN Robin Milner للباحث الشاب في PLDI. هذا العام ، ذهبت الجائزة إلى Işıl Dillig (@IsilDillig) ، التي كان لأبحاثها مساهمات عميقة وبعيدة المدى في تحليل البرامج والتحقق منها وتوليفها ⭐️