想象一个数据隐私、安全和信任不再令人担忧的世界,软件供应链透明且可验证,新一代应用程序可以利用零知识计算的力量来解决一些最紧迫的挑战数字时代。 这是零知识 (ZK) 计算的承诺,也是我们投资的原因 RISC 零是一家开创性的公司,旨在通过其 Bonsai 网络实现 ZK 访问的民主化。
零知识 (ZK) 计算是一种革命性的原语,它允许应用程序和协议利用简洁性、正确性和零知识这三个关键属性。 这意味着,通过验证 ZK 证明(正确性),验证者可以通过近乎数学的保证知道计算已正确执行。
此外,经过验证的证明将比原始计算小得多(简洁),并且还可以利用证明的零知识属性来确保验证者对计算本身一无所知。 这种独特的属性组合具有深远的影响,并提供了一种验证信息的新方法。 这些属性共同平衡了隐私、安全和信任的需求,为更安全、更私密的数字世界提供了潜力。 但在 ZK 充分发挥其潜力之前,还存在一些障碍。
其一,在 ZK 中运行计算耗时太长且成本太高。 在 ZK 中的复杂计算变得实用之前,证明时间和成本需要大幅下降。 好消息是,这些正在急剧下降:ZK 证明时间和成本的轨迹一直遵循技术史上熟悉的趋势——无论是摩尔定律,计算成本每两年减半,还是弗拉特利定律,计算成本每两年减半。人类基因组测序的速度以更显着的速度下降,或者按照克莱德定律,磁盘的密度大约每 13 个月就会增加一倍。 证明系统(Plonky2、Hyperplonk、STARK)的最新架构进步以及底层密码学(Poseidon)的进步降低了创建任何计算的 ZK 证明所需的开销。 虽然这些领域的进步将继续以类似的速度发生(特别是最近人才涌入 ZK),但证明开销也将受益于硬件加速(MSM、NTT)的进步,这是迄今为止尚未充分探索的。
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 网络作为协处理器的基于以太坊的应用程序(在验证链上结果之前在链下执行资源密集型工作),而且还扩展到加密之外的应用程序。 例如,Bonsai 可以让白帽黑客证明安全漏洞和错误的存在,而无需直接披露漏洞利用情况。 它还可以通过允许用户下载和验证 ZK 证明来防止未来对软件的供应链攻击,以确保他们运行的是在 Bonsai 中预先审核的代码。 最令人兴奋的是,盆景的广泛采用可能会带来尚未想象到的全新用例。
RISC Zero 令人印象深刻的技术突破背后还有令人难以置信的强大和独特的团队。 三位联合创始人——布赖恩·雷特福德, 杰里米·布鲁斯特及 弗兰克·劳布——认识已有20多年了。 他们共同的历史包括共同创建多家公司,其中最近的一家公司涉足人工智能优化和编译领域,并最终被英特尔收购。
三人组的每位成员都为 RISC Zero 带来了丰富的经验——Brian 在 Google Cloud Platform 上磨练了自己的技能,在那里他从事定价和计量系统工作; Jeremy 是一位终生的数学爱好者,致力于基因测序的 GPU 加速,并拥有密码学、HPC 和安全方面的背景; Frank 在编译器方面拥有深厚的背景,并构建了众多代码库。 凭借共同的历史和多样化的技能, RISC 零 团队独特地准备向大众提供零知识计算,并有可能在此过程中重塑数字景观。
当我们展望零知识计算广泛普及的未来时,创新的可能性是无限的。 RISC Zero 的 Bonsai 网络能够支持多种编程语言,将使 ZK 计算民主化,并使开发人员能够在各个领域创建安全、私有和无需信任的应用程序。 从加强网络安全措施到增强对软件供应链的信任,再到大幅提高链上应用程序可用的计算能力,零知识计算的潜在影响是巨大的。 快速下降的 ZK 证明时间和成本、RISC Zero 的忠诚团队以及 Bonsai 作为多功能计算平台的出现,预示着计算的新时代——隐私、安全和信任内置于结构之中我们的数字世界。
披露: Blockchain Capital 是上述几个协议的投资者。
每篇博文中表达的观点可能是每位作者的个人观点,并不一定反映 Blockchain Capital 及其关联公司的观点。 Blockchain Capital 和作者均不保证每篇博文中所提供信息的准确性、充分性或完整性。 Blockchain Capital、作者或任何其他人未就任何博客文章中包含的信息的准确性、完整性或公平性作出或提供任何明示或暗示的陈述或保证,并且不承担任何责任或义务对于任何此类信息。 每篇博文中的任何内容均不构成投资、监管、法律、合规或税务或其他建议,也不应作为投资决策的依据。 博客文章不应被视为当前或过去的建议或招揽购买或出售任何证券或采用任何投资策略的要约。 博客文章可能包含预测或其他前瞻性陈述,这些陈述基于可能因许多可能事件或因素而改变的信念、假设和期望。 如果发生变化,实际结果可能与前瞻性陈述中表达的结果存在重大差异。 所有前瞻性陈述仅在作出此类陈述之日起生效,除法律要求外,Blockchain Capital 和每位作者均不承担更新此类陈述的任何义务。 如果任何博客文章中引用了由 Blockchain Capital 制作、发布或以其他方式分发的任何文件、演示文稿或其他材料,则在阅读此类材料时应仔细注意其中提供的任何免责声明。
- :具有
- :是
- :不是
- :在哪里
- 13
- 20
- 20 年
- a
- 对,能力--
- 关于
- 以上
- 促进
- 公认
- ACCESS
- 成就
- 后天
- 实际
- 充分性
- 采用
- 采用
- 进步
- 进步
- 忠告
- 分支机构
- 年龄
- AI
- 目标
- 所有类型
- 允许
- 允许
- 沿
- 还
- 量
- an
- 和
- 任何
- 应用领域
- 建筑的
- 架构
- 保健
- 地区
- AS
- 假设
- 假设
- At
- 攻击
- 关注我们
- 作者
- 可使用
- 背景
- 当前余额
- 基于
- BE
- 成为
- 很
- before
- 代表
- 背后
- 作为
- 信仰
- 得益
- 之间
- 混合
- blockchain
- Blockchain资本
- 博客
- 博客文章
- 苍茫
- 突破
- 桥
- 带来
- 广阔
- 虫子
- 建筑物
- 建
- 但是
- 购买
- by
- CAN
- 能力
- 资本
- 小心
- 例
- 链
- 链
- 挑战
- 更改
- 云端技术
- 云计算平台
- 码
- 组合
- 提交
- 公司
- 公司
- 兼容
- 复杂
- 符合
- 复杂
- 计算
- 计算能力
- 计算
- 一台
- 计算
- 关注
- 包含
- 继续
- 价格
- 成本
- 可以
- 创建信息图
- 创造
- 加密
- 加密技术
- 电流
- 网络安全
- data
- 数据隐私
- 日期
- 决定
- 下降
- 交付
- 民主化
- 民主化
- 密度
- 深度
- 设计
- 开发
- 数字
- 数字时代
- 数字世界
- 直接
- 揭露
- 分布
- 不同
- do
- 文件
- 域名
- 双打
- 下载
- 大幅
- 驾驶
- 下降
- 每
- 出现
- 授权
- enable
- 启用
- 使
- 加强
- 确保
- 爱好者
- 完全
- 时代
- 特别
- 基于复仇
- 甚至
- 事件
- 所有的
- 例子
- 除
- 令人兴奋
- 执行
- 期望
- 昂贵
- 体验
- 专门知识
- 利用
- 特快
- 表示
- 扩展
- 程度
- 布
- 因素
- 公平
- 熟悉
- 远
- 深远
- 以下
- 针对
- 前瞻性的
- Freedom
- 止
- ,
- 未来
- 改变游戏规则
- 代
- 基因组
- 特定
- 非常好
- 谷歌
- 谷歌云
- 谷歌云平台
- GPU
- 奠基
- 担保
- 黑客
- 减半
- 发生
- 硬件
- 马具
- 有
- 有
- he
- 预示
- 高水平
- 高度
- 他的
- 历史
- HPC
- HTTPS
- 人
- 人类基因组
- 人类可读
- if
- 想象
- 巨大
- 影响力故事
- 启示
- 默示
- 不可能
- 有声有色
- in
- 包括
- 包括
- 增加
- 令人难以置信
- 辐辏
- 信息
- 固有
- 創新
- 说明
- 英特尔
- 成
- 投资
- 投资
- 投资策略
- 投资者
- IT
- 它的
- 本身
- JPG
- 键
- 知识
- 已知
- 景观
- 语言
- 语言
- 大
- 法律
- 铅
- 法律咨询
- Level
- 杠杆作用
- 借力
- 责任
- 有限
- 长
- 不再
- 看
- 降低
- 机
- 制成
- 多数
- 制作
- 许多
- 质量
- 大规模采用
- 群众
- 重大
- 物料
- 数学
- 数学的
- 数学
- 最大宽度
- 可能..
- 手段
- 措施
- 会员
- 提到
- 现代
- 个月
- 更多
- 最先进的
- MSM
- 许多
- 多
- 近
- 一定
- 需求
- 打印车票
- 需要
- 也不
- 网络
- 全新
- 消息
- 没有
- 也不
- 没什么
- 小说
- NTT
- 众多
- 障碍
- 障碍
- of
- 提供
- 提供
- on
- 链上
- 一
- 仅由
- 优化
- or
- 原版的
- 其他名称
- 除此以外
- 我们的
- 学校以外
- 超过
- 步伐
- 过去
- 执行
- 人
- 个人
- 平台
- 柏拉图
- 柏拉图数据智能
- 柏拉图数据
- 准备
- 波塞冬
- 可能性
- 可能
- 帖子
- 帖子
- 潜力
- 可能
- 功率
- 实用
- 首选
- 案例分享
- 紧迫
- 防止
- 先前
- 价格
- 原始
- 隐私
- 私立
- 过程
- 生成
- 曲目
- 代码编程
- 编程语言
- 训练课程
- 预测
- 承诺
- 证明
- 样张
- 财产
- 协议
- 证明
- 提供
- 提供
- 出版
- 范围
- 急速
- 率
- 达到
- 阅读
- 原因
- 最近
- 建议
- 反映
- 监管
- 留
- 表示
- 必须
- 资源密集型
- 责任
- 导致
- 成果
- 革命的
- περίπου
- 运行
- s
- 安全
- 证券
- 保安
- 出售
- 序列
- 测序
- 集
- 几个
- 共用的,
- 应该
- 显著
- 类似
- 自
- 技能
- 技能的
- 技能
- 小
- 小
- 软件
- 解决
- 一些
- 东西
- 太空
- 说话
- 声明
- 仍
- 策略
- 强化
- 强烈
- 这样
- 供应
- 供应链
- 供应链
- SUPPORT
- 系统
- 产品
- 需要
- 天赋
- 税
- 团队
- 文案
- 技术性
- 比
- 这
- 信息
- 其
- 那里。
- 在其中
- 博曼
- 他们
- Free Introduction
- 那些
- 三
- 通过
- 从而
- 时
- 至
- 一起
- 也有
- 轨道
- 透明
- 趋势
- 三重奏
- 信任
- 不可信
- 二
- 最终
- 相关
- 独特
- 独特地
- 更新
- 使用
- 用户
- 各个
- 可验证
- 专利
- 确认
- 验证
- 多才多艺
- 非常
- 查看
- 意见
- 在线会议
- 虚拟机
- 实质上
- 漏洞
- 是
- 方法..
- we
- 财富
- 为
- 什么是
- 这
- 而
- WHO
- 广泛
- 将
- 中
- 也完全不需要
- 工作
- 工作
- 世界
- 全世界
- 写
- 年
- 但
- 和风网
- 零
- 零知识
- ZK