作者：Bart Stephens,Ryan Sproule, Yuan Han Li，编译：Zen，PANews
7月19日，旨在帮助开发者开发零证明软件的基础设施公司 RISC Zero 宣布完成了 4000 万美元 A 轮融资，Blockchain Capital 领投，参投方包括 Galaxy Digital、IOSG等。作为领投方，Blockchain Capital撰文分析了零知识计算的发展、RISC Zero的特点及优势。
想象一下这样一个世界：数据隐私、安全和信任不再受到关注，软件供应链透明且可验证，新一代应用程序可以利用零知识计算的力量来解决数字时代一些最紧迫的挑战。这是零知识 (ZK) 计算的承诺，也是我们投资RISC Zero的原因，这是一家开创性的公司，旨在通过其 Bonsai 网络实现 ZK 访问的民主化。
律师：BlockFi预计将获得位于硅谷银行的3700万美元现金存款:金色财经报道，周一新泽西州一家破产法庭被告知，尽管BlockFi在破产的硅谷银行（SVB）持有大量未投保资金，但它仍然拥有现金使用权。
在上周五的一份文件中，美国信托人（U.S Trustee）表示，已敦促这家破产的加密货币借贷机构将位于货币市场基金中的2.27亿美元未受保资金转移到更安全的地方。
Kirkland & Ellis律师事务所的Christine Okike代表该公司在法庭上表示：“BlockFi现在还可以——我们有资金以正常方式运营，包括向员工支付工资和向供应商打款。”
Okike称：“我们预计今天晚些时候将获得位于SVB的2.78亿美元中的3700万美元。”他补充说，2.36亿美元投资于贝莱德和摩根士丹利运营的“高评级货币市场基金”，SVB是BlockFi的代理人。（CoinDesk）[2023/3/14 13:01:57]
零知识计算是一种革命性的原语，它允许应用程序和协议利用简洁性、正确性和零知识这三个关键属性。这意味着，通过验证 ZK 证明（正确性），验证者可以通过近乎精确地保证知道计算已正确执行。
IntoTheBlock：比特币30天波动率已降至两年低点:金色财经报道，根据加密分析公司 IntoTheBlock 研究主管 Lucas Outumuro披露数据显示，比特币的 30 天波动率已降至两年低点。此外，与前几周相比，本周比特币 ( BTC ) 和以太坊 ( ETH )前两大加密资产继续出现交易所流出，交易所提款可能表明投资者将他们的加密货币存储在中心化交易所之外，该指标也表明市场参与者正在长期购买比特币和以太坊。Lucas Outumuro还指出，追踪消费意愿和使用加密资产需求的比特币网络费用本周较上周公布的年度低点反弹了 55%，而以太坊的网络费用“在熊市标准中相对较高”。（dailyhodl）[2022/10/23 16:36:06]
此外，经过验证的证明将比原始计算简洁得多，并且还可以利用证明的零知识属性来确保验证者对计算本身一无所知。这种独特的属性组合具有深远的影响，并提供了一种验证信息的新方法。这些属性共同平衡了隐私、安全和信任的需求，为更安全、更私密的数字世界提供了潜力。但在 ZK 充分发挥其潜力之前，仍存在一些障碍。
BlockFi：自二月完成3000万美元B轮融资以来，月收入已翻番:加密货币借贷服务商BlockFi表示，自今年2月获得3000万美元B轮融资以来，该公司的月收入已翻了一番。虽然没有透露具体数字，但BlockFi表示明年该公司有望实现5000万美元的收入。除收益增长强劲外，该公司的客户基础也在扩大，目前BlockFi正着眼于在亚洲和其它地区扩大业务。（Finance Magnates）[2020/7/2]
首先，在 ZK 中运行计算耗时太长且成本太高。证明时间和成本需要大幅下降，才能在ZK中实现复杂的计算。好消息是这些正在急剧下降：ZK 证明时间和成本的轨迹一直遵循技术史上熟悉的趋势 - 无论是摩尔定律（计算成本每两年减半）、弗拉特利定律（人类基因组测序成本以更显着的速度下降）还是克莱德定律（磁盘密度大约每 13 个月增加一倍）。证明系统（Plonky2、Hyperplonk、STARK）的最新架构进步以及底层密码学（Poseidon）的进步降低了创建任何计算的 ZK 证明所需的开销。而这些领域的进步将继续以类似的速度发生(特别是最近人才涌入ZK)，证明管理费用也将受益于硬件加速(MSM, NTT)的进步，这是迄今为止尚未得到充分开发的东西。
动态 | Blockchain Cuties利用Tron解决扩展性问题:据Blokt报道，Tron宣布与加密游戏Blockchain Cuties合作，Tron帮助后者解决了阻碍游戏充分发挥潜力的主要可扩展性和速度问题。据11月16日消息，原本在以太坊区块链上运行的区块链游戏Block Cuties宣布同时支持EOS和ETH两个网络。[2018/11/30]
ZK 大规模采用的另一个巨大障碍是 ZK 系统固有的高度复杂的数学和密码学。推动ZK创新所需的深度和专业知识水平只有一小部分高技能的技术开发人员能够胜任。
理想情况下，开发人员可以自由地用自己喜欢的语言编写程序，同时仍然能够以零知识证明计算，而无需使用低级、ZK 特定的编程语言去手写输入和设计电路。这就是 RISC Zero 的 Bonsai 平台成为全球开发者游戏规则改变者的地方，也是我们投资 RISC Zero 的原因。
通过创建模拟 RISC-V 指令集架构 (ISA) 的零知识虚拟机 (zkVM)，RISC Zero 构建了一个能够证明低级代码执行的系统。由于 ISA 是人类可读代码和机器可解释指令之间的桥梁，这一成就意味着Bonsai网络可以证明任何高级程序都可以被编译成这种体系结构。由于大多数现代编程语言都与 RISC-V 兼容，RISC Zero 的 Bonsai 能够以零知识执行几乎任何任意计算机程序。
在零知识（ZK）计算变得普遍的未来，许多以前不可能的应用程序将成为可能。这不仅包括基于以太坊的应用程序，利用RISC Zero的盆景网络作为协处理器(在验证链上结果之前执行资源密集型的链下工作)，还将扩展到加密货币以外的应用程序。例如，Bonsai可以让白帽黑客在不直接披露漏洞的情况下证明安全漏洞和错误的存在。它还可以通过允许用户下载和验证ZK证明来确保他们运行的代码在Bonsai中预先审计，从而防止未来对软件的供应链攻击。最令人兴奋的是，Bonsai的广泛采用可能会带来尚未想象到的全新用例。
除了令人印象深刻的技术突破之外，RISC Zero背后还有着强大而独特的团队。三位联合创始人Brian Retford、Jeremy Bruestle和Frank Laub已彼此相识 20 多年。他们共有的经历包括共同创建多家公司，其中最近的一家公司涉足人工智能优化和编译领域，最终被英特尔收购。
三人组的每位成员都为 RISC Zero 带来了丰富的经验：Brian 曾在 Google Cloud Platform 从事定价和计量系统工作；Jeremy 是一位终生的数学爱好者，致力于基因测序的 GPU 加速，并拥有密码学、高性能计算（HPC） 和安全方面的背景；Frank 在编译器方面拥有深厚的背景，并构建了众多代码库。凭借共同的历史和多样化的技能，RISC Zero团队具有独特的优势，他们向大众提供零知识计算，并有可能在此过程中重塑数字格局。
当我们展望零知识计算广泛普及的未来时，创新的可能性是无限的。RISC Zero 的 Bonsai 网络能够支持广泛的编程语言，将使 ZK 计算民主化，并使开发人员能够在各个领域创建安全、私有和无需信任的应用程序。从加强网络安全措施到增强对软件供应链的信任，再到大幅提高链上应用程序可用的计算能力，零知识计算的潜在影响是巨大的。快速下降的 ZK 证明时间和成本、RISC Zero 的忠诚团队以及 Bonsai 作为多功能计算平台的出现，预示着计算的新时代——隐私、安全和信任被构建到我们数字世界的结构中。
PANews
媒体专栏
阅读更多
金色财经
金色荐读
区块链骑士
金色财经 善欧巴
Block unicorn
Foresight News
深潮TechFlow
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。