Aleo香港6.11线下面基完结篇|生态增长总监Anthony介绍Aleo及其进展文字实录p2

嗯，有必要工作证明的想法是，当你运行这些计算时消耗的所有能量都没有被浪费，就像它是必要的一样。它有一个特定的目的并且它都被优化以产生零知识成果，对吧？因为你可能听说过大币圈喜欢，哦，比特币是超级能源而且高效对环境不利。所有这些东西，必要工作的证明是说我们没有减少能源的数量，但至少它被用于某些事情。它不只是扔掉，就像我们从中获得价值一样.

就是这样。发生的事情是你拥有所有这些证明，呃，通过工作证明，相互竞争以产生零知识证明。通过相互竞争，我们正在做的是激励产生那些证明可以创建更有效的，用于Zexe证明的物理硬件。对吗？这真的很重要，因为如果我们想要主流采用，我们需要确保生成器组高效且便宜。嗯，现在它效率低下而且价格昂贵。所以通过这个过程，我们实际上是在激励人们制造更好的硬件，这样他们就可以比其他人更快地竞争和解决难题。嗯，是的，所以这就是主要的事情。

然后基于coinbase的谜题本质上就像这样，就像具有设定难度目标的数学谜题，无论奖励的工作方式是什么，取决于你用多少计算能力来解决这个谜题，你会收到一个按比例从网络中获得奖励。

所以它有点像coinbase中的块奖励，例如。所以如果我解决了coinbase，但是如果我帮助解决了基于coinbase的难题并且我的机器贡献了 30%。

即使没有网络上的任何交互，证明者也可以通过解决基于coinbase的难题来收集奖励，对吧？这是一种激励机制。他们产生收入的另一种方式是为网络上的其他人生成零知识组。正确的？

所以例如，你知道，也许我需要为某些身份应用程序生成叙利亚代数，但我没有硬件来做那个。我要如何生成它？我外包给矿工。他们生成证明，我支付他们收取费用。对吗？这些费用不是 gas，对吧？它们不是那种根据交易量设定的任意数字。我们正在尝试做的实际上是建立一个证明市场，对吧？所以如果有人需要去这个市场的计算源，有点像，呃，你知道，如果你像任何一种市场一样交易，对吧？就像我需要为此计算。

好吧，有一堆证明者列出他们的价格，比如他们能多快给你，等等。然后你决定你想去哪里支付。然后你就可以生成它。所以是的，这是高水平的嗯，回答关于如何证明工作的问题。是吗？那回答了你的问题吗？好的。

所以我们在这里做的是我将给出一个基本的基本示例。比如，假设我想证明两个数字的总和。好吧。这是真正的基本用例，用于演示目的。对吧？所以我有变量a变量b和一些私有变量c是输出，对吗？基本上就像，我想用你的知识证明来证明那样。私有输出c是正确的。但我不想让你知道a是什么和b 是，对，就像零知识证明。这是一个非常高的水平和零知识证明。你实际上可以证明使用数学和密码学，这不会在本演示文稿中涉及，但是 leo 做什么它实际上是呃将它编译成一个叫做Aleo指令的中间表示。

这是一种你无法在其中构建的类似语言的程序集，但可能没有人会这样做，因为谁想要构建一个程序集，没有人嗯。

基本上高层次是我在 leo 中编写我的程序，然后在经历了我刚才提到的中间表示的过程之后就像我们这里的虚拟机一样，然后是字节码级别的排序，机器正在做的是采用一个狡猾的生成器证明了它正在把它转换成你的计算机可以理解的二进制形式，对，就像这个程序评估。

这就是我们能够提出的零知识执行等关键创新。

这就像第一次你真的可以亲自动手并开始使用这种架构进行构建。所以这就是我想在那里提到的高水平。

嗯。好吧，所以对于这张幻灯片我有点像程序。对吗？所以一个 leo上的程序，如果你熟悉这个理论，你可以把它等同于一个智能合约。呃，它是同一种我们称之为程序的想法比这要复杂一点。嗯，我想在这里提到的高层次就像如果我是一名开发人员，我可以在 leo 中编写我的程序。我所做的就是部署程序到链上程序注册表。验证器实际上会添加验证器也会做的事情，然后你就有了一个Aleo程序。

现在关于程序注册表的最酷的事情也许我会在最后展示它是你可以去我们的呃任何人们开发的区块浏览器。我们房间里有一些人已经做到了，你可以实际查找通常在我们构建的那个上有类似的东西，有一个程序选项卡。你可以看到部署在Aleo上的所有程序，这真的很酷，因为你可以在那里建立基础，就像你知道的这个公众一样，我们可以看到所有部署在 leo 上的不同程序。我的意思是这真的很重要，因为如果我生成一个零知识证明并将其提供给你，那么零其他证明是完全私有的。

所以就像我需要知道那个证明在哪里被使用以及在什么程序和上下文中一样，你可以从程序注册表中获得所有这些。

而这很酷的一点是，每当一个程序运行时，你都可以准确地看到那个程序是如何编写的。没有什么比隐藏的更重要的了。它都是开源的。

所以你知道，对吧，就像当你的交易通过任何使用它的程序正确完成时一样，对吗？你可以看到所有这些。所以启动程序行业实际上就像一个非常重要的价值方面。嗯。也许我也想说的另一件事是程序注册表，嗯，你可以随心所欲地编写程序。其中一个很酷的方面是默认情况下是私有的。所以这意味着默认情况下，当我在 leo 中写一个程序，一开始一切都是私有的，但应用程序开发人员可以决定我想要在程序中公开哪些信息，我想要私有什么信息等等。为什么这很重要？

谁知道人们对我说的第一件事是你永远无法在朝鲜部署应用程序，因为那里的政府对你可以在手机上安装什么样的应用程序非常严格，就像我不能使用谷歌一样地图，我不得不使用奶牛地图和邻居。我认为它被称为无论如何。但我想，好吧，这不是问题，因为我们就没有明白是不是不让。如果我们像韩国用户一样检测它正在使用它，这使得我们必须运行一组单独的函数，这些函数可能具有韩国政府接受的一些参数，对吧？

但问题是，我怎么猜到更大的问题是监管会有多严格？对吗？就像如果它们严格到平衡，你实际上可以为世界特定地区设计程序。

对吗？取决于那个社会的文化背景是什么，每个人都是不同的，对吧？这就像是重要的要注意嗯，但是我对他们的看法，我很抱歉我要继续与我所说的那些不太相干，好吧，好吧，你可以做的是，你实际上可以部署一个比他们现在拥有的更安全的程序，因为如果朝鲜破坏了系统，他们会得到什么信息？

他们只是得到一堆零知识证明，实际上并没有给你任何关于人们个人数据的信息，只是比他们现在拥有的更私密，因为无论他们现在拥有什么，如果它以某种方式被破坏，那么，所有信息都是泄漏了，这就是你如何得到这些问题的，对吧？

所以实际上使用零空值证明比不使用更安全。

而且我认为这是人们可能不会考虑的事情。他们总是像隐私一样思考。这是洗钱的飞镖。我们正在做所有这些疯狂的事情。这并不是真正提供更多安全性的情况。而且我会在很多不同的上下文中讨论一些用例。对吗？这只是关于你如何设计程序。如果它以正确的方式完成，设计一个以错误的方式完成的程序，那么就像我之前提到过，链下执行程序，这大概就是这一切的关键吧？因为你链下运行程序，你所有的上传都是链上的零知识证明。

所以当你检查链时，你只有一个零知识证明的列表，表明发生了一些交易。

但同样，我不知道交易的所有具体细节，嗯，当然，除非，我运行一个程序，我们说，好吧，好吧，我们可能会为了那个特定用途而发布你的名字，因为我们必须这样做，但其他一切都将是私有的。

我要说的一件事，呃，你也可以有一个Aleo。我们刚刚添加了这个。如果你选择，你可以有启动计算和共享状态。对吧？也许我想在Aleo上建立一个单位交换类型的应用程序。我需要为此有启动计算和共享状态。只要知道你在链上做的任何事情都不是私有的，对吧？所以如果你想要一个 100% 私有的应用程序，你需要全部在链下完成。但是如果有一些元素你想要完全发布，你也可以在链上做到这一点。所以你可以选择过敏作为开发者。我认为这真的很重要。

一次又一次，证明者是你知道的更新程序状态和运行程序的人。很容易就像在链上完成该程序一样。再一次，这就是山谷正在做的事情。嗯。是的，很酷的事情就像一次你在链上上传一个证明，你实际上可以给某人ViewKey这允许他们实际上喜欢查看零知识证明和你正在尝试的结果给他们。

所以你可以把它交给监管机构或类似的机构。也许如果你想证明你的身份，嗯，这很酷，因为一旦它上链，它就可以在任何类型的环境中重复使用。嗯，是的，嗯，也许我在这里写了另一件事来电者。所以来电者只是要求生成证明的人。所以我同意你。就像我说的，如果我有心，但我只是在呼吁批准产生零企业家。

（图片标题：第1步，部署一个链上Aleo程序）

（图片标题：第2步，执行一个链下Aleo程序）

（图片标题：第3步，同步完成程序在链上状态）

好的，这有点像高级架构并没有变得太技术化。嗯。现在我想做的只是运行几个用例，我认为这很重要。我谈到了其中的一些已经，但我会再看一遍。所以整张幻灯片都叫做DEX。所以我相信每个人都熟悉这些dex或者你知道去中心化金融。嗯，我们想做的实际上是创造一些东西称为零知识。但是，嗯，是的，一些有趣的例子是零知识代币交换。

所以想象一下，创建一个像 mev (最大可提取价值)或 front running（抢跑）这样的去中心化交易所，而不用担心像 mev 或 front running。呃，如果你是一个交易员，也许你知道像 mev 是一个问题，因为它曾经是次要的易于处理的价值。

现在它是一个最大的可提取值，嗯，基本上可以看到所有传入的交易并且他们可以抢先人们，对吧？因为它是呃，是的，他们在交易发布之前看到了所有信息。你的知识证明是什么？你可以避免这种情况，对吗？因为你要分享的都是零证明。他们不知道交易的技巧是什么或多少钱，等等。所以人们熟悉世界目标。基本上有办法在站点创建关于链下数据。嗯，但你必须有点像相信他们。

所以这个想法就像，哦，我想，你知道，在链上添加一些东西，但是如果我需要一些额外的数据来进行交易，这些数据可能位于某个地方的中央服务器或其他地方，你在这里使用预言机，你实际上可以呃，验证来自那些预言机的信息是正确的，而不必透露信息本身。对吗？这非常重要。所以再说一次，如果我想生成一个身份，一个数字身份，而我需要来自现有信息的信息护照之类的呃然后另一个就像我可以再次使用它可以用于很多不同的应用程序呃例如，嗯交叉链路由。

所以想象一下像多个不同生态系统的私人结算层，对吧？这可能很酷，就像 zk 一样，很多人都喜欢 zk 的跨链用例，嗯，所以这可能真的很棒。

呃，这是一场我们可以坐下来进行的辩论，但假设我想去中心化一个游戏，而你可能想要这样做的一些原因是，如果它是去中心化的，你就不会被困在这些孤岛中大型游戏发行商或像 Steam 或其他一些平台以及您投入的所有努力，例如，创建用户资料或您的游戏现在实际上可以在一堆生态系统的环境中使用，您有更多控制它。

假设你想做所有这些，你需要一些方法来维护私有状态。

好吧，好像我现在正在构建一个去中心化的游戏，游戏的所有状态可能是但那不起作用，对吗？如果我试图在 mmorpg 中与某人战斗对吧？如果我的军队攻击他们的军队，好吧，呃，如果一切都是公开的，那么他们就知道我的后援增援是什么。也许他们知道我需要什么物资来制造新武器，这会破坏整个游戏，因为现在你什么都知道了。对吧？

嗯，所以如果你想要隐私，对吧？就像 95% 的游戏是我们所说的不完全信息游戏，那么我们认为最好的选择是使用零知识，所以就像这就是为什么你的知识对游戏来说非常重要，嗯还有隐私对吧？就像chatgpt就在这里。

嗯，你知道很多人问我怎么能相信聊天GPT给我的信息是无误的。我只是在那里搜索一些东西，它告诉我答案，但它是正确的答案吗？我不知道。我只是相信它，对吧？就像开放的人工智能知道他们在做什么他们的算法。这是个问题，对吧？我们的算法不是专有的。我们不知道传入的数据，或者只是我们相信他们的话。但是使用 zk 你实际上可以证明，哦，是的，我从机器学习算法中得到的这个响应是真实的。

或者我不需要自己运行算法，也不需要告诉你输入是什么。

我们仍然可以使用 zk 验证它是真的，就像那真的，真的很重要。嗯，然后我这里的另一个是零知识认证。所以想象一下登录网站而不输入用户密码。对吧？相反，我我会去一个网站，几乎想象它就像一个单一的登录。但不是像谷歌或 facebook 或任何我们使用的单一登录，我正在使用他们收集我所有信息的地方，我只是用我的登录零知识证明。这基本上只是说像我和这个网站的所有者，我能够证明我可以登录它，但我实际上不必输入通常的密码。

再说一遍，如果他们的数据库损坏了，他们将无法登录到我的帐户。嗯，所以我认为这真的非常有价值。然后只是身份，总的来说，就像一个大人物。呃。酷。所以这就是我在这个呃演示中所拥有的。如果你想参与其中，那就是一些事情。所以现在我们确实有一个针对建设者的开发者资助计划。所以如果你是想要在Aleo中建造的人因为这次你可以申请拨款，好吧，现在我们真的在寻找工具和基础设施。这是最重要的事情，但我们会将其扩展到其他类型的应用程序，也许你想部署。

所以这是一回事。第二件事是我们有一个漏洞赏金计划。所以如果你是白帽黑客或安全研究人员，嗯，你想尝试在我们糟糕的协议中找到漏洞。呃，我们有这样做的动机。所以这将包含我们在 vm 中的操作系统，所以我们的两个关键Github存储库。最后一件事是我们对我们当前测试网上的任何部署程序都有激励。所以也许你不想申请正式的资助，如果你想和其他人竞争，比如在测试网上部署专业程序。

关于部署奖励，我想说的一件事是，即使你没有赢得部署奖励，也几乎可以把它想象成一部黑客手机，对吧？如果你出现在一部黑客手机上，你就建立了一些很酷的东西，有人会说话对你。有人会喜欢和你一起工作。这在这里是相同的想法，因为我们将查看所有已部署的程序。

再说一次，即使你没有获胜，如果你构建了一些很酷的东西，我们一定会尝试与你互动，看看你如何才能更多地参与到生态系统中。要阅读所有这些，只需访问我们的博客。每个倡议都有单独的博客文章，你可以了解更多。然后这些是其他一些资源，呃，可能会得到更好的方式来展示这个。但是如果你想拍照，你可以最后一张，在我们的创始人的Github https://github.com/howardwu上有一些非常好的资源。它还有其他人们部署在别名上的程序，一些有趣的应用程序。如果你想看看人们建造了什么，我们正在重新设计我们的网站总是会在那里更容易找到，但以防万一你想要它。

是的，谢谢谢谢你邀请我来这里。我真的很感激。（完）

6.11当天增长总监问答环节总结：

1. 主网上线时间可能需要到 9/10月份。
2. 测试网 3第三阶段的 50 名验证者（Validator）已经选出来了，近期官方会宣布。当下证明者（prover）没有激励。
3. 主网上线 prover 的算法应该不会改变。验证者的数量会更多。
4. 官方声明，并没有任何公募私募（包括在 coinlist ），请勿上当受骗。

之前很多群友一直在问Aleo怎么没有动静，怎么一直不上主网。小编作为Aleo项目的超级铁粉，我觉得慢就是快，上主网是最终目的但不是要求以最快速度上，反而是要把基础做好，尤其作为一条新兴公链，生态的繁荣直接决定了项目的估值，没有生态应用，一切等于0，大家可以参考下4月上主网的某鱼（no offensive），上线价格即巅峰，接下来呢？好像不知道他们的方向到底是什么了，倒回来做生态吗？难。