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 assessments, protocol development, and custom tooling for blockchain ecosystems. Combining advanced security research with AI-augmented automation to protect cross-chain protocols and DeFi systems.
protocols building the future of Web3
What our clients say about working with us
"Inversive audited our v2 Solana program and delivered a thorough review with multiple types of testing and investigations. Fast turnaround, clear communication, and a detailed report that gave us real confidence. Looking forward to working with the Inversive team again!"
"Working with the Inversive team on Mixoor’s security audit was an excellent experience from start to finish. For early stage protocols looking for a security partner that combines technical rigor with constructive collaboration, I can confidently recommend the Inversive team."
"Overall very nice execution of the mission. We are very happy with it. Thanks for the professionalism and keeping the support all throughout"
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.