作者: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 访问的民主化。
加密交易平台Gemini获Blockchain Infrastructure Alliance战略投资:金色财经报道,由卡梅隆·文克莱沃斯(Cameron Winklevoss)和泰勒·文克莱沃斯(Tyler Winklevoss)兄弟创立的加密交易平台Gemini宣布已获得区块链基础设施联盟Blockchain Infrastructure Alliance(BIA)战略投资,这笔投资通过BIA成员和风险投资基金Draper Dragon 完成的,该基金由BIA和著名加密投资者和倡导者 Tim Draper 共同创立。
据悉,对 Gemini 的投资是BIA更广泛投资计划的一部分,该计划旨在促进去中心化技术和社区的扩展。自2021 年第四季度成立以来,BIA已经吸引了加密行业内多家实体加入,包括 Polygon、Avalanche、Alchemy Pay、NEAR 和 Algorand等。除了孵化有前景的新项目外,BIA还提供开发人员工具和文档、开源库、具有开源组件的去中心化应用程序、开发人员教育材料和互操作性解决方案等服务。(Alchemy Pay News)[2022/2/17 9:57:08]
零知识计算是一种革命性的原语,它允许应用程序和协议利用简洁性、正确性和零知识这三个关键属性。这意味着,通过验证 ZK 证明(正确性),验证者可以通过近乎精确地保证知道计算已正确执行。
加密货币矿企Argo Blockchain Q1收入创纪录:今日,全球领先加密货币矿企Argo Blockchain宣布,该公司在3月份共计挖出了165个比特币,使其第一季度开采的BTC总量达到387个。截至3月底,该公司持有764个BTC。此外,根据当月的每日外汇汇率和加密货币价格,Argo在2021年第一季度的挖矿收入达到1860万美元,为公司迄今为止最赚钱的一个季度。(雅虎财经)[2021/4/8 19:56:52]
此外,经过验证的证明将比原始计算简洁得多,并且还可以利用证明的零知识属性来确保验证者对计算本身一无所知。这种独特的属性组合具有深远的影响,并提供了一种验证信息的新方法。这些属性共同平衡了隐私、安全和信任的需求,为更安全、更私密的数字世界提供了潜力。但在 ZK 充分发挥其潜力之前,仍存在一些障碍。
矿企Riot Blockchain Q1收入达240万美元,同比增长70%:5月12日消息,在提交给美国证券交易委员会(SEC)最新季度报告中,加密矿企Riot Blockchain披露了其2020年第一季度业绩。报告显示,截至2020年3月31日(第一季度)公司加密货币挖矿收入达到240万美元,高于2019年第一季度的140万美元,收入同比增长了70%。但Riot透露,公司并没有挖到更多的加密货币,其2020年比特币产量为280枚,而2019年为330枚。(Cointelegraph)[2020/5/12]
首先,在 ZK 中运行计算耗时太长且成本太高。证明时间和成本需要大幅下降,才能在ZK中实现复杂的计算。好消息是这些正在急剧下降:ZK 证明时间和成本的轨迹一直遵循技术史上熟悉的趋势 - 无论是摩尔定律(计算成本每两年减半)、弗拉特利定律(人类基因组测序成本以更显着的速度下降)还是克莱德定律(磁盘密度大约每 13 个月增加一倍)。证明系统(Plonky2、Hyperplonk、STARK)的最新架构进步以及底层密码学(Poseidon)的进步降低了创建任何计算的 ZK 证明所需的开销。而这些领域的进步将继续以类似的速度发生(特别是最近人才涌入ZK),证明管理费用也将受益于硬件加速(MSM, NTT)的进步,这是迄今为止尚未得到充分开发的东西。
动态 | Block.one正与外部开发人员合作准备应用程序:据IMEOS报道,BM 在EOS电报群回答关于钱包的开发进度时说:一切顺利 ,我们正在与外部的开发人员合作,准备他们的应用程序。[2018/12/11]
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
作者:Alana Levin;编译:火火,白话区块链两年前,应用程序开发人员在确定要在何处部署应用程序时面临一个相当简单的选择:以太坊、Solana、Cosmos.
1900/1/1 0:00:00▌ 欧盟加密资产市场法(MiCA)正式在欧盟官方公报发布6月9日消息,欧盟加密资产市场法(MiCA)正式在欧盟官方公报 (OJEU) 上发布.
1900/1/1 0:00:00作者:Haotian,区块链研究者;来源:作者推特@tmel0211IntoTheBlock:持有BTC少于一个月的地址数量减少了59%:IntoTheBlock发推表示,自今年2月以来.
1900/1/1 0:00:00Rocket Pool将于4月13日进行Atlas升级:金色财经报道,以太坊流动性质押协议Rocket Pool将于4月13日进行Atlas升级.
1900/1/1 0:00:00近期,我们发现部分用户对 LSD 的派息方式有所疑惑,为什么有的 LSD 资产随着持有的时间推移,数量会增加,而有的则不会.
1900/1/1 0:00:00据rootdata数据显示,2022年,加密行业筹款金额为267.7 亿美元,融资笔数为1528 笔,而在2023年上半年,加密行业的筹款金额大幅下降,近半年来.
1900/1/1 0:00:00