Exploring RISC Zero with Brian Retford and Jeremy Bruestle
Exploring RISC Zero with Brian Retford and Jeremy Bruestle
Anna Rose (00:00:05)： 欢迎来到零知识播客。我是你的主持人Anna Rose。在这个播客中，我们将探讨零知识研究和去中心化网络的最新进展，以及承诺改变我们在线互动和交易方式的新范式。(00:00:27)： 本周，Guillermo和我与Risc0的Brian Retford和Jeremy Bruestle进行了交谈。我们讨论了他们之前在云领域的工作，以及ZK如何为长期存在的扩展问题提供独特的解决方案。我们涵盖了诸如RISC-V、构建VM等主题，并讨论了Risc0如何旨在构建一个能够支持强大去中心化公共云的系统。但在开始之前，如果你还没有看过ZK白板会话，请务必查看。它由ZK Hack制作，并由Polygon提供支持。这是一系列教育视频，将帮助你了解我们经常讨论的概念和术语。在ZK方面，这是开始学习ZK技术的好地方。我们现在还有一个专注于ZK白板会话的学习小组，所以请在ZK Hack Discord上查看。此外，请关注即将到来的ZK Hack #3。我们将于11月22日再次举办虚拟多周活动。将有工作坊和谜题黑客竞赛。请在Twitter和Discord上关注更多信息。现在，Tanya将分享一下本周赞助商的信息。
Tanya (00:01:30)： 今天的节目由Mina Protocol赞助。如果你是一名开发者，希望获得构建零知识应用的实际经验，那么你应该申请Mina的zkApp Beta测试者排行榜。参与者将获得测试挑战的访问权限，你可以在其中学习在Mina上构建zkApp，并有机会与其他参与者竞争排行榜。排名靠前的参与者将有机会获得资助。Mina zkApp是用TypeScript编写的，因此开发者可以轻松上手，而无需像其他ZK协议那样学习自定义编程语言。了解更多关于zkApp Beta测试者排行榜的信息，以及如何开始构建zkApp，请访问minaprotocol.com/zkpodcast。那是minaprotocol.com/zkpodcast。再次感谢Mina Protocol。现在是Anna和Guillermo对Risc0的采访。
Anna Rose (00:02:20)： 今天，Guillermo和我与Risc0的家伙们在一起。欢迎来到节目，Brian Retford和Jeremy Bruestle。
Brian Retford (00:02:26)： 谢谢，很高兴来到这里。Jeremy Bruestle (00:02:28)： 是的，很高兴进行这次对话。
Anna Rose (00:02:32)： 酷。快速说明：ZKV和我个人是Risc0的投资者。
Guillermo Angeris (00:02:37)： 我想Bain Capital Crypto也是。
Anna Rose (00:02:40)： 是的。显然，我们在这些节目中从不提供财务建议，这是理所当然的，但我们想在开始之前让你们知道。所以，为了开始，我想先认识Brian和Jeremy。请告诉我们你们进入ZK和区块链领域的历程。
Jeremy Bruestle (00:03:00)： 区块链对我来说是相当新的，我对ZK的兴趣最初来自数学方面。我的背景是，我对计算机安全和密码学感兴趣已经很久了。我做的第一件值得注意的事情可能是写了AirSnort，这是一个很久以前破解Web加密的程序。如果有人还记得Web，它是旧的WiFi协议，我对跟踪新数学和新兴研究并找出潜在商业化方式非常感兴趣。我的大多数初创公司历史上都在这个领域，有一些理论上有趣的新事物，然后你找出如何应用它。我已经跟踪ZK大约七八年了，自从我第一次发现PCP定理，即概率可检查证明。
(00:04:04)： 当我意识到无论程序运行多久，都可以在恒定时间内检查程序的正确执行时，我就像，等等，这完全改变了分布式计算的可扩展性等景观，对吧？但当时，它不是实际有用的技术，对吧？一切都太慢了。所以我继续跟踪它的研究，因为我热爱数学，但不是数学家。我不擅长写证明。我不是学术界的人。因此，我阅读数学的方式是阅读论文，然后尝试实现代码，所以我在我的丰富空闲时间里，在初创公司之间和其他事情之间，花一点时间实现我阅读的各种论文中的一些想法，然后，在某个时刻意识到我们现在到了这个东西即将变得实际有用的地步，那时我想我开始尝试向我认识的每个人推销这个即将到来的未来，即零知识证明如何改变世界。所以我想那就是我开始试图向Brian灌输这个的时候。
Anna Rose (00:05:25)： 酷。这是什么时代？什么时间框架？
Jeremy Bruestle (00:05:28)： 嗯，我想想，我是什么时候开始和你谈的，
Retford？Brian Retford (00:05:32)： 两年前。我想这是两年前。我们在去俄勒冈的公路旅行中。
Guillermo Angeris (00:05:38)： 等等，你们在去俄勒冈的公路旅行？
Brian Retford (00:05:41)： 是的，英特尔的办公室在那儿，所以
Guillermo Angeris (00:05:44)： 哦，明白了，明白了。
Brian Retford (00:05:45)： Jeremy有一种模式，他对事情感兴趣，然后开始向人们灌输它们。这实际上是我们20年前开始第一个初创公司的方式，那是使用802.11A和B进行去中心化无线网格网络。后来是G，它有点成功了。那家公司最终在我们离开后卖给了诺基亚，然后我去了谷歌工作七年，在那里构建了谷歌云平台的定价、计费和计量系统，这实际上激发了我对这个领域的兴趣。所以是的，
Anna Rose (00:06:26)： 有什么联系？
Brian Retford (00:06:27)： 联系是在谷歌内部，你会看到很多项目、产品和产品经理都在试图为他们的云产品想出功能，并看到功能是否发布。限制因素是，我们能从中获得95%的利润吗？所以我认为在这个领域有一个巨大的创新障碍，真的来自于对云产品实际发布的集中控制，所以你知道，在Jeremy说服我我们可以用ZK来真正实现云规模的去中心化计算后，就很难移开目光了。
Anna Rose (00:07:08)： 哇。我想深入探讨这个愿景。还有什么在形成Risc0之前的东西，比如你提到的一些公司、初创公司。
Jeremy Bruestle (00:07:19)： 值得注意的是，我和Retford认识很久了。我们是通过西雅图的黑客圈认识的，还有公司里的其他人。我们之前一起做过多个初创公司。我们在一家叫Vertex AI的公司工作过，那家公司基本上构建了一个Tensor编译器，可以加速各种AI工作流，尤其是在不同的自定义芯片上，这就是我们被英特尔收购的原因，所以我想要注意的是，我们一起做过多个公司。我们认识很久了，但我们对这个特定领域是新人。尽管我也跟踪了加密货币的状态很久了。我是说，我在Satoshi的论文出来时就读了它，我的想法是，哇，这是一个对分布式共识问题的天才解决方案，但它永远只能每秒做四个交易，因为它无法扩展。所以谁会用这个东西？这显然是不正确的，但你知道
Brian Retford (00:08:28)： 当Jeremy说服我做这个公司时，我就像，真的吗？我们要做一个区块链公司？我是说，我觉得加密货币很酷，你知道，我过去用它做过各种事情，但Anna Rose (00:08:40)： 这是熊市吗？这像是2020年。我们在说什么？
Brian Retford (00:08:45)： 也许是熊市。我是说，当时是的。但我想当我们真正开始谈论成立公司时，是牛市
Anna Rose (00:08:53)： 真的。好吧。
Brian Retford (00:08:54)： 即将到来。
Anna Rose (00:08:55)： 你们有没有这种感觉，比如加密作为，你们对头条新闻中的骗局之类的东西有任何担忧吗？
Brian Retford (00:09:04)： 我是说，我想有，只从这是一个可持续的商业模式吗？这个领域会最终成为不再主导那些头条的东西吗？但我也认为，你知道，我之前买了很多NFT。我的一个亲密朋友实际上是AI艺术的先驱之一，是Tezos上的早期NFT人。所以我总是看到价值，我有点喜欢主流媒体不断抨击加密的炒作。我是说，它是一个容易的目标，所以是的，我有点担心，但我想越深入挖掘，我就越意识到，我认为现在计算机科学中最有趣的事情很多都在这个领域发生。
Anna Rose (00:09:48)： 你觉得是ZK部分把你拉进来的吗？因为就像你说的，Jeremy，你很久以前就知道区块链了。是什么改变了？
Jeremy Bruestle (00:09:59)： 所以对我来说，我一直热爱分布式系统，我一直相信去中心化，你知道，我是说，我们的第一家公司真的是一家无线网格网络公司，它大量关注去中心化路由和通信，对吧。我一直想真正热爱加密货币，不是货币方面，而是像智能合约和以太坊能做什么这样更有趣的东西。但对我来说，显然有一个问题，那就是，如果我想在这些系统之一上构建Reddit，它从来不可行，对吧？因为总是这个想法，由于它们无法扩展。如果你有很多交易，每笔交易的成本就会上升，你知道，没人会支付50美元的gas来在Reddit上点赞。这不合理，所以我喜欢这个概念，但直到零知识可以帮助铺平道路，我认为我们喜欢说的一件事是交易太便宜而无需计量，对吧？这个想法是我们实际上可以构建真正云规模的分布式系统，这让我对这个领域真正兴奋。所以我一直从智力角度感兴趣，但仅此而已
Brian Retford (00:11:18)： 是的，我认为ZK一旦我们开始深入研究，所以，你知道，我认为在那次公路旅行和Jeremy之间，我甚至不相信这是可能的，他告诉我这件事。我的头脑被震撼了一个月，就像，有人会用数学想出些什么，但一旦你深入数学，你就像，不，这在概念层面似乎并不难理解。而且如果这被打破，似乎很多计算机科学都会被打破。
Anna Rose (00:11:42)： 起点是什么？ZK方面，什么论文或项目第一次把你拉进来？你记得吗？
Jeremy Bruestle (00:11:52)： 所以，对我来说，最初只是发现PCP定理确实是正确的，尽管不一定有用，但真正让我兴奋的是椭圆曲线的循环，这是零知识证明系统的第一个递归。因为对我来说，递归是使扩展成为可能的关键组件之一。所以我实际上实现了整个东西，但递归时间是我实现的版本大约一分半钟，我就像，太慢了，对吧？而且实现相当高效。所以我基本上继续跟踪它，直到DeFi论文，这是我第一次觉得，好吧，这开始变得真正可行，我开始实现它，是的，我实现了一个比我们当前的证明系统更简单的系统，递归降到15秒，我可以看到如何降到一秒以下。然后我就像，好吧，这超级酷，对吧？
Brian Retford (00:12:58)： 这是Jeremy开始和人们谈论它的时候，他有点像，没有提到他正在做任何这些，直到他解释了整个事情。他说，而且你可以在另一个证明中验证证明。我就像，所以你可以想想，你就像，哦，好吧。这有疯狂的影响。只是真正疯狂。
Guillermo Angeris (00:13:14)： 所以这里有一个快速问题，对吧？因为你们知道，现在让我们转向零，但实际上我很好奇，这是一个疯狂的想法，对吧？当你们第一次和我们谈时，就像明显要做的事。嘿，我们可以构建电路，对吧？用电路构建什么很酷的东西？整个概念是疯狂的，对吧？你们有这些电路，现在你可以构建东西，用它们证明东西，这在理论上非常有趣，因为当然，我可以做你想说服我的东西，然后用一个非常短的证明说服我。
(00:13:55)： 好吧。但从那跳到像，嘿，我们可以用电路构建什么酷的东西，不是只是像计算器之类的东西。它是一个处理器，对吧？然后哦等等，我们可以高效验证整个存在，比如，你知道，在特定处理器上的整个程序轨迹，而不只是像在FPGA或真实电路上构建处理器，你在零知识电路中构建它。这个想法从哪里来的？因为当时，ZK VM可能刚刚开始成为一种东西，但人们并没有真正谈论它，而且知道你可以这样做，但这是一种逻辑飞跃。所以
Jeremy Bruestle (00:14:35)： 是的，它是，所以我开始，它基本上是因为当我试图解释如何编写程序时，没有人能理解我在说什么，它基本上是，哦，一个算术电路。好吧，等等，所以它像一个电路，但是在有限域中。对吧？你知道，我有很多非常聪明的程序员黑客朋友，对吧？当我试图解释，哦，它是图灵完备的，你可以做，大家就像，那东西听起来不可能编程。
Brian Retford (00:15:05)： 是的，我认为最初的版本，我们，因为我们在Vertex AI和英特尔收购的公司背景是构建机器学习的DSL。所以我们就像，我们就构建一个DSL并使用LIR来编译这些电路，因为这是我们知道和理解的模式，我不知道，我们黑了，你黑了它一段时间，但某个时刻，
Jeremy Bruestle (00:15:25)： 我想可能是Retford想出的想法，比如，好吧，如果我们只是使用现有的ISA，我记不得了，因为我们都在一起闲逛。我想是Retford实际上想出的。然后，一旦这个想法进入我们的头脑，真正的问题是，这实际上可行吗？如果是，使用什么架构？对吧？所以我们看了WebAssembly，我们看了MIPS，我们看了各种不同的东西。问题是，你能构建多小的电路并运行现有的东西，因为你知道，我们做了很多编译器工作。我们之前的公司是一家编译器公司，我们知道编译器工具链有多难，语言采用有多难，所以这个想法，你只是构建整个功能编译器工具链和一种新语言并获得采用，那是一个巨大的工程量。另一方面，如果你能构建一个电路，能够运行已经存在的东西，那么上层栈你免费得到。对吧？
Brian Retford (00:16:28)： 我不只是上层栈，还有整个库生态系统和世界上所有其他开发者在时间过程中做的工作。
Jeremy Bruestle (00:16:37)： 我要说，当你最近谈论使用零知识证明做图像裁剪的例子时，从Dan Boneh那里，其中一个想法是，实际上在你的风险，你知道，零ZK VM内部，我们可以解码GIF，然后裁剪图像，然后重新编码为JPEG或其他，因为我可以直接导入做那个的库，因为它已经是现有的语言。对吧？
Guillermo Angeris (00:17:08)： 对。我记得一年前，你们来找我们，说，嘿，如果我们只是做RISC-V，你知道，像受限ISA之一。对不起，说一下ISA是什么意思，像指令集架构。A代表什么？你知道吗？
Jeremy Bruestle (00:17:23)： 架构。
Guillermo Angeris (00:17:24)： 架构。是架构。好吧，你知道，就像，如果我们只是做这个，然后有所有的RISC-V，换句话说，所有的LVM，这是你可以编译的一切，包括RUST、C、C++任何你想要的。所以你可以把一切编译到LVM，然后把LVM编译到这个微架构，我想这个RISC架构。对吧？然后就像，哦是的，是的，酷。现在我们只是，可以在这个东西上使用你想要的一切，但也是零知识，因为那是你可以零知识构建的东西。只是另一个电路。对吧？我就像，等等，为什么没人想到这个？这太疯狂了。
Brian Retford (00:18:02)： 嗯，Eli，实际上，是的，有一条推文，Eli很棒，你知道，我们显然是Eli Ben-Sasson的超级粉丝，STARKs的发明者，你知道，有人问他，为什么发明Cairo？为什么不只是使用MIPS之类的？他说，哦，好吧，那至少五年内不可能，所以(00:18:23)： 所以我认为只是，当你，如果你在一个国家空间开始构建东西，很容易陷入思维死胡同。所以我认为我们只是，你知道，我们有效地只是有一个第二个，我们有优势，我们已经准备好这样思考世界。
Anna Rose (00:18:38)： 我有一个问题，我想问的是关于Risc0这个名字。所以Guillermo，你刚提到RISC-V，通常拼成RISC-V。我猜是RISC-0知识。这是来源吗？Brian Retford (00:18:54)： 是的。
Anna Rose (00:18:55)： 非常好。
Brian Retford (00:18:55)： 你知道，我生活中擅长的一件事就是想出这样的蠢东西。
Guillermo Angeris (00:19:00)： 不过这是个好名字。诚实地，这是最好的之一。只是这样的好参考。只是，真的很好。就像，完美，人们就像
Brian Retford (00:19:12)： 它相当两极分化。相当两极分化。
Guillermo Angeris (00:19:15)： 真的？不可能。
Brian Retford (00:19:16)： 最早我推销的人之一是我们英特尔的项目经理，他就像，那是最蠢的名字。你必须改。
Anna Rose (00:19:21)： 哦，好吧。等等，你刚定义了RISC-V，RISC five，但我其实什么都不知道。我们能说说那是什么吗？
Brian Retford (00:19:32)： 其实为什么我们选择它，Jeremy。Jeremy Bruestle (00:19:35)： 是的。所以基本上RISC代表Reduced Instruction Set Computing，这是这个想法，你知道，早期的微处理器，有一个问题是，你应该让处理器的指令复杂并做很多事，还是应该把它们归结为最小的指令集？表示程序的最简单方式，你最终要运行更多指令，但处理器变得更容易构建。你可以更高的时钟速度运行它，Brian Retford (00:20:02)： 你的编译器必须更聪明。
Jeremy Bruestle (00:20:04)： 对。所以，基本上那是，RISC-V是一个非常现代的新RISC指令集，从之前的所有中学到了。所以它超级最小化，非常强大，设计良好，所以当我们看它时，它绝对是我们能实现的最容易的现有指令集或VM之一。对吧？
Brian Retford (00:20:28)： 是的，它也没有IP负担。所以X86是最臭名昭著的CISC或复杂的。我甚至不确定C代表什么了。所以，你知道，实现X86可能比构建ZK VM更难。也许，也许。Jeremy会知道。但你知道，然后如果你不做那个，你基本上看ARM或MIPS，还有一堆其他你可能想到的。但ARM有IP负担，MIPS直到最近才有，但也更复杂。但RISC-V还有一堆额外功能。除了开源，它有完整的符合性测试套件，所以我们知道我们的处理器实现了RISC-V规范，至少测试捕捉到了。但除此之外，他们实际上有一个正式模型，关于RISC-V芯片的样子。所以在我们做的正式方法工作中，某个时刻我们将能够非常自信地谈论我们构建的系统的性质。
Anna Rose (00:21:33)： 现在你们到底在构建什么？你们在构建一个ZK VM，你可以在上面运行像RISC这样的东西吗？我不知道是不是该这么说，或者是吗？
Brian Retford (00:21:46)： 那正是发生的。所以如果程序员写，比如一个数独游戏或Mao纸牌游戏，我知道有些人试图用Rust做那个，只是编译它，然后它运行在这个VM上，就像ZK EVM可能运行solidity字节码，这个运行RISC-V代码。所以任何V、C、C++和Rust，编译器把这个编译成RISC-V ISA，然后这个在VM内运行。它真的像有一个小Arduino或微控制器附加并生活在你的系统中，但它是虚拟的，它不能谎报它做了什么，而且它仍有相同的ZK属性，你可以隐藏输入等等，以及隐藏程序。你可以只是承诺这个函数承诺想法。你可以承诺知道产生或以某种方式行为的程序的哈希。
Anna Rose (00:22:40)： 你刚才在描述时有点翻转，在ZK VM、ZK EVM之间，这是一个ZK VM，对吧？这不是为solidity的。你提到的所有语言都不是solidity。所以你还把自己看成是ZK EVM / ZK VM团队的阵营吗？因为有很多团体在试图做类似的事。
Brian Retford (00:23:04)： 所以有两个方式可以想，显然，你知道，以太坊生态系统和开发者社区，尤其自从我参与以来，这个空间的活动和所有人在这个空间构建的人让我震惊。所以，你知道，我们绝不是试图贬低那个生态系统，我认为有很多方式，RISC零实际上可以贡献给那个生态系统。所以可以把solidity代码编译到LVM。我们还没怎么玩那个，只是因为，你知道，时间，但另一件事你可以做的是在Risc0上运行EVM。所以你可以编译，好吧，还不能编译，因为我们的go支持像，好吧，go支持很快会完全功能，但你知道，一次一件事。
(00:23:53)： 但也有Rust实现的EVM，你可以编译，你实际上可以，所以你可以在RISC-V上运行的EVM上运行以太坊程序。所以，你知道，有一个通用处理器架构作为你的基础ZK证明系统的好处是你实际上可以在上面运行其他VM。实际上有人，你知道，他们没告诉我他们为什么这么做，但运行X86仿真器在RISC-V上，然后证明Linux内核引导在X86上的结果，它和金条有关，那就是我能说的。Guillermo Angeris (00:24:38)： 等等，这有什么意义？对不起，我像，
Brian Retford (00:24:41)： 这个人没告诉我具体。它和物理资产跟踪和物流点的传感器之类有关。我在这个领域看到很多应用，诚实说，Guillermo Angeris (00:24:52)： 但那是，等等，但我惊讶很多传感器只是完全有Linux而不是用一些实时操作系统，真的
Brian Retford (00:25:00)： 我，是的，他没具体说
Guillermo Angeris (00:25:03)： 好吧。那公平。好的。
Anna Rose (00:25:07)： 你们，在ZK VM的ZK部分，你们在谈论隐私还是主要关注扩展质量？
Jeremy Bruestle (00:25:16)： 我们绝对关心隐私，我会说两者对我们都很重要，在条款，所以我们，我们完全支持零知识，我们支持零知识程序执行以及我们可以甚至使你可以证明你运行了你说的程序，但不透露程序的细节，这种用例有点模糊。
Brian Retford (00:25:44)： 我是说，我认为如果你看核心技术，你知道，用Risc 0 VM构建系统的想法，像增强隐私和，你知道，增强扩展。我会说作为公司，我们最初关注扩展方面。所以当我们构思公司要做什么时，我们深入ZK身份的兔子洞，因为我认为这个领域最让我兴奋的用例与化名身份有关，以及ZK的能力，你知道，基本上做ZK证明和声誉分数之类，但基本上，我认为如果基础设施不在那里，似乎这些，你知道，有一个惊人的ZK身份系统，当你不能真正构建足够复杂的应用生态系统时，似乎有点无意义。所以我们关注扩展，因为我认为那是目前最大的需求
Jeremy Bruestle (00:26:44)： 是的。我是说，它基本上是入门级，对吧？如果我想一个分布式Reddit有ZK，我可以用身份做各种酷的东西，但如果我首先不能构建系统，它有点无关。
Guillermo Angeris (00:26:57)： 所以这里有一个快速问题。我想我们之前讨论过，但你知道，RISC-V或任何架构通常没有这里是私有数据，这里是公共数据的概念，对吧？我们在这里谈论隐私。所以像，你们如何强制执行，你知道，什么数据是公共的，什么数据，如果你只是编译一个C程序下来，对吧？C程序本身没有这里是我不会透露给你的变量的概念，对吧？它有像，这里是你不应该访问的变量的概念，但没有像隐私的概念在C或Rust或任何，对吧？
Jeremy Bruestle (00:27:36)： 是的。所以我们通过库调用建模它。所以有效的方式是ZK VM开始执行，有一些调用你可以向主机请求数据，总是假设是私有的。客人可以做各种计算。所有那些都假设是私有的。有特定的API写到公共记录，你不写到公共记录的任何东西都是私有的。所以你知道，通常你想做的是，你想你的ZKP证明关于某事的一些事实。所以无论你想证明什么，你写到公共记录，那是唯一公共的东西。其他一切都是私有的。所以那是我们的方式
Brian Retford (00:28:29)： 无论你提前承诺什么，我猜。是的。
Guillermo Angeris (00:28:32)： 好吧。程序看起来像什么，对吧？所以通常在处理器，像程序是好吧在真实处理器，不是这个诡异的Kernel虚拟东西，你有像，这里发生什么。你有一个内存块是程序，对吧？那是，你编译它，你写到内存，然后你说处理器从零x0400000开始。然后它开始从内存读指令并上去。但像，你知道，有内存的概念吗？它如何，也许有点太深入了，但我只是对这个特定东西很好奇
Jeremy Bruestle (00:29:12)： 它正是那样工作。有正是处理器，有RAM的表示。我们实际上用排列论证机制来做随机访问内存的仿真，是的，它看起来正是像一个普通处理器。我们实际上，所以当你编译程序下来，我们实际上编译到ELF，这是一种Guillermo Angeris (00:29:33)： 哦，好。
Jeremy Bruestle (00:29:34)： 可加载对象文件，你知道，操作系统。基本上我们在黎明时把程序加载到内存。所以当VM，ZK VM开始执行时，第一件事是把程序代码加载到内存，然后跳到起始地址，然后它像正常程序在正常处理器上运行，然后，当它终止时，有这个ecall，这是RISC-V中的低级指令，调用操作系统表示程序终止，那就是了。所以它实际上，完全仿真你期望的所有东西，当你写程序，你知道，它跳到main，有一些初始设置和所有确切的标准东西。
Guillermo Angeris (00:30:24)： 我要问一个问题，像什么，这里是，像，这是一个很多团队纠结的问题，但你知道，你如何在zk意义上抽象内存？这像，是个诡异的问题，对吧？像，什么意思加载文件到这个ZK电路，然后像，酷好了去。
Jeremy Bruestle (00:30:46)： 所以当前实现，你知道，我们只是把内存表示为一堆32位数，生活在定义好的地址。那是处理器喜欢的字大小，如果你想，你可以加载字节而不是字，但那是VM处理的，初始程序状态，我们实际上从L文件编码到Merkle表示。所以有效的是，初始内存图像由那种Merkle化的数据结构确定，所以有特殊机制用非确定性与主机对话。所以基本上有这个机制，客人可以从主机请求数据，并指向主机到特定内存地址，那时数据就神奇出现在那个内存。
(00:31:44)： 这是允许的，因为我们用内存语义做的一件事是我们定义从未读或写过的内存允许有任意数据，所以只要你告诉主机把它放在你之前从未看过的地方的内存，我们通过库调用和ZK VM的底层操作系统级处理，然后当你问主机放东西那里，它可以出现，当然你需要验证它是对的。所以在此基础上，我们基本上构建一套机制，允许对数据结构的Merkle化访问。我们正在构建一种IDL来帮助程序员更容易管理等等。对不起，这有点，我进入几个不同东西，因为问题是宽泛的。所以它
Guillermo Angeris (00:32:37)： 对不起，我道歉。但只是想想，对吧，像处理器生活在，你知道，你的处理器里面细，让我们说像ZKVM和ZKVM一般想过这个，但之前我从未见过，这是对我来说他妈的疯狂，至少，是这个想法，你可以只是，你知道，有未确定的数据在你执行时，除了像一次你，你知道，像你在执行这个很长复杂的程序，对吧？很多东西发生，然后你像，糟糕，我需要去读这个东西，但这个东西在我想读它时未定义。所以我做什么？我可以只是问，你知道，这是小电脑生活在你的大电脑，对吧？小电脑像，我不知道这个是什么，所以请，大电脑，你知道，你的笔记本或任何。告诉我请，这个东西应该是什么，我会暂停执行直到你告诉我这个是什么，然后你只是插入它，然后它继续高兴地像，是的，一切都酷整个时间，但它是疯狂的，对吧？
Brian Retford (00:33:42)： 是的。虽然你不保证像主机侧发生的任何东西会产生有趣的证明，
Jeremy Bruestle (00:33:49)： 合理的
Brian Retford (00:33:49)： 谈论。
(00:33:49)： 对吧？
Jeremy Bruestle (00:33:49)： 当然。
Brian Retford (00:33:50)： 这就是为什么我们进入这种本地化数据结构。像，如果你调用主机，它只是访问随机URL并从中倒数据回来，那么你不能真的说那些特征是什么。
Guillermo Angeris (00:34:01)： 对。对。对。
Jeremy Bruestle (00:34:02)： 但它允许你做检查和验证，对吧？如果我想做平方根，我总是可以问主机，嘿，请把这个数的平方根放在这里，然后在ZKVM里面我可以取那个数平方它，确保它匹配我期望的东西。所以会，你知道，ZKVM系统用这种非确定性技巧很多，但在我们案例它特别容易
Brian Retford (00:34:22)： 是的。像，请取这个内容可寻址存储哈希到X或任何，你知道？Guillermo Angeris (00:34:27)： 确切。
Brian Retford (00:34:28)： 你可以验证它实际上哈希到那个所以
Guillermo Angeris (00:34:30)： 对。对。所以像，你们在ZK证明中用这个技巧很多，但这是做它的非常好和透明的方式，对吧？像，哦不，像我不知道这个是什么。请，让我只是从我存在的大电脑取那个，然后大电脑像，这里你去。它像上帝递给你，然后像，我会检查你只是为了确定但那没关系。
Jeremy Bruestle (00:35:00)： 确切。有趣的是，在某些方式它颠倒了，你知道，如果你看，你在Linux运行一些程序然后你想调用操作系统，你基本上，操作系统比程序更可信，在这种情况下，有点相反。像有操作系统你可以调用操作系统，它会递数据回来，但然后你最好检查它因为实际上可信部分是运行的程序，所以在那个方面是有趣的颠倒。
Anna Rose (00:35:30)： 所以很多我们学到的ZK VM用STARKs，或他们用Fry和SNARKs某种方式，像他们会用STARKs也用的东西做递归步骤。但为什么大多数ZK VM至少用STARKs的部分或实际上在引擎下用全STARKs？
Jeremy Bruestle (00:35:54)： 所以主要是因为STARKs特别高效证明有重复结构的电路，在这种情况下，重复结构是时间。所以想法是你知道，VM的工作是时间T的处理器状态，然后计算时间T加一的状态，时间T加二。基本上执行相同的函数，如果你愿意，一遍又一遍。向前推进时间，STARKs真的很适合那个，air表示，你知道，有内置的时间概念，所以它是完美匹配，对某种想看起来像数字电路随时间运行的东西。
Anna Rose (00:36:36)： 所以这是air特征。所以这不同于R1CS和其他SNARKs，AIR算术中间表示。你之前给我那个定义，我没自己记住。我有点视觉这是基于时间的回合，像它是相等时间，但为什么你需要那个？确切？
Jeremy Bruestle (00:36:59)： 嗯，所以如果你想想有趣的，实际数字处理器和这些算术电路之间的类比真的很强，对吧？它们都像，你知道，如果你看数字电路，你有线，然后有门，在算术电路你有数和这些操作像乘法器例如，在真实数字电路，有时钟周期和组合逻辑的概念。所以你有这个组合逻辑，只是像前馈电路。有些输入进来，它处理通过，然后有些输出出来。但在真实处理器，你不只是用组合逻辑。你也有这些小内存单元，当时钟周期进来，东西从通过组合逻辑回到内存单元，然后存储那里，然后下一个时钟周期进来，相同过程重复。
(00:37:49)： 所以发生在，你知道，说你的英特尔处理器或任何里面的过程，是这个基本上每个时钟周期的过程，有当前状态，然后计算新状态，然后时钟周期结束，然后下一个来。那确切结构是STARK结构的方式。所以如果你看想随时间执行步骤的东西，它真的是完美类比。事实上，实际上你可以字面地把实际门级风险五处理器的设计转译到STARK。如果你天真地做，它会跑得可怕慢，但模型足够强，你几乎可以直接实现。
Brian Retford (00:38:35)： 我有点好奇那是不是Eli发明它们的方式的原因。我猜我从没问过他，但你知道，可能在他部分是故意的，构建更适合创建VM的东西，你知道，鉴于Cairo是这种VM的第一个之一。
Anna Rose (00:38:53)： 这可能有点蠢问题，但像为什么，你知道，我们谈到ZK VM作为你部署RISK-V的环境。为什么它需要在ZK VM？为什么你不能直接在L1上做，像在以太坊上？我是说，在以太坊上，也许是因为它不允许某些OP代码或我不知道，但像，你不能只是有这个作为独立区块链吗？
Brian Retford (00:39:18)： 哦是的，你可以，是的，那就是我们在做的。
Anna Rose (00:39:22)： 好吧，实际上你是，所以其实那是，那太有趣了。另一个问题，因为像ZK VM和ZK EVM，几乎每次我们谈这个，它总是在像生活在另一个区块链作为rollup的语境中，仍然用共享安全，但你们案例你不需要。
Jeremy Bruestle (00:39:42)： 我认为重要的是注意我们非常感兴趣L1空间和做L1，但部分原因是这些系统无法扩展的基本原因与共识本身工作方式有关，对吧？如果你重新审视并重新检查如何构建共识系统，如何构建，如何用知道ZK存在构建L1，它改变你可以有的工具。所以我们作为公司的目标之一是像，好吧，如果你重新开始，你说你能做什么，你能构建什么共识机制，知道你有这个做零知识证明的能力，那会带你到哪里？事实上，一个快速类比，所以为什么L1无法很好扩展？
(00:40:35)： 它其实很简单。你知道，如果有人想运行计算，没有人能相信计算是对的，除非自己运行它。因此，网络中的每台机器必须运行每个交易，对吧？用ZK那个假设不同。两党之间的信任基本上不同，所以一个人可以运行代码，另一个人可以检查它，检查的过程比运行的工作小得多。你可以用那个作为构建块帮助系统扩展。Anna Rose (00:41:08)： 我是说，已经有例子在野外，像Mina是递归SNARK。P.S.我是他们的顾问。所以只是声明一切。但是的，我只是好奇像，在你们的共识，在共识部分，也有ZK吗？像你们也用那个递归技巧吗？
Jeremy Bruestle (00:41:30)： 是的。
Anna Rose (00:41:31)： 好吧。那是ZK VM的ZK部分还是像双层？像共识中有ZK然后ZK在别处？
Brian Retford (00:41:41)： 所以有，我们用相同的ZK VM既用于共识也用于用户产生的执行环境。事实上，我猜事情的发展方式，Jeremy可以多谈谈，你知道，ZK谓词是关键部分，我们如何实际上同意世界的下一个状态。
Guillermo Angeris (00:41:58)： 所以是的，我要问因为这有点递归，对吧？你们在做什么？你们只是像在你的RISK-V过程上编程一个验证器，然后验证计算？所以像你在用平台既做计算。不，让我们想证明计算而且注意，我也将在这个上验证它，像ZK VM对吧？作为东西的一部分然后现在用那个作为我的完全简洁，像小证明，我只是确保每个人知道从创世到现在或什么。是那个想法？
Jeremy Bruestle (00:42:37)： 所以，目前，只是清楚，现有的开源版本已经工作。你知道，你可以在ZK VM内运行真实程序的全零知识证明，我们目前在添加递归支持，还没发布，但我们有原型工作，而且字面我们的递归实际上运行我们的正常Rust验证器在ZK VM内来做零发射证明的验证。
Guillermo Angeris (00:43:10)： 对。递归的抽象是什么？因为递归有点诡异，但像你在正常处理器上不真的做
Brian Retford (00:43:19)： 我是说它很像Mina。你只是调用，你知道，从客人里面你调用验证函数。就像你在SNARK JFS做证明，你有证明作为输入，你调用验证它，现在你，或如果你调用验证两个证明，你现在创建了一个验证两个证明的证明。
Guillermo Angeris (00:43:38)： 但像你也需要这个是增量的，对吧？你不只是像，因为你不重新证明整个
Jeremy Bruestle (00:43:44)： 但如果你想想像，可以验证证明块N从创世块派生。所以我可以验证我从系统外某处得到的证明。
Guillermo Angeris (00:43:54)： 明白了。明白了，明白了。
Jeremy Bruestle (00:43:55)： 然后我可以添加另一个交易，那些两件事的组合证明历史到点N然后添加N到N+1，那个新证明现在证明零到N+1。
Anna Rose (00:44:09)： 我认为你也回答了早些问题，像为什么ZK VM是比像以太坊更好的环境部署Risc0，对吧？因为听起来像零知识证明证明东西它全纠缠，你不一定能用香草做那个
Brian Retford (00:44:27)： 是的，你当然可以在以太坊上验证Risc0证明。它可能相当贵。我想我们谈过这个当然，但你可以构建一个以太坊上的L2 Risc0 L2。我想它只是不一定，我不认为你会得到我们真正希望看到的这种原生扩展增强。
Jeremy Bruestle (00:44:46)： 是的。其中一个酷的事是如果你看它因为我可以在一个证明中验证两个证明，我可以做两层，我可以验证四个证明或八个证明或16个证明和你知道，二的幂。因此，我们的目标基本上是字面处理每秒数十亿交易，对吧？我们的想法是，我们有点像不开玩笑能使交易太便宜而无需计量。这个想法是真正使你知道，这些共识系统的规模比现在大得多。
Anna Rose (00:45:28)： 嗯。
Brian Retford (00:45:29)： 我是说它们仍然可能被计量，但，你知道，有效<听不清>Anna Rose (00:45:36)： 那个想法。我是说听到你们的故事很有趣，你们来自哪里的问题，然后看到ZK作为解决方案。你有点提到这个像无限可扩展云基础设施，也许不是无限，但比现在多。你还在以那个作为愿景工作吗？那是最终目标还是有其他用例出现？B
rian Retford (00:46:00)： 所以我是说，当你谈论构建L1，你知道，你显然想支持所有这些区块链的现有用例，所以你知道，DeFi游戏、NFT、代币转移，所有这种东西。但另外，你知道，我们想支持，你在EVM生态系统中也看到很多人试图做这个，像构建看起来像SQL数据库和其他开发者工具，实际上使写更复杂应用更快成为可能。所以我们仍然像，这个链的意图是使人们也能构建有效云服务，我们实际上将在我们的L1上构建一个，最终发布，基本上让你证明任何任意复杂计算非常快，用大规模并行GPU加速证明。
Jeremy Bruestle (00:46:51)： 但我们开始有时谈论我们自己作为而不是Web3我们谈论它作为Cloud 2.0。我是说，我们真的绝对想构建一个去中心化你知道公共云，你知道，写你可以运行真实的东西，你可以构建一个社交媒体，你知道系统，或你可以构建，你知道，规模的真实终端用户应用。
Anna Rose (00:47:19)： 云通常像依赖这些像国际数据库全世界。一切会非常非常快，在这种情况下你实际想象每个人的，每个像节点运行者的机器或矿工验证或任何他们是数据中心？
Jeremy Bruestle (00:47:37)： 是的。
Brian Retford (00:47:37)： 有效。是的。所以我们实际上在和一群前以太坊矿工谈利用他们的GPU，因为我们有GPU加速后端，这是关键，实现亚多毫秒递归时间，我们希望最终达到，那真的是，你知道，扩展的枢纽或铰链。所以是的，我们，我们在谈，如果你不，任何人有GPU，你想用它们做什么，你知道，让我们，
Anna Rose (00:48:04)： 你们不是权益证明，然后你们将保持工作证明还是你们像混合？
Jeremy Bruestle (00:48:09)： 我们还没完全决定但我们当前概念是我们叫的交易证明，有点像必要工作证明，但想法是它会像工作证明，除非工作是字面运行零知识证明，所以当你添加更多能量到系统，你得到更多交易率。所以想法是用所有那个工作实际帮助终端用户得到他们想要的虽然当然我们绝对可以构建权益证明机制作为最终决定哪个块正确，从，所以从安全视角，我们可以选择任一，但无论如何会有相当多的计算工作只是运行ZKPs本身。
Anna Rose (00:49:03)： 那很迷人。是的。
Brian Retford (00:49:05)： ZKPs有这个整齐属性对那样的系统，你可以确定最长链，不一定是交易数，而是实际整体计算量表示在其中。所以当你rollup所有这些ZK证明，你确切知道多少周期进了每个叶或树的分支。
Anna Rose (00:49:22)： 实际上，我们几年前做了一个完整集关于必要工作证明与Akis Kattis。所以如果人们想了解更多关于这个必要工作证明或有用工作证明的特征，名字变了几次，但是的，有趣。
Guillermo Angeris (00:49:40)： 关于扩展话题。首先是，你知道，你在谈处理器生活在真实处理器里面，所以你可以谈诡异的东西像多少兆赫你像，它，你知道，它实际运行多少周期每秒？多少指令每秒它实际能做？所以这里，这是我能问的非常具体东西。你的当前小处理器运行多少周期每秒在像正常，让我们说你正常CPU，然后你，我听到你说你有GPU证明者，所以几乎好奇那些数字。
Jeremy Bruestle (00:50:14)： 是的，所以目前在我的Mac上
Guillermo Angeris (00:50:17)： 什么Mac？
Jeremy Bruestle (00:50:19)： 我想是新的，
Anna Rose (00:50:20)： 他必须DoSS他
Jeremy Bruestle (00:50:21)： M1 Mac。
Guillermo Angeris (00:50:23)： 是的。好吧。只是新的M1 Pro
Anna Rose (00:50:24)： 告诉所有黑客
Jeremy Bruestle (00:50:26)： 是的。是的。它，它好。所以，所以在我的，在我的M1 Pro上我得到大约30,000周期每秒执行现在有点与我们工作的版本，我们预计我会实际上，我们目前支持我们的GPU加速，还没发布，我们支持Metal，这是Mac OS的加速框架以及CUDA，我们在看更多像一兆赫，所以大约一百万指令每秒
Guillermo Angeris (00:51:01)： 等等，Metal实际做大域算术还是你必须做诡异的？
Jeremy Bruestle (00:51:07)： 我们让它做域算术Guillermo Angeris (00:51:09)： 好吧，酷。
Jeremy Bruestle (00:51:09)： 所以要注意的一件事是我们背景，我们之前公司几乎完全专注加速ML工作流跨多系统，包括，你知道，GPU、CPU、自定义加速器。对吧？所以我们有大背景如何让GPU做有趣的
Guillermo Angeris (00:51:29)： 唱和跳如果我们想这么说。是的。好吧。然后，所以，好吧。那是Apple M1 Pro，你知道，用accelerate框架或Metal或任何你喜欢的。关于你知道，一个酷的新鲜出炉，好吧，其实不再新鲜，但30-90或那样，像一个大GPU。你，你对那些数字有想法吗？
Jeremy Bruestle (00:51:53)： 大概顺序，你知道，大约1000万指令每秒，虽然我们还没我们没有全数字，但，
Guillermo Angeris (00:52:01)： 所以我们像到，你知道，1970s，1980s，我觉得那是，
Jeremy Bruestle (00:52:06)： 那是90's好吧，我想见，你应该能在上面运行Doom，是关键。
Guillermo Angeris (00:52:13)： 是的，是的，不，但我正是要去的问题是，你什么时候觉得我们能在ZK上运行Doom，你知道？
Brian Retford (00:52:21)： 也，所以关于所有这个的有趣点是ZK工作负载分成两部分，一个是运行程序并创建你然后证明的带子，另一部分是证明它，证明部分实际上可以分割并并行做，
Guillermo Angeris (00:52:37)： 对。我是说，你已经在GPU上做时利用这个，对吧？像、
Brian Retford (00:52:42)： 那有效。是的。
Jeremy Bruestle (00:52:43)： 我们应该能更宽。所以理论上，应该能运行Retford描述的带子生成然后分割工作跨GPU农场或什么，所以你应该，在实际生成相当大计算证明的延迟方面，我们应该能降下来。我是说，我们在递归和加速工作的目标之一是能做像运行完整版本的编译器像GCC或什么在证明系统内，并生成零知识证明事实上这个源代码编译到这个二进制，对吧？像真实，
Brian Retford (00:53:29)： 有很多真实世界用例这个。那在这个意义上保护供应链东西像，确保存在的二进制和运行在系统的东西，能问它们定期证明它们在使用你审计的源代码可验证生成的二进制。所以像这些用例实际渗入真实世界需要多久，谁知道，
Guillermo Angeris (00:53:54)： 但像，我不能只是证明关于我当前不用的二进制吗？
Brian Retford (00:53:58)： 所以有，是的。如果你不每个计算都做这个，事情变复杂。
Jeremy Bruestle (00:54:03)： 如果二进制本身你做也在ZKP系统内运行，
Guillermo Angeris (00:54:08)： 当然。细。是的，确切像递归Brian Retford (00:54:12)： 偶尔。是的。
Guillermo Angeris (00:54:13)： 对。如果我们留在沙箱内，那么你当然总是能证明一切。那是非常好的
Brian Retford (00:54:17)： 好吧，不，但当人们开始谈ZK硬件，你知道，短期我有点看衰，但长期，你知道，我认为有人问我们，你知道，你能用Risc0确保像F35战斗机运行它们应该的软件或什么，是的，假设，但现在不行，可能
Guillermo Angeris (00:54:36)： 好吧。是的。好吧，我会问基本问题然后你可以告诉我细节，所以，好吧，所以细。现在我们有花哨的30-90，而且，你可以不只读1x 30-90。事实上，你可以运行它像任意宽，因为我们知道ZK证明好，也许不是任意，但挺该死的近，它挺可并行的。所以下一个自然问题是，好吧关于，你知道，也许用FPGA或用像，很特定，理想在未来，一旦一切标准化，ASICs，但你知道，你们对ZK证明硬件加速的想法是什么？
Brian Retford (00:55:14)： 所以我，我当前觉得数学不够稳定，ASICs难做，花长时间。而且也很难访问最新的内存工艺节点技术等等。所以我觉得ASICs要很久才能竞争FPGA，至少对STARKs。你知道，我不知道，Jeremy可能更精确回答这个，但诚实我觉得GPU可能相当长时间很突出。
Guillermo Angeris (00:55:44)： 哦，有趣Jeremy Bruestle (00:55:46)： 而且实际很多东西是内存带宽限制，你知道，很难打败30-90的内存带宽。对吧，所以我觉得长期我们可能看到更多加速，但是的，我同意。有点早Brian Retford (00:56:01)： 或对像非常特定SNARK电路。如果你看到某些用例进化，人们想某些东西很快做，也许你会开始看到那些ASICs。但是的，但我觉得加速的另一个方面我们谈加速器，有加速证明系统然后也有加速你在证明系统上运行的操作。所以当谈到像递归例如，像现在，如果你试只是运行验证器，纯Rust验证器在我们源代码上它花很长时间。事实上，在开源版本，你在能完成递归前用完可用周期但我们也有架构构建加速器电路。所以如果你想想像你笔记本的芯片，你有GPU但你也有密码学加速器，你有网络加速器。有像大约一百不同芯片在现代微处理器所以我们有能力也构建这些加速电路，Jeremy可以谈谈我们有哪些加速电路和它们在递归中的角色。
Jeremy Bruestle (00:57:03)： 所以在我们当前，例如可用系统中。我们目前有SHA-256的加速器特别因为人们需要好快的哈希函数，是的，当然你可以用正常RISC-V机器码写SHA-256它会好，但如果你写特定电路做那个特定东西你能快得多。所以在下一个版本的东西，我们将另外有有限域加速器，这特别相关递归，我们也在考虑添加bigint模乘加速器，应该启用大量椭圆曲线用例高效运行，而且，你知道，我们在包含和一些额外你知道，哈希函数。我是说，有效如果你想想，你知道，如果你想构建，你想说运行GATH在RISC-V ZK VM上然后很多实际上会好运行。但一些，你知道，重密码组件花很多周期，所以如果我们能把那些移到加速器那是好得多方式
Anna Rose (00:58:20)： 我只是想快速澄清因为当你在说你，因为，我们有点圈进硬件然后出当你在说加速器电路，你还在谈虚拟电路，对吧？
Jeremy Bruestle (00:58:29)： 正确
Anna Rose (00:58:31)： 好吧。那对。它们是，它们只是像库吗？它们是什么？
Jeremy Bruestle (00:58:35)： 所以，基本上我们有这个RISC-V电路代表正常RISC-V处理器的计算，我们可以只是放在旁边在算术电路表示，另一个电路做说SHA-256，然后基于我们运行什么周期和RISK-V说什么，我们有方式让那些两个电路互动在我们当前机制，它们实际上通过内存互动。所以，RISK-V处理器写到某些内存区域然后启动SHA加速器，然后读那个内存并写别的东西然后回去。在新系统中，我们实际上将模型它作为调用操作系统像你会你知道在正常电脑，如果你运行代码，你可以调用Linux说写文件。所以我们将以那种方法附加加速器但是的，它基本上是核心电路本身的扩展。
Anna Rose (00:59:31)： 有趣。
Brian Retford (00:59:31)： 是的那w我们有点构建这些在，不是确切像Circom，它相当不同，但我们有自己的电路描述语言，希望有一天成熟点发布，我们用它描述RISC-V电路以及所有这些加速器，
Anna Rose (00:59:47)： 这是合适的DSL还是不同东西？
Brian Retford (00:59:50)： 将是。
Anna Rose (00:59:51)： 哦，将是。
Guillermo Angeris (00:59:51)： 好吧像，你能写，所以说我想要写像加速器为，我不知道，矩阵乘，因为我觉得那真的酷，有点我做的。我能只是去像，是标准调用，我猜是问题像我需要去实际改变Risc0源代码吗？还是我，你知道，我能只是调用它像酷小模块或像只是泛型，
Brian Retford (01:00:15)： 对？如果你想写像blast库，你可能要像钩你的blast。你可能要重做你的blast后端或什么调用你的加速器。
Guillermo Angeris (01:00:23)： 当然，让我们说我能做那个。让我们说我喜欢这里，你知道，我编辑blast库，所以每次它做，无论，像blast一级操作，它调用我的可爱小芯片。我能只是像，好吧首先，所以当我写这个芯片在像Circom或你的DSL并编译到一些像无论，算术电路，然后我能用然后钩入，我能只是做这个。像任何人能做这个还是只是像，
Jeremy Bruestle (01:00:52)： 嗯目前我们还没发布电路编译器但一旦那个，某个时刻会是合理用例。现在值得注意的是你需要编译它到电路，对吧？所以基本上当你运行给定程序，你要么运行程序在库存，你知道，有，你知道，说RISC-V芯片和加速器A和B的RISC-V电路，或你可以运行在你的有额外加速器。所以某个时刻我们想象人们会想运行不同程序在不同硬件skew，如果你愿意想法像证明系统将支持这个想法，你会像，哦我需要这个，你知道？是的，确切，是的，它是
Guillermo Angeris (01:01:33)： 好吧。我喜欢硬件skew的想法对像假处理器那是零知识芯片生活在你的机器。只是，它全真的回到非常诡异像精神图像不真的有意义，但我只是爱它。太棒了。
Jeremy Bruestle (01:01:48)： 你知道，在某些方式我们目标之一是使这些系统对之前对零知识证明系统一无所知的程序员可接近。我觉得这个ZK VM模型只是你知道，一个小VM，一个虚拟机工作很像任何其他虚拟机，你知道，你交叉编译你的代码，你运行它在它，它可以通过某种通信频道与主机对话你知道，真的打开它到我想，更宽观众，对吧？你不必学新语言甚至什么算术电路是，对吧？你只是想有这个小，像，有点像小，你知道，Arduino做我们知道坐在你电脑里面
Anna Rose (01:02:28)： 我有一个最后点我想覆盖，那就是，所以我们谈了Risc0作为L1生活，它将连接到任何其他网络或网络集群，像我是谈生态系统，以太坊、Polka Dot、Cosmos，像那样？
Brian Retford (01:02:44)： 几乎一定无论可能的伙伴将做那个。所以，你知道，不想披露还没签的东西，但我们有几个伙伴协议在进行，人们非常积极在做那个，我们将积极支持他们做那个所以我们看这个技术作为，你知道，广泛有用，而且虽然我们当然有我们的看法我们觉得L1将提供什么和，有用为我想我们也想，你知道，这个技术可用到其他生态系统，是的
Anna Rose (01:03:13)： 你想象连接点只是桥还是你能以不同方式连接这些网络？Brian
Retford (01:03:20)： 是的，那像
Anna Rose (01:03:23)： 也TBD或不能透露？
Brian Retford (01:03:27)： TBD而且也将采取几个不同形式，你知道？有我们的L1如何和它们谈然后也只是技术如何被这些其他系统用。
Jeremy Bruestle (01:03:37)： 是的，我是说如果你想想，有多种不同整合部分。像，所以如果你只是看以太坊例如一个人可以在我们的VM上运行以太坊EVM，但一个人也可以有我们的证明系统的验证器运行在现有以太坊。有很多不同桥东西的方式，我们预计会有很多不同机制用于不同用例所以我不会说有一个一刀切的答案那个问题
Brian Retford (01:04:08)： 但当然在所有那种ZK像客户端桥东西每个人这些天在做，我觉得有很多有趣潜在应用那里。我还没真的深入细节自己。
Anna Rose (01:04:17)： 最后东西，也许你可以给我们一点时间线，路线图的感觉。你们什么时候上线？人们已经能用这个吗？你们在哪里？
Brian Retford (01:04:28)： 对。所以如Jeremy所说，你知道，当前版本开源，下一个版本我们在做将开源一旦它一旦它更完整。但我们当你谈这个区块链和这个非常快GPU证明服务，我们在做DevNet，我们希望有你知道，有那个公开某个时间像明年早，今年晚。但我们将有种私人注册，我们将，你知道，在Twitter上发那个可能主要和各种其他分发频道。几个人已经注册，你知道，我们希望很快把这个到人们手中。Anna Rose (01:05:10)： 好。嗯非常感谢Brian和Jeremy来节目分享你们在RISC0的工作以及你们进入这个领域的历程。
Guillermo Angeris (01:05:19)： 是的，谢谢你们。其实超级有趣。对不起我偏题到一些诡异的东西，但那是这个播客的整个点
Brian Retford (01:05:24)： 哦不，太棒了
Anna Rose (01:05:26)： 是的，偏题播客。好吧。再次谢谢。还有Guillermo来这个。一路从Bogota。
Brian Retford (01:05:35)： 大粉丝，很兴奋实际上，你知道，在我们开始公司时就像，也许有一天我们能上这个。