CNBC phỏng vấn Gu Ronghui, đồng sáng lập CertiK: Từ xác minh chính thức đến trao quyền AI, chúng tôi tiếp tục mở rộng ranh giới của niềm tin Web3

Gần đây, Gu Ronghui, đồng sáng lập CertiK và giáo sư tại Đại học Columbia, đã được CNBC Arabia, một phương tiện truyền thông tài chính nổi tiếng thế giới phỏng vấn và chia sẻ những hiểu biết sâu sắc của mình về tương lai của bảo mật Web3 về các chủ đề như ứng dụng xác minh chính thức trong ngành, vai trò của AI trong bảo mật blockchain và rủi ro của các công nghệ mới nổi.

Gu Ronghui nói rằng xác minh chính thức là chìa khóa để xây dựng nền tảng bảo mật của blockchain và vai trò của nó là xác minh toán học xem hành vi mã có phù hợp với logic mong đợi hay không. Cách tiếp cận này nghiêm ngặt và thách thức hơn so với các công cụ kiểm toán truyền thống. Ông đã nhiều lần nhấn mạnh rằng bản chất của blockchain không chỉ là đổi mới công nghệ mà còn là việc tái tạo niềm tin, và một hệ thống thực sự đáng tin cậy phải có thể kiểm chứng được.

Xác minh chính thức: Xây dựng cơ sở bảo mật blockchain

như một phương pháp kiểm toán có ngưỡng cao, cường độ cao đòi hỏi sự tích lũy kỹ thuật chuyên sâu và hiểu biết về logic cơ bản. Gu Ronghui đã chỉ ra trong một cuộc phỏng vấn độc quyền 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 bảo mật và khả năng kiểm soát của blockchain.

Mối liên hệ của ông với xác minh chính thức có thể bắt nguồn từ các nghiên cứu của ông. Năm 2016, ông hợp tác với giáo sư Shao Zhong của Đại học Yale để phát triển thành công nhân hệ điều hành đa lõi được xác nhận chính thức đầu tiên trên thế giới, CertiKOS, được Google đánh giá là không thể phá vỡ. Thành tựu này không chỉ xác minh việc ứng dụng công nghệ trong thế giới thực mà còn đặt nền móng cho nó đi vào thực tiễn ngành.

Kể từ đó, Gu Ronghui thành lập CertiK vào năm 2017 để mang lại xác minh chính thức cho bối cảnh blockchain. Ngày nay, công nghệ này được sử 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à bảo mật, cũng như các tổ chức tài chính lớn như Ant Group. Trong một cuộc phỏng vấn độc quyền, Gu Ronghui cho biết để nâng cao hiệu quả xác minh chính thức, CertiK đã xây dựng các công cụ phụ trợ như phân tích thông minh AI, có thể được sử dụng để tự động xác định các tính năng mã và tạo bằng chứng logic.

Trong khi thúc đẩy việc thực hiện các thành tích học tập, Gu Ronghui luôn chú ý đến những mối đe dọa mới mà ngành phải đối mặt. Đáp lại những lo ngại rằng "siêu máy tính hoặc điện toán lượng tử có thể đe dọa an ninh blockchain", ông thừa nhận rằng những công nghệ như vậy có những rủi ro tiềm ẩn, nhưng chúng vẫn chưa đủ để gây ra mối đe dọa thực sự ở giai đoạn này. "Khả năng của siêu máy tính không đủ để phá vỡ hệ thống blockchain hiện có", Gu nói, "Quan trọng hơn, ngành công nghiệp đã tích cực xây dựng các thuật toán chống lượng tử và cơ chế phòng thủ, và có thể có các giải pháp liên quan".

Trong cuộc phỏng vấn độc quyền của mình, Gu Ronghui nhấn mạnh rằng AI đang định hình lại bối cảnh bảo mật blockchain, đặc biệt là trong kiểm tra hợp đồng thông minh và xác định mối đe dọa trên chuỗi, và rằng "ứng dụng chính xác của AI có thể mang lại những cải tiến đáng kể cho hệ thống bảo mật blockchain". Ông

nói thêm rằng nghiên cứu của CertiK cho thấy các chiến thuật độc hại trong các dự án Web3 ngày càng trở nên tinh vi, với một số chương trình lừa đảo có thể theo dõi người dùng theo thời gian và thực hiện các trò lừa đảo có mục tiêu. Nhưng với khả năng của các mô hình AI để nhanh chóng xác định và giải quyết các cuộc tấn công như vậy ngày nay, giờ đây chúng có thể được xác định và xử lý trong vòng vài giờ.

Ngày nay, CertiK đã áp dụng AI vào một loạt các quy trình khai thác và kiểm tra lỗ hổng bảo mật. Bằng cách phân tích dữ liệu cảnh báo sớm trên chuỗi, nó hỗ trợ xác định nguyên nhân của lỗ hổng và đường dẫn tấn công. Đồng thời, công nghệ AI được sử dụng để quét các mẫu lỗ hổng đã biết, phân tích logic mã và tạo báo cáo, đồng thời xây dựng hệ thống kiểm toán thông minh với "cộng tác giữa người và máy" là cốt lõi, cung cấp hỗ trợ toán học đáng tin cậy và hiệu quả cho nhóm kiểm toán thủ công.

Nhưng khi các ứng dụng AI trở nên phổ biến hơn, những kẻ tấn công cũng có thể sử dụng nó như một vectơ tấn công cứng rắn. Gu Ronghui tin rằng điều này có nghĩa là ngưỡng đối đầu an ninh đã được nâng lên và ngành công nghiệp cần các giải pháp an ninh mạnh mẽ hơn.

Tầm nhìn kỹ thuật: Mở rộng ranh giới của Web3 TrustGu

Ronghui luôn tin rằng giai đoạn phát triển Web3 tiếp theo sẽ chuyển từ "có sẵn" sang "đáng tin cậy". Hiệu quả và đổi mới không phải là kết thúc, trách nhiệm và niềm tin là giá trị cốt lõi của sự phát triển công nghệ. Chỉ bằng cách nhúng các cơ chế bảo mật có thể xác minh thì blockchain mới thực sự trở thành một 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 Gu Ronghui, đây không chỉ là một chiến lược của công ty, mà còn là một lựa chọn cuộc sống. Từ Yale đến Columbia, từ nghiên cứu học thuật đến thực tiễn kinh doanh, ông luôn tập trung vào việc chuyển đổi xác minh chính thức từ lý thuyết sang thực tiễn và sử dụng công nghệ để thúc đẩy niềm tin của ngành.

Là giáo sư tại Đại học Columbia và Giám đốc điều hành của CertiK, Ronghui Gu trải qua cả thế giới học thuật và kinh doanh, nhưng mục tiêu của anh ấy luôn là bảo mật Web3. Ông đã đề cập rằng triết lý giảng dạy của ông bắt nguồn từ việc tích hợp những hiểu biết sâu sắc trong thế giới thực 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à năng lực cho thế hệ tiếp theo trong lĩnh vực an ninh mạng.

"Đảm bảo tính bảo mật của Web3 không chỉ là thách thức kỹ thuật mà còn là trách nhiệm xã hội." Gu Ronghui đã công khai tuyên bố nhiều lần, "Mục tiêu của chúng tôi là làm cho ngành công nghiệp này an toàn và đáng tin cậy hơn." "