في الآونة الأخيرة، أجرى غو رونغ هوي، المؤسس المشارك لشركة CertiK وأستاذ في جامعة كولومبيا، مقابلة حصرية مع قناة CNBC العربية، حيث شارك رؤاه العميقة حول مستقبل أمان Web3، مع التركيز على تطبيقات التحليل الرسمي في الصناعة، ودور الذكاء الاصطناعي في أمان البلوكتشين، ومخاطر التقنيات الناشئة.
قال Gu Ronghui إن التحقق الرسمي هو المفتاح لبناء الأساس الأمني ل blockchain ، ويتمثل دوره في التحقق رياضيا مما إذا كان سلوك الكود يتوافق مع المنطق المتوقع. هذا النهج أكثر صرامة وتحديا من أدوات التدقيق التقليدية. لقد أكد مرارا وتكرارا أن جوهر blockchain ليس فقط الابتكار التكنولوجي ، ولكن أيضا إعادة بناء الثقة ، ويجب التحقق من وجود نظام موثوق به حقا.
التحverify الرسمي: بناء قاعدة أمان البلوكتشين
التحقق الرسمي كطريقة تدقيق ذات عوائق عالية وكثافة عالية، يتطلب تراكم تقني عميق وفهم للمنطق الأساسي. أشار قو رونغ هوي في مقابلة خاصة إلى أن هذه الطريقة رغم تعقيدها، إلا أنها تتمتع بمزايا لا يمكن الاستغناء عنها في ضمان أمان و controllability البلوكتشين.
تعود جذوره مع التحقق الرسمي إلى مرحلة دراسته. في عام 2016، تعاون مع الأستاذ في جامعة ييل شاو جونغ، ونجح في تطوير أول نواة نظام تشغيل متعددة النواة في العالم تم التحقق منها رسميًا بالكامل CertiKOS، والتي تم تقييمها من قبل جوجل بأنها لا تشوبها شائبة (Unbreakable). لم يؤكد هذا الإنجاز فقط على دور هذه التقنية في العالم الحقيقي، بل أسس أيضًا لدخولها في الممارسة الصناعية.
بعد ذلك، أسس غو رونغ هوي CertiK في عام 2017، حيث أدخل التحقق الرسمي في مشهد البلوكتشين. اليوم، تم تطبيق هذه التقنية على نطاق واسع في العديد من المشاريع الرائدة التي تركز على الخصوصية والأمان مثل ZK، وكذلك في المؤسسات المالية الكبرى مثل مجموعة آنت. وأشار غو رونغ هوي في مقابلة خاصة إلى أنه من أجل تعزيز كفاءة التحقق الرسمي، قامت CertiK حاليًا ببناء أدوات مساعدة مثل التحليل الذكي بالذكاء الاصطناعي، والتي تستخدم للتعرف التلقائي على خصائص الكود وتوليد الأدلة المنطقية.
أثناء تعزيز تنفيذ الإنجازات الأكاديمية ، أولى Gu Ronghui دائما اهتماما وثيقا بالتهديدات الجديدة التي تواجه الصناعة. وردا على المخاوف من أن "أجهزة الكمبيوتر العملاقة أو الحوسبة الكمومية قد تهدد أمن بلوكتشين"، اعترف بأن مثل هذه التقنيات تنطوي على مخاطر محتملة، لكنها لا تزال غير كافية لتشكل تهديدا حقيقيا في هذه المرحلة. قال قو: "إن قدرات أجهزة الكمبيوتر العملاقة ليست كافية لهزيمة أنظمة blockchain الحالية ، والأهم من ذلك ، أن الصناعة تقوم بالفعل ببناء خوارزميات مضادة للكم وآليات دفاع ، ومن الممكن الحصول على حلول ذات صلة". ”
تطبيقات الذكاء الاصطناعي: إعادة تشكيل مشهد أمان الويب 3
أكد Gu Ronghui في مقابلة خاصة أن الذكاء الاصطناعي يعيد تشكيل مشهد أمان البلوكتشين، وخاصة في تدقيق العقود الذكية وتحديد التهديدات على السلسلة، حيث أظهر إمكانيات كبيرة. "يمكن أن يؤدي التطبيق الصحيح للذكاء الاصطناعي إلى تحقيق تحسينات ملموسة في نظام أمان البلوكتشين."
وقال كذلك إن أبحاث CertiK تظهر أن السلوك الضار في مشاريع Web3 أصبح أكثر تعقيدا ، حيث تتمكن بعض برامج التصيد الاحتيالي من تتبع المستخدمين بمرور الوقت وتنفيذ عمليات احتيال مستهدفة. ولكن مع قدرة نماذج الذكاء الاصطناعي على التعرف بسرعة ، يمكن الآن تحديد هذه الهجمات والتعامل معها في غضون ساعات.
في الوقت الحالي، قامت CertiK بتطبيق الذكاء الاصطناعي على نطاق واسع في عمليات اكتشاف الثغرات والتدقيق. من خلال تحليل بيانات التحذير على السلسلة، تساعد في تحديد أسباب الثغرات ومسارات الهجوم؛ بينما يتم استخدام تقنيات الذكاء الاصطناعي لمسح أنماط الثغرات المعروفة، وتحليل منطق الشيفرة، وتوليد التقارير، مما يبني نظام تدقيق ذكي يتمحور حول "التعاون بين الإنسان والآلة"، ويوفر دعماً رياضياً موثوقاً ورفع الكفاءة لفرق التدقيق البشرية.
لكن مع تزايد انتشار تطبيقات الذكاء الاصطناعي، يمكن للمهاجمين أيضًا استغلالها لتعزيز وسائل الهجوم. يرى قو رونغ هوي أن هذا يعني أن عتبة مواجهة الأمان قد ارتفعت، وأن الصناعة بحاجة إلى حلول أمان أقوى.
الرؤية التقنية: توسيع حدود الثقة في Web3
يعتقد غو رونغ هوي دائمًا أن المرحلة التالية من تطور الويب 3 ستنتقل من "القابل للاستخدام" إلى "الموثوق به". الكفاءة والابتكار ليسا النهاية، بل المسؤولية والثقة هي القيمة الأساسية لتطور التكنولوجيا. فقط من خلال تضمين آليات أمان قابلة للتحقق، يمكن أن تصبح البلوكتشين حقًا بنية تحتية مالية عالمية موثوقة.
هذه هي المهمة التي تمسكت بها CertiK منذ تأسيسها - مع التركيز على التحليل الرسمي ، لتطوير نظام منتجات أمان شامل يغطي جميع مراحل الحياة مثل حاضنات الاستثمار ، تدقيق الأمان ، واستشارات الامتثال ، لتوفير أمان يمكن التحقق منه للمشاريع ، ولتحديد معايير أمان أعلى في الصناعة.
بالنسبة لجو رونغ هوي، ليست هذه مجرد استراتيجية للشركات، بل هي أيضًا خيار للحياة. من الدراسة في ييل إلى التدريس في كولومبيا، ومن البحث الأكاديمي إلى الممارسة الريادية، ظل يركز دائمًا على تحويل التحقق الرسمي من النظرية إلى حجر الأساس للممارسة، مدفوعًا بالتكنولوجيا لبناء الثقة في الصناعة.
بصفته أستاذًا في جامعة كولومبيا والرئيس التنفيذي لشركة CertiK، يركز قوه رينغ هوي على حماية أمان Web3 عبر مجالي الأكاديمية والأعمال. لقد ذكر أن فلسفته التعليمية متجذرة في دمج الرؤى الواقعية في المناقشات الأكاديمية، بهدف بناء أساس من الفهم والقدرة للجيل الجديد في مجال الأمن السيبراني.
"ضمان أمان Web3 ليس مجرد تحد تقني، بل هو أيضًا مسؤولية اجتماعية." صرح قوه رونغ هوي مرارًا وتكرارًا، "هدفنا هو جعل هذه الصناعة أكثر أمانًا وأيضًا أكثر موثوقية."
المحتوى هو للمرجعية فقط، وليس دعوة أو عرضًا. لا يتم تقديم أي مشورة استثمارية أو ضريبية أو قانونية. للمزيد من الإفصاحات حول المخاطر، يُرجى الاطلاع على إخلاء المسؤولية.
CNBC مقابلة مع المؤسس المشارك لشركة CertiK، قؤ رونغ هوي: من التحليل الرسمي إلى تمكين الذكاء الاصطناعي، توسيع حدود الثقة في Web3 باستمرار
في الآونة الأخيرة، أجرى غو رونغ هوي، المؤسس المشارك لشركة CertiK وأستاذ في جامعة كولومبيا، مقابلة حصرية مع قناة CNBC العربية، حيث شارك رؤاه العميقة حول مستقبل أمان Web3، مع التركيز على تطبيقات التحليل الرسمي في الصناعة، ودور الذكاء الاصطناعي في أمان البلوكتشين، ومخاطر التقنيات الناشئة.
قال Gu Ronghui إن التحقق الرسمي هو المفتاح لبناء الأساس الأمني ل blockchain ، ويتمثل دوره في التحقق رياضيا مما إذا كان سلوك الكود يتوافق مع المنطق المتوقع. هذا النهج أكثر صرامة وتحديا من أدوات التدقيق التقليدية. لقد أكد مرارا وتكرارا أن جوهر blockchain ليس فقط الابتكار التكنولوجي ، ولكن أيضا إعادة بناء الثقة ، ويجب التحقق من وجود نظام موثوق به حقا.
التحverify الرسمي: بناء قاعدة أمان البلوكتشين
التحقق الرسمي كطريقة تدقيق ذات عوائق عالية وكثافة عالية، يتطلب تراكم تقني عميق وفهم للمنطق الأساسي. أشار قو رونغ هوي في مقابلة خاصة إلى أن هذه الطريقة رغم تعقيدها، إلا أنها تتمتع بمزايا لا يمكن الاستغناء عنها في ضمان أمان و controllability البلوكتشين.
تعود جذوره مع التحقق الرسمي إلى مرحلة دراسته. في عام 2016، تعاون مع الأستاذ في جامعة ييل شاو جونغ، ونجح في تطوير أول نواة نظام تشغيل متعددة النواة في العالم تم التحقق منها رسميًا بالكامل CertiKOS، والتي تم تقييمها من قبل جوجل بأنها لا تشوبها شائبة (Unbreakable). لم يؤكد هذا الإنجاز فقط على دور هذه التقنية في العالم الحقيقي، بل أسس أيضًا لدخولها في الممارسة الصناعية.
بعد ذلك، أسس غو رونغ هوي CertiK في عام 2017، حيث أدخل التحقق الرسمي في مشهد البلوكتشين. اليوم، تم تطبيق هذه التقنية على نطاق واسع في العديد من المشاريع الرائدة التي تركز على الخصوصية والأمان مثل ZK، وكذلك في المؤسسات المالية الكبرى مثل مجموعة آنت. وأشار غو رونغ هوي في مقابلة خاصة إلى أنه من أجل تعزيز كفاءة التحقق الرسمي، قامت CertiK حاليًا ببناء أدوات مساعدة مثل التحليل الذكي بالذكاء الاصطناعي، والتي تستخدم للتعرف التلقائي على خصائص الكود وتوليد الأدلة المنطقية.
أثناء تعزيز تنفيذ الإنجازات الأكاديمية ، أولى Gu Ronghui دائما اهتماما وثيقا بالتهديدات الجديدة التي تواجه الصناعة. وردا على المخاوف من أن "أجهزة الكمبيوتر العملاقة أو الحوسبة الكمومية قد تهدد أمن بلوكتشين"، اعترف بأن مثل هذه التقنيات تنطوي على مخاطر محتملة، لكنها لا تزال غير كافية لتشكل تهديدا حقيقيا في هذه المرحلة. قال قو: "إن قدرات أجهزة الكمبيوتر العملاقة ليست كافية لهزيمة أنظمة blockchain الحالية ، والأهم من ذلك ، أن الصناعة تقوم بالفعل ببناء خوارزميات مضادة للكم وآليات دفاع ، ومن الممكن الحصول على حلول ذات صلة". ”
تطبيقات الذكاء الاصطناعي: إعادة تشكيل مشهد أمان الويب 3
أكد Gu Ronghui في مقابلة خاصة أن الذكاء الاصطناعي يعيد تشكيل مشهد أمان البلوكتشين، وخاصة في تدقيق العقود الذكية وتحديد التهديدات على السلسلة، حيث أظهر إمكانيات كبيرة. "يمكن أن يؤدي التطبيق الصحيح للذكاء الاصطناعي إلى تحقيق تحسينات ملموسة في نظام أمان البلوكتشين."
وقال كذلك إن أبحاث CertiK تظهر أن السلوك الضار في مشاريع Web3 أصبح أكثر تعقيدا ، حيث تتمكن بعض برامج التصيد الاحتيالي من تتبع المستخدمين بمرور الوقت وتنفيذ عمليات احتيال مستهدفة. ولكن مع قدرة نماذج الذكاء الاصطناعي على التعرف بسرعة ، يمكن الآن تحديد هذه الهجمات والتعامل معها في غضون ساعات.
في الوقت الحالي، قامت CertiK بتطبيق الذكاء الاصطناعي على نطاق واسع في عمليات اكتشاف الثغرات والتدقيق. من خلال تحليل بيانات التحذير على السلسلة، تساعد في تحديد أسباب الثغرات ومسارات الهجوم؛ بينما يتم استخدام تقنيات الذكاء الاصطناعي لمسح أنماط الثغرات المعروفة، وتحليل منطق الشيفرة، وتوليد التقارير، مما يبني نظام تدقيق ذكي يتمحور حول "التعاون بين الإنسان والآلة"، ويوفر دعماً رياضياً موثوقاً ورفع الكفاءة لفرق التدقيق البشرية.
لكن مع تزايد انتشار تطبيقات الذكاء الاصطناعي، يمكن للمهاجمين أيضًا استغلالها لتعزيز وسائل الهجوم. يرى قو رونغ هوي أن هذا يعني أن عتبة مواجهة الأمان قد ارتفعت، وأن الصناعة بحاجة إلى حلول أمان أقوى.
الرؤية التقنية: توسيع حدود الثقة في Web3
يعتقد غو رونغ هوي دائمًا أن المرحلة التالية من تطور الويب 3 ستنتقل من "القابل للاستخدام" إلى "الموثوق به". الكفاءة والابتكار ليسا النهاية، بل المسؤولية والثقة هي القيمة الأساسية لتطور التكنولوجيا. فقط من خلال تضمين آليات أمان قابلة للتحقق، يمكن أن تصبح البلوكتشين حقًا بنية تحتية مالية عالمية موثوقة.
هذه هي المهمة التي تمسكت بها CertiK منذ تأسيسها - مع التركيز على التحليل الرسمي ، لتطوير نظام منتجات أمان شامل يغطي جميع مراحل الحياة مثل حاضنات الاستثمار ، تدقيق الأمان ، واستشارات الامتثال ، لتوفير أمان يمكن التحقق منه للمشاريع ، ولتحديد معايير أمان أعلى في الصناعة.
بالنسبة لجو رونغ هوي، ليست هذه مجرد استراتيجية للشركات، بل هي أيضًا خيار للحياة. من الدراسة في ييل إلى التدريس في كولومبيا، ومن البحث الأكاديمي إلى الممارسة الريادية، ظل يركز دائمًا على تحويل التحقق الرسمي من النظرية إلى حجر الأساس للممارسة، مدفوعًا بالتكنولوجيا لبناء الثقة في الصناعة.
بصفته أستاذًا في جامعة كولومبيا والرئيس التنفيذي لشركة CertiK، يركز قوه رينغ هوي على حماية أمان Web3 عبر مجالي الأكاديمية والأعمال. لقد ذكر أن فلسفته التعليمية متجذرة في دمج الرؤى الواقعية في المناقشات الأكاديمية، بهدف بناء أساس من الفهم والقدرة للجيل الجديد في مجال الأمن السيبراني.
"ضمان أمان Web3 ليس مجرد تحد تقني، بل هو أيضًا مسؤولية اجتماعية." صرح قوه رونغ هوي مرارًا وتكرارًا، "هدفنا هو جعل هذه الصناعة أكثر أمانًا وأيضًا أكثر موثوقية."