一文读懂 Brevis

新手12/17/2024, 5:31:58 AM
Brevis 是什么? Brevis 有什么特点? Brevis 的代币经济学?Brevis 代币的分配? Brevis 创始人是怎么样的呢? zkFabric 的介绍?zkQueryNet 是如何工作的呢?

Brevis 概述

简介

Brevis 是一个零知识 (ZK) 全链数据证明平台,旨在让智能合约能够无信任地访问和处理多条区块链的完整历史链上数据。通过提供定制化计算功能,Brevis 支持去中心化金融(DeFi)、跨链身份验证、流动性管理等创新应用,帮助开发者构建更智能、信任最小化的区块链应用。

Brevis 的创始人董沫,拥有深厚的计算机科学背景。她在美国伊利诺伊大学香槟分校(UIUC)攻读博士学位期间,专注于分布式系统和网络安全领域的研究。同时,董沫是 IOSG Ventures 的风险合伙人、Celer Network 的联合创始人。

融资

Brevis 于 2024 年 11 月 12 日宣布完成 750 万美元种子轮融资,由 Polychain Capital 和 Binance Labs 共同领投,IOSG Ventures、Nomad Capital、Bankless Ventures、HashKey Capital 等参投。


Brevis 的融资(来源:Brevis

愿景

目前,Web3.0去中心化应用(dApp)无法以完全去信任的方式访问存储在区块链中的绝大部分数据。这是因为智能合约只能访问当前状态的数据,而无法获取完整的历史数据,限制了dApp的潜力和功能。

而 Brevis 的愿景和目标是成为一个ZK全链数据计算和验证平台,旨在使dApp能够以完全去信任的方式访问、计算和利用跨多个区块链的任意数据。这包括资产转移、合约函数调用、合约内事件和区块链状态根等原始数据,从而提取有价值的信息,如资产所有权、用户活动概况、社交图谱、金融联系等。

Brevis 的特点与架构

特点

  • 高性能(Performant at Scale)

Brevis 利用先进的零知识(ZK)密码算法和大规模并行计算,能够在短时间内处理大量交易的复杂计算。这表明 Brevis 在处理大规模数据时具有高效的性能,这对于需要快速响应的去中心化应用(dApps)至关重要。

  • 多功能性(Versatile)

Brevis 提供了一个软件开发工具包(SDK),允许开发者使用他们熟悉的编程语言来轻松访问历史状态、交易、智能合约事件,并定制自己的计算逻辑。这种多功能性使得 Brevis 能够适应各种开发需求和应用场景。

  • 全链(Omni-Chain)

Brevis 提供了统一的用户体验,支持快速且信任无须的全链数据访问和任意多区块链计算。这意味着开发者可以构建跨越多个区块链的应用程序,而用户则可以享受到无缝的交互体验。

架构

Brevis 作为一个全新的零知识(ZK)多链数据证明平台,旨在为去中心化应用(dApps)提供无需信任的数据访问、计算和利用功能,其核心架构由 zkFabric、zkQueryNet、zkAggregatorRollup 三个主要组件组成。


Brevis 架构 (来源:Brevis

1. zkFabric:基于零知识证明的多链互操作性

zkFabric 是 Brevis 的互操作性层,负责从所有连接的区块链收集区块头,并生成零知识共识证明(ZK Consensus Proofs),证明这些区块头的有效性,允许任何区块链无需信任地访问其他区块链的状态。通过 zkFabric,dApps 可以信任地访问多链区块头和状态根,解决当前多链互操作性中的信任问题。

zkFabric 的工作流程可以比作一个快递服务,它负责从各个区块链“取货”(收集区块头),然后通过一系列“检查站”(生成零知识证明)来验证货物的真实性,最后将这些经过验证的区块头“派送”到一个中心仓库(zkAggregatorRollup),具体的工作流程如下:

  • 区块头同步:区块头中继网络定期从各种区块链同步区块头,并在安全的区块确认延迟后选择区块头,以避免分叉选择问题。
  • 提交区块头:区块头中继网络将区块头提交给 zkFabric 证明者网络。
  • 生成有效性证明:证明者网络使用特定于链的 ZKP 电路(实现轻客户端协议)为区块头生成有效性证明。
  • 返回证明:证明者网络将有效性证明返回给中继网络。
  • 提交到 Rollup:中继网络在收到证明后,将其和相应的区块头提交给 zkAggregatorRollup

zkFabric 的技术核心在于其生成和验证零知识证明的能力,这些证明就像是加密的“收据”,能够证明区块头的真实性而无需暴露任何敏感信息。它通过实现轻客户端协议的电路来工作,这些电路基于多项式算术,使得证明过程既高效又安全。而且,zkFabric 的证明可以在zkAggregatorRollup 中递归验证,这意味着一旦一个证明被验证,其真实性可以在多个区块链间被重复确认,无需每次都重新验证,大大提高了跨链互操作性的效率。

以 Ethereum PoS 为例,zkFabric首先计算 Ethereum 同步委员会的承诺,这是一个包含SHA-256 哈希和大量公钥的复杂过程。接着,它验证区块的BLS签名,确保区块是由有权的委员会签署的。在完成这些步骤后,zkFabric 会生成一个零知识证明,证明所有验证步骤都已正确执行。这个证明随后与区块头一起提交到 zkAggregatorRollup,供其他系统组件使用。这样,zkFabric不仅确保了区块链间的互操作性,还维护了数据的安全性和完整性,为构建跨链应用提供了坚实的基础。


zkFabric 架构(来源:Brevis

2. zkQueryNet:开放的 ZK 查询引擎网络

zkQueryNet 是一个支持多种数据查询需求的开放市场,可将查询结果转化为 zk 证明,旨在为去中心化应用(dApps)提供一个高效、灵活且信任无须的数据查询和计算框架。

zkQueryNet 通过一系列零知识查询引擎(ZK Query Engines)实现,允许开发者在多个区块链之间进行数据查询,而无需依赖中心化的中介或信任第三方。其具体的工作流程包括:接收来自 dApps 的查询请求,解析查询并生成相应的计算结果。每个查询引擎可以根据特定需求提供不同的查询接口,支持从简单的资产转移数据到复杂的市场分析等多种应用场景。生成的查询结果会附带零知识证明,确保结果的真实性和有效性,同时保护用户隐私。

通过 zkQueryNet,开发者可以轻松访问跨链数据,构建更为灵活和高效的去中心化应用,推动 Web3 生态系统的发展。

例如,一个去中心化交易所(DEX)想要根据用户在不同区块链上的交易量动态调整其流动性挖矿奖励,它可以通过 zkQueryNet 发起查询请求,网络中的查询引擎会收集和计算这些数据,并生成零知识证明以确保结果的准确性和真实性,最后将这些经过验证的数据返回给 DEX 智能合约,以便据此调整奖励机制,整个过程无需信任任何中心化服务,确保了数据的安全性和透明度。

3. zkAggregatorRollup:跨链证明的聚合层

zkAggregatorRollup 作为 zkFabric 和 zkQueryNet 的聚合和存储层,它负责验证这两个模块提交的证明,并将经过零知识(ZK)验证的状态根提交到所有连接的区块链上。这一过程使得去中心化应用(dApps)能够在智能合约中直接利用这些经过ZK验证的查询结果。通过聚合多个证明并一次性提交到各个区块链,zkAggregatorRollup 显著降低了跨链通信和验证的成本,同时确保了数据的安全性和完整性。

设计上,zkAggregatorRollup 旨在成为一个无需信任的“数据汇总点”,它将来自不同来源的零知识证明聚合起来,并提交到所有连接的区块链,实现跨链数据共享和利用。

技术上,它采用了高效的数据存储方案,例如 Verkle 树,以支持快速的数据检索和证明生成。此外,zkAggregatorRollup 拥有强大的验证逻辑,确保在数据被存储和提交之前,每个证明都经过了严格的零知识证明验证,从而保障了数据的准确性和可靠性。这种设计使得 zkAggregatorRollup 成为一个强大的信任基础,为去中心化应用提供了一个可靠的跨链数据访问和利用平台。

Brevis 的用例

  • 数据驱动的DeFi(去中心化金融)

Brevis通过零知识证明技术,为DeFi应用提供了一种全新的开发范式。例如,DeFi应用可以利用Brevis访问并验证过去的交易数据,用于管理奖励,如忠诚计划。这允许应用根据用户的历史交易行为来定制奖励和激励,从而提高用户参与度和平台粘性。此外,Brevis 还允许协议验证和检索链上的历史数据,这对于需要过去区块链状态的应用至关重要。

  • zkBridges(零知识桥接)

Brevis 支持构建跨链桥接,这些桥接利用零知识证明来确保资产和信息在不同区块链网络之间的安全转移。例如,Brevis可以实现从 Cosmo s到 Ethereum 的端到端原型,这涉及到大型证明电路的正确性证明。这种设计确保了桥梁的安全性,同时提高了跨链通信的效率和可扩展性。

  • zkDID(零知识身份)

Brevis 可以用于构建零知识身份系统,这在保护用户隐私的同时,允许用户证明其身份和行为。例如,通过 DID 系统,用户可以引入更细化的社交数据进行交互,而无需透露敏感信息。这种身份验证方式可以用于各种应用,包括社交网络、金融服务等,同时确保了用户数据的隐私和安全。


Brevis 用例展示 (来源:Brevis

结语

Brevis 作为一个创新的零知识全链数据证明平台,不仅为去中心化应用(dApps)提供了前所未有的跨链互操作性,还通过其强大的零知识证明技术解决了信任问题,推动了 Web3 生态系统的发展。通过 zkFabric、zkQueryNet 和 zkAggregatorRollup 三大核心组件,Brevis 实现了高效、安全、无信任的数据访问与计算功能,支持去中心化金融、跨链身份验证、流动性管理等多个创新应用。

而在未来计划方面,Brevis 致力于扩展其跨链支持和优化零知识(ZK)计算架构,进一步提升平台的性能和可扩展性。未来几个月,Brevis 将推出其全新的 ZK Coprocessor 架构,并逐步增强与多条区块链和 Layer 2 网络的兼容性,以适应更广泛的应用场景。此外,Brevis 还将加强其开发工具包(SDK),使开发者能够更容易地实现复杂的数据计算和业务逻辑,并计划通过新的技术创新减少 ZK 计算的成本和延迟。

作者: Lucas
译者: Viper
审校: KOWEI、Edward、Elisa
译文审校: Ashely、Joyce
* 投资有风险,入市须谨慎。本文不作为 Gate.io 提供的投资理财建议或其他任何类型的建议。
* 在未提及 Gate.io 的情况下,复制、传播或抄袭本文将违反《版权法》,Gate.io 有权追究其法律责任。

一文读懂 Brevis

新手12/17/2024, 5:31:58 AM
Brevis 是什么? Brevis 有什么特点? Brevis 的代币经济学?Brevis 代币的分配? Brevis 创始人是怎么样的呢? zkFabric 的介绍?zkQueryNet 是如何工作的呢?

Brevis 概述

简介

Brevis 是一个零知识 (ZK) 全链数据证明平台,旨在让智能合约能够无信任地访问和处理多条区块链的完整历史链上数据。通过提供定制化计算功能,Brevis 支持去中心化金融(DeFi)、跨链身份验证、流动性管理等创新应用,帮助开发者构建更智能、信任最小化的区块链应用。

Brevis 的创始人董沫,拥有深厚的计算机科学背景。她在美国伊利诺伊大学香槟分校(UIUC)攻读博士学位期间,专注于分布式系统和网络安全领域的研究。同时,董沫是 IOSG Ventures 的风险合伙人、Celer Network 的联合创始人。

融资

Brevis 于 2024 年 11 月 12 日宣布完成 750 万美元种子轮融资,由 Polychain Capital 和 Binance Labs 共同领投,IOSG Ventures、Nomad Capital、Bankless Ventures、HashKey Capital 等参投。


Brevis 的融资(来源:Brevis

愿景

目前,Web3.0去中心化应用(dApp)无法以完全去信任的方式访问存储在区块链中的绝大部分数据。这是因为智能合约只能访问当前状态的数据,而无法获取完整的历史数据,限制了dApp的潜力和功能。

而 Brevis 的愿景和目标是成为一个ZK全链数据计算和验证平台,旨在使dApp能够以完全去信任的方式访问、计算和利用跨多个区块链的任意数据。这包括资产转移、合约函数调用、合约内事件和区块链状态根等原始数据,从而提取有价值的信息,如资产所有权、用户活动概况、社交图谱、金融联系等。

Brevis 的特点与架构

特点

  • 高性能(Performant at Scale)

Brevis 利用先进的零知识(ZK)密码算法和大规模并行计算,能够在短时间内处理大量交易的复杂计算。这表明 Brevis 在处理大规模数据时具有高效的性能,这对于需要快速响应的去中心化应用(dApps)至关重要。

  • 多功能性(Versatile)

Brevis 提供了一个软件开发工具包(SDK),允许开发者使用他们熟悉的编程语言来轻松访问历史状态、交易、智能合约事件,并定制自己的计算逻辑。这种多功能性使得 Brevis 能够适应各种开发需求和应用场景。

  • 全链(Omni-Chain)

Brevis 提供了统一的用户体验,支持快速且信任无须的全链数据访问和任意多区块链计算。这意味着开发者可以构建跨越多个区块链的应用程序,而用户则可以享受到无缝的交互体验。

架构

Brevis 作为一个全新的零知识(ZK)多链数据证明平台,旨在为去中心化应用(dApps)提供无需信任的数据访问、计算和利用功能,其核心架构由 zkFabric、zkQueryNet、zkAggregatorRollup 三个主要组件组成。


Brevis 架构 (来源:Brevis

1. zkFabric:基于零知识证明的多链互操作性

zkFabric 是 Brevis 的互操作性层,负责从所有连接的区块链收集区块头,并生成零知识共识证明(ZK Consensus Proofs),证明这些区块头的有效性,允许任何区块链无需信任地访问其他区块链的状态。通过 zkFabric,dApps 可以信任地访问多链区块头和状态根,解决当前多链互操作性中的信任问题。

zkFabric 的工作流程可以比作一个快递服务,它负责从各个区块链“取货”(收集区块头),然后通过一系列“检查站”(生成零知识证明)来验证货物的真实性,最后将这些经过验证的区块头“派送”到一个中心仓库(zkAggregatorRollup),具体的工作流程如下:

  • 区块头同步:区块头中继网络定期从各种区块链同步区块头,并在安全的区块确认延迟后选择区块头,以避免分叉选择问题。
  • 提交区块头:区块头中继网络将区块头提交给 zkFabric 证明者网络。
  • 生成有效性证明:证明者网络使用特定于链的 ZKP 电路(实现轻客户端协议)为区块头生成有效性证明。
  • 返回证明:证明者网络将有效性证明返回给中继网络。
  • 提交到 Rollup:中继网络在收到证明后,将其和相应的区块头提交给 zkAggregatorRollup

zkFabric 的技术核心在于其生成和验证零知识证明的能力,这些证明就像是加密的“收据”,能够证明区块头的真实性而无需暴露任何敏感信息。它通过实现轻客户端协议的电路来工作,这些电路基于多项式算术,使得证明过程既高效又安全。而且,zkFabric 的证明可以在zkAggregatorRollup 中递归验证,这意味着一旦一个证明被验证,其真实性可以在多个区块链间被重复确认,无需每次都重新验证,大大提高了跨链互操作性的效率。

以 Ethereum PoS 为例,zkFabric首先计算 Ethereum 同步委员会的承诺,这是一个包含SHA-256 哈希和大量公钥的复杂过程。接着,它验证区块的BLS签名,确保区块是由有权的委员会签署的。在完成这些步骤后,zkFabric 会生成一个零知识证明,证明所有验证步骤都已正确执行。这个证明随后与区块头一起提交到 zkAggregatorRollup,供其他系统组件使用。这样,zkFabric不仅确保了区块链间的互操作性,还维护了数据的安全性和完整性,为构建跨链应用提供了坚实的基础。


zkFabric 架构(来源:Brevis

2. zkQueryNet:开放的 ZK 查询引擎网络

zkQueryNet 是一个支持多种数据查询需求的开放市场,可将查询结果转化为 zk 证明,旨在为去中心化应用(dApps)提供一个高效、灵活且信任无须的数据查询和计算框架。

zkQueryNet 通过一系列零知识查询引擎(ZK Query Engines)实现,允许开发者在多个区块链之间进行数据查询,而无需依赖中心化的中介或信任第三方。其具体的工作流程包括:接收来自 dApps 的查询请求,解析查询并生成相应的计算结果。每个查询引擎可以根据特定需求提供不同的查询接口,支持从简单的资产转移数据到复杂的市场分析等多种应用场景。生成的查询结果会附带零知识证明,确保结果的真实性和有效性,同时保护用户隐私。

通过 zkQueryNet,开发者可以轻松访问跨链数据,构建更为灵活和高效的去中心化应用,推动 Web3 生态系统的发展。

例如,一个去中心化交易所(DEX)想要根据用户在不同区块链上的交易量动态调整其流动性挖矿奖励,它可以通过 zkQueryNet 发起查询请求,网络中的查询引擎会收集和计算这些数据,并生成零知识证明以确保结果的准确性和真实性,最后将这些经过验证的数据返回给 DEX 智能合约,以便据此调整奖励机制,整个过程无需信任任何中心化服务,确保了数据的安全性和透明度。

3. zkAggregatorRollup:跨链证明的聚合层

zkAggregatorRollup 作为 zkFabric 和 zkQueryNet 的聚合和存储层,它负责验证这两个模块提交的证明,并将经过零知识(ZK)验证的状态根提交到所有连接的区块链上。这一过程使得去中心化应用(dApps)能够在智能合约中直接利用这些经过ZK验证的查询结果。通过聚合多个证明并一次性提交到各个区块链,zkAggregatorRollup 显著降低了跨链通信和验证的成本,同时确保了数据的安全性和完整性。

设计上,zkAggregatorRollup 旨在成为一个无需信任的“数据汇总点”,它将来自不同来源的零知识证明聚合起来,并提交到所有连接的区块链,实现跨链数据共享和利用。

技术上,它采用了高效的数据存储方案,例如 Verkle 树,以支持快速的数据检索和证明生成。此外,zkAggregatorRollup 拥有强大的验证逻辑,确保在数据被存储和提交之前,每个证明都经过了严格的零知识证明验证,从而保障了数据的准确性和可靠性。这种设计使得 zkAggregatorRollup 成为一个强大的信任基础,为去中心化应用提供了一个可靠的跨链数据访问和利用平台。

Brevis 的用例

  • 数据驱动的DeFi(去中心化金融)

Brevis通过零知识证明技术,为DeFi应用提供了一种全新的开发范式。例如,DeFi应用可以利用Brevis访问并验证过去的交易数据,用于管理奖励,如忠诚计划。这允许应用根据用户的历史交易行为来定制奖励和激励,从而提高用户参与度和平台粘性。此外,Brevis 还允许协议验证和检索链上的历史数据,这对于需要过去区块链状态的应用至关重要。

  • zkBridges(零知识桥接)

Brevis 支持构建跨链桥接,这些桥接利用零知识证明来确保资产和信息在不同区块链网络之间的安全转移。例如,Brevis可以实现从 Cosmo s到 Ethereum 的端到端原型,这涉及到大型证明电路的正确性证明。这种设计确保了桥梁的安全性,同时提高了跨链通信的效率和可扩展性。

  • zkDID(零知识身份)

Brevis 可以用于构建零知识身份系统,这在保护用户隐私的同时,允许用户证明其身份和行为。例如,通过 DID 系统,用户可以引入更细化的社交数据进行交互,而无需透露敏感信息。这种身份验证方式可以用于各种应用,包括社交网络、金融服务等,同时确保了用户数据的隐私和安全。


Brevis 用例展示 (来源:Brevis

结语

Brevis 作为一个创新的零知识全链数据证明平台,不仅为去中心化应用(dApps)提供了前所未有的跨链互操作性,还通过其强大的零知识证明技术解决了信任问题,推动了 Web3 生态系统的发展。通过 zkFabric、zkQueryNet 和 zkAggregatorRollup 三大核心组件,Brevis 实现了高效、安全、无信任的数据访问与计算功能,支持去中心化金融、跨链身份验证、流动性管理等多个创新应用。

而在未来计划方面,Brevis 致力于扩展其跨链支持和优化零知识(ZK)计算架构,进一步提升平台的性能和可扩展性。未来几个月,Brevis 将推出其全新的 ZK Coprocessor 架构,并逐步增强与多条区块链和 Layer 2 网络的兼容性,以适应更广泛的应用场景。此外,Brevis 还将加强其开发工具包(SDK),使开发者能够更容易地实现复杂的数据计算和业务逻辑,并计划通过新的技术创新减少 ZK 计算的成本和延迟。

作者: Lucas
译者: Viper
审校: KOWEI、Edward、Elisa
译文审校: Ashely、Joyce
* 投资有风险,入市须谨慎。本文不作为 Gate.io 提供的投资理财建议或其他任何类型的建议。
* 在未提及 Gate.io 的情况下,复制、传播或抄袭本文将违反《版权法》,Gate.io 有权追究其法律责任。
即刻开始交易
注册并交易即可获得
$100
和价值
$5500
理财体验金奖励!