CertiK là một người tiên phong về an ninh blockchain, sử dụng công nghệ trí tuệ nhân tạo (AI) tiên tiến để bảo vệ và giám sát giao thức blockchain và hợp đồng thông minh. CertiK được thành lập vào năm 2018 bởi các giáo sư của Đại học Yale và Đại học Columbia để bảo vệ Web 3. CertiK mang đến các công nghệ tiên tiến từ giới học thuật đến doanh nghiệp, cho phép các chương trình quan trọng về nhiệm vụ mở rộng một cách an toàn và chính xác.

Certik là gì?

CertiK là một nền tảng hợp đồng sáng tạo phi tập trung hỗ trợ Dapps. Nó cũng khuyến khích giao tiếp giữa các chuỗi và hoạt động trên Chuỗi Certik. Hệ thống được tối ưu hóa cho các trường hợp sử dụng rất chuyên biệt. Giao thức triển khai một biến thể PoS được biết đến là deleGate.iod proof-of-stake (DPoS). Nó sử dụng bộ công cụ phát triển phần mềm Cosmos (SDK). Quỹ CertiK đã tiên phong khôi phục niềm tin vào các nền tảng phân phối bằng cách sử dụng các công nghệ và phương pháp bảo mật tiên tiến. CertiK đã đạt được một cột mốc quan trọng trong việc cung cấp niềm tin đã được chứng minh trên một mạng phi tập trung. Ngoài việc bảo mật, mạng lưới cũng xem xét về hiệu suất và kinh tế token.

CertiK dự định cung cấp một nền tảng an toàn cho việc phát triển cơ sở hạ tầng blockchain và ứng dụng phi tập trung. Hệ sinh thái của nó bao gồm các lớp bảo mật dưới mức độ blockchain, chẳng hạn như trình biên dịch DeepSEA, Máy ảo CertiK (CVM) và CertiKOS. CertiK ủng hộ một phương pháp bảo mật hoàn chỉnh, bao gồm kiểm tra hợp đồng thông minh, xác minh hình thức, kiểm tra xâm nhập và các công cụ theo dõi bảo mật tiên tiến. Công ty cũng tích cực tham gia vào nghiên cứu và phát triển, giúp cải thiện bảo mật blockchain cho các công ty lớn như Apple, Samsung và Sui.

Lịch sử của Certik

CertiK được phát triển vào năm 2018 bởi các giáo sư khoa học máy tính tại Đại học Yale và Đại học Columbia. Giáo sư đồng sáng lập Ronghui Gu đã nhận giải thưởng Nghiên cứu Hệ thống VMware vào năm 2022 và là thành viên của Ban Tư vấn Công nghệ Quốc tế của Cơ quan Tiền tệ Singapore. Đội ngũ lãnh đạo của CertiK bao gồm Ronghui Gu (CEO), một Tiến sĩ tại Đại học Columbia về an ninh blockchain; Xuemin (Sherman) Shen (Nhà khoa học trưởng), một giáo sư tại Đại học Tsinghua về an ninh mạng; Wei Li (CPO), người chịu trách nhiệm giám sát phát triển sản phẩm; và Andy Li (COO), người quản lý hoạt động và mở rộng toàn cầu. Họ ưu tiên tăng cường an ninh blockchain thông qua kiểm toán và giám sát thời gian thực.

CertiK đã làm việc với hơn 4.000 khách hàng doanh nghiệp, bảo vệ hơn 360 tỷ đô la trong tài sản kỹ thuật số, và phát hiện hơn 60.000 lỗ hổng trong công nghệ blockchain. Các khách hàng của công ty bao gồm Aave, Polygon, BNB Chain, Aptos và WEMIX. CertiK đã nhận được vốn đầu tư từ một số nhà đầu tư lớn, bao gồm Binance Labs, Sequoia Capital, IDG Capital, Shunwei Capital, Greenfield One, Matrix Partners, Blockchain Capital, Coinbase Ventures và Tiger Global Management. Những nhà đóng góp này hỗ trợ mục tiêu của CertiK là cải thiện an ninh blockchain thông qua kiểm tra hợp đồng thông minh, xác minh chính thức và giám sát thời gian thực. Các nhà đầu tư của CertiK đã đóng vai trò quan trọng trong sự phát triển của công ty, xác lập nó là một nhà cung cấp hàng đầu các giải pháp an ninh blockchain, với sự tập trung đặc biệt vào bảo vệ ứng dụng phi tập trung và hợp đồng thông minh trong toàn bộ hệ sinh thái blockchain.

Đặc điểm của Certik

CertiK là một công ty khởi nghiệp về an ninh mạng chuyên về an ninh blockchain và hợp đồng thông minh. Nó bao gồm một loạt các khả năng để giúp bảo vệ các dự án blockchain, ứng dụng phi tập trung (dApps) và hợp đồng thông minh. Dưới đây là một số đặc điểm chính của CertiK:

• CertiK thực hiện kiểm định tự động và thủ công của hợp đồng thông minh để phát hiện lỗ hổng và nhược điểm. Điều này giúp đảm bảo an ninh của các hợp đồng trước khi chúng được triển khai trên blockchain.
• Quét và phân tích bảo mật: CertiK sử dụng các công nghệ hiện đại và phương pháp dựa trên trí tuệ nhân tạo để hoàn thành quét bảo mật trên các hợp đồng thông minh, chuỗi khối và ứng dụng phi tập trung. Nó phát hiện các lỗ hổng tiềm ẩn như tấn công tái nhập, lỗi tràn và mối quan tâm về kiểm soát truy cập.
• Giám sát Skynet: Công nghệ giám sát thời gian thực của CertiK liên tục theo dõi sự an toàn của hợp đồng thông minh và giao thức blockchain. Nó tạo ra cảnh báo và cập nhật về các mối đe dọa tiềm năng và cuộc tấn công.
• Xác minh chính thức: CertiK cung cấp xác minh chính thức, một phương pháp toán học để chứng minh rằng mã hoạt động như dự đoán. Điều này có thể được sử dụng để chứng minh tính chính xác và an toàn của mã chi tiết.
• Điểm An toàn và Chứng nhận: Dựa trên kết quả kiểm toán, CertiK gán cho mỗi dự án hoặc hợp đồng một điểm an ninh. Điểm này có sẵn cho người dùng và nhà đầu tư, giúp tạo niềm tin vào an ninh của dự án. Chứng nhận của CertiK chứng minh sự tận tụy của dự án đối với an ninh.

Sản phẩm Certik

CertiK cung cấp nhiều dịch vụ liên quan đến báo cáo kiểm toán blockchain và an ninh. Một số ví dụ là kiểm toán an ninh, Skynet, KYC, kiểm thử xâm nhập, bug bounty, SkyTrace và xác minh hình thức. Những công cụ và công nghệ này được thiết kế để bảo vệ một nền tảng phi tập trung khỏi các cuộc tấn công do lỗ hổng hợp đồng thông minh gây ra. CertiK cung cấp một loạt các công cụ bổ sung để hỗ trợ dự án và nhà đầu tư tiếp cận an toàn và công bằng một cách thông tin và toàn diện.

Kiểm định bảo mật Web 3

Kiểm định Hợp đồng Thông minh

Kiểm định hợp đồng thông minh là một nghiên cứu chuyên gia từng dòng mã trong một hợp đồng thông minh để xác định vấn đề và đưa ra các sửa đổi. Đây là một quy trình quan trọng đảm bảo rằng một dự án blockchain an toàn nhất có thể. Mặc dù các dự án blockchain là mã nguồn mở, hầu hết người dùng thiếu kiến thức cần thiết để đánh giá đúng mã hợp đồng thông minh. Các kiểm toán viên chuyên gia hỗ trợ người dùng trong việc đưa ra quyết định có kiến thức bằng cách phát hiện, làm sáng tỏ và giải quyết các rủi ro có thể có. Certik sử dụng phương pháp tiên tiến như xác minh hình thức để đưa quá trình kiểm toán một bước tiến xa hơn bằng việc xác nhận toán học về hành vi của hợp đồng thông minh. Họ sử dụng đánh giá thủ công chuyên gia về mã hợp đồng thông minh, cũng như các thuật toán AI mạnh mẽ và toán học, để đảm bảo rằng hợp đồng hoạt động đúng cách.

Dịch vụ Kiểm tra Hợp đồng Thông minh của Certik cung cấp một bản dịch toàn diện về việc kiểm tra an ninh của hợp đồng thông minh và mã blockchain của người dùng, xác định nhược điểm và đề xuất giải pháp. Certik có phương pháp kiểm tra hàng đầu ngành và các công cụ, bao gồm việc xem xét logic mã nguồn của người dùng bằng cách tiếp cận toán học để đảm bảo phần mềm của họ hoạt động theo ý định. Certik có mã nguồn của người dùng được xem xét bởi đội ngũ các chuyên gia an ninh có kinh nghiệm của CertiK, người đã kiểm tra an ninh cho hàng nghìn dự án, cung cấp cái nhìn cụ thể, và người dùng nhận được báo cáo chi tiết, bao gồm các phát hiện và đề xuất về cách khắc phục các lỗ hổng, cung cấp phạm vi lớn nhất về ngôn ngữ và hệ sinh thái, và cung cấp các tùy chọn triển khai nhanh hơn, tùy thuộc vào kích thước mã dự án.

Quá trình kiểm định hợp đồng thông minh hoạt động như thế nào?

Mỗi cuộc kiểm định hợp đồng thông minh đều bao gồm một đánh giá thủ công kỹ lưỡng từ các chuyên gia an ninh giàu kinh nghiệm của chúng tôi. Các đánh giá được trang bị bởi trí tuệ nhân tạo mang lại một lớp bảo mật bổ sung. Xác minh hình thức là một bước tùy chọn xác nhận hành vi của hợp đồng thông minh về các thông số chức năng độc đáo. Điều này giúp các nhà phát triển hiểu rõ toàn diện về khả năng của nền tảng của họ.

Xác minh hình thức là bằng chứng toán học của một hợp đồng thông minh hoặc giao thức blockchain. Nó đảm bảo rằng nó hoạt động như dự định trong khi không để lộ ra bất kỳ điểm yếu nào. Phương pháp xác minh hình thức của CertiK xác định nhiều điểm yếu hơn so với việc phân tích của con người một mình.

Kiểm toán chuỗi L1

Một cuộc kiểm toán chuỗi L1 thực hiện một bản đánh giá an ninh đầy đủ của một blockchain Layer 1, xác định các khuyết điểm và đề xuất giải pháp. Quy trình kiểm toán chuỗi L1 kết hợp đánh giá thủ công của chuyên gia về mã hợp đồng thông minh với các kỹ thuật AI tiên tiến và toán học để đảm bảo rằng giao thức blockchain hoạt động như dự kiến. Mỗi cuộc kiểm toán bao gồm một đánh giá thủ công kỹ lưỡng bởi các chuyên gia an ninh giàu kinh nghiệm của chúng tôi. Xác minh hình thức xác nhận hành vi mã chuỗi L1 về các thông số chức năng tùy chỉnh, cho phép các nhà phát triển hiểu rõ năng lực của nền tảng của họ một cách toàn diện. Quy trình kiểm toán một L1 tương tự như kiểm toán một Hợp đồng Thông minh. Phương pháp năm bước diễn ra như sau:

Skynet

Skynet cung cấp một loạt các thông tin phân tích dữ liệu cho các dự án và cộng đồng Web3. Công cụ bảo mật end-to-end hoạt động cùng với dữ liệu on-chain và off-chain để tạo ra một nền tảng phân tích bảo mật Web3 toàn diện. Công cụ phân tích bảo mật Web3 của Skynet theo dõi và trực quan hóa cả dữ liệu on-chain và off-chain. Các nhà nghiên cứu bảo mật tài năng của CertiK đã phát triển công nghệ hàng đầu được sử dụng trên nền tảng này. Skynet chủ động theo dõi cả các thông số bảo mật on-chain và off-chain, nhận biết nguy cơ và gửi cảnh báo kịp thời. Skynet cung cấp một trang web với phần mềm không thể tải về để nghiên cứu bảo mật về hợp đồng thông minh và các dự án blockchain. Skynet cho phép người dùng điều hành một cách tự tin trong thế giới Web3, nhờ vào các thông tin phân tích toàn diện, dựa trên dữ liệu của Skynet, giúp người dùng khám phá các dự án mới hấp dẫn, hoàn tất công việc kiểm tra cẩn thận với độ chính xác cao, và cập nhật thông tin về tất cả các phát triển hiện tại trong lĩnh vực đó.

Người dùng có thể khám phá sâu hơn vào Bảng xếp hạng Skynet, liệt kê và xếp hạng các dự án dựa trên một loạt dữ liệu trên chuỗi và ngoại chuỗi. Người dùng cũng có thể đánh giá và so sánh các dự án dựa trên Bảo mật Mã nguồn, Sức khỏe Cơ bản, Sự kiên cường hoạt động, Niềm tin của Cộng đồng, Ổn định thị trường và Sức mạnh Quản trị. Các sản phẩm kiểm tra sự cẩn thận của CertiK bao gồm Kiểm tra Sàn giao dịch, Phù thủy Tiền thông minh và Cảnh báo Skynet.

Điểm CertiK Skynet

Skynet Score của CertiK là hệ thống đánh giá thời gian thực kiểm tra tính an toàn của các dự án Web3, sàn giao dịch và ví một cách không thiên vị và khách quan. Hệ thống đánh giá bảo mật của CertiK phục vụ như cơ sở của bạn trong thế giới Web3. Chúng tôi cung cấp sự phủ sóng toàn diện của các dự án Web3, bao gồm cả những dự án được liệt kê trên CoinMarketCap và các sàn giao dịch quan trọng. Phương pháp này sử dụng trung bình có trọng số để hoàn thành một đánh giá bảo mật đầy đủ. Đánh giá của chúng tôi là độc lập và không bị ảnh hưởng bởi mối quan hệ dự án. Ngoài các dự án, CertiK đã mở rộng Skynet Score của chúng tôi để bao gồm các sàn giao dịch tiền điện tử và ví, công nhận vai trò quan trọng của họ trong hệ sinh thái tiền mã hóa.

Certik Chain là gì?

CertiK Chain là một giao thức blockchain mạnh mẽ hỗ trợ hệ sinh thái CertiK. Nó rất an toàn và hỗ trợ tương tác qua chuỗi. Nền tảng bao gồm các thành phần cần thiết như một oracal bảo mật và một hồ bảo vệ CertiK để thực hiện chức năng của mình một cách thành công.

Bảo mật Oracle CertiK

Oracle bảo mật của nền tảng nén các báo cáo kiểm toán và làm cho chúng có sẵn trên chuỗi. Báo cáo kiểm toán chứa thông tin về độ tin cậy của hợp đồng thông minh. Tuy nhiên, dữ liệu được sử dụng để đưa ra quyết định trong hợp đồng thông minh có thể gây nguy hiểm cho độ tin cậy của chúng. Các báo cáo này tồn tại bên ngoài các nền tảng blockchain, gây ra rủi ro bảo mật và thúc đẩy CertiK đưa chúng vào chuỗi thông qua nhà tiên tri bảo mật của họ. Do đó, mạng có thể kiểm tra thành công tính bảo mật của hợp đồng thông minh. Thành phần này chỉ định điểm dựa trên báo cáo kiểm toán gần đây nhất của hợp đồng thông minh. Điểm số cung cấp một cái nhìn tổng quan về độ tin cậy của mã hợp đồng. Oracle bảo mật có thể theo dõi và báo cáo các hợp đồng thông minh chưa được kiểm toán và xếp loại chúng. Một đội an ninh phân tán xử lý các báo cáo như vậy. Sử dụng CertiK Oracle Combinator, kết quả của nhóm bảo mật được thu thập thành một điểm số duy nhất có sẵn trực tuyến. Và, tất nhiên, các nhân viên an ninh được bồi thường. May mắn thay, chức năng này rất quan trọng trong môi trường tài chính phi tập trung (DeFi), nơi các hợp đồng thông minh chưa được kiểm toán đang gây ra tình trạng lộn xộn. Ví dụ: bằng cách triển khai Oracle bảo mật của CertiK, nghĩa vụ kiểm toán được chuyển từ người tạo hợp đồng sang người dùng hợp đồng.

Hồ bảo vệ CertiKShield

Hồ bảo hiểm CertiKShield là một thành phần duy nhất được thiết kế để giảm nhẹ các nguy cơ liên quan đến tính riêng tư của (hầu hết) các loại tiền điện tử. Điều này có thể bao gồm các tổn thất từ cả những sự kiện có thể tránh được lẫn không thể tránh được, chẳng hạn như cháy nhà. Lớp bảo vệ hoạt động bằng cách cung cấp một hồ CTK có biến động. Bởi vì token sử dụng các cơ chế quản trị trên chuỗi, nó có thể được sử dụng để bù đắp các tổn thất do không thể truy cập và/hoặc mất cắp. Nói cách khác, đây là một nền tảng bảo hiểm. Tuy nhiên, thiết kế phi tập trung của nó cho phép nó thu thập phản hồi từ tất cả các bên trước khi quyết định về một yêu cầu bồi thường. Hồ bảo hiểm CertiKShield bao gồm các nhà cung cấp tài sản thế chấp và người mua bảo vệ. Người cung cấp tài sản thế chấp nhận được động lực đặt cược, trong khi khách hàng bảo vệ trả tiền cho sự bảo vệ được yêu cầu.

Kiến trúc và Công nghệ Mạng lưới Certik

Các thành phần chính của Chuỗi CertiK được tích hợp vào một kiến trúc có thể xác minh được. Ngoài ra, nền tảng mạng còn bao gồm một máy ảo và DeepSEA.

DeepSEA

CertiK đã phát triển DeepSEA, một trình biên dịch được chứng nhận hình thức cho hợp đồng thông minh. Nó được coi là một giải pháp tinh vi trong lĩnh vực xác minh hình thức Web3. Nó cố gắng giải quyết hai vấn đề lớn: lỗi trình biên dịch có thể dẫn đến lỗi bảo mật trong các hợp đồng thông minh viết đúng cách, và không chính xác của bộ công cụ xác minh, có thể làm mất tính xác minh hình thức. DeepSEA dịch mã nguồn hợp đồng được viết bằng ngôn ngữ cấp cao (như Solidity, Rust và Vyper) thành mã bytecode có thể thực thi cho các nền tảng blockchain (EVM, WebAssembly, v.v.). Dự án nảy sinh từ một nghiên cứu về cải thiện môi trường thực thi, tập trung vào thành phần trình biên dịch. DeepSEA được viết bằng ngôn ngữ lập trình tích hợp của Coq (Gallina) và được chia thành nhiều giai đoạn cụ thể để cải thiện hiệu suất xác minh.

DeepSEA hỗ trợ hai loại mục tiêu: EVM bytecode và WebAssembly có hương vị Ethereum (eWASM). Nó có thể xây dựng ngôn ngữ bề mặt DeepSEA và hoạt động như một phụ trợ cho các ngôn ngữ lập trình hợp đồng thông minh khác nhau. Xác minh tính đúng đắn của trình biên dịch đòi hỏi phải xác định ngôn ngữ lập trình cho đầu vào và đầu ra và ngữ nghĩa của chúng, phát minh và xác định mối quan hệ 'match_states' giữa các trạng thái chương trình trong ngôn ngữ đầu vào và đầu ra và chứng minh rằng các trạng thái chương trình được biên dịch tương ứng với trạng thái của chương trình gốc. DeepSEA cũng kết hợp biên soạn và xác minh chính thức. Sự tích hợp này cho phép xác minh chương trình cấp cao trong khi đảm bảo rằng các thuộc tính bảo mật được xác nhận khớp với bytecode được tạo ra. Tầm nhìn của CertiK đối với DeepSEA khi tiến bộ công nghệ là dành cho các trình biên dịch và công cụ xác minh hoạt động trên một ngôn ngữ lõi duy nhất với phụ trợ trình biên dịch được xác nhận chính thức.

Máy ảo CertiK (CVM)

CVM thành công tránh được những lỗi có thể xảy ra trong quá trình chuyển đổi mã hợp đồng thông minh từ ngôn ngữ dễ đọc của con người sang ngôn ngữ máy. Những lỗi này có thể không được biết đến bởi các nhà phát triển hợp đồng, nhưng chúng mang lại một rủi ro bảo mật đáng kể. Là một nền tảng phân quyền an toàn, CVM dựa trên đầu ra của DeepSEA, một trình biên dịch được chứng nhận. Trình biên dịch tạo ra bytecode và chứng minh toán học. Những chứng minh này có thể cô lập mã hợp đồng thông minh không đáp ứng yêu cầu bảo mật.

Certik nổi tiếng với việc cung cấp các dịch vụ bảo mật blockchain khác nhau, chẳng hạn như kiểm toán hợp đồng thông minh, phân tích trên chuỗi và đánh giá bảo mật cho các ứng dụng phi tập trung (dApps và giao thức). Mặc dù có vị trí thống trị, Certik đã gặp phải những lời chỉ trích, với một số người dùng cho rằng các đánh giá của Certik không phát hiện ra các lỗi nhiều sắc thái hơn hoặc ít rõ ràng hơn, đặc biệt là trong các cơ sở mã phức tạp. Ví dụ, một số nền tảng đạt được đánh giá "sạch" của Certik sau đó đã bị xâm phạm.

Kiểm định Certik so với đối thủ

Quantstamp

Quantstamp là một trong những đơn vị kiểm toán blockchain nổi bật khác, nổi bật với cách tiếp cận toàn diện đối với bảo mật hợp đồng thông minh. Họ đã kiểm toán các dự án nổi tiếng như MakerDAO, Tezos và các giao thức dựa trên Ethereum. Giống như Certik, Quantstamp kết hợp các công cụ tự động với đánh giá chuyên nghiệp của con người. Tuy nhiên, họ nhấn mạnh quy trình xem xét thủ công chi tiết hơn cho các phương pháp tùy chỉnh hoặc phức tạp. Quantstamp thường sử dụng các kỹ thuật xác minh hình thức trong các cuộc kiểm toán, đây là các phương pháp toán học để xác định tính chính xác của một hợp đồng. Điều này chi tiết hơn so với phân tích mã tiêu chuẩn và có thể bảo vệ tốt hơn chống lại các lỗi cụ thể.

OpenZeppelin

OpenZeppelin là một công ty blockchain nổi tiếng, đặc biệt là với nền tảng phát triển hợp đồng thông minh an toàn của mình. Họ cũng cung cấp dịch vụ kiểm toán thông qua đội ngũ chuyên gia bảo mật hợp đồng thông minh của mình. OpenZeppelin cung cấp một khung hoàn chỉnh cho việc phát triển các hợp đồng thông minh an toàn, thư viện và công cụ thường được sử dụng trong hệ sinh thái Ethereum. Các kiểm toán của OpenZeppelin là thủ công, với các chuyên gia bảo mật blockchain đi qua mã từng dòng. Là người ủng hộ mạnh mẽ của việc phát triển mã nguồn mở, các kiểm toán viên của OpenZeppelin thường xuyên nhận thức về các lỗ hổng phổ biến và các giải pháp để giảm thiểu chúng.

MythX

MythX là một doanh nghiệp an ninh blockchain tập trung vào nghiên cứu an ninh hợp đồng thông minh tự động. Họ cung cấp dịch vụ miễn phí và thương mại, bao gồm phân tích tĩnh của các hợp đồng thông minh. Công nghệ của MythX cung cấp phân tích hợp đồng thông minh tự động, sử dụng một loạt các bộ máy phân tích để khám phá nhược điểm. MythX hoạt động tốt với các môi trường phát triển blockchain khác nhau, bao gồm Truffle và Remix, giúp cho các nhà phát triển dễ dàng kiểm thử các hợp đồng của họ. MythX cung cấp việc theo dõi liên tục cho các hợp đồng đã triển khai, giúp phát hiện các lỗ hổng có thể phát sinh sau khi phân phối.

Certik đã xây dựng mình là một doanh nghiệp kiểm toán quan trọng. Tuy nhiên, sự phụ thuộc vào công nghệ tự động và cuộc tranh luận về độ chính xác của các cuộc kiểm toán của nó đã gây ra lo ngại. Đối với những người tìm kiếm thông tin chi tiết hơn trong quá trình kiểm tra bằng tay hoặc xác minh chính thức, các đối thủ như Quantstamp và OpenZeppelin có thể cung cấp dịch vụ vượt trội với chi phí cao hơn. MythX, từ phía khác, là một giải pháp rẻ hơn nhưng sản xuất ra các kết quả nhanh hơn nhưng thiếu sự hoàn chỉnh của các cuộc kiểm toán do con người thực hiện.

Certik Token ($CTK) là gì?

CertiK (CTK) là token bản địa của chuỗi CertiK, một mạng chứng minh cổ phần được ra mắt vào năm 2019.

CertiK Chain là một nền tảng hợp đồng thông minh ưu tiên bảo mật trong khi cho phép các ứng dụng phi tập trung và đồng tiền không thể thay thế. Mạng lưới sử dụng nền tảng xác minh cơ bản và hỗ trợ giao dịch qua chuỗi.

CTK, đồng tiền native của chuỗi, là mã thông báo tiện ích cho giao dịch nền tảng. Nó cũng đảm bảo mạng lưới phân quyền, khi người dùng bỏ phiếu cho nó. Do đó, người giữ CTK có quyền trong việc phát triển mạng lưới. Bên cạnh việc được sử dụng trong giao thức CertiK, CTK là thành phần quan trọng của CertiK Chain. Ở đây, mã thông báo được sử dụng để thanh toán phí giao dịch. Trong trao đổi, các phí thưởng các nút đặt cược trên blockchain. Ngoài ra, đồng xu bồi thường người dùng nào gửi CTK của họ cho các nút xác minh.

Việc phát hành ban đầu của token đã diễn ra thông qua hai cuộc bán hàng riêng, bán được 38 triệu token CTK trị giá 39.430.000 đô la. Ngoài hai cuộc bán hàng riêng đầu tiên và thứ hai (tương ứng 29,0% và 9,0%), phân phối token đã phân bổ 1,5% tổng cung cấp của mình cho Binance Launchpool, 10,0% cho nhóm CertiK, 25% cho Quỹ CertiK, 17,5% cho hồ bơi cộng đồng và 8,0% cho hồ bơi CertiKShield.

Kết luận

CertiK cung cấp sự yên tâm cần thiết bằng cách cung cấp một bản kiểm tra hợp đồng phi tập trung loại bỏ nhu cầu phải hoàn toàn phụ thuộc vào các báo cáo do nhóm cung cấp, mà đôi khi là ẩn danh. Từ con người an ninh đến các hồ bồi thường đến DeepSEA, mạng lưới được thiết kế theo kiến trúc để thực hiện một chiến lược an ninh ưu tiên với sự tự tin được chứng minh.