من عمليات التدقيق لمرة واحدة إلى التأكيد المستمر. في House of ZK Radio # 80 ، @FormallyJon يسير الرئيس التنفيذي @VeridiseInc سبب بناء فريقه @AuditHubDev وما الذي يتغيره لفرق web3 و ZK. لا يتم توسيع نطاق عمليات التدقيق اليدوية المحملة في النهاية: يتم دفن الأخطاء التي تم تقديمها مبكرا ، ويتم قطع الميزات عند الإطلاق ، ولا تزال "التقارير النظيفة" تفقد التعليمات البرمجية المضافة بعد التدقيق. قادتهم خلفية Veridise في الأساليب الرسمية إلى إنتاج أدواتهم الداخلية في AuditHub - وهي منصة تجلب الأمان إلى حلقة التطوير. ما يقدمه AuditHub: • ردود فعل مبكرة ومستمرة عبر CI / CD بحيث تظهر المشكلات مع كل علاقات عامة ، وليس عند إطلاق T-minus. • ضمانات أقوى مع الأدوات الرسمية - أجهزة التحليل الثابتة والكاشفات المخصصة لمنطق الأعمال ، و Orca fuzzer لثوابت البروتوكول (لقد تم اكتشافه بالفعل خطأ في التضخم) ، و Pyus لإثبات حتمية الدائرة (المستخدمة مع zkVMs مثل @RiscZero). • قابلية الاستخدام على نطاق واسع: فرز المشكلات الموجهة لخفض الإيجابيات الخاطئة ، والإعداد الفردي لأدوات متعددة ، والتكاليف التي لا تتناسب مع أسطر التعليمات البرمجية - حتى تتمكن من تضمين جميع التعليمات البرمجية الهامة للأمان ، وليس فقط ما يناسب ميزانية التدقيق. إذا كنت تقوم بشحن DeFi أو دوائر ZK أو zkVM ، فهذا هو المسار من "التدقيق في النهاية" إلى الأمان الذي يمكن التحقق منه أثناء الإنشاء. شاهد المحادثة الكاملة مع Jon Stephens لمعرفة كيفية استخدام الفرق ل AuditHub في الممارسة العملية - ولماذا يجب عليك إدخاله في خط الأنابيب الخاص بك اليوم: