LISA는 솔리디티 스마트 계약을 위한 LLM 기반 보안 분석 도구로, 블록체인 기술을 활용해 취약점 탐지 및 감사를 제공하는 Web3 보안 프로젝트입니다.
LISA
|
AI 에이전트、보안 솔루션、보안 감사
| -- | LISA 스마트 계약 분석 |
|
89
|
0x0은 유틸리티 소득의 100%가 ETH로 코인 보유자에게 분배되어 수동 소득 스트림을 생성하는 올인원 프라이버시 허브 및 AI 스마트 계약 감사자입니다. 이 플랫폼에는 AI 기반 스마트 계약 감사자와 프라이버시 믹서가 포함되어 있습니다. 또한 0x0은 프라이버시 DEX, 사용자 지정 스마트 계약을 작성하기 위한 올인원 허브, 사기의 희생자가 되는 것을 방지하기 위해 의심스러운 거래를 감지하고 선행 실행할 수 있는 AI 봇을 개발하고 있습니다.
0x0
|
보안 솔루션、보안 감사、은둔
| | AI 스마트 계약 감사 플랫폼 |
|
38
|
Runtime Verification은 정식 방법을 사용하여 퍼블릭 블록체인의 가상 머신과 스마트 계약에 대한 보안 감사를 수행합니다. 또한 블록체인 공간에서 소프트웨어 시스템의 안전성, 신뢰성 및 정확성을 개선하기 위한 소프트웨어 테스트, 검증 서비스 및 제품을 제공합니다.
Runtime Vеrification
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 회사 |
|
38
|
Burra Sec은 크로스체인 및 상호 운용성 프로토콜과 그 통합에 중점을 두고 보안 감사 및 자문 서비스를 제공합니다.
BurraSec
|
보안 솔루션、보안 감사
| -- | 보안 감사 및 자문 서비스 |
|
29
|
|
보안 솔루션、보안 감사
| -- | |
|
28
|
Bevor는 계약 보안에 중점을 둔 플랫폼으로, 블록체인과 스마트 계약을 위한 포괄적인 보안 솔루션을 제공하는 것을 목표로 합니다.
BevorAI
|
도구、보안 감사
| -- | AI 스마트 계약 감사 에이전트 |
|
28
|
CD Security는 주로 스마트 계약과 블록체인 프로젝트를 검토하는 블록체인 보안 회사입니다.
CD Security
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 회사 |
|
28
|
ZippelVM은 저렴하고 빠른 방식으로 전 세계 소프트웨어를 검증하는 궁극적인 목표로 이더리움의 실시간 증명을 제공합니다.
ZippelLabs
|
보안 감사
| | 이더리움 실시간 증명 |
|
28
|
Adevar Labs는 Solana의 가장 야심찬 프로젝트에 대한 정직한 보안 평가를 제공하는 보안 감사 회사입니다.
Adevar Labs
|
보안 솔루션、보안 감사
| -- | 보안 감사 회사 |
|
28
|
Aegis AI는 인공지능을 사용하여 스마트 계약을 감사하는 플랫폼입니다. 취약점과 악성 코드를 감지하기 위한 실시간 분석을 제공합니다.
AEGIS AI
|
도구、AI、보안 감사
| -- | 감사 플랫폼에 대한 인공 지능 |
|
28
|
QuillAudits는 Ethereum, BSC, Solana와 같은 L1/L2를 포함하여 20개 이상의 블록체인에 대한 1,000건 이상의 감사를 수행한 스마트 계약 보안 회사로, Web3 프로젝트가 안전하고 신뢰할 수 있도록 설계된 엄격한 맞춤형 보안 평가를 제공합니다.
QuillAudits
|
보안 솔루션、보안 감사
| -- | 스마트 계약 보안 회사 |
|
28
|
Audit Wizard는 한 번의 클릭으로 취약점을 스캔하고, AI 통찰력을 활용하고, 직관적으로 단위 테스트를 작성하는 등의 기능을 갖춘 스마트 계약 보안 솔루션입니다.
Audit Wizard
|
보안 솔루션、보안 감사
| -- | 스마트 계약 보안 솔루션 |
|
28
|
TonBit은 TON의 초기 개발자이자 보안 전문 기업입니다. 이 플랫폼은 스마트 계약 감사 서비스를 제공합니다.
TonBit
|
보안 솔루션、보안 감사
| | TON의 보안 전문가 |
|
28
|
Statemind Statemind는 블록체인 산업의 고객에게 감사 및 컨설팅 서비스를 제공하는 블록체인 보안 감사 회사입니다.
Statemind
|
보안 솔루션、보안 감사
| -- | 블록체인 보안 회사 |
|
28
|
TestMachine은 계약을 분석하고 잠재적인 보안 취약성을 찾아내는 AI 기반 블록체인 보안 회사입니다. 반복되는 코드 구조와 패턴을 식별하고 분석하여 계약이 알려진 악용 및 위협에 강건하도록 보장합니다.
Testmachine
|
보안 솔루션、보안 감사
| -- | AI 기반 블록체인 보안 |
|
28
|
CredShields는 버튼 한 번 클릭으로 감사 보고서를 제공하는 클라우드 기반 스마트 계약 보안 스캐너인 SolidityScan.com을 구축하고 있습니다.
CredShields
|
보안 솔루션、보안 감사
| -- | Web3 보안을 전문으로 하는 사이버 보안 회사 |
|
28
|
Neodyme은 혁신적인 사고를 통해 과제를 해결하는 제품 안전 중심 회사로, 여러 국제 CTF 대회에서 수상했습니다. Neodyme은 블록체인 감사, 침투 테스트, 보안 교육과 같은 서비스를 제공합니다.
Neodyme
|
보안 솔루션、보안 감사
| -- | Web3 보안 솔루션 제공업체 |
|
28
|
Sayfer는 기업을 위한 맞춤형 사이버보안 솔루션을 전문으로 하는 web3 사이버보안 컨설팅 회사입니다. Sayfer의 연구원과 비즈니스 위협 분석가는 해커의 사고방식으로 사이버보안에 접근합니다. 이 전략을 통해 Sayfer는 가장 중요한 위험 영역을 우선시하고 솔루션을 제공하며 기존 보안 제품에서 간과할 수 있는 취약성을 해결할 수 있습니다.
Sayfer
|
보안 솔루션、보안 감사
| -- | Web3 사이버 보안 컨설팅 회사 |
|
28
|
CodeHawks는 Cyfrin이 지원하는 스마트 계약 감사 마켓플레이스입니다. CodeHawks는 세계 최고의 감사원과 커뮤니티가 수행하는 심층적이고 경쟁력 있는 감사의 간소화된 프로세스를 통해 보안 검토를 통해 DeFi, 프로토콜, 사용자 및 자금을 스마트 계약 악용으로부터 보호하기 위해 노력합니다.
CodeHawks
|
보안 솔루션、보안 감사
| -- | 스마트 계약 감사 마켓플레이스 |
|
28
|
Decurity는 스마트 계약, 레이어 1 블록체인, 사이드체인, dApp 등 웹 3 애플리케이션의 보안에 중점을 둔 회사입니다. Decurity는 보안 감사, 지속적인 보안 자문 및 보안 모니터링을 수행합니다.
Decurity
|
보안 솔루션、보안 감사
| -- | 분산형 금융 보안 |
|
28
|
ScaleBit는 ZKP, Layer 2, 크로스체인 애플리케이션에 대한 감사를 전문으로 하는 보안 감사 팀입니다.
ScaleBit
|
보안 솔루션、보안 감사
| -- | Web3의 보안 솔루션 |
|
28
|
DeFimoon은 블록체인 기반 시스템에 대한 포괄적인 보안 감사를 제공하는 데 중점을 둔 블록체인 개발 및 보안 회사입니다.
DeFimoon
|
보안 솔루션、보안 감사
| -- | 블록체인 개발 및 보안 회사 |
|
28
|
ChainLight는 첨단 기술과 도구를 사용하여 스마트 계약의 복잡한 보안 취약점을 찾아내는 암호화폐 보안 감사 회사입니다.
ChainLight
|
보안 솔루션、보안 감사
| -- | Web3 보안 감사 회사 |
|
28
|
|
보안 솔루션、보안 감사
| -- | 스마트 계약 감사 회사 |
|
28
|
Inspex는 사이버 보안 전문 서비스로, 2021년에 설립된 Inspex는 다양한 사이버 보안 분야에서 풍부한 경험을 가진 사이버 보안 전문가 팀으로 구성되어 있습니다. Inspex는 광범위한 블록체인 생태계의 보안을 강화하기 위해 최고 품질의 블록체인 및 스마트 계약 전문 서비스와 솔루션을 제공합니다.
Inspex
|
보안 솔루션、보안 감사
| -- | 사이버 보안 전문 서비스 |
|
28
|
OXORIO는 스마트 계약, zk-SNARK 솔루션 및 보안 컨설팅을 전문으로 하는 블록체인 보안 회사입니다. 2021년부터 Lido, 1Inch, Rarible, deBridge와 같은 주목할 만한 DeFi 프로젝트에 대한 주요 보안 감사를 수행하여 우수성과 장기적인 고객 관계를 우선시했습니다.
OXORIO
|
보안 솔루션、보안 감사
| -- | 스마트 계약 감사 |
|
28
|
Hashlock은 호주의 선도적인 독립 블록체인 사이버보안 및 스마트 계약 감사 회사입니다. 이들은 수동 분석, 커뮤니티 감사 배경에서 나온 고도로 전문화된 블록체인 사이버보안 회사이며, 발견 사항의 양과 호주와 전 세계의 고객과의 높은 수준의 협업을 유지하는 것으로 차별화됩니다.
Hashlock
|
보안 솔루션、보안 감사
| -- | 스마트 계약 감사 회사 |
|
28
|
Solidified는 Loopring, Kyber, Argent, Gnosis, Nexus Mutual, Polymath, Hermez, Aztec 등 인기 있는 DeFi 프로젝트를 확보한 가장 오래된 스마트 계약 보안 회사 중 하나입니다. 심층적이고 전체적이며 포괄적인 서비스는 초기 아이디어의 보안 속성에 대한 컨설팅, 백서 검토, 토큰 경제학에 대한 조언, 코드 검토, 테스트, 퍼징, 릴리스 관리 및 운영 보안에 이르기까지 제품 수명 주기의 모든 단계를 포괄합니다.
Solidified
|
보안 솔루션、보안 감사
| -- | 스마트 계약 보안 회사 |
|
28
|
Oak Security는 다양한 블록체인에 대한 보안 감사 서비스를 제공하는 사이버 보안 컨설팅 회사로, Cosmos, Terra, Polkadot, Flow 생태계와 같은 3세대 블록체인 및 프로토콜에 중점을 두고 있습니다.
Oak Security
|
보안 솔루션、보안 감사
| -- | Web3 사이버 보안 컨설팅 회사 |
|
28
|
슈프리머시는 자본금 없이 두 명의 해커가 2022년에 설립한 블록체인 보안 회사로, 업계 해커와 학계 연구자로 구성되어 기술적 노하우와 혁신적인 연구를 통해 보안 솔루션을 제공하는 데 전념하고 있습니다.
Supremacy
|
보안 솔루션、보안 감사
| -- | Web3.0 보안 회사 |
|
28
|