Loading...
Loading...
BitVM 背景知识：欺诈证明与 ZK Fraud Proof 的实现思路撰文：Shew & Noah，仙壤 GodRealmX
众所周知，欺诈证明是一种在区块链领域中被广泛应用的技术方案，其最早发源于以太坊社区，并被 Arbitrum 和 Optimism 等知名以太坊 Layer2 所采用。2023 年比特币生态兴起后，Robin Linus 提出了名为 BitVM 的方案，以欺诈证明为核心思想，在 Taproot 等比特币既有技术的基础上，为比特币二层或桥提供了新的安全模型。
BitVM 曾先后推出过多个理论版本，从最早的以逻辑门电路为基元的 BitVM0，到后来以 ZK Fraud Proof 和 Groth16 验证电路为核心的 BitVM2，与 BitVM 相关的技术实现路径在不断的演化并趋于成熟，吸引了许多从业人员的关注。大家所听闻的 Bitlayer、Citrea、BOB、Fiamma 和 Goat Network 等项目均以 BitVM 为技术根基之一，在此基础上进行了不同版本的实现。
鉴于市面上系统解释 BitVM 的资料比较稀少且晦涩难懂，我们推出了以 BitVM 知识科普为目的的系列文章。考虑到 BitVM 与欺诈证明之间根深蒂固的关系，本篇文章将以欺诈证明和 ZK Fraud Proof 为主要话题，以尽可能易懂的语言为大家展开解读。
我们将以 Optimism 的欺诈证明方案为素材，为大家解析其基于 MIPS 虚拟机和交互式欺诈证明的方案，以及 ZK 化欺诈证明的主要思路。
（Optimism 交互式欺诈证明的机制原理）
OutputRoot 和 StateRoot
Optimism 是知名的 Optimistic Rollup 项目，其基础架构由定序器 ( 主要模块包含 op-node、op-geth、op-batcher 和 op-proposer) 和以太坊链上的智能合约组成。
当定序器处理了一批交易数据后，这些 DA 数据会被发送到以太坊上。只要你有能力运行 Optimism 节点客户端，就可以把定序器上传的数据下载到本地，之后你可以在本地执行这些交易，计算出 Optimism 的当前状态集 hash（包括但不限于每个账户的当前余额等数据）。
如果定序器把错误的状态集 hash 上传到了以太坊上，那么你在本地算出的状态集 hash 会与之不同，此时你可以通过欺诈证明系统发起质疑，系统会根据判决结果对定序器采取限制或惩罚亦或不处罚。
提到「状态集」一词，EVM 系区块链常用到 Merkle Tree 式的数据结构来记录状态集，名为 World State Trie。一笔交易被执行后，某些账户的状态会变化，World State Trie 便会发生变化，其最终 hash 也会变更。以太坊将 World State Trie 的最终 hash 称为 StateRoot，用其表现状态集的变化。
下图展示了以太坊 stateRoot 的构成，我们可以看到以太坊内不同账户的余额，智能合约账户关联的代码 hash 等数据都会被汇总到 World State Trie 中，并依此计算出 stateRoot。
Optimism 的账户体系及其数据结构大致上与以太坊一致，也采用 StateRoot 字段来体现状态集的变化。OP 定序器会定期把名为 OutputRoot 的关键字段上传到以太坊，而 OutputRoot 字段是由 StateRoot 和其他两个字段共同计算得出的。
继续回到最初的问题，当你运行 OP 的节点客户端并在本地计算出 StateRoot，以及当前的 OutputRoot 后，假如你发现自己算出的结果和 OP 定序器上传的结果不一致，便可发起欺诈证明。那么其具体的机制原理是怎样的？下面我们将依次介绍 MIPS 虚拟机状态验证与交互式欺诈证明。
MIPS 虚拟机与内存 Merkle Tree
前面我们提到，假设我发现 OP 定序器提交的 OutputRoot 有问题，就可以发起「挑战」，挑战流程需要在链上完成一系列交互动作，交互完成后，相关智能合约会断定 OP 定序器是否上传了错误的 OutputRoot。
如果要在链上用智能合约验证 OutputRoot 的正确性，最简单的方法是在以太坊链上实现出 OP 节点客户端，采用与 OP 定序器相同的输入参数，执行相同的程序，查验计算结果是否一致。这个方案被称为 Fault Proof Program，其在链下很容易实现，但想要在以太坊链上运行却十分困难。因为存在两个问题：
1. 以太坊上的智能合约无法自动获得欺诈证明需要的输入参数；
2. 以太坊每个区块的 Gas Limit 有限，不支持复杂度过高的计算任务，我们无法在链上完全实现 OP 节点客户端
第一个问题等价于让链上智能合约读取链下数据，可以通过类似预言机的方案来解决。OP 在以太坊链上专门部署了PreimageOracle合约，欺诈证明相关合约可以在PreimageOracle 内读取所需的数据。
理论上任何人都可以向该合约随意上传数据，但 OP 的欺诈证明系统有办法鉴别数据是否为其所需，具体过程在此不展开论述，因为对本文的核心话题而言不重要。
对于第二个问题，OP 开发团队用 Solidity 编写了一个 MIPS 虚拟机，实现了 OP 节点客户端中的部分功能，足够欺诈证明系统所用。MIPS 是一种常见的 CPU 指令集架构，而 OP 定序器的代码是用 Golang/Rust 等高级语言编写的，我们可以将 Golang/Rust 写的程序编译为 MIPS 程序，然后通过以太坊链上的 MIPS 虚拟机进行处理。
OP 的开发团队使用 Golang 编写了欺诈证明所需的最简化程序，与 OP 节点中执行交易、生成区块及 OutputRoot 的模块功能基本一致。不过这套精简化的程序仍无法「完整执行」。
也就是说，每个 OP 区块中包含很多笔交易，这批交易处理完后，会得到一个 OutputRoot。虽然你知道是哪个区块高度下的 OutputRoot 有错误，但你如果要把该区块中包含的交易全都放到链上去跑，证明对应的 OutputRoot 有错，是不现实的。
此外，每笔交易的执行流程中，又涉及到一连串 MIPS 操作码的有序处理，你不可能把这一串操作码都放到链上合约实现的 MIPS 虚拟机中去跑，因为涉及的计算开销和 Gas 消耗量太大。
（MIPS 指令集工作原理）
为此，Optimism 团队设计了交互式欺诈证明系统，其目的是对 OP 的交易处理流程做深度细化。从 OutputRoot 的整个计算流程中，观测是处理哪个 MIPS 操作码时，OP 定序器的 MIPS 虚拟机出了错误。若确定有错，则可断定定序器提供的 OutputRoot 无效。
那么问题就变得明朗了：OP 定序器处理交易打包区块的过程，可以被拆解为对巨量 MIPS 操作码的有序处理，每个 MIPS 操作码执行后，虚拟机的状态 hash 都会变化，这些记录可以汇总为一棵 Merkle 树。
在交互式欺诈证明流程中，要确定 OP 定序器在执行哪个 MIPS 操作码后，虚拟机的状态 hash 出了问题，然后在链上重现出当时 MIPS 虚拟机的状态，执行操作码，观测之后的状态 hash 是否与定序器提交的结果一致。由于只在链上执行一条 MIPS 操作码，复杂度不高，可以在以太坊链上完成计算流程。但要做到这些，我们需要把 MIPS 虚拟机的状态信息如部分内存数据上传到链上。
在代码实现层面，以太坊链上与欺诈证明相关的智能合约，会通过以下名为 Step 的函数完成最后的 MIPS 操作码执行流程：
上述函数参数中的 _stateData 和 _proof 代表单条 MIPS 操作码执行的依赖数据项，比如 MIPS 虚拟机的寄存器状态、内存状态 hash 等。其示意图如下：
我们可以通过 _stateData 和 _proof 输入这些 MIPS 虚拟机的环境参数，在链上运行单条 MIPS 指令，获得权威结果。如果链上得出的权威结果与定序器提交的结果不一致，则说明定序器做恶。
我们一般称 _stateData 的哈希为 statehash，可以粗略理解为整个 MIPS 虚拟机状态的 hash。在_stateData 的几个字段内， memRoot 是最为精妙的设计。众所周知，一段程序在执行过程中会占用大量内存，CPU 会与部分内存地址中的数据产生读写交互。所以当我们在链上通过 VM.Step 函数执行某条 MIPS 操作码时，需要提供 MIPS 虚拟机部分内存地址中的数据。
OP 采用了 32 位架构的 MIPS 虚拟机，其内存共包含 2 的 27 次方个地址，可以组织成一棵 28 层的二叉 Merkle Tree，底层叶子有 2 的 27 次方个，每个叶子记录虚拟机的一个内存地址中的数据。所有叶子中的数据汇总后，算出的 hash 便是 memRoot。下图显示了记录 MIPS 虚拟机内存数据的 Merkle 树的结构：
我们需要提供一部分内存地址中的内容，这部分内容通过step 函数中的_proof 字段来上传到以太坊链上。这里还要上传基于内存 Merkle 树的默克尔证明，证明你 / 定序器提供的数据的确存在于内存 Merkle 树中，而非凭空编造的。
交互式欺诈证明
在上文中，我们已经解决了第二个问题，完成了 MIPS 操作码的链上执行与虚拟机状态验证，但挑战者与定序器该如何定位到那条有争议的 MIPS 操作码指令？
相信很多人在网上多多少少阅读过交互式欺诈证明的简单解释，对于其二分法的思路有所听闻。OP 团队开发了一套被称为 Fault Dispute Game(FDG) 的协议，在 FDG 中，包含两个角色：挑战者和防御者。
假如我们发现定序器提交到链上的 OutputRoot 有问题，那么我们就可以作为 FDG 中的挑战者，而定序器会作为防御者。为了便于定位到前文提及的需要链上处理的 MIPS 操作码，FDG 协议要求参与者都要在本地构建一颗 Merkle 树，称为 GameTree，其具体结构如下:
我们可以看到 GameTree 其实比较复杂，有层级嵌套的关系，由第一层级的树及第二层级的子树构成，也就是说，第一层级的树的底层叶子本身包含了一棵树。
前面我们介绍过，定序器生成的每个区块都包含一个 OutputRoot，而 GameTree 第一层级树的叶子节点，就是不同区块的 OutputRoot。挑战者和防御者需要在 OutputRoot 构成的 Merkle 树中交互，确定哪个区块的 OutputRoot 有争议。
在确定争议区块后，我们就会下潜到 GameTree 的第二层级。第二层级的树也是一颗 Merkle 树，底层叶子就是上文介绍的 MIPS 虚拟机的状态 hash。在欺诈证明场景下，争议双方在本地构造的 GameTree 的部分叶子节点会不一致，处理了某个操作码之后的虚拟机状态 hash 会表现出不同。
之后双方在链上进行多次交互，最终定位到有争议的地方，确定需要在链上跑的单条 MIPS 操作码。
至此，我们就完成了交互式欺诈证明的全部流程。总结来说，交互式欺诈证明包含两个核心机制:
1.FDG 先定位到需要上链执行的 MIPS 操作码及此时的 VM 状态信息；
2.在以太坊链上实现的 MIPS 虚拟机里执行该操作码，获得最终结果。
ZK 化欺诈证明
我们可以看到上述传统欺诈证明的交互极为复杂，需要在 FDG 流程里进行多轮交互，然后将单条指令在链上重放。但这种方案存在几个难点：
1. 多轮交互需要在以太坊链上触发，差不多需要几十次交互，会产生大量 gas 成本；
2. 交互式欺诈证明的过程较长，一旦交互启动，Rollup 就无法正常执行交易；
3. 链上实现特定 VM 来重放指令是较为复杂的，开发难度极高
为了解决这些问题，Optimism 官方提出了 ZK Fraud Proof 的概念。核心在于当挑战者进行挑战时，指定其认为需要在链上重放的一笔交易，Rollup 定序器给出被挑战交易的 ZK 证明，由以太坊上的智能合约进行验证，如验证通过，则可认为该交易的处理流程没错误，Rollup 节点没做恶。
上图中的 Challenger 为挑战者，而 Defender 是 OP 定序器。在正常情况下，OP 定序器根据接收到的交易生成区块，并将不同区块的状态承诺提交到以太坊上，可以将其简单视为区块的哈希值。Challenger 可以根据区块哈希进行挑战。Defender 接受挑战后，会生成一个 ZK 证明以证明区块的生成结果没有错误。上图中的 Bonsai 实际上是一种 ZK Proof 生成工具。
相比于交互式欺诈证明，ZK Fraud Proof 的最大优点是将多轮交互修改为了一轮的 ZK 证明生成和链上验证，节省了大量时间和 gas 成本。而相比于 ZK Rollup，基于 ZK Fraud Proof 的 OP Rollup 不需要每次出块都生成证明，只在被挑战时临时生成一个 ZK 证明，这也降低了 Rollup 节点的计算成本。
ZK 化欺诈证明的思路也被 BitVM2 所采用。采用 BitVM2 的项目方如 Bitlayer 和 Goat Network 及 ZKM、Fiama 等，通过比特币脚本来实现 ZK Proof 验证程序，并对需要上链的程序尺寸进行了极大程度的精简化。限于篇幅，本文不展开赘述，大家可等待我们之后关于 BitVM2 的文章来深入理解其实现路径，敬请期待！
Proof Beyond Boundaries: Hong Kong zkNight 活动精彩回顾2 月 19 日，随着夜幕的降临，一场汇聚行业智慧与前瞻视野的高端主题活动 ——Proof Beyond Boundaries: Hong Kong zkNight，在香港铜锣湾 Vpoint 的 6/F 盛大启幕。本次活动由 ZEROBASE 主办，Techub News 承办，吸引了众多行业精英、技术大咖以及加密货币爱好者前来参与。尤为值得一提的是，当日活动参与演讲的项目方带来了多场精彩纷呈的演讲，其中关于 「超越界限的证明：香港 zkNight」 的深入剖析，更是为整场活动增添了浓厚的科技色彩与未来感，激发了现场观众对未来智能互联世界的无限遐想。
接下来，让我们一同沉浸于这场精彩纷呈的活动演讲回顾中，每个项目方的介绍都紧密围绕其核心理念与技术突破，每一句话语都蕴含着惊喜与深刻的行业洞见……
Mirror ：开启零知识证明的商业化未来
ZEROBASE 联合创始人兼 CEO /Mirror 以 「零知识证明：速度与合规的边界突破」 为题，为活动揭开序幕。他回顾了自身横跨中美顶尖学府的学术背景及 Salus Security 的实战经验，强调 ZEROBASE 的使命是 「让 ZK 技术从实验室走向万亿级市场」。作为实时 ZK 证明器网络，ZEROBASE 通过毫秒级证明生成与独创的 HUB 环唤醒机制，在确保去中心化的同时满足严苛的监管合规需求，为金融、医疗等高敏场景提供可商用解决方案。他断言：「ZK 不仅是隐私工具，更是下一代商业基础设施的核心引擎。」
Gink ：连接技术、资本与生态的纽带
ZEROBASE 的 CMO/Gink ，凭借其敏锐的行业洞察与灵活的控场能力，巧妙串联起技术讨论与商业实践。他以数据拆解 ZK 赛道的增长潜力，并通过互动环节点燃全场热情 —— 从开发者工具优化到合规框架设计，每一议题均直击行业痛点。作为 ZEROBASE CMO，他多次强调 「技术必须服务于真实需求」，并呼吁资本与开发者共同构建 ZK 生态的 「正向飞轮」。其提问犀利且务实，既剖析技术细节，又聚焦市场落地，成为硬核议题与大众认知间的 「破壁者」，为活动注入强劲的专业性与活力。
BREVIS：智能可验证计算平台，突破区块链性能，赋能高效 DeFi 场景
在活动中，BREVIS 项目代表首先登台，深入介绍了其智能可验证计算平台。该平台凭借链上数据 Zk 协处理器和 Pico 模块化 zkVM，成功突破了区块链的性能限制，为 DeFi 等场景提供了高效、无需信任的计算服务。项目代表还强调了可验证计算在实现复杂计算高效处理中的重要性，并以 VIP 交易者程序为例，生动展示了区块链上计算复杂且昂贵的现状，以及 BREVIS 如何通过创新技术解决这一难题。他还透露，Pico 在性能测试中表现优异，领先竞品，并支持多证明后端，未来还将集成 GPU 加速，进一步提升平台性能。在应用方面，BREVIS 已与多个头部协议展开合作，赋能智能 DeFi 场景。
zkVerify：创新模块化设计降成本，重塑 Web3 ZKP 验证生态
在 「Proof Beyond Boundaries: Hong Kong zkNight」 大会上，zkVerify 代表围绕零知识证明（ZKP）验证的高成本问题展开演讲，提出了创新解决方案。zkVerify 作为模块化区块链系统，旨在重塑 Web3 证明验证生态。当前 ZKP 验证成本高昂，预计市场规模将持续增长。zkVerify 通过模块化设计，实现了降本增效、多链兼容与灵活扩展。其核心能力包括单次验证成本较以太坊降低 91%，验证结果可跨链同步至各 Layer1，且可无缝集成新证明系统。zkVerify 已赋能多个实际用例，并与多家合作伙伴共同推动验证标准化。未来，zkVerify 旨在成为 Web3 验证层基础设施，解锁更多隐私计算场景，构建高效、开放且可扩展的零知识证明生态
Zypher Network：自研 ZK 层赋能无需信任 AI 代理，解锁多元 DApp 场景
Zypher Network 代表也带来了令人瞩目的演讲。他首先介绍了团队中的核心成员 Amber，并称赞其为连接外界的桥梁，再阐述了 Zypher Network 如何通过零知识计算（ZK）层赋能无需信任的 AI 代理与去中心化应用（DApp）。Zypher Network 定位为区块链首个无需信任 AI 代理平台，利用自研 ZK 计算层（如 Proof of Prompt 和 Proof of Inference 技术）保障 AI 代理行为的透明性与数据隐私。其核心技术在不泄露敏感信息的前提下，验证 AI 提示的完整性与推理逻辑的正确性，为金融分析、自动化 DeFi、游戏等场景提供安全基础。平台已集成主流 AI 模型并支持多链生态，应用场景丰富多样，包括基于 Proof of Prompt 的 AI 代理 Alpha Girl 实现 BTC 价格预测、链上扑克游戏 Poking King 利用 ZK 推理验证确保游戏公平性，以及为 DeFi 场景提供透明风控与自动化策略执行的解决方案。生态进展方面，Zypher 已构建庞大社区并集成多家合作伙伴，计划推出 ZK 协处理器、主网及第三方验证网络，并扩展至链上游戏引擎等服务。
展望未来，期待更多创新与应用
展望未来，作为主办方的 ZEROBASE ，我们将继续秉承开放、合作、创新的精神，搭建更多这样的交流平台，推动技术创新与应用拓展。我们相信，随着区块链技术的不断成熟与发展，将涌现出更多优秀创新项目，共同推动区块链技术的融合发展。
作为承办方的 Techub News，我们将持续关注并报道这些前沿技术的最新进展和应用成果，为行业提供有价值的信息与洞见。我们期待在未来的活动中再次与大家相聚，共同见证区块链技术的蓬勃发展。
此外，我们也对参与本次活动的所有嘉宾和项目方表示衷心的感谢。是你们的精彩演讲和深入交流，让本次活动更加丰富多彩、意义深远。我们期待在未来的活动中再次与大家相聚，共同见证区块链和 AI 技术的融合发展之路。.png)
Proof Beyond Boundaries: Hong Kong zkNight——零知识证明技术的未来之夜请于2025年2月19日加入我们，参加一场仅限邀请的专属晚宴，地点选在香港核心地段最时尚的奢华餐厅。在这里，创新与享乐交织融合，科技与艺术共同奏响颠覆想象的跨界盛宴。
当科技邂逅优雅：跨界盛宴的独特魅力
本次活动以“创新与享乐交融”为核心理念，巧妙融合硬核技术讨论与高端社交体验。ZEROBASE创始人将在开场致辞中分享对零知识证明如何重塑隐私与效率的见解，并激发跨领域的合作灵感。届时，嘉宾将共聚一堂，品味米其林级定制晚宴，在露台俯瞰维港夜景，与业界领袖共话未来。
行业巨擘共话zk技术新篇章
现场将安排精心设计的圆桌对话环节，聚焦 zk 技术的最新突破，包括千倍级证明速度的优化和跨链隐私协议的实际应用。此外，活动还特别设有“闪电合作”环节，参与者将通过加密抽签随机组队，围绕“如何降低 zk 技术商用门槛”展开限时头脑风暴，激发创新思维。
舌尖上的灵感：美食与思想的交响
在享受激荡思维碰撞的同时，现场将提供精致美食与佳酿，为活动增添别样风情。美味与灵感交融，营造轻松交流的氛围。手持香槟，您可以在优雅的环境中，与塑造证明系统未来的行业先锋和影响力合作伙伴深入对话。
主办方寄语：打破边界，定义未来
此次活动不仅是技术交流的平台，更是推动亚太地区成为零知识证明创新核心引擎的重要契机。从隐私计算到合规金融，zk技术正解锁万亿级市场的潜力，而香港开放的政策与人才储备将加速这一进程。正如活动口号“当证明超越边界”所言，这场夜晚或许正是将zk技术从学术理论推向现实应用的里程碑。
未来已来，边界已破
“Proof Beyond Boundaries: Hong Kong zkNight”为技术、资本与政策搭建了一座深度对话的桥梁。每一次交流都可能成为引爆下一场技术革命的火花，无论您是寻求激发新的合作火花，还是希望在激发灵感的对话中找到突破，这场活动都将为您呈现一场充满可能性与颠覆性的盛会。
立即预约，开启未来之门！
不要错过这次加入革命性聚会的机会，携手全球最具影响力的创新者，共同见证零知识证明如何突破边界，重塑未来！
活动详情
活动时间:2月19日星期三19:00 - 22:30
活动地点:香港铜锣湾登龍街18号
报名链接：https://lu.ma/t5k0rekm?tk=odB1QU
聊聊三个可能将 ZK Proofs 带入主流的项目撰文：nairolf & Sensei Wu
编译：Tia，Techub News
兄弟，别再 ZK 这个，ZK 那个了。Starknet 每月只有 8 个用户，这是一次失败的空投，而且没人关心 ZK Rollups。好吧，让我们放慢速度，毕竟，这项技术非常棒。
来，我们先简单地了解零知识证明（ZK）到底是什么。
举个例子，约翰喜欢画美丽的老虎，但不敢把他的画给他的朋友们看，因为他非常害羞！ 👉👈
他的朋友怀疑他是否拥有这项技能，因为他们从来没有见过他画画，但约翰心里有一个计划。
一场大型老虎绘画比赛即将举行。获得参赛资格的前提是必须画出一只神奇的老虎。
如果约翰获得了参赛资格，他的朋友们就会知道他会画老虎。即使他们没看到约翰画画，但也会相信约翰会画画。
于是，约翰参加了比赛，画了一只老虎，并且给评委留下了深刻的印象。结果就是他的朋友们终于相信他了，这家伙原来真的会画老虎。
这其实就和 zk-proofs 很像。我们不用直接展示内容，就可以在不透露任何内容的情况下证明它。约翰的参赛资格就是他的证明。他的朋友们没有看到他画画，但他们知道他有能力画画。
正如您可能已经掌握的，zk 证明的好处之一是它们可以提供隐私。
但要知道这可不是 zk 唯一的优势。我们不会深究 zk 的细节，但请明白 zk 证明可以很快。某种程度，这是有它的道理的。比如你看我们之前的例子：约翰不必向他所有的朋友展示他是如何画老虎的，他只要出示比赛邀请函。
此外，它们的内存效率更高。与其他证明系统相比，这些证明可以用更少的工作来验证更大的计算。
但是，有一个问题：这些证据必须在某个时刻得到验证。假设詹姆斯告诉您他已拥有参加比赛的资格。然后你想检查一下这是否属实。
不幸的是，以太坊，更准确地说是 EVM，它的虚拟机（以太坊背后的大型计算机），在设计时并没有考虑到 zk-proofs。这使得验证成本非常高，有时甚至导致 zk-proofs 无法使用。
ok，这时该到 Aligned Layer 登场了。
您无需直接在以太坊上验证您的证明，而是将这些证明提交给 Aligned Layer。
Aligned Layer 专门用于验证证明。将 Aligned 视为一个由专用验证者组成的网络，随时准备确认您提交的证明是否正确。
Aligned 在这里扮演了以太坊的角色。但不用担心，他们使用 EigenLayer 的再质押来维持与以太坊相同级别的安全性。与以太坊相同的安全性，但不受 EVM 的限制。
因此，Aligned 会验证您的证明。下一步是将验证结果发布到以太坊。是的，我说的是「这次验证的结果」。都已经验证过了，为什么还要验证第二次呢？
现在，您仍然拥有可以发布在某处的数据（也称为证明）。好吧， Aligned 也会将其发布在以太坊或 AltDA（如 Celestia）上（你的选择）。
而且，使用 Aligned Layer 验证证明的过程会更便宜。是的，会使成本降低 10 倍。
并且也会更快一些。您不必等待您的证明在以太坊上得到验证；您已经收到来自 Aligned Layer 的第一个（软）确认。
不再受到 EVM 的限制，许多新的潜在用例，以及使 zk-proofs 成为主流的目标：Aligned Layer 将成为零知识领域最突出的参与者之一。但 Aligned Layer 并不是唯一的一个。
Nebra 是基于以太坊的通用 zk-proof 聚合协议。
在以太坊上验证 zk-proof 的成本非常昂贵。借助 Nebra，您可以将这些成本降低五倍。
Nebra 提出，「为什么我们不在链下验证大量 ZK 证明，将它们打包成一个大包，然后在链上仅验证单个聚合证明？这样，我们维护了以太坊的安全性，同时降低了每单位生成的成本。」
此外，Nebra 是通用的。这意味着证明可以来自任何来源。无论是由 zkRollups、zkCoprocessor、zkML 还是任何其他，Nebra 都接受这些证明。
Nebra 也是无需许可的，这意味着任何项目都可以使用它，而无需先询问团队，从而允许大规模使用该技术。
多个项目已经在利用 Nebra，例如 Worldcoin 和 Brevis（一种全新的 ZK 协处理器）。不确定什么是协处理器？查看我们之前的文章。
还有一个项目也有同样的功效。
Succinct 是一个为任意区块链生成 zk 证明的层。是的，任何区块链。其目标是成为生成 zk-proofs 的基础层。
您可能想知道他们是如何做到的（好吧，也可能不想）；不管怎样，让我解释一下。 Succinct 作为证明者网络运行。这些证明者在 Succinct 网络上生成 zk 证明，然后将证明发送给客户。
为了确保为这些客户提供最优惠的价格，Succinct 层分为两部分：一个证明者为每个请求提供最优惠的价格的市场；以及一个聚合系统，可扩展每个生成的证明以降低单位成本。
从本质上讲，Succinct 就像您雇用的为您处理证明工作的承包商。想象一下，你不会画 meme（可能是没有时间培养这项技能）；其实雇一个人来帮你做就可以了。Succinct 和这的原理是相同的，只是将这用于证明。
Beyond crypto: Zero-knowledge proofs show potential from voting to financeAn emerging cryptographic technology may provide help with two gaping 21st-century needs: Privacy and truth.
In a world increasingly anxiousabout privacy and exploitation of ones personal data by governments, corporations, social media platforms and banks, zero-knowledge proofs may offer some relief.
Indeed, this emerging cryptographic protocol could partially remedy two rapidly growing global deficits: privacy and truth.
ZK-proofs have already found a home within the cryptocurrency and blockchain sector enabling scaling protocolsto make Ethereum transactions faster and cheaper, for example. But this may just be the beginning.
One day, ZK-proofs could help convince your bank that your income is above a certain threshold to qualify for a mortgage, for example without revealing your actual income. Or prove to the election authorities that you are a resident or citizen without giving them your name, drivers license or passport.
ZK-proofs open up a new world of potential applications, including anonymous voting, decentralized games, proving personal information without fully disclosing your personal information, and fighting against fake news by proving the source of the news, Polygon co-founder Jordi Baylina tells Magazine.
To this point, some in the cryptographic community already view ZK-proofs as a potential weapon in the looming struggle against false information, including AI-altered documents, images and identities.
We may have a technological battle for truth coming up where ZK can play a critical part, prize-winningcryptographer Jens Groth tells Magazine. There is this idea of proof-carrying data, i.e., data that carries within itselfproofs of correctness including origin and provenance data, so nirvana would be that all data we get are verified data.
In some industry sectors like finance, ZK-proofs may profoundly alter how business is conducted. We see this revolutionizing the audit industry, Proven co-founder and CEO Rich Dewey tells Magazine in connection with ZK-enabled proof-of-solvency protocols, like the one his tech firm has developed. The only question is the timeline.
Requiring fewer resources
Even though ZK-proofswere first presented back in the 1980s by researchers Shafi Goldwasser, Silvio Micali and Charles Rackoff, only in the past decade have they had their big breakthrough, according to Baylina.
Now its possible to prove any generic statement. This statement sometimes called a circuit can be programmed with a specific language and can be anything, Baylina says.
ZK-proofs are computationally complex, which has arguably slowed their development, but their core intuition seems simple enough. As describedin a forthcoming paper by the Federal Reserve Bank of St. Louis:
By using a zero-knowledge proof (ZKP), a party can prove to other parties that a computation was executed correctly. There is no need to replicate the computationonly the proof needs to be verified. Ideally, verifying a ZKP needs significantly less resources than re-executing the computation.
What follows are some of the promising ZK-proof use cases on the table today beyond the strict confines of the crypto sector that may or may not involve the use of blockchains.
ZKPs require fewer resources when re-executing a computation. (Federal Reserve Bank of St. Louis)
Verifying digital voting
Electronic voting has been slow to catch on globally, but if and when it does, the odds are that ZK-proofs will play a prominent part. ZK-proofs are already being used in e-voting systems in trials in a number of Swiss towns and cantons, Dahlia Malkhi, distinguished scientist of Chainlink Labs, tells Magazine.
ZK-proofs can add verifiability to an online election, allowing anyone to check that the votes were counted correctly, explains Malkhi, without revealing how individuals voted a key concern with electronic voting, she says.
Cryptographic electronic voting systems have been around for decades, Malkhi adds, but their adoption has been moderate. On the technical side, one of the challenges has been the compromise of end-user devices, which ZK-proofs dont protect against.
There are other obstacles, too, that are beyond ZK-proofs purview or ability to control which also may suggest their limitations.
Electronic voting requires a credible digital identity system, i.e., a link to real world information that isnt always easy to secure. (Think of all those voting rolls on aged paper ledgers.) ZK by itself cannot bootstrap e-voting, Malkhi says.
Cryptographer Groth, like Malkhi, cites the need for some sort of trust anchor to make ZK-proofs impactful in everyday life. Zero-knowledge proofs often need a hook to reality.
Electronic ballot boxes like this could benefit from the added security of ZKPs. (Fred Miller)
Maybe one day, thanks to ZK-proofs, someone will be able to prove that they are older than 18 years of age or a United Kingdom citizen without having to pull out a drivers license or passport, Groth tells Magazine, but you cannot prove youre over 18 out of thin air. You need the trust anchor that establishes your age, he says, i.e., some authority that verifies your citizenship or birth year, adding:
In the future, organizations may issue ZK-friendly trust anchors, but right now, it is not common practice, so you have a bit of a chicken-and-egg problem.
Privacy safeguards for CBDCs
Today, the world seems awash with central bank digital currency projects. Accordingto the Atlantic Council, 130 countries representing 98% of global GDP are now exploring state-issued digital money.
But CBDCs come freighted with privacy questions, and some fear they could be misused by governments to surveil their own populations, for instance.
That is why high privacy guarantees are at the core of most CBDC projects today, Jonas Gross, chairman of the Digital Euro Association, tells Magazine.
ZK-proofs can be part of the solution, he adds, and it is for this reason that various central banks are studying [ZK-proof] applications for example, in the U.K., Japan and South Korea.
If privacy is a top priority, ZK-proofs should be considered, Remo Nyffenegger, a co-author of the St. Louis Fed paper citedabove and research assistant at the Center for Innovative Finance at the University of Basel, tells Magazine.
Indeed, the European Central Bank published a regulatory proposal for the digital euro in late June and states therein that zero-knowledge proofs should be considered in the CBDC tech stack, he adds.
Again, there may be limits on what exactly ZK-proofs can do by themselves. I dont see using ZK-proofs [alone] as sufficient because ongoing political discussions show that not all CBDC-related data will be obfuscated if ZK-proofs are used, Gross comments. High privacy also needs to be supported by regulation and educational efforts around the actual degree of privacy of a CBDC.
Exposing an altered photo
AI apps are now so powerful that distinguishing between machine-generated images or documents and those created by human beings is already problematic. Things will only get worse, but ZK-proofs may offer at least a partial remedy.
Blockchain tech and ZK-proofs could be used as built-in safeguards in these systems to verify the origin, authenticity, and ownership of AI-generated files and manage some of the risks associated with AI-generated content, says Malkhi, while Groth adds:
There is interesting new research showing applications of ZK-proofs to demonstrate, for example, youve not altered a photo too much i.e., combating fake news.
High-end cameras that digitally signphotos along with metadata like location and timestamp are already on the market and can establish authenticity, continues Malkhi. The current problem is that these digital files are often enormous much too large to post on a news services website, for instance.
But with ZK-proofs, their file size can be substantially reduced, making them practical to use online while preserving critical verification elements. It could prove that the recording or image has not been altered, maybe [including] even the date, without revealing identity or location or whatever, adds Baylina.
Proof-of-solvency with ZK-proofs?
Many believe that finance will be the first major business sector to be impacted by ZK-proofs. Indeed, 41% of respondents in Mina Foundations State of Zero-knowledge Report 2022 agreed that finance was the industry most in needof ZKPs, far ahead of healthcare (12%), social media (5%) and e-commerce (3%).
In March, Mexican cryptocurrency exchange Bitso announced a partnership with tech firm Proven to implement a proof of solvency solution that relies on ZK-proofs. This protocol will soon enable investors, regulators and others to know whether the exchange is solvent i.e., its obligations are less than its assets based on daily reports.
Read also Features
What its like when the banks collapse: Iceland 2008 firsthand
Features
Insiders guide to real-life crypto OGs: Part 1
One of the more ingenious aspects of Provens protocol is that it involves the exchanges customers in the process of keeping the exchange honest. Its a sort of crowd-sourcing version of auditing.
Co-founders Dewey and Agustin Lebron tell Magazine that every day, an exchange (e.g., Bitso) publishes a cryptographic proof-of-solvency attestation. And when it does, each individual client/user of the exchange is issued a receipt that reflects that individuals unique holdings. Millions of digital receipts might be issued on a daily basis.
What if one day a customer doesnt receive a daily receipt, or its wrong? That user might take to Twitter or some other social media venue and complain or ask questions. Have others experienced something similar? A thread might grow.
This protocol relies on the law of big numbers. Bitso, for instance, has some five million users, and the presumption is that a critical mass of complainants might surface quickly, collectively waving a red flag that might prompt further investigation.
This ZK-proofs-based protocol has another advantage, too, accordingto Bitso. It provides a proof-of-solvency that can be confirmed without revealing all of that information to a third party. All an auditor needs to do is run the zk-SNARK protocol to come to the conclusion that the proof is true.
According to Groth, the use of ZK-proofs to demonstrate financial solvency gained more traction after the FTX implosion. Indeed, if such a protocol had been available last year, the Bahamas-based exchanges meltdown might have been avoided, some say or at least its wrongdoing would have come to light sooner.
Interestingly, FTX Japan, now rebranded as Liquid Japan, has been using Provens proof-of-solvency technology since its recent re-launch in early September. With the adoption of Proof of Solvency, we can now prove it [solvency] in a cryptographic manner that is verifiable by 3rd parties, notesthe company, adding:
We are starting to work on increasing the frequency of publishing the Proof of Solvency to 1x day by the end of 2023.
A snapshot of Liquid’s proof-of-solvency widget. (Liquid)
Immutable tracking of goods
ZK-proofs can become very relevant in the context of digital identities, whether they are issued by the government or private entities, adds Nyffenegger. They could prove that you are not included on some government sanctions list without revealing who you are, for instance.
ZK-proofs potential use in supply chains is also frequently cited. But the difficulty here, as with e-voting, is that this requires connecting to a trustworthy real-world information source, which can authenticate the date an order was shipped from the factory, for instance.
ZK-proof-based supply chain tracking systems havent been battle-tested long enough in live environments, notes Malkhi, adding that that could soon change:
The potential of ZK-proofs here is vast helping to improve transparency and reduce the potential impact of fraud by enabling the immutable, real-time tracking of goods.
It should be added that while blockchains provide some of ZK-proof’s first exciting use cases, the technology does not require blockchain technology to work but they are surely helpful.
They are just a very suitable tool for blockchains because they provide proofs of correct computation which aligns well with the need for verifiability on blockchains while hiding as much information as possible, Johannes Sedlmeir, a researcher at the University of Luxembourgs Interdisciplinary Centre for Security, Reliability and Trust, tells Magazine.
With a blockchain platform, a verifier can check if a certain hash appears somewhere on the blockchain and hence binds me as a prover, he adds.
Blockchains arent required for Provens proof-of-solvency protocol to work, Lebron tells Magazine, though its always useful to have validators on-chain. It appears to be more of a like to have than a need to have circumstance.
Obstacles remain
What obstacles still need to be overcome before ZK-proofs become commonplace? Malkhi has already cited the challenges with bridging to the real world, and this would well prove the biggest hurdle to surmount before ZK technology becomes mainstream, in her view.
However, other barriers remain that might require laws and regulations to overcome. Will ZK claims be accepted in court, for instance?
Scaling also remains a challenge in many use cases given that there is, at present, no standardized way to program, says Malkhi, making it difficult for developers to integrate proofs into their apps.
To this last point, Provens protocol with Bitso requires some five million unique receipts to be issued monthly (though soon daily) to Bitso users, but Proven says this isnt an issue. We figured out how to scale, co-founder Lebron says.
Complexity is another potential sticking point. For small- to medium-size assertions, we already have a good ZK system, cryptographer Groth tells Magazine. For large assertions, we still need to improve efficiency. ZK-proofs like SNARKs can be cheap to verify, but the prover pays a large performance overhead compared to native computation, he adds.
Becoming magnitudes cheaper
The user experience needs to improve, too. Using a technology secured by ZK-proofs for an everyday activity like buying groceries should be so seamless that the user doesnt even know, says Baylina.
The other thing we need is time, Baylina says. Protocols like Polygons zk-Ethereum Virtual Machine are still new but are becoming more usable all the time. As Polygon zkEVM matures, over the next year, we anticipate it will become orders of magnitudes cheaper.
Given these potential roadblocks, how long might it take before the technology becomes commonplace?
I believe five years is too short of a time frame owing to the current TRLs [technology readiness levels] of ZK-proofs, says Sedlmeir, referencing the finance sector specifically. While ZK-proofs have matured rapidly in recent years, they are still complex to implement and prover performance is still a significant bottleneck.
There might be a transition period as ZK-proof works in tandem with traditional protocols, as in financial auditing. Provens Dewey envisioned working hand in glove with traditional Big Four audit firms for a time.
Vast potential
In sum, ZK-proofs still face challenges. They cant work in isolation. They still need to be attached to a truth source or oracle. Doubts about computational complexity, usability and scalability remain as well.
But if these hurdles are surmounted, ZK-proofs could offer a 21st-century solution to not only the fake news challenge but also the privacy quandary as with CBDCs, providing just enough anonymity for users to comfortably use state-issued digital money but enough accountability so governments can be assured fraudsters or money launderers arent infiltrating their networks.
As the technology and the underlying infrastructure improve, summarizes Malkhi, ZK-proofs have vast potential to enable an internet where the majority of contracts are underpinned by cryptographic guarantees.
Subscribe The most engaging reads in blockchain. Delivered once a week.
Email address
SUBSCRIBE融资周报 | 公开融资事件18起；加密游戏公司Proof of Play完成3300万美元种子轮融资，Greenoaks与a16z共同领投本期看点
据 PANews 不完全统计，上周（9.18-9.24）全球区块链有18起投融资事件，资金总规模超2.2亿美元，概览如下:
DeFi方面公布了1起投融资事件：混合加密交易所GRVT 两轮共完成710万美元融资，种子轮由 Matrix Partners 和 Delphi Digital共同领投：
NFT和元宇宙领域公布1起投融资事件：元宇宙数据分析服务提供商 Geeiq 宣布完成 660 万英镑（约 820 万美元）A 轮融资，YFM Equity Partners 领投；
链游赛道公布1起投融资：加密游戏公司 Proof of Play 在种子轮融资中筹集了 3300 万美元，Greenoaks 与 a16z 共同领投；
基础设施与工具赛道公布了5起融资，其中加密转账和支付服务初创公司Mesh（原Front Finance）完成2200万美元A轮融资，Money Forward领投；
其他Web3/加密相关项目方面公布了8起融资，其中比特大陆向比特币矿企Core Scientific投资5390万美元，以扩大两家公司的长期合作关系；
中心化金融领域公布了2起融资，其中加密货币初创公司Bastion完成2500万美元种子轮融资，a16z crypto领投
DeFi
混合加密交易所GRVT 两轮共完成710万美元融资
混合加密货币交易所 GRVT 筹集了 710 万美元的种子前和种子资金，估值为 3900 万美元。GRVT 旨在提供中心化交易所的效率和去中心化交易所的自我托管功能。GRVT的种子轮融资规模为 500 万美元，由 Matrix Partners 和 Delphi Digital 共同领投。此轮融资的其他投资者包括 ABCDE Capital、Susquehanna Investment Group、CMS Holdings、Hack VC 和 Matter Labs（以太坊扩展网络zkSync的开发商）。种子轮前融资价值 210 万美元，得到了 500 Startups 和 Folius Ventures 等投资者的支持。
NFT&元宇宙
时尚元宇宙数据分析商Geeiq完成820万美元A轮融资
专注于流行时尚领域的元宇宙数据分析服务提供商 Geeiq 宣布完成 660 万英镑（约 820 万美元）A 轮融资，YFM Equity Partners 领投，GFR Fund 和 FOV Ventures 参投。
Geeiq 主要为品牌商提供元宇宙市场数据分析服务，同时还帮助企业在 Roblox、Zepeto、Decentraland 和 Fortnite 等元宇宙平台上获得自定义数据分析功能，当前其客户包括 Gucci、Tommy Hilfiger 等时尚品牌。
链游
加密游戏公司Proof of Play完成3300万美元种子轮融资，Greenoaks与a16z共同领投
由 FarmVille 联合创始人、前 Zynga 高管 Amitt Mahajan 领导的加密游戏公司 Proof of Play 在种子轮融资中筹集了 3300 万美元，Greenoaks 与 a16z 共同领投。声明称，除了早期投资了 Uber 和 Twitter 的 Ravikant 之外，本轮融资的其他参与者还包括 Balaji Srinivasan、Twitch 创始人 Justin Kan 和 Emmett Shear等。Proof of Play 旨在创造有趣且易于使用的区块链游戏。它的第一款游戏是一款名为“Pirate Nation”的社交角色扮演游戏。据声明称，《FarmVille》的玩家超过 3 亿，是 Facebook 有史以来排名第一的游戏。除了创建 FarmVille 之外，Mahajan 还曾在 Zynga 担任高管，然后创立了 Toro（后来被 Google 收购）。
基础设施&工具
加密转账和支付公司Mesh完成2200万美元A轮融资
加密转账和支付服务初创公司Mesh（原Front Finance）完成2200万美元A轮融资，Money Forward领投，Galaxy、Samsung Next、Streamlined Ventures、SNR.VC、Hike VC、Heitner Group、Valon Capital、Florida Funders、Altair Capital、Network VC和多位天使投资人参投。Mesh由Bam Azizi和Adam Israel于2020年创立。企业可以使用Mesh让客户在不同平台之间移动资产（包括加密货币），用户可以将不同的资产类别和持有这些资产的具有读写和传输功能的账户连接到Mesh，让平台聚合他们的所有账户。Mesh支持跨交易所和钱包的应用内资产转移，以及加密货币的支付和支出。
数字资产初创公司Fuze完成1400万美元种子轮融资
中东数字资产初创公司宣布Fuze完成1400万美元种子轮融资，阿布扎比。风险投资机构Further Ventures领投，美国纽约的早期风险投资公司Liberty City Ventures参投。据悉，Fuze成立于2022年12月，今年加入阿布扎比的全球科技生态系统Hub71。Fuze使银行、金融科技公司或企业能够通过本机应用程序向客户提供受监管的数字资产产品。其白标解决方案可处理区块链的复杂性和企业的监管费用，使企业能够轻松提供稳定币、加密货币、CBDC和代币化资产等数字资产。
区块链技术公司Jiritsu完成1020万美元融资
专注于可验证计算的区块链技术公司 Jiritsu 两轮融资总共筹集了 1020 万美元，由 gumi Cryptos Capital 领投，Susquehanna Private Equity Investments、LLLP、Republic Capital 和其他投资者参与。Jiritsu 今天还推出了其资产代币化平台——Tomei RWA。该公司计划利用新资金“加速 UVC 平台和 Tomei RWA 的开发和采用”。Jiritsu 成立于 2020 年，开发了无限可验证计算（UVC）等技术，旨在提供一种易于编程的方法，可应用于任何工作流程并生成工作流程证明。
加密初创公司Essential完成515万美元种子轮融资
加密基础设施初创公司Essential完成515万美元种子轮融资，Maven11领投，Robot Ventures、Karatage、Batuhan Dasgin、Skip、James Prestwich、Brandon Curtis、Eclipse创始人Neel Somani等参投，估值未披露。据悉，Essential于今年早些时候成立，试图重新连接加密货币交易供应链，专注于构建基于意图的基础设施，这是一种相对较新的技术，支持者希望它能给区块链带来更好的用户体验和更高的效率。根据公告，Essential正在构建的基础设施的核心部分目前包括以太坊的意图标准、用于意图表达的特定领域语言（或DSL）以及“完全以意图为中心的区块链协议”。
Layer 1解决方案提供商Swisstronik完成500万美元种子轮融资
Layer 1解决方案提供商Swisstronik在X平台上宣布已完成500万美元种子轮融资，并启动私人代币销售。两位投资人Constantin Guggi和Anton Polianski目已加入团队担任联合创始人及高管。目前Swisstronik暂未披露投资者，但表示之后会将分享更多信息。据悉，Swisstronik的主要目标是创建一个用户友好且安全的网络，解决法律合规性、数据隐私和兼容性等关键问题。它旨在成为开发者的首选，同时强调隐私和去中心化。Swisstronik的未来路线图包括在2024年推出其主网，随后在2025年推出去中心化消息系统、去中心化授权系统、企业去中心化预言机和资产代币化套件。
其他
比特大陆将向Core Scientific投资5390万美元，并与其达成新托管协议
比特大陆向比特币矿企Core Scientific投资5390万美元，以扩大两家公司的长期合作关系。比特大陆和Core Scientific已达成一项股权和现金组合的协议，为购买新型、更高效的比特币挖矿设备提供资金。另外，比特大陆已与Core Scientific达成一项新的托管协议，以支持比特大陆的挖矿业务。根据购买协议的条款，比特大陆将向Core Scientific提供27000台比特大陆S19J XP 151 TH比特币挖矿服务器，以换取2310万美元现金和价值5390万美元的Core Scientific普通股，每股价值将根据破产法院批准的重组计划确定，该计划的批准预计将在今年第四季度完成。
区块链医疗数据交换平台Briya完成1150万美元A轮融资，Team8领投
采用区块链技术的医疗数据交换平台 Briya 宣布完成 1150 万美元 A 轮融资，Team8 领投，Insight Partners、 Amiti Ventures 和 Innocare Health Investments、George Kaiser Family Foundation 等参投。A 轮融资后，Briya 总融资额将达到 1700 万美元。该笔资金将支持 Briya 改变医疗保健组织和生命科学组织之间的数据交换方式。
加密数据分析平台CoinScan完成630万美元融资
加密数据分析平台CoinScan完成630万美元融资，体育博彩公司DraftKings最大个人股东Shalom Meckenzie、博彩软件开发公司Playtech首席执行官Mor Weizer和数字资产交易公司Tectona参投。据悉，CoinScan迄今已开发两年时间，该平台旨在为加密用户提供数据，帮助减少漏洞利用、黑客攻击和骗局造成的损失。
Web3创作者社区Afterparty完成500万美元融资，Blockchange Ventures领投
Web3创作者社区Afterparty完成500万美元战略增长轮融资，Blockchange Ventures领投，Acrew Capital、Act One Ventures 和 Tamarack Global、Wilson Sonsini和Vinny Lingham参投，此次融资使筹集的总资金达到1200万美元。Afterparty宣布将推出新平台Afterparty AI，允许创作者扩展基于个性化的粉丝互动，并为粉丝生成独一无二的图像和视频，作为区块链上的NFT收藏品。Afterparty是一个为创作者提供工具和技术的平台，可扩展一对一的粉丝互动，于 2021年成立。其创作者工具简化了内容货币化和所有权，利用区块链和人工智能等尖端技术帮助创作者加强粉丝关系。Afterparty曾于Afterparty2021年完成300万美元pre-seed融资，并于2022年完成400万美元主动融资。
去中心化信息市场协议Freatic完成a16z crypto领投的360万美元种子轮融资
去中心化信息市场协议 Freatic 在 a16z crypto 领投的一轮融资中获得了 360 万美元。参与本轮融资的投资机构包括 Anagram、Archetype、Not3Lau Capital、Robot Ventures 和 Arweave。天使贡献者包括 Stefano Bernardi、Meltem Demirors、Stephane Gosselin、Jutta Steiner 和 MacLane Wilkison。该项目旨在利用密码学和博弈论将人们与未开发的信息联系起来。结合区块链密码学和博弈论的力量，加速不同市场的现实世界信息流动。该团队开发了两个技术演示，包括Polygon 上致力于加密洞察管理的Alpha Factory，以及在 Arbitrum 上引入链上声誉机制的Capture The Alpha 。
区块链数据可视化公司Bubblemaps完成320万美元种子轮融资，INCE Capital领投
总部位于巴黎的区块链数据可视化初创公司 Bubblemaps 在由 INCE Capital 领投的种子轮融资中筹集了 320 万美元。其他参投方包括 Stake Capital、Momentum 6、Lbank、V3ntures、Ledger 的 Nicolas Bacca、Hacken 的 Dyma Budorin 以及法国影响者和企业家 Owen 'Hasheur' Simonin。Bubblemaps 计划利用这笔资金扩大团队并加速增长，特别是雇用更多开发人员，并加强公司在社交媒体平台上的营销力度。Bubblemaps 目前支持以太坊、币安智能链、Fantom、Avalanche、Cronos、Arbitrum 和 Polygon。
Web3社交应用Orb完成230万美元pre-seed轮融资
基于 Lens Protocol 的 web3 社交应用 Orb 完成 230 万美元的pre-seed轮融资。本轮投资者包括 Superscrypt、Founders, Inc.、Foresight Ventures、Aave Companies、Aave Companies 和Lens Protocol创始人 Stani Kulechov以及 Polygon 联合创始人 Sandeep Nailwal。这是一轮于 3 月份开始并于 5 月份结束的股权融资轮。Orb 基于 Lens 协议，允许用户聊天和加入社区。
去中心化黑客松平台BeWater宣布完成百万美金融资，ABCDE和OKX Ventures联合领投
去中心化黑客松平台、全球开源开发者组织BeWater宣布，完成了100万美金的天使轮融资。本轮融资由 ABCDE和OKX Ventures 联合领投，ScalingX、Galaxy Mercury Asia、Contentos及Blake Gao等个人投资者跟投。目前 BeWater.xyz 上已汇聚 50 多个国家的超过22,000名Github认证开发者以及超过3000名Figma认证设计师。BeWater.xyz 提供黑客马拉松在内的标准化赛事服务，主打无需许可10分钟即可发起一场黑客松，上线3个月已经与zkSync、Celestia、Polyhedra、Taiko、Aleo、Solana、NEO、Sei等大型生态合作举办了超过20场黑客松，奖金池超过200万美金。
中心化金融
加密初创公司Bastion完成2500万美元融资，a16z crypto领投
加密货币初创公司 Bastion 完成 2500 万美元种子轮融资，a16z crypto 领投，参投方包括野村集团旗下 Laser Digital Ventures、Robot Ventures、Not Boring Capital 等。Bastion 提供加密货币托管等服务。该公司的首批员工包括来自 Kraken 等加密货币交易所的监管和合规高管。Bastion 创始人 Riyaz Faizullabhoy 和 Nassim Eddequiouaq（分别是a16z crypto的前首席技术官和首席安全官）在加入 a16z Crypto 之前还在 Meta 的区块链安全基础设施部门工作了两年。
新加坡金融科技公司DCS Fintech Holdings完成1000万美元战略融资
新加坡金融科技公司DCS Fintech Holdings获得Foresight Ventures的1000万美元战略投资，用于创建将加密货币和法定货币相链接的支付解决方案。据悉，DCS Fintech Holdings旗下DCS Card Centre（原Diners Club Singapore）是一家受新加坡金融管理局监管的信用卡发行商，将利用这笔资金开发新的支付解决方案，以在Web2和Web3之间提供无缝连接。DCS Card Centre于9月初在PlatON网络上部署和发行了锚定美元的支付代币DUS。
风投机构
Blockchain Capital为两只新的加密基金筹集了5.8亿美元
总部位于旧金山的风险投资公司 Blockchain Capital 为两只新的加密货币投资基金筹集了 5.8 亿美元。该公司成立于 2013 年，今天宣布推出第六只早期风险基金和第一只机会基金，筹集资金总额达 5.8 亿美元。支付巨头 Visa 是提供资金的公司之一。Visa 和 PayPal 还投资了 Blockchain Capital 的第五支 3 亿美元基金，该基金于 2021 年结束。根据公告，该公司特别重点投资了专注于基础设施、游戏、DeFi、消费者和社交领域的加密初创公司。该公司补充说，过去一两年该行业的波动“暴露了短期思维的危险，让许多人误判了这项新兴技术。”
EJF Capital旗下一只基金已募资1.04亿美元，将投资区块链等领域
对冲基金公司EJF Capital LLC已为旗下EJF Ventures Fund募资1.04亿美元，EJF Ventures Fund将寻求处于早期阶段的金融科技初创公司进行投资，同时将特别注重区块链基础设施、银行技术以及财富管理和资本市场软件等领域，并会为专注于提供实时支付、数据分析和协调、风险管理、客户获取等创新解决方案的初创公司提供战略指导和资金。EJF Capital曾于去年领投加密税收和会计平台Ledgible的2000万美元的A轮融资，以及参投iPaaS公司Onramp Invest的700万美元A轮融资。
Oak Grove Ventures推出6000万美元新基金，将投资Web3、AI等领域
Oak Grove Ventures推出6000万美元新基金，将专注于Web3、人工智能和生物科技等前沿技术领域的早期项目投资。Oak Grove Ventures团队成员包括Sino Global前副总裁Sally Wang、Libra前技术负责人Ethan Wang、Alchemy Pay联合创始人Shawn Shi、以及Coinbase前副总裁Michael Li等。Oak Grove Ventures此前是一家家族办公室，在早期投资方面拥有良好的成功记录，过去曾支持过30多个项目，已披露的投资组合包括8只基金和14个优质项目，其中包括SpaceX和Neuralink。Binance 发布 9 月储备证明更新Techub News 消息，Binance 发布 9 月储备证明（Proof of Reserves）更新，用户现可通过该机制验证其资产是否获得 1:1 足额支持。
储备证明是中心化交易所采用的透明度验证机制，通过加密证明或第三方审计验证交易所持有的资产足以覆盖用户存款负债。该机制旨在提升行业透明度，增强用户信任并满足监管合规要求。Delphi Digital：PoUW 可融合 AI 计算与区块链安全Techub News 消息，Delphi Digital 发文称，Proof-of-Useful-Work（PoUW）机制可将 AI 计算与区块链安全相结合，通过让有用计算成为网络安全的一部分，使矿工在保护网络的同时为 AI 提供算力。
该机构指出，传统矿工通过计算获得报酬以保障网络安全，而 AI 提供商则通过为客户提供有用输出获得收益，PoUW 试图将这两种经济模式进行融合。Renaiss 平台总收入突破 3000 万美元Techub News 消息，BNB Chain 发文祝贺 Renaiss 平台总收入突破 3000 万美元。该平台通过公平证明、托管验证和透明定价等方式，致力于将实体收藏品推向更可验证、可访问且更具流动性的链上市场。
（@BNBCHAIN）Cardano 成为 Blockforce 可追溯平台的证明层Techub News 消息，Cardano 区块链已集成至供应链可追溯平台 Blockforce，作为其证明层。该集成旨在利用区块链技术提升供应链透明度与问责能力。
（Crypto Briefing）OKX 发布第 46 次储备金证明，主要资产达 229.6 亿美元Techub News 消息，OKX 发布第 46 次储备金证明，显示其主要资产总额为 229.6 亿美元。OKX 表示，在所有市场条件下，其客户资产均以超过 1:1 的比例获得足额支持。
用户可通过官方链接自行验证储备金详情。（@okx）Zcash 隐私交易创建时间或将降至 200 毫秒以下Techub News 消息，Zcash 社区开发的 Zakura Common 方案有望将 Zcash 隐私交易的创建时间缩短至 200 毫秒以下，其移动端证明生成速度提升了 14 倍以上。该技术进展旨在提升 Zcash 网络的隐私交易效率与用户体验。（Crypto.news）Cysic CEO 称 ZK 证明需摆脱 GPU 依赖，AI 正加剧算力竞争Techub News 消息，Cysic 创始人兼 CEO Leo Fan 表示，零知识（ZK）证明已开始与万亿美元规模的 AI 数据中心争夺相同的 GPU 资源，导致证明成本上升。尽管 Cysic 通过优化硬件使用实现了 9% 的性能提升，但 AI 对算力的需求仍在持续挤压供给。Fan 指出，行业需要探索超越 GPU 的专用硬件方案，以应对长期算力挑战。（Crypto.news）韩国新韩银行与 Solana 基金会等合作，试点韩元计价代币化基金发行Techub News 消息，韩国新韩银行（Shinhan Bank）宣布与 Solana 基金会、Etherfuse 及 Orca 达成合作，将共同开展韩元计价代币化基金的发行与分销概念验证。该合作旨在探索利用区块链技术进行基金代币化的可行性。
（The Block）陶哲轩警告称 AI 或将引发数学自哥德尔以来最大危机Techub News 消息，数学家陶哲轩在一篇新文章中警告，人工智能（AI）或将推动数学领域陷入一场堪比1900年左右基础变革的危机。此次冲击的核心并非数学真理，而是该领域的价值观：什么算作贡献、什么受到奖励以及谁完成了工作。他提出一条经验法则：任何无法由人类解释的证明都应被视为不完整的。（The Decoder）币安发布第45次储备证明报告，用户BTC持有量环比增长2.55%Techub News 消息，币安发布了基于8月1日快照的第45次储备证明报告。用户持有的比特币约为65.7万枚，较7月1日的上次快照增长2.55%，增加了16,349枚BTC。用户持有的以太坊约为398万枚，较上次快照有所下降。
报告显示，币安持有的比特币储备金率为104.5%，以太坊储备金率为104.2%。该报告由第三方审计公司Mazars进行验证。（@WuBlockchain）网络安全公司Proofpoint Inc.今日宣布推出全新的全球合作伙伴网络。该网络将帮助合作伙伴加速成长、增强盈利能力，并在人工智能驱动的网络威胁日益增长的形势下为客户提供更大价值。 Proofpoint的新合作伙伴网络采用简化结构和强化投资，旨在帮助合作伙伴构建可持续的盈利业务。这体现了Proofpoint对长期维持合作伙伴主导型增长的承诺，并提供更深入的激励措施、强大的交易保护以及扩展的机遇。 Proofpoint全球渠道高级副总裁斯坦·德·博伊塞特表示："合作伙伴在降低客户风险、简化安全防护以及实现可衡量成果方面发挥着关键作用。"他进一步说明："我们的合作伙伴网络专为适应市场变化而设计，旨在帮助合作伙伴获得构建更强经济效益、明确保护机制以及成功长期实践所需的工具。" 新网络重点关注合作伙伴的盈利能力和可预测性，通过提供针对新客户获取与续约的强化激励、与需求生成资金的联合投资，以及在快速增长客户支出领域的资源安全保障，助力合作伙伴充分把握市场机遇。 该计划引入精选、精英、精英+三级合作伙伴层级，以认可合作伙伴的投入与业绩，并以扩展方式提供福利与奖励。中高层级合作伙伴可获得非卖品许可证，用于实践操作、演示及深化技术专业知识。 Proofpoint还通过亚马逊云科技和微软Azure拓展市场路径，以在人工智能、数据安全及服务领域创造新机遇。Proofpoint亦制定相关计划，旨在支持合作伙伴在2026年底前创造新的高利润收入来源。 Optiv Security首席营收官约翰·赫尔利表示："Proofpoint认可合作伙伴在识别客户最佳机遇、将其转化为数据驱动的成功以及共享互惠增长愿景过程中所体现的价值。"他补充道："Proofpoint在业务前端和后端对高层级合作伙伴进行投资，并通过提供更强有力的保护来增强我们的信心，这些举措令人鼓舞。"
