เมื่อเร็วๆ นี้ Ronghui Gu ผู้ก่อตั้งร่วมของ CertiK และศาสตราจารย์จากมหาวิทยาลัยโคลัมเบีย ได้รับสัมภาษณ์โดย CNBC Arabia ซึ่งเป็นสื่อทางการเงินที่มีชื่อเสียงระดับโลก เขาได้แบ่งปันข้อมูลเชิงลึกของเขาเกี่ยวกับอนาคตของระบบรักษาความปลอดภัย Web3 ในหัวข้อต่างๆ เช่น การประยุกต์ใช้การตรวจสอบอย่างเป็นทางการในอุตสาหกรรม บทบาทของ AI ในความปลอดภัยของบล็อคเชน และความเสี่ยงของเทคโนโลยีใหม่ๆ
Gu Ronghui กล่าวว่าการตรวจสอบอย่างเป็นทางการถือเป็นกุญแจสำคัญในการสร้างรากฐานด้านความปลอดภัยของบล็อคเชน บทบาทของมันคือการใช้วิธีทางคณิตศาสตร์เพื่อตรวจสอบว่าพฤติกรรมของโค้ดสอดคล้องกับตรรกะที่คาดหวังหรือไม่ แนวทางนี้มีความเข้มงวดและท้าทายมากกว่าเครื่องมือตรวจสอบแบบเดิม เขาเน้นย้ำซ้ำแล้วซ้ำเล่าว่าสาระสำคัญของบล็อคเชนไม่ได้เป็นเพียงนวัตกรรมทางเทคโนโลยีเท่านั้น แต่ยังรวมถึงการสร้างความไว้วางใจขึ้นมาใหม่ด้วย และระบบที่เชื่อถือได้อย่างแท้จริงจะต้องสามารถตรวจสอบได้
การตรวจสอบอย่างเป็นทางการ: การสร้างรากฐานที่ปลอดภัยสำหรับบล็อคเชน
การตรวจสอบอย่างเป็นทางการเป็นวิธีการตรวจสอบที่มีเกณฑ์สูงและความเข้มข้นสูง ซึ่งต้องมีการสะสมทางเทคนิคอย่างเจาะลึกและความเข้าใจในตรรกะพื้นฐาน Gu Ronghui ชี้ให้เห็นในการสัมภาษณ์พิเศษว่าถึงแม้วิธีนี้จะซับซ้อน แต่ก็มีข้อได้เปรียบที่ไม่สามารถทดแทนได้ในการรับรองความปลอดภัยและการควบคุมของบล็อคเชน
ความเชื่อมโยงของเขากับการตรวจสอบอย่างเป็นทางการสามารถสืบย้อนกลับไปได้ถึงสมัยเรียนหนังสือของเขา ในปี 2016 เขาได้ร่วมมือกับศาสตราจารย์ Shao Zhong จากมหาวิทยาลัยเยล เพื่อพัฒนา CertiKOS ซึ่งเป็นเคอร์เนลระบบปฏิบัติการแบบมัลติคอร์ที่ได้รับการยืนยันอย่างเป็นทางการตัวแรกของโลกได้สำเร็จ ซึ่งได้รับการจัดอันดับว่าไม่สามารถทำลายได้โดย Google ความสำเร็จนี้ไม่เพียงแต่ตรวจยืนยันการประยุกต์ใช้เทคโนโลยีนี้ในโลกแห่งความเป็นจริงเท่านั้น แต่ยังวางรากฐานสำหรับการเข้าสู่การปฏิบัติในอุตสาหกรรมอีกด้วย
ต่อมา Gu Ronghui ได้ก่อตั้ง CertiK ในปี 2017 เพื่อนำการตรวจสอบอย่างเป็นทางการมาใช้ในสถานการณ์บล็อคเชน ปัจจุบันเทคโนโลยีนี้ถูกนำมาใช้กันอย่างแพร่หลายในโครงการชั้นนำหลายแห่งที่มุ่งเน้นด้านความเป็นส่วนตัวและความปลอดภัย เช่น ZK รวมถึงสถาบันการเงินขนาดใหญ่ เช่น Ant Group Gu Ronghui กล่าวในการสัมภาษณ์พิเศษว่าเพื่อปรับปรุงประสิทธิภาพของการตรวจสอบอย่างเป็นทางการ CertiK จึงได้สร้างเครื่องมือเสริม เช่น การวิเคราะห์อัจฉริยะของ AI เพื่อระบุคุณลักษณะของโค้ดโดยอัตโนมัติและสร้างหลักฐานเชิงตรรกะ
นอกจากจะส่งเสริมการนำความสำเร็จทางวิชาการไปใช้ Gu Ronghui ยังให้ความสนใจอย่างใกล้ชิดต่อภัยคุกคามใหม่ๆ ที่อุตสาหกรรมต้องเผชิญอีกด้วย เพื่อตอบสนองต่อความกังวลว่า “ซูเปอร์คอมพิวเตอร์หรือคอมพิวเตอร์ควอนตัมอาจเป็นภัยคุกคามต่อความปลอดภัยของบล็อคเชน” เขาได้ยอมรับว่าเทคโนโลยีดังกล่าวมีความเสี่ยงที่อาจเกิดขึ้นได้ แต่ในขั้นนี้ยังไม่เพียงพอที่จะก่อให้เกิดภัยคุกคามที่แท้จริง “ซูเปอร์คอมพิวเตอร์ไม่มีพลังเพียงพอที่จะเจาะเข้าไปยังระบบบล็อคเชนที่มีอยู่ได้” Gu Ronghui กล่าว “ที่สำคัญกว่านั้น อุตสาหกรรมกำลังสร้างอัลกอริทึมต่อต้านควอนตัมและกลไกการป้องกันอย่างแข็งขัน ดังนั้นจึงเป็นไปได้ที่จะมีโซลูชันที่เกี่ยวข้อง”
แอปพลิเคชัน AI: การปรับเปลี่ยนภูมิทัศน์ด้านความปลอดภัยของ Web3
Gu Ronghui เน้นย้ำในการสัมภาษณ์ว่า AI กำลังปรับเปลี่ยนภูมิทัศน์ด้านความปลอดภัยของบล็อคเชน โดยเฉพาะอย่างยิ่งในการตรวจสอบสัญญาอัจฉริยะและการระบุภัยคุกคามบนเชน และได้แสดงให้เห็นถึงศักยภาพที่ยอดเยี่ยม “การประยุกต์ใช้ AI อย่างถูกต้องจะช่วยปรับปรุงระบบความปลอดภัยของบล็อคเชนได้อย่างมาก”
เขากล่าวต่อไปว่าการวิจัยของ CertiK แสดงให้เห็นว่าพฤติกรรมที่เป็นอันตรายในโครงการ Web3 กำลังกลายเป็นเรื่องซับซ้อนมากขึ้นเรื่อยๆ และโครงการฟิชชิ่งบางโครงการสามารถติดตามผู้ใช้ได้เป็นเวลานานและดำเนินการฉ้อโกงที่ชัดเจน อย่างไรก็ตาม ด้วยความสามารถในการจดจำที่รวดเร็วของโมเดล AI ปัจจุบันการโจมตีประเภทดังกล่าวสามารถระบุได้และจัดการได้ภายในไม่กี่ชั่วโมง
ปัจจุบัน CertiK ได้นำ AI มาประยุกต์ใช้อย่างแพร่หลายในการค้นหาช่องโหว่และกระบวนการตรวจสอบ โดยการวิเคราะห์ข้อมูลคำเตือนแบบออนไลน์ เราสามารถช่วยระบุสาเหตุของช่องโหว่และเส้นทางการโจมตีได้ ในเวลาเดียวกัน เราใช้เทคโนโลยี AI ในการสแกนรูปแบบช่องโหว่ที่ทราบ วิเคราะห์ตรรกะของโค้ด และสร้างรายงาน เพื่อสร้างระบบตรวจสอบอัจฉริยะโดยมี ความร่วมมือระหว่างมนุษย์กับเครื่องจักร เป็นแกนหลัก โดยให้การสนับสนุนทางคณิตศาสตร์ที่เชื่อถือได้ และโบนัสประสิทธิภาพสำหรับทีมตรวจสอบด้วยตนเอง
อย่างไรก็ตาม เนื่องจากแอปพลิเคชัน AI ได้รับความนิยมมากขึ้นเรื่อยๆ ผู้โจมตียังสามารถใช้แอปพลิเคชันเหล่านี้เพื่อปรับปรุงวิธีการโจมตีได้อีกด้วย Gu Ronghui เชื่อว่านี่หมายความว่าเกณฑ์สำหรับการเผชิญหน้าด้านความปลอดภัยได้รับการยกระดับขึ้นแล้ว และอุตสาหกรรมต้องการโซลูชันด้านความปลอดภัยที่ทรงพลังยิ่งขึ้น
วิสัยทัศน์ทางเทคนิค: การขยายขอบเขตความน่าเชื่อถือของ Web3
Gu Ronghui เชื่อมั่นเสมอมาว่าขั้นตอนถัดไปของการพัฒนา Web3 จะเป็นจาก ใช้งานได้ ไปสู่ เชื่อถือได้ ประสิทธิภาพและนวัตกรรมไม่ใช่จุดสิ้นสุด ความรับผิดชอบและความไว้วางใจเป็นคุณค่าหลักของวิวัฒนาการทางเทคโนโลยี บล็อคเชนสามารถกลายเป็นโครงสร้างพื้นฐานทางการเงินระดับโลกที่น่าเชื่อถือได้อย่างแท้จริงโดยการฝังกลไกความปลอดภัยที่ตรวจสอบได้เท่านั้น
นี่เป็นภารกิจที่ CertiK ยึดถือมาตั้งแต่ก่อตั้งบริษัท โดยมีการตรวจสอบอย่างเป็นทางการเป็นแกนหลัก สร้างระบบผลิตภัณฑ์ด้านความปลอดภัยที่ครอบคลุมวงจรชีวิตทั้งหมด รวมถึงการบ่มเพาะการลงทุน การตรวจสอบความปลอดภัย การให้คำปรึกษาด้านการปฏิบัติตามข้อกำหนด ฯลฯ พร้อมทั้งให้ความปลอดภัยที่ตรวจสอบได้สำหรับโครงการ และกำหนดมาตรฐานความปลอดภัยที่สูงขึ้นสำหรับอุตสาหกรรม
สำหรับ Gu Ronghui นี่ไม่ใช่แค่กลยุทธ์ทางธุรกิจเท่านั้น แต่ยังเป็นทางเลือกในชีวิตอีกด้วย จากการศึกษาที่เยลไปจนถึงการสอนที่โคลัมเบีย จากการวิจัยในเชิงวิชาการสู่การปฏิบัติด้านผู้ประกอบการ เขามุ่งเน้นเสมอมาที่การเปลี่ยนการตรวจสอบอย่างเป็นทางการจากทฤษฎีให้กลายเป็นรากฐานเชิงปฏิบัติ โดยใช้เทคโนโลยีเพื่อสร้างความไว้วางใจในอุตสาหกรรม
ในฐานะศาสตราจารย์ที่มหาวิทยาลัยโคลัมเบียและซีอีโอของ CertiK Gu Ronghui ครอบคลุม 2 สาขาหลัก ได้แก่ แวดวงวิชาการและธุรกิจ แต่เป้าหมายของเขาคือการปกป้องความปลอดภัยของ Web3 เสมอ ครั้งหนึ่งเขาเคยกล่าวว่าปรัชญาการสอนของเขามีรากฐานมาจากการบูรณาการข้อมูลเชิงลึกจากโลกแห่งความเป็นจริงเข้ากับการอภิปรายทางวิชาการ โดยมุ่งหวังที่จะสร้างรากฐานทางความรู้และความสามารถสำหรับคนรุ่นใหม่ในสาขาวิชาการรักษาความปลอดภัยทางไซเบอร์
Gu Ronghui เคยกล่าวต่อสาธารณะหลายครั้งว่า “การรับประกันความปลอดภัยของ Web3 ไม่เพียงแต่เป็นความท้าทายทางเทคนิคเท่านั้น แต่ยังเป็นความรับผิดชอบต่อสังคมอีกด้วย เป้าหมายของเราคือการทำให้ภาคอุตสาหกรรมนี้ปลอดภัยและน่าเชื่อถือมากยิ่งขึ้น”
