Darlin: Recursive proofs using Marlin

1. 引言

2021年HorizenLabs团队发布论文 Darlin: Recursive proofs using Marlin 作为其 Zendoo——zk-SNARK可验证跨链传输协议 proving system的白皮书。

相关代码实现见：

• https://github.com/HorizenOfficial/ginger-lib（Rust）

Horizen采用Darlin来处理计算其Latus侧链中的block proof和epoch proof。
Latus为Zendoo内构建的侧链，使用recursive proof来为互操作的链的当前状态的正确性生成succinct proof。互操作链内发生的每笔交易的proof都由一组Provers计算，然后将这些交易合并为当前epoch的唯一proof。整个过程中无需信任任何第三方的同时保护了隐私。

Horizen中的block proof和epoch proof的proving system设计的关键要求在于：

• 1）使用R1CS来定义circuits。
• 2）避免trusted setup，从而给Zendoo开发者更多自由来自定义其circuits。

Darlin的核心为：

• Marlin SNARK【R1CS circuit】
• Bulletproofs的基于dlog的polynomial commitment scheme【无需trusted setup】
• 基于Halo的技术实现了Marlin inner sumchecks的recursive proof【recursive proof 递归证明】

参考资料

[1] 2021年论文 Darlin: Recursive proofs using Marlin
[2] zkProofs——Darlin
[3] Horizen Publishes the Darlin: A Proof-Carrying Data Scheme Based on Marlin Whitepaper
[4] Horizen Sidechain Extended Whitepaper: Zendoo: A Zk-SNARK Verifiable Cross-Chain Transfer Protocol Enabling Decoupled And Decentralized Sidechains
[5] Horizen Publishes The Latus Incentive Scheme For SNARK-Based Sidechains