{"ID":2849556,"CreatedAt":"2026-06-01T04:54:23.091178241Z","UpdatedAt":"2026-06-01T04:54:23.091178241Z","DeletedAt":null,"paper_url":"https://arxiv.org/abs/2510.23172","arxiv_id":"2510.23172","title":"Optimizing Optimism: Up to 3.5x Faster zkVM Validity Proofs via Sparse Derivation","abstract":"The Optimism derivation pipeline is engineered for correctness and liveness, not for succinct validity proofs. A straightforward port to a zkVM imposes significant overheads, making validity proofs significantly more costly than necessary. We systematically identify inefficiencies in the current design, analyze their impact on proving costs, and provide a soundness-preserving redesign tailored to zk proving. Our redesign achieves up to 6.5x faster derivation inside zkVMs (3.5x overall speedup) while maintaining identical safety guarantees.","short_abstract":"The Optimism derivation pipeline is engineered for correctness and liveness, not for succinct validity proofs. A straightforward port to a zkVM imposes significant overheads, making validity proofs significantly more costly than necessary. We systematically identify inefficiencies in the current design, analyze their i...","url_abs":"https://arxiv.org/abs/2510.23172","url_pdf":"https://arxiv.org/pdf/2510.23172v3","authors":"[\"Mohsen Ahmadvand\",\"Pedro Souto\"]","published":"2025-10-27T09:59:09Z","proceeding":"cs.CR","tasks":"[\"cs.CR\"]","methods":"[]","has_code":false}