مؤسس شركة CertiK، غو رونغوي، يتحدث في دافوس: الذكاء الاصطناعي يمكّن التحقق الرسمي، بهدف طرح أسهم الشركة للاكتتاب العام.

خلال الاجتماع السنوي للمنتدى الاقتصادي العالمي لعام 2026، كشف رونغهوي غو، مؤسس شركة CertiK، في مقابلة مع شبكة CBS في دافوس، أن CertiK، بصفتها أكبر شركة أمن لتقنية Web3 في العالم، تسعى جاهدةً لتحقيق خطتها للاكتتاب العام، ساعيةً لتصبح "أول شركة مدرجة في مجال بنية Web3 التحتية". وفي المقابلة نفسها، كشف غو أيضًا عن تقنية الأمان الأساسية لشركة CertiK، وهي محرك Spoq، الذي يدمج الذكاء الاصطناعي بشكل معمق. ومن خلال دمج الذكاء الاصطناعي مع نظام التحقق الرسمي، يُحسّن هذا المحرك بشكل كبير من قابلية التوسع وكفاءة تنفيذ عمليات التحقق الرسمي. وقد تم التحقق من إنجازات CertiK الرائدة في مؤتمرات أكاديمية عالمية مرموقة مثل OSDI 2023 وASPLOS 2026. ومن خلال تحويل الأبحاث الأكاديمية المتطورة إلى أدوات إنتاجية، تُقدّم CertiK ضمانات أمنية على مستوى رياضي لعملائها من المؤسسات في جميع أنحاء العالم.