Certik là gì?

CertiK là một công ty bảo mật Web3 được thành lập vào năm 2018. Công ty kiểm toán các hợp đồng thông minh và giao thức Blockchain, thực hiện xác minh hình thức và kiểm thử xâm nhập, giám sát các dự án đang hoạt động thông qua Skynet, đồng thời cung cấp các công cụ đánh giá rủi ro cho các dự án, sàn giao dịch, Ví, tổ chức, Nhà phát triển và nhà đầu tư muốn đánh giá rủi ro trên chuỗi. CertiK không phải là một nền tảng ứng dụng phi tập trung, cũng không phải là chuỗi từng được gọi là CertiK Chain.

Chuỗi đó đã được đổi tên thành ​Shentu Chain​. Coin của chuỗi vẫn là ​CTK​. Công ty CertiK và chuỗi Shentu có chung nguồn gốc. Tuy nhiên, hai bên không có chung bảng cân đối kế toán.

CertiK được thành lập bởi các nhà nghiên cứu khoa học máy tính từ Columbia và Yale. Công ty cũng cung cấp dịch vụ kiểm tra đội ngũ theo mô hình KYC, dịch vụ Proof of Reserves, các công cụ AI Auditor và một lớp chấm điểm, giám sát công khai. Bài viết này giải thích CertiK thực sự làm gì, cách công ty kiểm toán hợp đồng thông minh và chuỗi như thế nào, điểm số và hoạt động giám sát có thể cũng như không thể cho bạn biết điều gì, CertiK khác các đơn vị kiểm toán khác ra sao, và vì sao các vụ khai thác vẫn xảy ra sau kiểm toán. Tài liệu của công ty và nội dung do đối tác cung cấp trong năm 2026 cho biết quy mô hiện ở mức hàng nghìn khách hàng doanh nghiệp, hàng trăm tỷ USD tài sản được bao phủ bởi mã đã kiểm toán và hơn 100.000 phát hiện trong các hạng mục hợp tác. Những con số này thay đổi theo các trang tiếp thị. Huy hiệu kiểm toán không đảm bảo rằng một giao thức sẽ không bị khai thác về sau.

Điểm chính

• CertiK là một công ty bảo mật. Shentu Chain là một L1 dựa trên Cosmos. CTK là token Gas và quản trị của Shentu, không phải vốn chủ sở hữu của CertiK.
• Các sản phẩm cốt lõi hiện nay gồm: kiểm toán hợp đồng thông minh và L1/L2, kiểm thử chuỗi Grey Box, xác minh hình thức, bao gồm công cụ Spoq, điểm số và cảnh báo Skynet, AI Auditor, CertiK Skills dành cho các tác nhân lập trình, Proof of Reserves, KYC, tiền thưởng tìm lỗi và hoạt động của Trình xác thực.
• Skynet Score được sử dụng như một tín hiệu phân phối trên Ví, sàn giao dịch và các trang dữ liệu. Gate Wallet đã hiển thị Skynet Score trên các trang Earn. CertiK cũng đã hoàn tất một cuộc đánh giá Proof of Reserves cho Gate Dubai.
• Một cuộc kiểm toán hoặc điểm Skynet cao không có nghĩa là mã sẽ an toàn mãi mãi. Các số liệu Hack3D của CertiK vẫn cho thấy ngành này chịu tổn thất lớn ngay cả khi kiểm toán đã trở nên phổ biến.
• CTK được giao dịch dưới tên Shentu. Đừng mua token này với kỳ vọng token đại diện cho quyền hưởng doanh thu kiểm toán của CertiK.

Trạng thái dự án

Công ty. CertiK vẫn là một đơn vị kiểm toán thương mại quy mô lớn. Hoạt động phát triển sản phẩm trong năm 2026 bao gồm ​AI Auditor​ công khai, CertiK Skills tích hợp SkyInsights, Skylens và Skynet Score vào Claude Code, Codex và Cursor, Grey Box Chain Audit để phát hiện lỗi trong thời gian chạy, Skynet Enterprise dành cho các tổ chức, một ​dịch vụ Trình xác thực​ và các giải pháp tuân thủ AML/CTF dành cho VASP. Công ty cũng cho biết đã thiết lập quan hệ với cơ quan quản lý tại sáu quốc gia. CertiK đồng thời tuân thủ SOC 2® Type II và được chứng nhận ISO 27001. Các sản phẩm nghiên cứu vẫn bao gồm thống kê khai thác Hack3D và các báo cáo chính sách. Hack3D trong nửa đầu năm 2026 ghi nhận tổn thất của ngành vượt 1,31 tỷ USD qua 344 sự cố. Riêng tháng 8 năm 2026 được báo cáo ở mức khoảng 215 triệu USD.

Hãy xem các tuyên bố về quy mô là thông tin tiếp thị, không phải số liệu GAAP. Nội dung gần đây từ đối tác và tin tuyển dụng đề cập khoảng 4.900 – hơn 5.000 khách hàng, khoảng 557 – 600 tỷ USD tài sản gắn với mã đã kiểm toán, cùng 18.000 đến hơn 119.000 lỗ hổng, tùy theo từng trang và việc số liệu đếm các lỗi riêng biệt, các phát hiện hay các lần phát hiện trong lịch sử. Hãy sử dụng trang CertiK đang hoạt động để xem số liệu hiện tại.

Vốn. Các công cụ theo dõi công khai ước tính tổng vốn huy động ở mức gần 240 – 297 triệu USD. Vòng gọi vốn định giá gần nhất thường được trích dẫn đã định giá công ty ở mức khoảng 2 tỷ USD vào năm 2022. Các nhà đầu tư từng bao gồm Binance Labs, Sequoia, Coinbase Ventures, Tiger Global, SoftBank và các bên khác. Binance một lần nữa xuất hiện trong thông tin về cổ phần thiểu số doanh nghiệp vào tháng 1 năm 2026. CEO Ronghui Gu đã thảo luận về khả năng niêm yết công khai tại Davos, sau đó nói với CoinDesk rằng chưa có kế hoạch IPO cụ thể.

Vấn đề về độ tin cậy. Một báo cáo “sạch” của CertiK không thể ngăn chặn các vụ khai thác xảy ra sau đó ở một số khách hàng. Công ty cũng chịu sự chỉ trích công khai sau hoạt động liên quan đến một stablecoin có liên kết với Huione và sau khi OpenBounty, một sản phẩm tiền thưởng thuộc phía Shentu, bị cáo buộc chuyển báo cáo của các nền tảng khác qua hạ tầng mang thương hiệu CertiK. Những sự việc này rất đáng lưu ý nếu bạn xem một logo là hoạt động thẩm định.

Bối cảnh

CertiK ra mắt vào năm 2018 nhằm đưa xác minh hình thức học thuật vào lĩnh vực bảo mật Blockchain thương mại. Đồng sáng lập kiêm CEO Ronghui Gu có nền tảng từ công trình về hệ thống và xác minh tại Columbia, đồng thời từng tham gia các hội đồng cố vấn công nghệ, trong đó có MAS tại Singapore. Zhong Shao là đồng sáng lập học thuật còn lại thường được nhắc đến nhất trong câu chuyện khởi nguồn. Hãy xem các tiểu sử cũ có liệt kê thêm những lãnh đạo cấp C là thông tin đã lỗi thời, trừ khi trang đội ngũ CertiK hiện tại xác nhận.

Các khách hàng và hệ sinh thái ban đầu vẫn được liên kết với thương hiệu này bao gồm các L1 lớn và những tên tuổi DeFi như BNB Chain, Aptos, Polygon, Aave, cùng các tên tuổi xuất hiện trong nội dung tuyển dụng hiện tại như OKX, Tether, Ripple và PancakeSwap. Danh sách khách hàng là tài liệu bán hàng, không phải danh sách được cho phép.

Tính năng

• Kiểm toán hợp đồng thông minh. Đánh giá thủ công kết hợp với các lượt kiểm tra tự động và AI nhằm tăng cường tính ​an toàn​ cho các ​hệ thống phi tập trung​. Xác minh hình thức được cung cấp khi đặc tả đủ chặt chẽ để chứng minh.
• Kiểm toán chuỗi. Đánh giá giao thức L1/L2. Hoạt động Grey Box bổ sung việc tiêm lỗi và kiểm thử mạng trực tiếp, qua đó phát hiện những vấn đề mà việc đọc mã tĩnh có thể bỏ sót.
• Giám sát Skynet. Các tín hiệu trên chuỗi và ngoài chuỗi, cảnh báo, bảng xếp hạng và trang dự án cung cấp ​thông tin chuyên sâu về bảo mật​ ​theo thời gian thực​; hoạt động giám sát liên tục cũng theo dõi trạng thái bảo mật của dự án sau khi kiểm toán.
• Skynet Score. Điểm tổng hợp trên các phương diện mã, vận hành, thị trường, cộng đồng, quản trị và nền tảng cơ bản. Theo mô tả của CertiK, điểm này độc lập với bất kỳ mối quan hệ trả phí riêng lẻ nào. Tuy vậy, hãy xem đây là điểm số của nhà cung cấp, không phải xếp hạng của cơ quan quản lý.
• Xác minh hình thức. Các đặc tả và bằng chứng toán học, hiện được xử lý thông qua những công cụ như Spoq.
• AI Auditor và kỹ năng dành cho tác nhân. Các công cụ kiểm toán nội bộ được cung cấp công khai vào năm 2026; CertiK đã công bố các tuyên bố về tỷ lệ phát hiện trên một tập sự cố năm 2026. Hãy xem những con số đó là tuyên bố của nhà cung cấp.
• PoR, KYC, kiểm thử xâm nhập, tiền thưởng. Xác nhận dự trữ của sàn giao dịch, kiểm tra đội ngũ, kiểm thử tấn công và các chương trình công bố thông tin. Các chương trình tiền thưởng tìm lỗi khuyến khích hacker có đạo đức báo cáo lỗ hổng.
• Phân phối. API điểm số và huy hiệu hiện được tích hợp vào các Ví và trang dữ liệu, bao gồm cả tích hợp Gate Wallet Earn.

Các sản phẩm của CertiK

Kiểm toán bảo mật Web3 và Blockchain

Kiểm toán hợp đồng thông minh

Kiểm toán là hoạt động đánh giá có phạm vi đối với mã nguồn đã được bàn giao. Vì các hợp đồng thông minh thường kiểm soát tài sản có giá trị cao và không thể thay đổi sau khi triển khai, chúng cần được đánh giá bảo mật toàn diện, thay vì kỳ vọng cuộc kiểm toán bao phủ mọi bản nâng cấp, khóa quản trị hoặc oracle trong tương lai. Đề xuất của CertiK bao gồm đánh giá thủ công, hỗ trợ AI, xác minh hình thức tùy chọn và một báo cáo liệt kê các phát hiện cùng biện pháp khắc phục. Những cuộc đánh giá như vậy có thể phát hiện lỗi logic và các lỗ hổng phức tạp trước khi triển khai, bao gồm cả những vấn đề mà hoạt động kiểm thử tiêu chuẩn trong phần mềm có thể bỏ sót. Hoạt động xác minh hình thức tùy chọn của CertiK áp dụng các phương pháp toán học để phát hiện lỗ hổng trong mã và đánh giá tính chính xác. Kiểm toán độc lập đóng vai trò thiết yếu trong việc bảo vệ tiền của người dùng khỏi các vụ khai thác.

Kiểm toán được thực hiện như thế nào

Quy trình điển hình gồm nhiều bước để CertiK kiểm toán mã Blockchain và hợp đồng thông minh: tiếp nhận và xác định phạm vi, quét tự động, đánh giá thủ công, bằng chứng tùy chọn, lập báo cáo, sau đó là vòng sửa lỗi và kiểm tra lại nhằm đánh giá liệu các bản sửa có thực sự giải quyết được các phát hiện hay không. Xác minh hình thức chỉ hữu ích khi đặc tả chính xác, vì phương pháp này sử dụng các phương pháp toán học để chứng minh tính chính xác của mã trong hệ thống đó. Phương pháp này không tự tạo ra phần logic nghiệp vụ còn thiếu.

Kiểm toán chuỗi L1

Hoạt động trên Layer 1 bao phủ các mô-đun đồng thuận, mạng, VM và mô-đun đặc quyền, đồng thời kiểm tra khả năng tương thích giữa các mô-đun cũng như với những ứng dụng quan trọng khác đang chạy trên chuỗi. Đề cương năm bước được công bố có cấu trúc tương tự kiểm toán hợp đồng, nhưng với phạm vi lớn hơn.

Kiểm toán chuỗi Grey Box là phần bổ sung trong năm 2026: tiêm lỗi vào mạng trực tiếp hoặc gần trực tiếp và theo dõi những gì thực sự bị phá vỡ.

Skynet

Hoạt động trên Layer 1 bao phủ các mô-đun đồng thuận, mạng, VM và mô-đun đặc quyền, đồng thời kiểm tra khả năng tương thích giữa các mô-đun cũng như với những ứng dụng quan trọng khác đang chạy trên chuỗi. Đề cương năm bước được công bố có cấu trúc tương tự kiểm toán hợp đồng, nhưng với phạm vi lớn hơn.

CertiK Skynet Score

Điểm số là sự kết hợp có trọng số của các tín hiệu trên chuỗi và ngoài chuỗi. Điểm bảo mật công khai có thể giúp ​đánh giá​ mức độ an toàn của dự án trong nháy mắt. CertiK cho biết điểm này không thể được mua để đạt một mức xếp hạng nhất định. Các báo cáo kiểm toán và trang điểm số công khai giúp tăng ​tính minh bạch​ và xây dựng niềm tin giữa nhà đầu tư và ​người dùng​, qua đó củng cố ​trách nhiệm giải trình​ của dự án. Các sản phẩm Boost tồn tại nhằm khuếch đại những tín hiệu đã được xác minh, khác với việc mua một chữ cái xếp hạng. Hãy đọc kỹ các mô-đun: mức độ mới của cuộc kiểm toán, phạm vi mã đã triển khai so với mã đã kiểm toán, và liệu các phát hiện nghiêm trọng đã được khắc phục hay mới chỉ “được ghi nhận”. Đồng thời, hãy nhớ rằng các cuộc kiểm toán và điểm số thường được xem là tín hiệu về mức độ bảo mật của dự án, không phải bằng chứng về sự an toàn.

Điều gì đã xảy ra với CertiK Chain (Shentu Chain)?

CertiK Chain là mạng lưới Cosmos SDK được ra mắt vào khoảng năm 2019. Sau bản nâng cấp Shentu-2, chuỗi này trở thành Shentu Chain. Mã giao dịch CTK vẫn được giữ nguyên. Shentu hiện vận hành như một chuỗi công khai riêng biệt với trang web, các Trình xác thực và quỹ riêng. CertiK vẫn hợp tác trong các nghiên cứu như OpenMath. Điều đó không biến CTK thành cổ phần của công ty kiểm toán.

Oracle bảo mật

Oracle được thiết kế để đưa các điểm số kiểm toán hoặc bảo mật đã được nén lên chuỗi, qua đó cho phép các hợp đồng đọc được xếp hạng. Điểm số là bằng chứng từ một cuộc đánh giá trong quá khứ, không phải bằng chứng trực tiếp cho thấy hợp đồng đang an toàn.

Shield pool

CertiKShield / ShentuShield được xây dựng theo mô hình quỹ bồi hoàn, không phải công ty bảo hiểm được cấp phép. Nhà cung cấp tài sản thế chấp và người mua bảo vệ đứng ở hai phía đối lập trong cuộc bỏ phiếu về yêu cầu bồi thường. Hãy kiểm tra xem quỹ còn được cấp vốn và đang cung cấp bảo vệ hay không trước khi xem đó là bảo hiểm.

Ghi chú về kiến trúc: DeepSEA, CVM và xác minh hình thức

DeepSEA

DeepSEA là một dòng trình biên dịch thiên về xác minh hình thức trong hệ thống nghiên cứu của CertiK. Mục tiêu là giảm các lỗi do trình biên dịch tạo ra và duy trì các bằng chứng gắn liền khi mã nguồn được chuyển thành bytecode, như EVM hoặc eWASM. DeepSEA vẫn là một phần của bộ công cụ học thuật. Hầu hết các cuộc kiểm toán thương mại vẫn được cung cấp dưới dạng báo cáo, chứ không phải sản phẩm bằng chứng DeepSEA cho mọi khách hàng.

CertiK Virtual Machine (CVM)

CVM là VM phía chuỗi được thiết kế để sử dụng đầu ra đã được chứng nhận của trình biên dịch. Đối với hệ thống Shentu đang hoạt động, hãy xem tài liệu và trình khám phá hiện tại là nguồn thông tin chính xác, thay vì sơ đồ kiến trúc năm 2019.

CertiK so với các đơn vị kiểm toán khác

Nhiều sàn giao dịch yêu cầu kiểm toán từ bên thứ ba trước khi các dự án Blockchain được Niêm yết để giao dịch công khai. Trọng tâm cốt lõi của CertiK là bảo mật cho các ứng dụng quan trọng.

Không nhà cung cấp nào có thể thay thế các biện pháp bảo mật khóa quan trọng, bao gồm thiết kế khóa quản trị, quy trình nâng cấp, rủi ro oracle và bảo mật vận hành. Theo chính các báo cáo của CertiK, việc Ví bị xâm phạm, chứ không chỉ lỗi Solidity, đã gây ra phần lớn tổn thất trong năm 2026.

CTK là gì?

CTK là token gốc của Shentu Chain, một mạng Cosmos SDK / CometBFT. Các công dụng gồm Gas, Staking, ủy quyền và quản trị. Thiết kế ban đầu cũng gắn token này với oracle bảo mật và Shield pool.

Phân bổ ban đầu trong tài liệu CertiK Chain cũ gồm bán riêng, Launchpool, đội ngũ, quỹ, cộng đồng và Shield pool. Nguồn cung lưu hành trên các trang thị trường năm 2026 ở mức khoảng 163 triệu, với giá thấp hơn nhiều so với mức cao năm 2021, gần 4 USD. Thị trường đó là Shentu, không phải quyền hưởng phí kiểm toán của CertiK.

Nếu bạn giao dịch CTK trên Gate, hãy khớp đúng mạng lưới nạp tiền Shentu / CTK. Đừng gửi token này đến một hợp đồng “token CertiK” ngẫu nhiên trên chuỗi khác.

Kết luận

CertiK vẫn là một trong những thương hiệu bảo mật trả phí lớn nhất trong Web3. Điểm cập nhật quan trọng là sự phân tách giữa công ty và chuỗi, điểm số và mức độ an toàn, công cụ AI và một sự đảm bảo hoàn chỉnh. Hãy sử dụng Skynet và tệp PDF kiểm toán làm các đầu vào tham khảo. Đừng chỉ dừng lại ở logo.

Câu hỏi thường gặp

CertiK có phải là một Blockchain không?

Không. CertiK là một công ty. CertiK Chain cũ hiện là Shentu Chain.

Một cuộc kiểm toán CertiK có đồng nghĩa với việc dự án an toàn không?

Không. Điều đó có nghĩa là một cuộc đánh giá trong phạm vi xác định đã được thực hiện. Các bản nâng cấp, khóa, oracle hoặc hoạt động vận hành vẫn có thể gặp lỗi.

Skynet Score là gì?

Đó là xếp hạng tổng hợp của CertiK dựa trên các tín hiệu trên chuỗi và ngoài chuỗi. Điểm số này hữu ích cho việc sàng lọc, nhưng không phải là xếp hạng của cơ quan quản lý.

CTK là gì?

Đó là token của Shentu Chain, không phải cổ phiếu CertiK.

CertiK có niêm yết công khai không?

Ông Gu đã thảo luận về khả năng này. Sau đó, ông cho biết chưa có kế hoạch IPO cụ thể.

Vì sao các dự án đã được kiểm toán vẫn bị tấn công?

Phạm vi kiểm toán, mã đã lỗi thời, hành vi đánh cắp khóa và các cuộc tấn công kinh tế đều nằm ngoài một cuộc đánh giá mã nguồn được thực hiện một lần.