تقرير
Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations
| العنوان: | Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations |
|---|---|
| المؤلفون: | Domenech, Alvaro Alonso, Heiss, Jonathan, Tai, Stefan |
| سنة النشر: | 2024 |
| المجموعة: | Computer Science |
| مصطلحات موضوعية: | Computer Science - Software Engineering, Computer Science - Cryptography and Security |
| الوصف: | 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. Comment: 2 pages, 3 figures |
| نوع الوثيقة: | Working Paper |
| URL الوصول: | http://arxiv.org/abs/2404.16915 |
| رقم الأكسشن: | edsarx.2404.16915 |
| قاعدة البيانات: | arXiv |
| الوصف غير متاح. |