作者：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 访问的民主化。
Blockfusion位于尼亚加拉大瀑布的加密矿场因当地条例暂停业务:10月11日消息，矿企Bit Digital（BTBT）周二表示，公司17%的矿机都托管在Blockfusion位于尼亚加拉大瀑布的矿场。Blockfusion被尼亚加拉瀑布市通知“停止在该设施进行任何加密货币挖矿或相关操作”，直到其遵守城市分区法。 Bit Digital表示，托管公司Blockfusion正在申请新的许可证，这个过程可能需要数月时间。
据此前报道，今年5月，位于纽约尼亚加拉瀑布附近的一个比特币矿场的变电站发生爆炸，引发火灾，导致数千台矿机下线。发生事故的设施属于Blockfusion，该公司为加密矿工提供托管服务。所幸在事故中没有人受伤，挖矿中心大楼和Bit Digital的矿机也没有受到重大损失。Bit Digital表示，公司约2515台比特币矿机和约710台以太坊矿机的电力被切断。（CoinDesk）[2022/10/12 10:31:31]
零知识计算是一种革命性的原语，它允许应用程序和协议利用简洁性、正确性和零知识这三个关键属性。这意味着，通过验证 ZK 证明（正确性），验证者可以通过近乎精确地保证知道计算已正确执行。
GoldenTree聘请BlockTower高管Avi Felman担任数字资产交易主管:3月8日消息，资产管理公司GoldenTree周二表示，已聘请最近担任BlockTower Capital联席投资组合经理的Avi Felman担任其数字资产交易部门的新主管。
在BlockTower之前，Felman曾在Wave Financial、CryptoAM和Ledger Capital担任职务。
据了解，GoldenTree管理着近470亿美元的资产，最近几个月参与了几轮加密货币融资，其中包括质押公司Stader Labs的1250万美元融资，以及基础设施公司Qredo的8000万美元融资。（The Block）[2022/3/9 13:45:15]
此外，经过验证的证明将比原始计算简洁得多，并且还可以利用证明的零知识属性来确保验证者对计算本身一无所知。这种独特的属性组合具有深远的影响，并提供了一种验证信息的新方法。这些属性共同平衡了隐私、安全和信任的需求，为更安全、更私密的数字世界提供了潜力。但在 ZK 充分发挥其潜力之前，仍存在一些障碍。
Blockchain.com联合创始人：萨尔瓦多铁腕推广比特币有违加密精神:10月8日消息，Blockchain.com联合创始人及副总裁Nicolas Cary在伦敦举行的Token 2049会议上说萨尔瓦多铁腕推广比特币有违加密精神：我认为针对萨尔瓦多自上而下的实施方式，有一些批评是有道理的。加密货币的主要精神之一是草根推广，人们应当出于自愿采用加密货币。萨尔瓦多的一些本地人也指出，相关的法律法规与比特币至上主义者宣扬的价值背道而驰。尽管如此，Cary也认为萨尔瓦多正在树立一个榜样，其他国家很快就会效仿。因为使用比特币有很多益处，包括降低汇款成本等。（Decrypt）[2021/10/8 20:12:22]
首先，在 ZK 中运行计算耗时太长且成本太高。证明时间和成本需要大幅下降，才能在ZK中实现复杂的计算。好消息是这些正在急剧下降：ZK 证明时间和成本的轨迹一直遵循技术史上熟悉的趋势 - 无论是摩尔定律（计算成本每两年减半）、弗拉特利定律（人类基因组测序成本以更显着的速度下降）还是克莱德定律（磁盘密度大约每 13 个月增加一倍）。证明系统（Plonky2、Hyperplonk、STARK）的最新架构进步以及底层密码学（Poseidon）的进步降低了创建任何计算的 ZK 证明所需的开销。而这些领域的进步将继续以类似的速度发生(特别是最近人才涌入ZK)，证明管理费用也将受益于硬件加速(MSM, NTT)的进步，这是迄今为止尚未得到充分开发的东西。
动态 | 加密货币服务平台Blockchain.com存在被盗币风险:据慢雾消息，在用户注册时，Blockchain.com平台没有强制进行邮箱等身份校验，也可以进行加密货币充值及提现操作。这导致当用户充值时，可能出现资金直接被盗的情况。我们相信Blockchain.com本身不会做恶，但地下黑客可以利用该缺陷发起针对性的撞库及钓鱼攻击。目前慢雾安全团队已经捕获两起真实的用户资金被盗案例，并已完成相关取证工作。[2019/12/12]
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
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。