VRust: Automated Vulnerability Detection for Solana Smart Contracts
Siwei Cui, Gang Zhao, Yifei Gao, Tien Tavu, Jeff Huang
Abstract
Solana is a rapidly-growing high-performance blockchain powered by a Proof of History (PoH) consensus mechanism and a novel stateless programming model that decouples code from data. With parallel execution on the PoH Sealevel runtime (instead of PoW), it achieves 100X-1000X speedups compared to Ethereum in terms of transactions per second. With the new programming model, new constraints (owner, signer, keys, bump seeds) and vulnerabilities (missing checks, overflows, type confusion, etc.) must be carefully verified to ensure the security of Solana smart contracts.
Ask about this paper
Ask your agent about it.
Lune has read the top-tier papers around this one, so every answer names the papers it rests on.
Your agent calls
Lunesearch_papers
Free to start. No credit card required.
Terminal
Install the CLIlune papers get 152922d1-6a8d-4adc-a5fa-4a19fda1cdd8Cited by top-tier papers7
- Fuzz on the Beach: Fuzzing Solana Smart ContractsSven Smolka, Jens-Rene Giesen, Pascal Winkler, Oussama Draissi et al.CCS 2023 · 22 citations
- Pulling Off The Mask: Forensic Analysis of the Deceptive Creator Wallets Behind Smart Contract FraudMingxuan Yao, Runze Zhang, Haichuan Xu, Shih-Huan Chou et al.S&P 2024 · 10 citations
- Defying the Odds: Solana's Unexpected Resilience in Spite of the Security Challenges Faced by DevelopersSébastien Andreina, Tobias Cloosters, Lucas Davi, Jens-Rene Giesen et al.CCS 2024 · 4 citations
- Why Does My Transaction Fail? A First Look at Failed Transactions on the Solana BlockchainXiaoye Zheng, Zhiyuan Wan, David Lo, Difan Xie et al.ISSTA 2025 · 3 citations
- Elastic Restaking Networks: United we fall, (partially) divided we standRoi Bar Zur, Ittay EyalCCS 2025
Related papers
- Soleker: Uncovering Vulnerabilities in Solana Smart ContractsKunsong Zhao, Yunpeng Tian, Zuchao Ma, Xiapu LuoASE 2025
- A Complete Formal Semantics of eBPF Instruction Set Architecture for SolanaShenghao Yuan, Zhuoruo Zhang, Jiayi Lu, David Sanán et al.OOPSLA 2025 · 3 citations
- Exploiting PoH Time Semantics in Solana via Re-Anchoring and ForkingQuanbi Feng, Pinshen Xu, Jianyu Niu, Cong Wang et al.USENIX Security 2026
- An Algorithm and Architecture Co-design for Accelerating Smart Contracts in BlockchainRui Pan, Chubo Liu, Guoqing Xiao, Mingxing Duan et al.ISCA 2023 · 3 citations
- BlockScan: Detecting Anomalies in Blockchain TransactionsJiahao Yu, Xian Wu, Hao Liu, Wenbo Guo et al.NeurIPS 2025 · 7 citations
