Radiant: Concolic Execution for Solana Programs
This article introduces Radiant, a binary-level concolic execution framework for Solana programs.
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 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.