今天，我们很高兴地宣布我们支持即将举行的 ZK Hack 活动，以及 Anna Rose 和零知识播客。

在 Aleo，我们热衷于教育开发人员了解零知识密码学的可能性。我们相信这项技术将在传统 Web 应用程序的未来和快速增长的加密经济中发挥关键作用。

什么是 ZK 黑客？

ZK Hack 为期六周的虚拟活动，将开发人员研讨会与动手学习和解决挑战相结合。

简而言之，这是一个以有趣和实用的方式学习零知识证明的机会。边做边学是最好的学习方法之一。解决这些挑战将提供关于零知识证明和一般密码学的直觉。

挑战是一系列“夺旗”式游戏，参与者被赋予一个可利用的零知识方案，并且必须找到漏洞并提取一些信息。

这些挑战是由学术文献和现实世界零知识应用的著名贡献者创造的，包括 Aleo 研究员 Pratyush Mishra（Zexe 论文的合著者和 Arkworks 的维护者）以及Aleo研究员 Eduardo Morais。

ZK Hack 的 Leo

Leo 是第一个经过正式验证的零知识编程语言，允许开发人员编写编译成零知识电路的高级程序。

除了赞助和贡献谜题外，我们还将在 ZK Hack 开发人员研讨会之一上介绍 Leo。Leo 具有测试框架、包注册表、导入解析器、远程编译器和定理证明器。这些工具使 Leo 的开发人员体验符合人体工程学，使像您这样的开发人员能够利用零知识证明的力量，而无需密码学博士学位。

在本次研讨会期间，我们将介绍 Leo 的新用例。我们将介绍其工作原理背后的理论，并引导新开发人员了解实际应用程序。没有比这更好的机会来了解零知识应用程序的最佳编程语言了。

里斯本的 ZK Hack

Aleo 团队很高兴能与 Anna Rose 在里斯本举办面对面的 ZK Hack 活动。

我们期待利用这个机会与业界的开发人员和项目合作，以提高认识并推动零知识密码学向前发展。与我们的社区一起，我们希望将这项技术带入主流，为下一代私有 Web 应用程序提供动力。

如果您在城里参加 ETHLisbon 或 LisCon，我们期待与您见面！