1 paper
Irvin Steve Cardenas, Yugart Song
We present a formal specification for the implementation of Solana virtual machine (SVM) rollups deployed on top of the Solana Layer 1 (L1) blockchain. We further discuss our motiv…