LISA는 솔리디티 스마트 계약을 위한 LLM 기반 보안 분석 도구로, 블록체인 기술을 활용해 취약점 탐지 및 감사를 제공하는 Web3 보안 프로젝트입니다.
LISA
|
AI 에이전트、보안 솔루션、보안 감사
| -- | LISA 스마트 계약 분석 |
101
|
378
|
TestMachine은 계약을 분석하고 잠재적인 보안 취약성을 찾아내는 AI 기반 블록체인 보안 회사입니다. 반복되는 코드 구조와 패턴을 식별하고 분석하여 계약이 알려진 악용 및 위협에 강건하도록 보장합니다.
Testmachine
|
보안 솔루션、보안 감사
| -- | AI 기반 블록체인 보안 |
106
|
176
|
MoveBit는 Move 생태계의 보안에 중점을 둔 블록체인 보안 회사로, Move 생태계를 가장 안전한 Web3 목적지로 만들겠다는 비전을 가지고 있습니다.
MoveBit
|
보안 솔루션、보안 감사
| -- | Move 생태계를 위한 보안 감사 회사 |
147
|
79
|
Zokyo는 전설적인 웹3/암호화폐 사업을 구축, 보호 및 자금 지원하는 벤처 스튜디오입니다. 보안 감사, 침투 테스트(네트워크, 모바일, 앱), 데이터 유출 발견, 소셜 엔지니어링, VAPT 테스트와 같은 공격적 보안 서비스를 제공하여 기업을 해커로부터 보호합니다. Zokyo의 DeFi 스튜디오는 선택된 기업에 풀스택 파트너 역할을 하여 장기적이고 지속 가능한 프로젝트를 구축, 보호, 배포 및 성장시키는 리소스를 제공하고 전 세계의 투자자 및 기존 거래 회사에 연결합니다.
Zokyo
|
보안 솔루션、보안 감사
| -- | Web3 중심의 사이버보안 기업 |
204
|
62
|
0x0은 유틸리티 소득의 100%가 ETH로 코인 보유자에게 분배되어 수동 소득 스트림을 생성하는 올인원 프라이버시 허브 및 AI 스마트 계약 감사자입니다. 이 플랫폼에는 AI 기반 스마트 계약 감사자와 프라이버시 믹서가 포함되어 있습니다. 또한 0x0은 프라이버시 DEX, 사용자 지정 스마트 계약을 작성하기 위한 올인원 허브, 사기의 희생자가 되는 것을 방지하기 위해 의심스러운 거래를 감지하고 선행 실행할 수 있는 AI 봇을 개발하고 있습니다.
0x0
|
보안 솔루션、보안 감사、은둔
| | AI 스마트 계약 감사 플랫폼 |
168
|
51
|
Cyberscope는 스마트 계약 감사 및 KYC 서비스 회사로, 지금까지 1,200개 이상의 블록체인 프로젝트와 NFT를 감사하고 500개 이상의 팀을 KYC했습니다.
Cyberscope
|
보안 솔루션、보안 감사
| -- | 스마트 계약 감사 및 KYC 서비스 회사 |
59
|
47
|
Beosin은 스마트 계약 감사, 도난당한 암호화폐 복구, 위험 모니터링, 알림 등의 서비스를 제공하는 블록체인 보안 서비스 제공업체입니다.
Beosin
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 서비스 제공업체 |
245
|
47
|
OKLink는 업계를 선도하는 시각적 블록체인 데이터 처리 및 분석 도구를 보유한 블록체인 기술 및 데이터 서비스 제공업체입니다. 빅데이터, AI 및 기타 고급 기술을 통합하여 복잡하고 다양한 블록체인 데이터를 분석하고 처리합니다. 이 회사는 블록체인 탐색기, 온체인 데이터 분석, 컴플라이언스 스테이블코인 USDK, 온체인 지갑, 디지털 자산 보관 및 블록체인 아카데미를 포함한 6가지 제품과 서비스를 제공합니다.
OKLink
|
도구、데이터 및 분석、온체인 데이터、블록체인 탐색기、보안 감사
| -- | 블록체인 정보 및 데이터 서비스 제공자 |
288
|
46
|
ZippelVM은 저렴하고 빠른 방식으로 전 세계 소프트웨어를 검증하는 궁극적인 목표로 이더리움의 실시간 증명을 제공합니다.
ZippelLabs
|
보안 감사
| | 이더리움 실시간 증명 |
24
|
45
|
MetaTrust는 Web3 애플리케이션을 위한 자동 보안 스캐닝 솔루션입니다. 최첨단 보안 스캐닝 엔진을 하나의 플랫폼으로 결합하여 전례 없는 속도와 정확성을 제공합니다. 스마트 계약 계층을 넘어 애플리케이션의 모든 측면을 보호합니다.
MetaTrust
|
보안 솔루션、보안 감사
| -- | Web3 애플리케이션을 위한 자동 보안 스캐닝 솔루션 |
120
|
42
|
Sherlock은 감사 당 최대 1,000만 달러의 보장을 제공하는 스마트 계약 감사 플랫폼입니다.
Sherlock
|
보안 솔루션、보안 감사
| -- | 스마트 계약 적용 범위에 따른 감사 |
587
|
42
|
BlockSec은 코드 보안 감사, 공격 방지, 디지털 자산에 대한 자금 세탁 방지 서비스, 원스톱 개발자 툴킷을 제공하는 블록체인 보안 회사입니다. 이들은 블록체인 보안 인프라 구축에 전념하고 있으며, 개발자 툴킷 Phalcon, 블록체인 브라우저 강화 플러그인 MetaDock, 자본 흐름 시각화 도구 MetaSleuth 등의 제품들이 커뮤니티에서 널리 사용되고 있습니다.
BlockSec
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 회사 |
528
|
42
|
2018년에 설립된 블록체인 보안 회사인 CertiK는 종단 간 블록체인 보안 감사 서비스를 위해 공식 검증과 AI 기술을 협업하여 활용합니다. 공식 검증과 수동 검증을 결합하여 스마트 계약의 안전성을 수학적으로 검증합니다. 또한 이 회사는 스마트 계약의 보안을 강화하도록 설계된 보안 중심 블록체인인 "CertiK Chain"을 개발했습니다.
CertiK
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 회사 |
1K
|
42
|
ScaleBit는 ZKP, Layer 2, 크로스체인 애플리케이션에 대한 감사를 전문으로 하는 보안 감사 팀입니다.
ScaleBit
|
보안 솔루션、보안 감사
| -- | Web3의 보안 솔루션 |
81
|
41
|
ChainLight는 첨단 기술과 도구를 사용하여 스마트 계약의 복잡한 보안 취약점을 찾아내는 암호화폐 보안 감사 회사입니다.
ChainLight
|
보안 솔루션、보안 감사
| -- | Web3 보안 감사 회사 |
209
|
38
|
SECBIT Labs는 Solidity 스마트 계약, 형식적 검증, 영지식 증명(ZKP) 및 기타 암호화 알고리즘과 관련된 코드 검사를 포함한 보안 감사 서비스를 제공하는 중국 최고의 기관입니다.
SECBIT Labs
|
보안 솔루션、보안 감사
| -- | 스마트 계약 보안 회사 |
68
|
38
|
Secure3는 프로젝트에 대한 신뢰할 수 있는 보안 감사, 감사자를 위한 경쟁력 있는 인센티브 모델, 커뮤니티를 위한 검증 가능한 감사 실적을 제공하는 협업적 Web3 보안 감사 생태계입니다.
Secure3
|
보안 솔루션、보안 감사
| -- | 협력적 Web3 보안 감사 생태계 |
127
|
37
|
Sayfer는 기업을 위한 맞춤형 사이버보안 솔루션을 전문으로 하는 web3 사이버보안 컨설팅 회사입니다. Sayfer의 연구원과 비즈니스 위협 분석가는 해커의 사고방식으로 사이버보안에 접근합니다. 이 전략을 통해 Sayfer는 가장 중요한 위험 영역을 우선시하고 솔루션을 제공하며 기존 보안 제품에서 간과할 수 있는 취약성을 해결할 수 있습니다.
Sayfer
|
보안 솔루션、보안 감사
| -- | Web3 사이버 보안 컨설팅 회사 |
29
|
36
|
Veridise는 스마트 계약, web3 애플리케이션, 제로 지식 회로, 블록체인 구현을 포함한 블록체인 생태계의 모든 계층에 대한 감사 및 소프트웨어 분석 도구를 제공하는 블록체인 보안 회사입니다. 공식 검증 및 소프트웨어 보안 연구자 팀이 공동 설립한 Veridise는 블록체인 보안을 강화하기 위한 최첨단 툴링을 제공합니다. 또한 스마트 계약 보안 및 정확성을 자동으로 감사하기 위한 포괄적이고 사용자 친화적인 툴체인을 제공합니다.
Veridise
|
보안 솔루션、보안 감사
| -- | 공식적 방법을 통한 블록체인 보안 강화 |
225
|
35
|
MixBytes는 스마트 계약 개발, 테스트, 보안 감사 및 프로토콜 개발을 위한 포괄적인 서비스를 제공하는 블록체인 솔루션 자문 회사입니다.
MixBytes
|
기술 솔루션、보안 솔루션、보안 감사
| -- | 블록체인 솔루션 자문 기업 |
161
|
35
|
Runtime Verification은 정식 방법을 사용하여 퍼블릭 블록체인의 가상 머신과 스마트 계약에 대한 보안 감사를 수행합니다. 또한 블록체인 공간에서 소프트웨어 시스템의 안전성, 신뢰성 및 정확성을 개선하기 위한 소프트웨어 테스트, 검증 서비스 및 제품을 제공합니다.
Runtime Vеrification
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 회사 |
418
|
34
|
CredShields는 버튼 한 번 클릭으로 감사 보고서를 제공하는 클라우드 기반 스마트 계약 보안 스캐너인 SolidityScan.com을 구축하고 있습니다.
CredShields
|
보안 솔루션、보안 감사
| -- | Web3 보안을 전문으로 하는 사이버 보안 회사 |
60
|
33
|
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 감사 회사 |
179
|
33
|
Hacken은 Web3 공간을 보다 윤리적인 환경으로 전환한다는 비전을 가진 Web3 사이버 보안 감사원입니다. Web3 프로젝트와 커뮤니티에 스마트 계약 감사, L1 블록체인 프로토콜 감사, dApp 감사, 펜테스트, 1위 버그 바운티 플랫폼인 HackenProof에서 실행되는 버그 바운티 프로그램 등의 사이버 보안 서비스를 제공합니다.
Hacken
|
보안 솔루션、보안 감사
| -- | Web3 사이버 보안 감사원 |
583
|
33
|
Sooho.io는 한국 최고의 기술 기업의 IT 부서에 감사를 제공하는 스마트 계약 감사 플랫폼입니다. 또한 DeFi 프로토콜의 "분열된 풍경"을 중앙화하는 것을 목표로 레버리지 농산물을 집계하기 위한 프로토콜도 개발했습니다.
Sooho.io
|
보안 솔루션、보안 감사
| -- | 스마트 계약 감사 플랫폼 |
40
|
33
|
Consensys Diligence는 스타트업부터 대기업까지 모든 사람이 Ethereum 블록체인 애플리케이션을 출시하고 유지관리하는 데 도움을 주는 포괄적인 스마트 계약 감사 서비스입니다.
Consensys Diligence
|
보안 솔루션、보안 감사
| -- | ConsenSys의 포괄적인 스마트 계약 감사 서비스 |
311
|
33
|
CD Security는 주로 스마트 계약과 블록체인 프로젝트를 검토하는 블록체인 보안 회사입니다.
CD Security
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 회사 |
32
|
32
|
Burra Sec은 크로스체인 및 상호 운용성 프로토콜과 그 통합에 중점을 두고 보안 감사 및 자문 서비스를 제공합니다.
BurraSec
|
보안 솔루션、보안 감사
| -- | 보안 감사 및 자문 서비스 |
28
|
32
|
|
보안 솔루션、보안 감사
| -- | 스마트 계약 감사 회사 |
24
|
32
|
OXORIO는 스마트 계약, zk-SNARK 솔루션 및 보안 컨설팅을 전문으로 하는 블록체인 보안 회사입니다. 2021년부터 Lido, 1Inch, Rarible, deBridge와 같은 주목할 만한 DeFi 프로젝트에 대한 주요 보안 감사를 수행하여 우수성과 장기적인 고객 관계를 우선시했습니다.
OXORIO
|
보안 솔루션、보안 감사
| -- | 스마트 계약 감사 |
55
|
32
|