About Sigvex
Production-grade bytecode decompilation and security analysis for smart contracts across multiple blockchain runtimes.
Smart contracts manage billions of dollars in digital assets, yet the tools available to audit and understand them have historically lagged behind the sophistication of the protocols they secure. Sigvex exists to close that gap.
We build tools that give security researchers, auditors, and developers deep visibility into compiled bytecode — transforming opaque on-chain programs into readable, analyzable source code with automated vulnerability detection.
Sigvex is a multi-runtime decompiler and security analysis engine built from the ground up as a memory-safe native engine. It supports the Ethereum Virtual Machine (EVM), the Solana Virtual Machine (SVM), and zero-knowledge toolchains (Noir, Circom, Leo, Cairo) — covering the largest smart-contract ecosystems and their emerging ZK equivalents.
Bytecode Decompilation
Transform raw bytecode into readable Solidity, Yul, or Rust source through a multi-stage IR pipeline with semantic lifting and type recovery.
Vulnerability Detection
Automated security analysis with detectors for reentrancy, integer overflow, access control flaws, oracle manipulation, flash loan vectors, and more.
Exploit Validation
Generate and test proof-of-concept exploits against detected vulnerabilities to confirm findings and reduce false positives.
Coverage-Guided Fuzzing
Browser-based and native fuzzers that systematically explore contract state space to uncover edge-case vulnerabilities.
Every component of Sigvex is designed around correctness, performance, and composability. The codebase follows an eight-layer clean architecture with strict dependency boundaries between runtimes and shared abstractions.
- Memory-safe native core. No garbage collector, zero-cost abstractions, and a single build that targets both native binaries and WebAssembly.
- Multi-runtime by design. EVM, SVM, and zero-knowledge runtimes (Noir, Circom, Leo, Cairo) are isolated at the domain layer but unified through shared traits, storage interfaces, and presentation APIs.
- Research-driven. Our decompilation pipeline incorporates techniques from academic compiler research — e-graph constraint satisfaction, semantic lifting, and coverage-guided fuzzing.
Sigvex is built by a team of security researchers, compiler engineers, and systems programmers with deep expertise in blockchain security, program analysis, and distributed systems.
Our contributors bring experience from smart contract auditing firms, protocol development teams, and academic research labs. We are united by the conviction that better tooling leads to safer protocols and a more secure decentralized ecosystem.
Whether you're a security researcher, a protocol developer, or an enterprise team securing critical infrastructure, there are many ways to engage with Sigvex.