본문으로 건너뛰기
보안 및 테스트

AuditHub

퍼즈/속성 테스트

웹사이트 방문 (새 탭에서 열림)X의 AuditHub (새 탭에서 열림)GitHub의 AuditHub (새 탭에서 열림)

다음 보기

contender (Flashbots)

AuditHub 소개

AuditHub is Veridise's hosted security platform that connects to a GitHub repository and runs automated checks on every commit. It bundles Vanguard (static analysis for Solidity 0.8.4 and newer, in Hardhat and Foundry projects), OrCa (a specification-driven fuzzer for multi-contract DeFi protocols), Picus (determinism verification for ZK circuits) and ZK Vanguard (static analysis for ZK circuits). Smart contract and ZK teams use it to catch reentrancy, specification violations and underconstrained circuits during development, before an external audit.

태그

  • 보안
  • 정적 분석
  • 퍼즈 테스트
  • 정형 검증
  • Solidity
  • 지속적 통합

리포지토리Veridise

패키지https:

정보

유형
퍼즈/속성 테스트
GitHub 스타
23
리스팅 검토일
2026년 10월

유사한 도구

Chimera

Chimera

Chimera는 Foundry에서 Solidity 테스트를 작성하고 Echidna, Medusa, Halmos, Kontrol과 같은 다른 오픈 소스 도구와 재사용할 수 있는 프레임워크입니다.

Slither
CROPS 네이티브

Slither

슬리더(Slither)는 Solidity 및 Vyper를 위한 Trail of Bits의 Python 정적 분석 엔진입니다. CI에서 실행하여 탐지기를 실행하거나, 컨트랙트의 구조적 뷰를 인쇄하거나, 전체 코드베이스에 대한 사용자 지정 검사를 스크립팅할 수 있습니다.

Echidna
CROPS 네이티브

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.