Gần đây, đồng sáng lập CertiK, giáo sư Gu Ronghui từ Đại học Columbia đã tham gia phỏng vấn độc quyền với kênh CNBC Ả Rập, chia sẻ những hiểu biết sâu sắc của ông về tương lai an toàn của Web3 xoay quanh các ứng dụng trong ngành của xác minh chính thức, vai trò của AI trong an ninh blockchain, cũng như các rủi ro công nghệ mới nổi.
Ông Cố Vinh Huy cho biết, xác minh chính thức là yếu tố then chốt trong việc xây dựng nền tảng an toàn cho blockchain, với vai trò là xác minh hành vi mã bằng các phương pháp toán học có phù hợp với logic dự kiến hay không. Phương pháp này nghiêm ngặt hơn các công cụ kiểm toán truyền thống và cũng thách thức hơn. Ông đã nhiều lần nhấn mạnh, bản chất của blockchain không chỉ là đổi mới công nghệ, mà còn là tái cấu trúc niềm tin, và một hệ thống thực sự đáng tin cậy phải có thể được xác minh.
Xác minh chính thức: Xây dựng nền tảng an ninh Blockchain
Xác minh chính thức như một phương pháp kiểm toán có yêu cầu cao và cường độ cao, đòi hỏi sự tích lũy kỹ thuật sâu sắc và sự hiểu biết về logic cơ bản. Cố vấn Gu Ronghui trong cuộc phỏng vấn chỉ ra rằng, mặc dù phương pháp này phức tạp, nhưng nó có những lợi thế không thể thay thế trong việc đảm bảo tính an toàn và khả năng kiểm soát của Blockchain.
Ông có mối liên hệ với xác minh chính thức có thể truy ngược về giai đoạn học tập của mình. Năm 2016, ông đã hợp tác với giáo sư Shao Zhong từ Đại học Yale, thành công phát triển hạt nhân hệ điều hành đa nhân hoàn toàn được xác minh chính thức đầu tiên trên thế giới là CertiKOS, và được Google đánh giá là không thể phá vỡ (Unbreakable). Thành tựu này không chỉ xác minh vai trò ứng dụng của công nghệ này trong thế giới thực, mà còn đặt nền tảng cho việc áp dụng vào thực tiễn ngành.
Sau đó, vào năm 2017, Cụ Vinh Huy đã thành lập CertiK, đưa xác minh chính thức vào bối cảnh blockchain. Ngày nay, công nghệ này đã được áp dụng rộng rãi trong nhiều dự án hàng đầu như ZK tập trung vào quyền riêng tư và an ninh, cũng như các tổ chức tài chính lớn như Tập đoàn Ant. Trong một cuộc phỏng vấn, Cụ Vinh Huy cho biết để nâng cao hiệu quả xác minh chính thức, CertiK hiện đã xây dựng các công cụ hỗ trợ như phân tích thông minh AI, sử dụng để tự động nhận diện đặc điểm mã và tạo ra chứng cứ logic.
Trong khi thúc đẩy việc hiện thực hóa các thành tựu học thuật, Cố Huỳnh Huy cũng luôn theo dõi chặt chẽ những mối đe dọa mới mà ngành đang phải đối mặt. Đối với mối lo ngại "siêu máy tính hoặc máy tính lượng tử có thể đe dọa đến an ninh Blockchain", ông thừa nhận rằng những công nghệ này có tiềm năng rủi ro, nhưng ở giai đoạn hiện tại vẫn chưa đủ để tạo thành mối đe dọa thực sự. "Khả năng của siêu máy tính hiện vẫn chưa đủ để phá vỡ hệ thống Blockchain hiện tại", Cố Huỳnh Huy cho rằng, "quan trọng hơn là ngành đang tích cực xây dựng các thuật toán kháng lượng tử và cơ chế phòng thủ, việc có các giải pháp liên quan là khả thi."
Ứng dụng AI: Tái định hình bối cảnh an ninh Web3
Ông Cố vinh huy trong cuộc phỏng vấn đã nhấn mạnh rằng AI đang định hình lại bức tranh an ninh của Blockchain, đặc biệt là trong việc kiểm toán hợp đồng thông minh và nhận diện mối đe dọa trên chuỗi, đã thể hiện tiềm năng to lớn, "Việc áp dụng đúng AI có thể mang lại những cải tiến thực chất cho hệ thống an ninh Blockchain."
Ông cho biết thêm, nghiên cứu của CertiK cho thấy, các phương thức hành vi độc hại trong các dự án Web3 ngày càng phức tạp, một số dự án lừa đảo có thể theo dõi người dùng trong thời gian dài và thực hiện lừa đảo chính xác. Tuy nhiên, nhờ vào khả năng nhận diện nhanh chóng của mô hình AI, các cuộc tấn công như vậy hiện nay thường có thể được nhận diện và xử lý trong vài giờ.
Hiện tại, CertiK đã áp dụng rộng rãi AI vào quy trình khai thác và kiểm toán lỗ hổng. Thông qua việc phân tích dữ liệu cảnh báo trên chuỗi, hỗ trợ xác định nguyên nhân và đường đi tấn công của lỗ hổng; đồng thời sử dụng công nghệ AI để quét các mẫu lỗ hổng đã biết, phân tích logic mã và tạo báo cáo, xây dựng một hệ thống kiểm toán thông minh với "hợp tác giữa người và máy" làm cốt lõi, cung cấp hỗ trợ toán học đáng tin cậy và gia tăng hiệu quả cho đội ngũ kiểm toán thủ công.
Nhưng với sự phổ biến ngày càng tăng của ứng dụng AI, kẻ tấn công cũng có thể tận dụng nó để củng cố các phương thức tấn công. Cố Vinh Huy cho rằng, điều này có nghĩa là ngưỡng chống an ninh đã được nâng cao, ngành cần các giải pháp an ninh mạnh mẽ hơn.
Tầm nhìn công nghệ: Mở rộng ranh giới niềm tin Web3
Cố Duy Huy luôn cho rằng, giai đoạn tiếp theo của sự phát triển Web3 sẽ chuyển từ "có thể sử dụng" sang "đáng tin cậy". Hiệu suất và đổi mới không phải là điểm kết thúc, mà trách nhiệm và niềm tin mới là giá trị cốt lõi của sự tiến hóa công nghệ. Chỉ khi nào tích hợp các cơ chế an toàn có thể xác minh, Blockchain mới thực sự trở thành cơ sở hạ tầng tài chính toàn cầu đáng tin cậy.
Đây chính xác là sứ mệnh mà CertiK đã tuân thủ ngay từ khi thành lập - xây dựng một hệ thống sản phẩm bảo mật bao gồm toàn bộ vòng đời ươm tạo đầu tư, kiểm toán bảo mật, tư vấn tuân thủ, v.v., lấy xác minh chính thức làm cốt lõi, cung cấp bảo mật có thể kiểm chứng cho các dự án và đặt ra các tiêu chuẩn bảo mật cao hơn cho ngành.
Đối với Cố Vinh Huy, đây không chỉ là chiến lược doanh nghiệp, mà còn là lựa chọn cuộc đời. Từ việc học tập tại Yale đến giảng dạy tại Columbia, từ nghiên cứu học thuật đến thực hành khởi nghiệp, ông luôn tập trung vào việc biến xác minh chính thức từ lý thuyết thành nền tảng thực tiễn, để công nghệ thúc đẩy niềm tin trong ngành.
Là giáo sư tại Đại học Columbia và Giám đốc điều hành của CertiK, Cố Nhất Huy đã hoạt động trên hai lĩnh vực học thuật và thương mại, nhưng mục tiêu của ông luôn tập trung vào việc bảo vệ an ninh Web3. Ông từng đề cập đến triết lý giảng dạy của mình được dựa trên việc tích hợp những hiểu biết thực tế vào các cuộc thảo luận học thuật, nhằm xây dựng nền tảng nhận thức và khả năng cho thế hệ mới trong lĩnh vực an ninh mạng.
“Bảo đảm an ninh cho Web3 không chỉ là một thách thức công nghệ, mà còn là một trách nhiệm xã hội.” Cố Vinh Huy đã nhiều lần công khai tuyên bố, “Mục tiêu của chúng tôi là làm cho ngành này an toàn hơn và đáng tin cậy hơn.”
Nội dung chỉ mang tính chất tham khảo, không phải là lời chào mời hay đề nghị. Không cung cấp tư vấn về đầu tư, thuế hoặc pháp lý. Xem Tuyên bố miễn trừ trách nhiệm để biết thêm thông tin về rủi ro.
CNBC phỏng vấn Đồng sáng lập CertiK, ông Cát Vinh Huy: Từ xác minh chính thức đến AI, liên tục mở rộng ranh giới niềm tin Web3
Gần đây, đồng sáng lập CertiK, giáo sư Gu Ronghui từ Đại học Columbia đã tham gia phỏng vấn độc quyền với kênh CNBC Ả Rập, chia sẻ những hiểu biết sâu sắc của ông về tương lai an toàn của Web3 xoay quanh các ứng dụng trong ngành của xác minh chính thức, vai trò của AI trong an ninh blockchain, cũng như các rủi ro công nghệ mới nổi.
Ông Cố Vinh Huy cho biết, xác minh chính thức là yếu tố then chốt trong việc xây dựng nền tảng an toàn cho blockchain, với vai trò là xác minh hành vi mã bằng các phương pháp toán học có phù hợp với logic dự kiến hay không. Phương pháp này nghiêm ngặt hơn các công cụ kiểm toán truyền thống và cũng thách thức hơn. Ông đã nhiều lần nhấn mạnh, bản chất của blockchain không chỉ là đổi mới công nghệ, mà còn là tái cấu trúc niềm tin, và một hệ thống thực sự đáng tin cậy phải có thể được xác minh.
Xác minh chính thức: Xây dựng nền tảng an ninh Blockchain
Xác minh chính thức như một phương pháp kiểm toán có yêu cầu cao và cường độ cao, đòi hỏi sự tích lũy kỹ thuật sâu sắc và sự hiểu biết về logic cơ bản. Cố vấn Gu Ronghui trong cuộc phỏng vấn chỉ ra rằng, mặc dù phương pháp này phức tạp, nhưng nó có những lợi thế không thể thay thế trong việc đảm bảo tính an toàn và khả năng kiểm soát của Blockchain.
Ông có mối liên hệ với xác minh chính thức có thể truy ngược về giai đoạn học tập của mình. Năm 2016, ông đã hợp tác với giáo sư Shao Zhong từ Đại học Yale, thành công phát triển hạt nhân hệ điều hành đa nhân hoàn toàn được xác minh chính thức đầu tiên trên thế giới là CertiKOS, và được Google đánh giá là không thể phá vỡ (Unbreakable). Thành tựu này không chỉ xác minh vai trò ứng dụng của công nghệ này trong thế giới thực, mà còn đặt nền tảng cho việc áp dụng vào thực tiễn ngành.
Sau đó, vào năm 2017, Cụ Vinh Huy đã thành lập CertiK, đưa xác minh chính thức vào bối cảnh blockchain. Ngày nay, công nghệ này đã được áp dụng rộng rãi trong nhiều dự án hàng đầu như ZK tập trung vào quyền riêng tư và an ninh, cũng như các tổ chức tài chính lớn như Tập đoàn Ant. Trong một cuộc phỏng vấn, Cụ Vinh Huy cho biết để nâng cao hiệu quả xác minh chính thức, CertiK hiện đã xây dựng các công cụ hỗ trợ như phân tích thông minh AI, sử dụng để tự động nhận diện đặc điểm mã và tạo ra chứng cứ logic.
Trong khi thúc đẩy việc hiện thực hóa các thành tựu học thuật, Cố Huỳnh Huy cũng luôn theo dõi chặt chẽ những mối đe dọa mới mà ngành đang phải đối mặt. Đối với mối lo ngại "siêu máy tính hoặc máy tính lượng tử có thể đe dọa đến an ninh Blockchain", ông thừa nhận rằng những công nghệ này có tiềm năng rủi ro, nhưng ở giai đoạn hiện tại vẫn chưa đủ để tạo thành mối đe dọa thực sự. "Khả năng của siêu máy tính hiện vẫn chưa đủ để phá vỡ hệ thống Blockchain hiện tại", Cố Huỳnh Huy cho rằng, "quan trọng hơn là ngành đang tích cực xây dựng các thuật toán kháng lượng tử và cơ chế phòng thủ, việc có các giải pháp liên quan là khả thi."
Ứng dụng AI: Tái định hình bối cảnh an ninh Web3
Ông Cố vinh huy trong cuộc phỏng vấn đã nhấn mạnh rằng AI đang định hình lại bức tranh an ninh của Blockchain, đặc biệt là trong việc kiểm toán hợp đồng thông minh và nhận diện mối đe dọa trên chuỗi, đã thể hiện tiềm năng to lớn, "Việc áp dụng đúng AI có thể mang lại những cải tiến thực chất cho hệ thống an ninh Blockchain."
Ông cho biết thêm, nghiên cứu của CertiK cho thấy, các phương thức hành vi độc hại trong các dự án Web3 ngày càng phức tạp, một số dự án lừa đảo có thể theo dõi người dùng trong thời gian dài và thực hiện lừa đảo chính xác. Tuy nhiên, nhờ vào khả năng nhận diện nhanh chóng của mô hình AI, các cuộc tấn công như vậy hiện nay thường có thể được nhận diện và xử lý trong vài giờ.
Hiện tại, CertiK đã áp dụng rộng rãi AI vào quy trình khai thác và kiểm toán lỗ hổng. Thông qua việc phân tích dữ liệu cảnh báo trên chuỗi, hỗ trợ xác định nguyên nhân và đường đi tấn công của lỗ hổng; đồng thời sử dụng công nghệ AI để quét các mẫu lỗ hổng đã biết, phân tích logic mã và tạo báo cáo, xây dựng một hệ thống kiểm toán thông minh với "hợp tác giữa người và máy" làm cốt lõi, cung cấp hỗ trợ toán học đáng tin cậy và gia tăng hiệu quả cho đội ngũ kiểm toán thủ công.
Nhưng với sự phổ biến ngày càng tăng của ứng dụng AI, kẻ tấn công cũng có thể tận dụng nó để củng cố các phương thức tấn công. Cố Vinh Huy cho rằng, điều này có nghĩa là ngưỡng chống an ninh đã được nâng cao, ngành cần các giải pháp an ninh mạnh mẽ hơn.
Tầm nhìn công nghệ: Mở rộng ranh giới niềm tin Web3
Cố Duy Huy luôn cho rằng, giai đoạn tiếp theo của sự phát triển Web3 sẽ chuyển từ "có thể sử dụng" sang "đáng tin cậy". Hiệu suất và đổi mới không phải là điểm kết thúc, mà trách nhiệm và niềm tin mới là giá trị cốt lõi của sự tiến hóa công nghệ. Chỉ khi nào tích hợp các cơ chế an toàn có thể xác minh, Blockchain mới thực sự trở thành cơ sở hạ tầng tài chính toàn cầu đáng tin cậy.
Đây chính xác là sứ mệnh mà CertiK đã tuân thủ ngay từ khi thành lập - xây dựng một hệ thống sản phẩm bảo mật bao gồm toàn bộ vòng đời ươm tạo đầu tư, kiểm toán bảo mật, tư vấn tuân thủ, v.v., lấy xác minh chính thức làm cốt lõi, cung cấp bảo mật có thể kiểm chứng cho các dự án và đặt ra các tiêu chuẩn bảo mật cao hơn cho ngành.
Đối với Cố Vinh Huy, đây không chỉ là chiến lược doanh nghiệp, mà còn là lựa chọn cuộc đời. Từ việc học tập tại Yale đến giảng dạy tại Columbia, từ nghiên cứu học thuật đến thực hành khởi nghiệp, ông luôn tập trung vào việc biến xác minh chính thức từ lý thuyết thành nền tảng thực tiễn, để công nghệ thúc đẩy niềm tin trong ngành.
Là giáo sư tại Đại học Columbia và Giám đốc điều hành của CertiK, Cố Nhất Huy đã hoạt động trên hai lĩnh vực học thuật và thương mại, nhưng mục tiêu của ông luôn tập trung vào việc bảo vệ an ninh Web3. Ông từng đề cập đến triết lý giảng dạy của mình được dựa trên việc tích hợp những hiểu biết thực tế vào các cuộc thảo luận học thuật, nhằm xây dựng nền tảng nhận thức và khả năng cho thế hệ mới trong lĩnh vực an ninh mạng.
“Bảo đảm an ninh cho Web3 không chỉ là một thách thức công nghệ, mà còn là một trách nhiệm xã hội.” Cố Vinh Huy đã nhiều lần công khai tuyên bố, “Mục tiêu của chúng tôi là làm cho ngành này an toàn hơn và đáng tin cậy hơn.”