Darlin：基于 Marlin 的递归证明
密码学与安全
2021-10-04 v2
摘要
本文档描述了 Darlin，一种基于 Marlin SNARK (Chiesa 等人，Eurocrypt 2020) 与 Bootle 等人 EUROCRYPT 2016 的“dlog”多项式承诺方案的简洁零知识知识论证。Darlin 通过整合来自 Halo (IACR eprint 2019/099) 的摊销技术来处理 dlog 验证器中非简洁部分，从而解决递归证明问题，并且我们将其针对双变量电路编码多项式的策略进行调整，以聚合递归方案中节点间的 Marlin 内层和校验。我们估计，在入度为 2 的树状方案中，内层和校验聚合带来约 30% 的性能影响，应用于线性递归时影响更大。
引用
@article{arxiv.2107.04315,
title = {Darlin: Recursive Proofs using Marlin},
author = {Ulrich Haböck and Alberto Garoffolo and Daniele Di Benedetto},
journal= {arXiv preprint arXiv:2107.04315},
year = {2021}
}