最新一期 ZEN 月报（第六期）

Horizen 月播 2023 年第 6 期，要点总结：

本月新增伙伴：Ankr。
本期主题探讨了密码学和 zk-snarks。
Rob 目标是在 2023 年底有 12 条侧链基于 ZEN 运行，2024 年底有 100 条侧链基于 ZEN 运行。
Horizen 愿景：去中心企业级 Web3.0 底层平台。
Horizen Labs 愿景：成为加密领域的 Google。铸造一个产品线，拥有持续的研发能力，给 Horizen 生态带入大量的应用。

# 一、Horizen 生态进展

# 1. EVM 进展

EON 已有的生态伙伴：

Buildbox 黑客松伙伴
Covalent 数据整合伙伴
Band protocal 去中心化预言机伙伴
Immuefi 漏洞安全伙伴

本月新增伙伴：Ankr, Ankr 是一家去中心化的 Web3 基础设施公司，通过顶级的全球节点交付系统和 RPC 聚合器为 30 多个权益证明链提供服务。是 EON 的首批 RPC 提供商之一。

Gobi 测试网进入最终阶段，超过1百万笔交易，并与 buidlbox 发起了 15 万元的黑客松，目前正在评审中，7月5日公布获胜者。进行7月12日演示。

# 2. EVM 文档

EON 的开发文档及相关的开发教程，详见：https://eon.horizen.io/docs/

# 二、本期主题：密码学

本期嘉宾：马库斯和 Serena。

马库斯是 Horizenlabs 的密码学家，他于 2022 年在格拉茨科技大学 IAIK 加密小组完成了对称密码学领域的博士学位研究。我的主要研究兴趣包括零知识协议、分组密码和哈希函数等对称原语的代数密码分析以及高效实现。在此之前，他在格拉茨科技大学学习计算机科学。目前，他正在研究 STARKs 和 SNARKs 等密码学零知识证明系统领域。

# 1. 密码学怎么助力生态增长？

其实，区块链的底层就是密码学和哈希函数，是任何生态系统都离不开的底层技术，我自己喜欢使用零知识去证明某些东西，使用零知识证明的费用要比常规的费用要高。我们的密码学团队一直在研究如何使 ZKP 更适合企业、开发人员和 Web3 最终用户。

# 2. Horizen 团队从 2017 年发起到现在，一直都很关注 zk-snarks。您能说说此技术的一些真实案例吗？

马库斯答：我主要是负责 zkp 的技术层，其中主要是 Poseidon2，zk-STARKs 透明且快速，而 zk-SNARKs 的证明更小。虽然这两种类型的 ZKP 通常分开使用，但我们的团队最近发现了如何将 STARK (Plonky2) 转换为 SNARK (Groth16)，以获得更好的性能、更快的速度和更小的证明大小。技术详情见：https://medium.com/@horizenlabs-tech

Serena 答:其中一个案例是在我们的 EVM（EON）联系人中，启动隐私投票。这能让用户在私密和不泄露隐私的情况下进行公平公正投票。这种匿名投票将会对未来的投票系统和 DAO 组织有深刻的影响。第二点我们目前还在调研将零知识证明，投入到 DID 去中心化身份系统中。第三点，我们目前正在做一个开发者友好的 api 库，对开发者友好，方便访问。

# 3. 马库斯你目前发表了二篇 ZKP 的论文在 Crypto 2023 及在 #zkSummit2023 被接受，能与我们分享一下其大致内容吗？

市场上有非常多的哈希函数，用户为什么要使用我们的? 我在 2018 年就开始设计 Poseidon，接下来的几年也出现了许多的不同的证明，有的是把各个零件组装起来，有的是为了实现某个目标而牺牲了另一个属性。我的主要二个研究是算术友好的哈希函数 Griffin 及 Poseidon。 Griffin 在性能方面比 Poseidon 差点，但更不受束缚，效率更高，目前被 Facebook 的 winterfell 库采用。另一个是 Poseidon2，它是 Poseidon 的延伸，不用在原基础上做出大幅改变，就能提升性能。

# 4. 关于密码学，你认为大众对它有哪些误解？

Serena 答：密码学对普通大众来讲，听上去很深奥和复杂，遥不可及。我们目前正在做的是，让这个技术更容易被大众理解，可以轻松地了解并使用它。

马库斯答：密码学实际是一个让信息更安全，让信息变得更私有。在几千年前就有，人们就很重视信息的安全性和隐私性，比例凯撒大帝为他的欧洲军队，对密文进行加密，后来被称为凯撒密码。随着时间的发展，在最近的 10 来年，技术也在演化和革新。我们知道怎么通过密码学去设计区块链，去设计加密函数。还要在安全性、隐私性、交易速度方面做出平衡。