Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
CoRR(2024)
Abstract
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.
MoreTranslated text
AI Read Science
Must-Reading Tree
Example
![](https://originalfileserver.aminer.cn/sys/aminer/pubs/mrt_preview.jpeg)
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined