LISA là công cụ phân tích bảo mật dựa trên LLM cho hợp đồng thông minh Solidity, sử dụng công nghệ blockchain để phát hiện lỗ hổng và kiểm toán, thuộc dự án bảo mật Web3.

TestMachine sẽ phân tích hợp đồng và xác định các lỗ hổng bảo mật tiềm ẩn. Bằng cách xác định và phân tích các cấu trúc và mẫu mã định kỳ, nó đảm bảo các hợp đồng mạnh mẽ trước các mối đe dọa và khai thác đã biết.

MoveBit là một công ty bảo mật chuỗi khối tập trung vào việc bảo vệ hệ sinh thái Move, với tầm nhìn biến nó thành điểm đến Web3 an toàn nhất.

Zokyo là một studio mạo hiểm xây dựng, bảo mật và tài trợ cho các doanh nghiệp web3/tiền điện tử huyền thoại. Nó cung cấp các dịch vụ bảo mật tấn công như kiểm tra bảo mật, thử nghiệm thâm nhập (mạng, thiết bị di động, ứng dụng), phát hiện rò rỉ dữ liệu, kỹ thuật xã hội và thử nghiệm VAPT để bảo vệ các công ty khỏi tin tặc. Studio DeFi của Zokyo đóng vai trò là đối tác toàn diện cho các công ty được chọn, cung cấp tài nguyên để xây dựng, bảo mật, triển khai và phát triển các dự án dài hạn, bền vững, cũng như kết nối chúng với các nhà đầu tư và công ty thương mại truyền thống trên toàn thế giới.

0x0 là Trung tâm quyền riêng tư tất cả trong một và Trình kiểm tra hợp đồng thông minh AI với 100% Thu nhập tiện ích được phân phối cho những người nắm giữ tiền bằng ETH, tạo ra luồng Thu nhập thụ động. Nền tảng này bao gồm một trình kiểm tra hợp đồng thông minh do AI cung cấp và một bộ trộn quyền riêng tư. Ngoài ra, 0x0 đang làm việc trên DEX về quyền riêng tư, một trung tâm tất cả trong một để viết các hợp đồng thông minh tùy chỉnh và một bot AI có thể phát hiện và chạy trước các giao dịch đáng ngờ để tránh trở thành nạn nhân của một vụ lừa đảo.

Beosin (trước đây là Chengdu Lianan) là nhà cung cấp dịch vụ bảo mật blockchain bao gồm kiểm toán hợp đồng thông minh, phục hồi tiền điện tử bị đánh cắp, giám sát và cảnh báo rủi ro.

MetaTrust là giải pháp quét bảo mật tự động dành cho Ứng dụng Web3. Nó kết hợp nhiều công cụ quét bảo mật tiên tiến nhất vào một nền tảng duy nhất, cung cấp tốc độ và độ chính xác chưa từng có. Nó bảo mật mọi khía cạnh của ứng dụng của bạn, ngoài lớp hợp đồng thông minh.

OKLink là nhà cung cấp dịch vụ dữ liệu và công nghệ blockchain, có các công cụ phân tích và xử lý dữ liệu blockchain trực quan hàng đầu trong ngành, tích hợp dữ liệu lớn, trí tuệ nhân tạo và các công nghệ tiên tiến khác để phân tích và xử lý dữ liệu blockchain phức tạp và đa dạng. Công ty cung cấp sáu sản phẩm và dịch vụ chính, bao gồm trình duyệt blockchain, phân tích dữ liệu trên chuỗi, USDK tiền tệ ổn định tuân thủ, ví trên chuỗi, lưu ký tài sản kỹ thuật số và học viện blockchain.

Cyberscope là một công ty kiểm toán hợp đồng thông minh và dịch vụ KYC, đã kiểm toán hơn 1200 dự án chuỗi khối và NFT và KYC cho hơn 500 nhóm cho đến nay.

SolidProof là một công ty kiểm toán bảo mật blockchain.

BlockSec là một công ty bảo mật blockchain cung cấp kiểm tra bảo mật mã tài sản kỹ thuật số, dịch vụ ngăn chặn tấn công, chống rửa tiền và bộ công cụ dành cho nhà phát triển một cửa và cam kết xây dựng cơ sở hạ tầng bảo mật blockchain. Các sản phẩm của BlockSec bao gồm bộ công cụ dành cho nhà phát triển Phalcon, plug-in nâng cao trình duyệt blockchain MetaDock và công cụ trực quan hóa dòng vốn MetaSleuth.

ChainLight là một công ty kiểm tra bảo mật tiền điện tử sử dụng công nghệ và công cụ tiên tiến để phát hiện các lỗ hổng bảo mật phức tạp trong hợp đồng thông minh.

CertiK là một công ty bảo mật blockchain được thành lập vào năm 2018. Công ty tận dụng xác minh chính thức và cộng tác công nghệ AI để cung cấp dịch vụ kiểm tra bảo mật blockchain từ đầu đến cuối. Ngoài ra, công ty đã phát triển “Chuỗi CertiK”, một chuỗi khối tập trung vào bảo mật được thiết kế để tăng cường tính bảo mật của hợp đồng thông minh.

ScalBit là nhóm kiểm tra bảo mật chuyên kiểm tra các ứng dụng ZKP, Layer 2 và Chuỗi chéo.

Sherlock là một nền tảng kiểm toán hợp đồng thông minh cung cấp phạm vi bảo hiểm lên tới 10 triệu đô la cho mỗi lần kiểm toán.

Secure3 là một hệ sinh thái kiểm tra bảo mật Web3 hợp tác cung cấp cho các dự án các cuộc kiểm tra bảo mật đáng tin cậy, một mô hình khuyến khích cạnh tranh cho các kiểm tra viên và một quy trình kiểm tra có thể xác minh được cho cộng đồng. Secure3 được StartX ươm tạo vào năm 2022.

Zellic là một công ty tư vấn và kiểm toán bảo mật blockchain. Zellic được thành lập vào năm 2020 bởi một nhóm chuyên gia blockchain với hơn một thập kỷ kinh nghiệm trong ngành.

Sayfer là công ty tư vấn an ninh mạng web3 chuyên về các giải pháp an ninh mạng phù hợp cho doanh nghiệp. Các nhà nghiên cứu và nhà phân tích mối đe dọa kinh doanh của Sayfer tiếp cận an ninh mạng với tư duy hacker. Chiến lược này cho phép Sayfer ưu tiên và cung cấp giải pháp cho những lĩnh vực quan trọng nhất có nguy cơ gặp rủi ro, đồng thời giải quyết các lỗ hổng mà các sản phẩm bảo mật truyền thống có thể bỏ qua.

Xác minh thời gian chạy sử dụng các phương pháp chính thức để thực hiện kiểm tra bảo mật trên các máy ảo và hợp đồng thông minh trên các chuỗi khối công khai. Nó cũng cung cấp dịch vụ kiểm tra phần mềm, xác minh và các sản phẩm để cải thiện tính an toàn, độ tin cậy và tính chính xác của hệ thống phần mềm trong không gian chuỗi khối.

SECBIT Labs là tổ chức hạng nhất ở Trung Quốc cung cấp dịch vụ kiểm tra bảo mật, bao gồm hợp đồng thông minh Solidity, xác minh chính thức và kiểm tra mã liên quan đến Zero-Knowledge Proofs (ZKP) và các thuật toán mã hóa khác.

Sooho.io là một nền tảng kiểm toán hợp đồng thông minh cung cấp dịch vụ kiểm toán cho bộ phận CNTT của một số công ty công nghệ hàng đầu của Hàn Quốc. Nó cũng đã phát triển một giao thức để tổng hợp các sản phẩm nông nghiệp có đòn bẩy, nhằm mục đích tập trung hóa "bối cảnh phân mảnh" của các giao thức DeFi.

CredShields đang xây dựng SolidityScan.com, một công cụ quét bảo mật hợp đồng thông minh dựa trên đám mây cung cấp các báo cáo kiểm toán chỉ bằng một nút bấm.

MixBytes là một công ty tư vấn giải pháp blockchain cung cấp bộ dịch vụ đầy đủ để phát triển và thử nghiệm hợp đồng thông minh, bao gồm kiểm tra bảo mật và phát triển giao thức.

Neodyme là công ty tập trung vào an toàn sản phẩm, giải quyết các thách thức thông qua tư duy đổi mới và đã giành được giải thưởng trong một số cuộc thi CTF quốc tế. Neodyme cung cấp các dịch vụ như kiểm tra blockchain, kiểm tra thâm nhập và đào tạo bảo mật.

Valix Consulting là Công ty kiểm toán hợp đồng thông minh cung cấp nhiều dịch vụ tư vấn an ninh mạng.

Zksecurity là một giải pháp kiểm tra bảo mật cho các ứng dụng không có kiến ​​thức. Mục tiêu của nó là đảm bảo rằng quá trình chuyển đổi sang một thế giới không kiến ​​thức đi kèm với các vấn đề tối thiểu. Zksecurity sản xuất công cụ, phương pháp hay nhất và kiểm tra các hệ thống và ứng dụng không có kiến ​​thức.

Veridise là một công ty bảo mật chuỗi khối cung cấp các công cụ phân tích phần mềm và kiểm toán cho tất cả các lớp của hệ sinh thái chuỗi khối, bao gồm hợp đồng thông minh, ứng dụng web3, mạch không kiến ​​thức và triển khai chuỗi khối. Được đồng sáng lập bởi một nhóm các nhà nghiên cứu bảo mật phần mềm và xác minh chính thức, Veridise cung cấp công cụ tiên tiến nhất để tăng cường bảo mật chuỗi khối. Nó cũng cung cấp một chuỗi công cụ toàn diện và thân thiện với người dùng để tự động kiểm tra tính chính xác và bảo mật của hợp đồng thông minh.

Quantstamp là một công ty kiểm toán hợp đồng thông minh trong lĩnh vực blockchain, nhằm mục đích thúc đẩy việc áp dụng công nghệ blockchain một cách phổ biến thông qua các dịch vụ đánh giá rủi ro và bảo mật. Các dịch vụ của Quantstamp bao gồm bảo mật các chuỗi khối Lớp 1 như Ethereum 2.0 và Solana, bảo mật các ứng dụng NFT và DeFi dựa trên hợp đồng thông minh như Maker và OpenSea, đồng thời phát triển các nguyên tắc tài chính cho hệ sinh thái chuỗi khối Lớp 1.

OXORIO chuyên cung cấp các giải pháp bảo mật và quyền riêng tư cho các dự án dựa trên blockchain: kiểm toán hợp đồng thông minh chất lượng cao và phân tích lỗ hổng cũng như thử nghiệm thâm nhập. Chuyên môn về kiểm tra bảo mật hợp đồng thông minh và các giải pháp dựa trên zk-SNARK đã đưa chúng tôi trở thành nhà cung cấp hàng đầu trong ngành. Các dự án lớn bao gồm LIDO, Shard Labs, Stable Unit, 1INCH và nhiều dự án khác.