An Introduction to Eloizer: A Static Analyzer for Solana programs
This post introduces Eloizer, a static analyzer for Solana programs that we built and released as open source.
Expert security auditing, secure protocol development, and custom tooling for blockchain ecosystems. Combining advanced security research with tailored fuzzing and automation to protect cross-chain protocols and DeFi systems.
Research, insights, and technical deep-dives into Web3 security
This post introduces Eloizer, a static analyzer for Solana programs that we built and released as open source.
This article introduces Radiant, a binary-level concolic execution framework for Solana programs.
This article introduces Solaris, a stateful, structure-aware, sBPF bytecode coverage-guided fuzzer designed for Solana programs.
From security audits to custom development and consulting, we're ready to discuss how we can support your project.