Making Sense of ZK Virtual Machines
A deep dive into how ZKVMs work — from ZK proofs and circuits through arithmetization to building a working STARK-based ZKVM in Rust.
Under the Hood of Solana Program Execution: From Rust Code to SBF Bytecode
A deep dive into Solana's development lifecycle — from writing Rust code through compilation to SBF bytecode, deployment, and execution on the BPF virtual machine.