Horizen推出Ginger-Lib:一个新的Zk-SNARK库扩大了零知识基础

《财富代码》-深度分析、挖掘区块链价值项目,https://www.first.vip/hodl

我们很高兴地宣布,Horizen的Ginger-lib对zk-SNARKs的开发贡献现已公开!Ginger-lib是一个新的zk-SNARK库,它使开发人员能够在其应用程序中构建可扩展的隐私解决方案,同时保持网络的速度和安全性。

什么是Ginger-lib?

Ginger-lib是一个通用工具包,使开发人员能够实现支持完全递归证明合成的zk-SNARK。意大利语中的Ginger是“ Zenzero”,因此它是Horizen的“ Zen零知识”库的恰当名称,这是对全球zk-SNARK运动的贡献。Ginger-lib是ZEXE的分支,但不专注于分散式私有计算(“ DPC”),而是一个可用于不同用例的通用库。它引入了几种新的加密原语和小工具,开发人员可以根据需要使用它们。

Horizen的研发总监Alberto Garoffolo说:“我们希望人们使用这项技术来共同改进它。Ginger-lib设计为通用库,允许开发人员实现满足其用例需求的零知识应用程序。”

让我们谈谈更多技术细节...

该库的一些关键附加功能是MNT4-753和MNT6-753椭圆曲线循环,其中包含实现递归SNARK所需的所有字段,组,图元和小工具。例如,Ginger-lib包括POSEIDON哈希的特定实现,Schnorr签名,VRF和基于POSEIDON的Merkle树实现。

对于所有这些原语,Ginger-lib附带了相应的小工具,这些小工具是用于定制特定用途电路的组件。例如,它包括用于在MNT4和MNT6曲线上构建的证明的证明检验器小工具,Merkle证明检验器小工具,VRF输出检验器小工具等。该库带有多个单元测试,以提高实现质量。

领先的数字资产交易和借贷公司Genesis的首席安全和开发官Uri Stav说:“Ginger-lib的发布和使用,除了新lib必须提供的许多其他加密功能外,还将有助于ZEN的隐私保护。”

“我认为,Ginger-lib最有趣的功能是递归证明组合(可以验证其他证明的证明)。对于密码学家和工程师来说,此功能将允许人们以快速,简洁和廉价的方式验证侧链或整个主链的状态,而无需同步整个链的历史。”

Horizen将与Ginger-lib一起发布另外两个库,这是其侧链开发的一部分  Zendoo,它使Ginger-lib的用法多样化:

  • zendoo-sc-cryptolib为POSEIDON哈希计算,快速的Merkle树处理和Sidechain Beta电路证明生成提供了侧链支持。Zendoo-sc-cryptolib还包含一个用于证明阈值签名的电路,该电路将在Horizen Sidechain Beta版本中使用,以向主链提供有效证书的证明。
  • zendoo-mc-cryptolib使Ginger-lib加密原语可用于主链核心,并允许主链节点验证证书证明以启用侧链反向传输。

Horizen联合创始人Rob Viglione说:“发布Ginger-lib是我们团队迈出的重要一步。我们希望通过技术将整个世界融合在一起,为开发人员创建这个开源库离实现该目标仅一步之遥;对于世界各地的开发人员而言,该库是一种绝佳的方式,可以参与并利用零知识加密技术。我们希望他们将使用该库来提高系统的安全性。”

Ginger-lib是Horizen对零知识空间的第一个原始贡献。Horizen将发布原始技术文档,解释其中包含的某些小工具和电路的设计选择和安全隐患。此版本发布后,将继续公开开发Ginger-lib。 

立即在Github上查看Ginger-lib!https://github.com/zencashofficial/ginger-lib

本文由 区块链资讯平台头等仓 作者:HORIZEN官方 发表,其版权均为 区块链资讯平台头等仓 所有,文章内容系作者个人观点,不代表 区块链资讯平台头等仓 对观点赞同或支持。如需转载,请注明文章来源。
《财富代码》-深度分析、挖掘区块链价值项目,https://www.first.vip/hodl

发表评论