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.

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.

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.

Burra Sec cung cấp dịch vụ tư vấn và kiểm toán bảo mật, đặc biệt tập trung vào các giao thức chuỗi chéo và khả năng tương tác cũng như sự tích hợp của chúng.

ExVul是一家由全球顶级安全专家组成的领先的Web3安全公司，服务范围涵盖智能合约审计、区块链协议审计、钱包审计、Web3渗透测试、安全咨询与规划。致力于提升Web3生态整体安全性，始终站在Web3安全研究前沿领域。

Bevor là nền tảng tập trung vào bảo mật hợp đồng, nhằm mục đích cung cấp các giải pháp bảo mật toàn diện cho blockchain và hợp đồng thông minh.

CD Security là một công ty bảo mật blockchain chủ yếu đánh giá các hợp đồng thông minh và các dự án blockchain.

Adevar Labs là một công ty kiểm toán bảo mật cung cấp các đánh giá bảo mật trung thực cho các dự án đầy tham vọng nhất của Solana.

Aegis AI là một nền tảng sử dụng trí tuệ nhân tạo để kiểm tra hợp đồng thông minh. Nó cung cấp phân tích thời gian thực để phát hiện lỗ hổng và mã độc hại.

QuillAudits là một công ty bảo mật hợp đồng thông minh đã tiến hành hơn 1.000 cuộc kiểm toán đối với hơn 20 blockchain cho đến nay, bao gồm L1/L2 như Ethereum, BSC và Solana, cung cấp các đánh giá bảo mật tùy chỉnh nghiêm ngặt được thiết kế để đảm bảo các dự án Web3 vẫn an toàn và đáng tin cậy.

Audit Wizard là giải pháp bảo mật hợp đồng thông minh có chức năng quét lỗ hổng chỉ bằng một cú nhấp chuột, khai thác thông tin chi tiết về AI, tạo các bài kiểm tra đơn vị trực quan, v.v.

TonBit là đơn vị xây dựng và chuyên gia bảo mật đầu tiên của TON. Nền tảng này cung cấp dịch vụ kiểm toán hợp đồng thông minh.

Statemind Statemind là một công ty kiểm toán bảo mật blockchain cung cấp dịch vụ kiểm toán và tư vấn cho khách hàng trong ngành blockchain.

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.

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.

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.

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.

CodeHawks là thị trường kiểm tra hợp đồng thông minh được cung cấp bởi Cyfrin. CodeHawks hoạt động để bảo vệ DeFi, Giao thức, người dùng và tiền của họ khỏi việc khai thác hợp đồng thông minh bằng các đánh giá bảo mật thông qua quy trình Kiểm toán chuyên sâu và cạnh tranh hợp lý được thực hiện bởi các kiểm toán viên hàng đầu thế giới và cộng đồng của chúng tôi.

Security là một công ty tập trung vào bảo mật ứng dụng web3: hợp đồng thông minh, chuỗi khối lớp 1, chuỗi bên, dApp, v.v. Decurity tiến hành kiểm tra bảo mật, tư vấn bảo mật liên tục và giám sát bảo mật.

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.

DeFimoon là một công ty bảo mật và phát triển blockchain tập trung vào việc cung cấp kiểm tra bảo mật toàn diện cho các hệ thống dựa trên blockchain.

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.

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.

Inspex là dịch vụ chuyên nghiệp về An ninh mạng, Được thành lập vào năm 2021, Inspex được thành lập bởi đội ngũ chuyên gia an ninh mạng có nhiều kinh nghiệm trong các lĩnh vực an ninh mạng khác nhau. Inspex cung cấp các dịch vụ và giải pháp chuyên nghiệp về blockchain và hợp đồng thông minh với chất lượng cao nhất để tăng cường tính bảo mật của hệ sinh thái blockchain trên phạm vi rộng.

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.

Hashlock is Australia's leading independent blockchain cybersecurity and smart contract auditing firm. They are a highly specialised Blockchain Cybersecurity firm coming from manual analysis, community auditing backgrounds and differentiate by the quantity of findings and being maintaining a high level of collaboration with clients, both in Australia and globally.

Solidified là một trong những công ty bảo mật hợp đồng thông minh hoạt động lâu nhất, đã bảo đảm các dự án DeFi phổ biến như Loopring, Kyber, Argent, Gnosis, Nexus Mutual, Polymath, Hermez, Aztec và nhiều dự án khác. Các dịch vụ chuyên sâu, toàn diện và toàn diện của nó bao gồm tất cả các giai đoạn trong vòng đời sản phẩm của bạn, từ tư vấn về các đặc tính bảo mật của ý tưởng ban đầu, đánh giá sách trắng, tư vấn về tokenomics, đánh giá mã, thử nghiệm, làm mờ, cho đến quản lý phát hành và vận hành. bảo vệ.

Oak Security là một công ty tư vấn an ninh mạng cung cấp dịch vụ kiểm tra bảo mật cho một số chuỗi khối, đặc biệt tập trung vào các chuỗi khối và giao thức thế hệ thứ ba, chẳng hạn như hệ sinh thái Cosmos, Terra, Polkadot và Flow .