Horizen 发布 Darlin：基于 Marlin 白皮书的携带证明数据方案
我们最新的白皮书描述了 Darlin，这是我们创建的递归 zk-SNARK，用于处理 Latus 侧链中的块和epoch证明的计算。
我们很高兴地宣布发布Darlin：基于 Marlin 白皮书的携带证明数据方案。我们最新的白皮书详细介绍了用于基于Zendoo的可互操作区块链的证明系统。
什么是Darlin？
在我们之前的论文中，我们详细介绍了我们的可扩展性协议Zendoo和Latus，这是一种平衡机制，用于激励分散的参与者系统使用 SNARK 证明区块链的历史。
本文描述了 Darlin，这是 Horizen 创建的递归 zk-SNARK，用于处理 Latus 侧链中的块和纪元证明的计算。Latus 是 Zendoo 中的侧链结构，它使用递归证明组合来生成可互操作区块链当前状态正确性的简洁证明。在这个过程中，为可互操作区块链中发生的每笔交易提供的证明由一组证明者递归计算。然后将这些交易合并以最终得到该纪元的一个唯一证明。
“ Horizen 的工程总监 Alberto Garoffolo 表示：“Darlin 是使任何人能够利用具有零知识隐私技术的开放式分类账技术来验证信息而无需依赖任何第三方同时保护隐私的关键。” “Darlin 通过增加我们系统的设计自由度和灵活性来提高 Zendoo 的整体性能和可用性。能够完全定制区块链到时代是创建一个完全包容的生态系统的必要条件。”
我们用于块和纪元证明计算的证明系统设计有两个关键要求：
- 使用一级约束系统 (R1CS) 来定义电路
- 无需可信设置，允许 Zendoo 开发人员自定义其区块链电路，从而为他们提供更多自由。
“Darlin 旨在以保护用户数据隐私的方式比其他证明系统更高效和模块化。Horizen 的联合创始人 Rob Viglione 说：“我们希望让任何人都能在 Zendoo 上进行构建，同时保持数据的安全性。” “Darlin 是 Zendoo 基金会的一部分，可确保我们的生态系统可用于任何区块链用例。”
立即下载证明系统白皮书，了解有关 Darlin 的更多信息。
相关来源：Horizen 侧链扩展白皮书：Zendoo：一个 Zk-SNARK 可验证 基于 SNARK 的可互操作区块链的 Latus 激励计划
