بعد الاستفسارات التفصيلية والموقع الرسمي للشركة، يتبين ما يلي:
Veridise هي شركة تركز على أمان blockchain، تأسست في عام 2021 من قبل مجموعة من الخبراء الأكاديميين من الطراز العالمي. تلتزم الشركة بحل أكثر التحديات الأمنية تعقيدًا في نظام Web3 البيئي من خلال الأبحاث والتكنولوجيا المتطورة. تتمثل مهمة Veridise في تحسين أمان وموثوقية blockchain من خلال التحقق الرسمي وتقنيات تحليل البرنامج.
المنتجات والخدمات
توفر شركة Veridise خدمات أمان شاملة لسلسلة الكتل تغطي المجالات التالية:
تدقيق العقود الذكية:
تحليل متعمق لأمان العقود الذكية، واكتشاف نقاط الضعف وتقديم توصيات العلاج.
تدقيق بروتوكول Blockchain:
إجراء تحليل أمني شامل لبروتوكولات blockchain L1 و L2 لضمان أمان البنية الأساسية.
تدقيق دائرة المعرفة الصفرية:
التركيز على تقييم أمان تقنية إثبات المعرفة الصفرية (ZK) لضمان حماية الخصوصية والصحة الحسابية.
تدقيق التمويل اللامركزي (DeFi):
توفير خدمات تدقيق أمنية مخصصة استجابةً لتعقيد بروتوكولات DeFi.
التحقق الرسمي:
استخدم تقنية التحقق الرسمي المتقدمة لضمان صحة وأمان الكود.
الميزات التقنية
التحقق الرسمي وتحليل البرنامج:
تستخدم Veridise التحقق الرسمي باعتباره التكنولوجيا الأساسية، جنبًا إلى جنب مع أساليب تحليل البرنامج، للكشف عن الثغرات الأمنية التي يصعب العثور عليها باستخدام عمليات التدقيق التقليدية.
مزيج من الأوساط الأكاديمية والصناعة:
يتكون فريق الشركة من أفضل المواهب من الأوساط الأكاديمية والصناعة، ويطبقون أحدث نتائج الأبحاث في المشاريع العملية.
أدوات متخصصة:
طورت شركة Veridise العديد من الأدوات الداخلية للكشف عن الثغرات الأمنية المعقدة وتوفير تحليل أمني شامل.
تغطية أمنية متكاملة:
تغطي الخدمة مجالات متعددة مثل العقود الذكية وبروتوكولات blockchain ودوائر المعرفة الصفرية وما إلى ذلك، مما يوفر حماية أمنية شاملة.
المشاركة في مشاريع blockchain
قدمت شركة Veridise خدمات أمنية للعديد من مشاريع blockchain المعروفة، بما في ذلك على سبيل المثال لا الحصر:
Linea:
قدمت عمليات تدقيق أمنية للعقود والبروتوكولات الذكية.
شبكة مانتا:
وهو مشروع لحماية الخصوصية يركز على تكنولوجيا المعرفة الصفرية، وقد تشارك Veridise في تقييم الأمان لدوائر ZK الخاصة بها.
التمرير:
حل التوسع L2 المستند إلى Ethereum والذي تقدم Veridise خدمات تدقيق الأمان له.
مشاريع أخرى:
قد تشارك Veridise أيضًا في عمليات تدقيق أمنية لبروتوكولات blockchain الأخرى، ومشاريع DeFi، وتقنيات المعرفة الصفرية، ولكن التفاصيل المحددة تحتاج إلى مزيد من التأكيد.
