Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
<|reference_start|>Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations: Zk-SNARKs help scale blockchains with Verifiable Off-chain Computations (VOC). zk-SNARK DSL toolkits are key when designing arithmetic circuits but fall short of automating the subsequent proof-generation step in an automated manner. We emphasize the need for portability, interoperability, and manageability in VOC-based solutions and introduce a Proving Service that is designed to provide a scalable and reusable solution for generating zk-SNARK proofs leveraging clouds.<|reference_end|>
@article{domenech2024servicifying,
    title={Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations},
    author={Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai},
    journal={arXiv preprint arXiv:2404.16915},
    year={2024},
    archivePrefix={arXiv},
    eprint={2404.16915},
    primaryClass={cs.SE cs.CR}
}