VRust
Siwei Cui, Gang Zhao, Yifei Gao, Tien Tavu, Jeff Huang
2022Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security32 citationsDOI
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.
Topics & Concepts
Computer scienceConfusionStateless protocolCode (set theory)Computer securityProgramming languageState (computer science)PsychoanalysisSet (abstract data type)PsychologyBlockchain Technology Applications and SecurityRetinal Imaging and AnalysisAuction Theory and Applications