Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
Alvaro Alonso Domenech, Jonathan Heiss, Stefan Tai
TL;DR
This paper introduces a scalable, cloud-based Proving Service to automate zk-SNARK proof generation, enhancing portability and interoperability for verifiable off-chain computations in blockchain systems.
Contribution
It presents a novel Proving Service architecture that automates zk-SNARK proof generation, addressing automation and scalability challenges in VOC-based blockchain solutions.
Findings
Proposed a cloud-based Proving Service for zk-SNARKs
Enhanced automation in proof generation process
Improved scalability and reusability of zk-SNARK proofs
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsVLSI and Analog Circuit Testing · Parallel Computing and Optimization Techniques · Formal Methods in Verification