Image de couverture de livre

Optimizing Optimism: Up to 3.5x Faster zkVM Validity Proofs via Sparse Derivation

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ahmadvand, Mohsen, Souto, Pedro
Format:	Preprint
Publié:	2025
Sujets:	Cryptography and Security
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Cost-Effective ZK-Rollups: Modeling and Optimization of Proving Infrastructure
par: Ahmadvand, Mohsen, et autres
Publié: (2025)

zkVC: Fast Zero-Knowledge Proof for Private and Verifiable Computing
par: Zhang, Yancheng, et autres
Publié: (2025)

zk-IoT: Securing the Internet of Things with Zero-Knowledge Proofs on Blockchain Platforms
par: Ramezan, Gholamreza, et autres
Publié: (2024)

zkFi: Privacy-Preserving and Regulation Compliant Transactions using Zero Knowledge Proofs
par: Chaudhary, Amit
Publié: (2023)

zkLLM: Zero Knowledge Proofs for Large Language Models
par: Sun, Haochen, et autres
Publié: (2024)

Need for zkSpeed: Accelerating HyperPlonk for Zero-Knowledge Proofs
par: Daftardar, Alhad, et autres
Publié: (2025)

push0: Scalable and Fault-Tolerant Orchestration for Zero-Knowledge Proof Generation
par: Ahmadvand, Mohsen, et autres
Publié: (2026)

Evaluating Compiler Optimization Impacts on zkVM Performance
par: Gassmann, Thomas, et autres
Publié: (2025)

zkStruDul: Programming zkSNARKs with Structural Duality
par: Krishnan, Rahul, et autres
Publié: (2025)

zk-Fabric, a Polylithic Syntax Zero Knowledge Joint Proof System
par: Sun, Sheng, et autres
Publié: (2021)

zkRansomware: Proof-of-Data Recoverability and Multi-round Game Theoretic Modeling of Ransomware Decisions
par: Hou, Xinyu, et autres
Publié: (2026)

Towards a zk-SNARK compiler for Wolfram language
par: Cruz, Armando
Publié: (2024)

Artemis: Efficient Commit-and-Prove SNARKs for zkML
par: Lycklama, Hidde, et autres
Publié: (2024)

zkFL: Zero-Knowledge Proof-based Gradient Aggregation for Federated Learning
par: Wang, Zhipeng, et autres
Publié: (2023)

zkLogin: Privacy-Preserving Blockchain Authentication with Existing Credentials
par: Baldimtsi, Foteini, et autres
Publié: (2024)

From Paper Trails to Trust on Tracks: Adding Public Transparency to Railways via zk-SNARKs
par: Galal, Tarek, et autres
Publié: (2025)

zkFinGPT: Zero-Knowledge Proofs for Financial Generative Pre-trained Transformers
par: Liu, Xiao-Yang, et autres
Publié: (2026)

zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits
par: Takahashi, Hideaki, et autres
Publié: (2025)

SoK: Understanding zk-SNARKs: The Gap Between Research and Practice
par: Liang, Junkai, et autres
Publié: (2025)

zkToken: Empowering Holders to Limit Revocation Checks for Verifiable Credentials
par: Manimaran, Praveensankar, et autres
Publié: (2025)

fAmulet: Finding Finalization Failure Bugs in Polygon zkRollup
par: Li, Zihao, et autres
Publié: (2024)

A Comparative Analysis of zk-SNARKs and zk-STARKs: Theory and Practice
par: Nainwal, Ayush, et autres
Publié: (2025)

Privacy-Preserving UCB Decision Process Verification via zk-SNARKs
par: Jiang, Xikun, et autres
Publié: (2024)

FeatherWallet: A Lightweight Mobile Cryptocurrency Wallet Using zk-SNARKs
par: Perešíni, Martin, et autres
Publié: (2025)

zkTax: A pragmatic way to support zero-knowledge tax disclosures
par: Berke, Alex, et autres
Publié: (2023)

Data Availability and Decentralization: New Techniques for zk-Rollups in Layer 2 Blockchain Networks
par: Huang, Chengpeng, et autres
Publié: (2024)

Valida ISA Spec, version 1.0: A zk-Optimized Instruction Set Architecture
par: Thomas, Morgan, et autres
Publié: (2025)

A Privacy-preserving key transmission protocol to distribute QRNG keys using zk-SNARKs
par: Soler, David, et autres
Publié: (2024)

zk-X509: Privacy-Preserving On-Chain Identity from Legacy PKI via Zero-Knowledge Proofs
par: Bak, Yeongju
Publié: (2026)

Privacy-Preserving Smart Contracts for Permissioned Blockchains: A zk-SNARK-Based Recipe Part-1
par: Burgos, Aldenio, et autres
Publié: (2025)

Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
par: Domenech, Alvaro Alonso, et autres
Publié: (2024)

Constraint-Level Design of zkEVMs: Architectures, Trade-offs, and Evolution
par: Hassanzadeh-Nazarabadi, Yahya, et autres
Publié: (2025)

ZeroOS: A Universal Modular Library OS for zkVMs
par: Zou, Guangxian, et autres
Publié: (2025)

zkSBOM: Privacy-Preserving SBOM Sharing with Zero-Knowledge Sets
par: Sorger, Tom, et autres
Publié: (2026)

AgenticVM: Agentic AI for Adaptive Software Vulnerability Management
par: Arifin, Asrul, et autres
Publié: (2026)

Homomorphic Encryption-based Vaults for Anonymous Balances on VM-enabled Blockchains
par: Salleras, Xavier
Publié: (2025)

zkDFL: An efficient and privacy-preserving decentralized federated learning with zero-knowledge proof
par: Ahmadi, Mojtaba, et autres
Publié: (2023)

Arguzz: Testing zkVMs for Soundness and Completeness Bugs
par: Hochrainer, Christoph, et autres
Publié: (2025)

A Simulation-based Evaluation Framework for Inter-VM RowHammer Mitigation Techniques
par: Kawasaki, Hidemasa, et autres
Publié: (2025)

zkUnlearner: A Zero-Knowledge Framework for Verifiable Unlearning with Multi-Granularity and Forgery-Resistance
par: Wang, Nan, et autres
Publié: (2025)