简而言之，这是一个以有趣和实用的方式学习零知识证明的机会。边做边学是最好的学习方法之一。解决这些挑战将提供关于零知识证明和一般密码学的直觉。
挑战是一系列“夺旗”式游戏，参与者被赋予一个可利用的零知识方案，并且必须找到漏洞并提取一些信息。
这些挑战是由学术文献和现实世界零知识应用的著名贡献者创造的，包括 Aleo 研究员 Pratyush Mishra（Zexe 论文的合著者和 Arkworks 的维护者）以及Aleo研究员 Eduardo Morais。
借助我们的网络，矿工和证明者因成功挖掘区块、为 Aleo 代码库做出贡献以及在提高零知识证明性能的新硬件技术上进行创新而获得 15,000,000 Aleo 积分。我们将继续推进我们的网络设计，以确保它成为未来几年新应用程序的基础和新硬件技术的催化剂。
Leo 是第一个经过正式验证的零知识编程语言，允许开发人员编写编译成零知识电路的高级程序。
除了赞助和贡献谜题外，我们还将在 ZK Hack 开发人员研讨会之一上介绍 Leo。Leo 具有测试框架、包注册表、导入解析器、远程编译器和定理证明器。这些工具使 Leo 的开发人员体验符合人体工程学，使像您这样的开发人员能够利用零知识证明的力量，而无需密码学博士学位。
在本次研讨会期间，我们将介绍 Leo 的新用例。我们将介绍其工作原理背后的理论，并引导新开发人员了解实际应用程序。没有比这更好的机会来了解零知识应用程序的最佳编程语言了。
Aleo 团队很高兴能与 Anna Rose 在里斯本举办面对面的 ZK Hack 活动。
我们期待利用这个机会与业界的开发人员和项目合作，以提高认识并推动零知识密码学向前发展。与我们的社区一起，我们希望将这项技术带入主流，为下一代私有 Web 应用程序提供动力。
如果您在城里参加 ETHLisbon 或 LisCon，我们期待与您见面！
本文来自小金人投稿，不代表链科天下立场，如若转载，请注明出处：https://linknews.cc/items/25895.html
