  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.
