Mohsen Ahmadvand3 talks by Mohsen AhmadvandProving Less, Verifying More: 3.5× Faster L2 Validity ProofsLightning Talk: Proof Orchestration in Rust: Scaling Proof Workflows by Mohsen Ahmadvand, ZircuitOptimizing ZK-Rollups: Unlocking Cost-Effective Proving Infrastructure