将zk-SNARK执行服务化以实现可验证的链下计算
软件工程
2024-04-29 v1 密码学与安全
摘要
Zk-SNARKs通过可验证的链下计算（VOC）帮助扩展区块链。zk-SNARK DSL工具包在设计算术电路时至关重要，但在自动化后续的证明生成步骤方面存在不足。我们强调了基于VOC的解决方案中可移植性、互操作性和可管理性的需求，并介绍了一种证明服务，该服务旨在提供一种可扩展且可重用的解决方案，用于利用云生成zk-SNARK证明。
引用
@article{arxiv.2404.16915,
title = {Servicifying zk-SNARKs Execution for Verifiable Off-chain Computations},
author = {Alvaro Alonso Domenech and Jonathan Heiss and Stefan Tai},
journal= {arXiv preprint arXiv:2404.16915},
year = {2024}
}
备注
2 pages, 3 figures