Veridise
Veridise is a proven leader in auditing ZK circuits, smart contracts & blockchains. Learn more at www.veridise.com.
0 تتابع
135 المتابعون
89 إعجاب
7 تمّت مُشاركتها
منشورات
الكل
مقاطع فيديو
ما هي أكثر أخطاء ZK شيوعًا التي نجدها؟ وكيف نتجنبها؟ @FormallyJon يشارك في بودكاست @HouseofZK
ما هي أجزاء قاعدة الشيفرة التي تعتبر أهدافًا رئيسية في تدقيقات أمان ZK؟ @FormallyJon يشارك في بودكاست @HouseofZK.
يسرنا أن نعلن عن أعمالنا في تدقيق الأمان مع @Monero، وهو مشروع قائم منذ فترة طويلة في مجال الخصوصية.
كما نود توضيح بعض الادعاءات والمغالطات المتعلقة بعملنا ومعالجتها.
1/8
كما نود توضيح بعض الادعاءات والمغالطات المتعلقة بعملنا ومعالجتها.
1/8
هل أنت فضولي بشأن أفضل 3 اختراقات للبلوك تشين في الأسبوعين الماضيين؟ ها أنت هنا:
تستمر القصة أدناه 🧵
تستمر القصة أدناه 🧵
تدقيقات ZK ≠ تدقيقات العقود الذكية. ما الذي يميزها؟ @FormallyJon يوضح ذلك في بودكاست @HouseofZK.
مدونة جديدة: كيف تبني تطبيق zkVM آمن—وكيف تقوم بتدقيق واحد؟ (الجزء الثالث في سلسلة أمان zkVM الخاصة بنا).
نستعرض مثالًا ملموسًا باستخدام @RiscZero، ونظهر اعتبارات الأمان التي تهم في تطوير تطبيقات ZK في العالم الحقيقي.
خيط 🧵
1/6
نستعرض مثالًا ملموسًا باستخدام @RiscZero، ونظهر اعتبارات الأمان التي تهم في تطوير تطبيقات ZK في العالم الحقيقي.
خيط 🧵
1/6
عندما بدأنا العمل على أدوات ZK، لم يكن هناك أي شيء متاح. @FormallyJon يشارك رحلتنا في أدوات المعرفة الصفرية في مقابلة @HouseofZK.
عندما بدأنا العمل على أدوات ZK، لم يكن هناك أي شيء متاح. @FormallyJon يشاركنا رحلتنا مع الأدوات التي لا تتطلب أي معرفة.
كان، لقد كنت مذهلاً! شكرًا لجميع من توقفوا عند كشكنا، وإلى @EthCC لاستضافتنا. إليك وليمة بصرية من الأسبوع 🌞
اغمر نفسك في أفضل 3 قصص أمان blockchain من الأسبوعين الماضيين!
تستمر القصة أدناه 🧵
تستمر القصة أدناه 🧵
هل فاتتك محادثة @KFerles في @EthCC، "حتمية zkVM التي تدوم: من التدقيقات إلى التحقق المستمر"؟ شاهد العرض الكامل هنا، كانت لدينا قاعة مليئة!
اليوم الأول في @EthCC انتهى - وكل الهدايا في الصورة؟ اختفت. كان الراكون المفضل لدى الحضور 🦝
لا يزال لدينا القليل منها، لذا تعال غدًا إذا كنت قريبًا!
لا يزال لدينا القليل منها، لذا تعال غدًا إذا كنت قريبًا!
تحيات من @EthCC — يشارك مديرنا التنفيذي @KFerles كيف نقدم حتمية دائمة ل zkVMs مثل @RiscZero
منشور مدونة جديد! تحديد الثغرات الشائعة في zkVMs
(هذا هو الجزء الثاني من سلسلة أمان zkVM لدينا)
بينما تساعد zkVMs في تجريد تعقيد ZK، إلا أنها لا تقضي على جميع المزالق 🧵
(هذا هو الجزء الثاني من سلسلة أمان zkVM لدينا)
بينما تساعد zkVMs في تجريد تعقيد ZK، إلا أنها لا تقضي على جميع المزالق 🧵
احصل على لمحة عامة عن أدوات ZK الخاصة بـ Veridise ونظرة على ما هو قادم. @IsilDillig يشارك اتجاهاتنا المستقبلية في حدث @a16zcrypto.
أدوات الكشف عن ZK الخاصة بنا توقفت سابقًا عن العمل في 30% من دوائر ZK. كيف حللنا هذه المشكلة؟ @IsilDillig يشارك رؤى من ورقة بحثنا الأخيرة.
كيف نبقي دوائر ZK صلبة وحتمية أثناء التدقيق؟ يشارك مؤسسنا المشار إليه بـ @IsilDillig رؤى حول دمج التحليل الثابت وحلول SMT في أدوات ZK الخاصة بنا.
هل الدوائر المفرطة القيود تمثل تحديًا في الدوائر ذات المعرفة الصفرية؟
ما الذي يشكل تهديدًا أكبر: الدوائر الناقصة القيود أم الدوائر المفرطة القيود؟ @IsilDillig يوضح ذلك.
ما الذي يشكل تهديدًا أكبر: الدوائر الناقصة القيود أم الدوائر المفرطة القيود؟ @IsilDillig يوضح ذلك.
سجّل الدخول لاستكشاف المزيد من المُحتوى