通用的 zkVM 如何实现网络效果?

Share on

网络效应,正如安德鲁·陈(a16z)在书中定义的那样, 冷启动问题,描述了当产品随着越来越多的人使用而变得更有价值时会发生什么。作为一个核心基础设施项目的创始人,该项目正在构建一个通用 zkVM 来统一区块链间的流动性,如何为较低层基础设施项目实现网络效果是我整天都在思考的问题。

2B 还是 2C?

很多投资者问过我同样的问题:zkVM 如何获得价值?这是一个合理的问题,因为 1) 市场上有许多不同类型的 zkVM;2) 最终所有代码都将成为开源代码。

与ZKM一样,RISC Zero、SP1和Jolt等行业同行在过去一年中取得了长足的进步,性能基准不断提高。一个主要的差异化因素是,与主要针对 Rust 的 RISC Zero 和 SP1 不同,ZKM 为 Golang 提供原生支持。对于开发人员来说,为项目,尤其是基础设施项目选择 Rust 或 Golang 始终是一个难题。许多应用程序链之所以选择 Golang,是因为其对开发人员友好且蓬勃发展的生态系统。例如,Optimism 的 mini-geth 和 Cosmos SDK 是使用 Golang 编写的两个最广泛使用的工具包。

ZKM 选择 Golang 作为其第一个前端,允许 Golang 开发人员使用原版 Golang 编译器将他们的 Golang 代码编译成 MIPS 指令,然后使用 ZKM 的证明网络证明其正确执行。在该网络中,根据当前对CPU的基准测试,单个验证器每秒可以证明5.4K指令。在 GPU 上,速度最多可以加快 3-5 倍。

Rust 凭借其严格的类型系统和内存安全设计,正越来越多地被基础设施项目所采用,而 Rust 为相同逻辑生成的 MIPS 指令规模比 Golang 低约 6-8 倍。话虽如此,ZKM 的路线图也包括未来的 Rust 支持。

得益于我们的技术堆栈的强大实力,我们看到许多寻求合作的合作伙伴的需求不断增加。尽管如此,要实现网络效应,公司必须做的不仅仅是打造优秀的技术;它还必须在业务开发方面表现出色,与潜在合作伙伴互动并鼓励潜在合作伙伴在其基础上再接再厉。我们的 zkVM 的成功将取决于它看到的使用量以及它的采用程度——简而言之,任何公司的成功都取决于其整个生态系统的力量。

尽管如此,关键仍然是差异化。如果众多参与者采用类似的策略,那么您的公司如何才能脱颖而出并获得自己的价值?

Optimism 提供了一个富有洞察力的案例研究。如果你研究 OP 堆栈的成功之路,并不是说 OP 堆栈从第一天起就是完美的,也不是说使用它的众多超级链也不是立即建成的。相反,正是Optimism L2的成功推动了OP Stack的采用并吸引了超级连锁店,从而使未来获得可观的价值。在 Web3 世界中,你需要先建立一个杀手级用例。这个杀手级用例不仅有力地展示了你的技术,而且还展示了产品与市场的契合度、社区参与度、进入市场策略、代币经济学以及决定项目成败的更多因素。

在这个竞争激烈的环境中,我认为没有真正的障碍阻止竞争对手进入你的领域并赢得市场份额。相反,竞争总是动态的。因此,成功的关键是技术堆栈的灵活性和适应性。

考虑到这一点,我们选择灵活和适应性强。我们选择构建和支持一个主要用例来推动我们的堆栈的采用。我们将建立自己的展示柜。

从哪里开始?

ZKM 已经发布了 纠缠的易拉宝 LightPaper,其中详细介绍了我们为连接每条链而设计的互操作性机制,以统一区块链世界分散的流动性。到目前为止,这种 Entangled Rollup 架构成功地支持了以太坊第 1 层和以太坊第 2 层网络之间的验证。那么接下来是哪个网络?

这个问题的答案应该提供大量的资产价值,并强烈要求与其他生态系统建立联系以产生收益。一个成熟且极具影响力的网络可获得重大奖励积分。

鉴于所有这些标准,答案变得显而易见:比特币。

比特币网络确实带来了显著的挑战,因为它不支持智能合约。但是我们的 Entangled Rollup 旨在将状态汇总到 ZKM 网络,并将经过验证的状态中继到其他生态系统;我们将使用相同的方法来帮助扩展 BTC。从BTC的角度来看,在这个初始阶段,ZKM网络的行为与比特币L2类似。

由 ZKVM 驱动的 BTC L2 将有何不同?

根据 L2.watch,有超过100台BTC L2已发布或即将推出。那么我们的产品将如何脱颖而出呢?

由于我们使用整个 Entangled Rollup 框架和 zkVM 级别来支持这个 BTC L2,因此我们可以同时提供原生安全 可持续收益是该网络的关键特征。

1。原生安全

当我与比特币持有者和矿工交谈时,几乎所有人都会问同样的问题:如何保证我的资产安全?

BTC L2的安全保证可以由两个因素决定。首先,L1上的资产应由原生的BTC Multisig脚本控制,只要至少有一个诚实的一方活跃,任何不诚实的行为都会阻止作弊者解锁其质押或存入的资产。其次,L2交易的纳入和完成可以继承BTC的安全标准,这表明排序器应该去中心化,L2交易批次的执行可以通过BTC脚本进行验证。

ZKM 引入了缩写为 OCP 的乐观挑战流程机制来满足这些安全需求。当用户的资产存入 L2 时,它们将被锁定在预先签名的 n-of-n Multisig 脚本中,签名者可以是任何授权和中立的第三方或审计员。然后,应在指定的挑战期后激活 Multisig 的兑换脚本。然后,签名者提前向目标用户发送资产,启动挑战阶段。

在挑战阶段,签名者预先签署包括质询脚本和资产脚本的交易。要启动挑战脚本,挑战者可以支付输入 UTXO 来启动挑战,要求运营商尝试通过向资产脚本提供中间计算跟踪来兑现承诺。

如果无法成功开启承诺,则验证者将在质询期结束后收到所有资产,或者将挑战资产丢给签名者。

执行跟踪通过 TapTree 提交,其中树的每片叶子代表一个中间值。每个中间值均使用一次性签名计算,以先前的值作为其输入。使用这种方法,BTC脚本可以直接执行此计算并完成链上资产验证。

因此,OCP 能够为任何链下计算提供原生安全性,例如确保 L2 的交易包含在序列器网络中。

2。可持续收益

在收益率方面,大多数比特币持有者都在寻求可持续和稳定的收入,而不是短暂的积分/空投回报。对于ZKM BTC L2而言,在框架中引入去中心化排序器以对L2进行批量交易提供了固有的原生安全性,因此这些排序器节点(带有BTC白名单)的贡献获得奖励是很自然的。

即将推出的BTC L2为矿池保留了其生命周期代币供应量的40%,专门用于Sequencer节点挖矿、流动性质押挖矿和证明网络挖矿。这可确保排序器节点从矿池中获得持续、可持续的收益,此外还能从其处理的每批次中获得汽油收入。序列器节点也有潜在的 MEV 机会,因为在处理 L2 的批量交易时,它们是最快的实体。因此,ZKM BTC L2的收入和收益属于网络上的每个参与者,无论他们是节点运营商、质押者还是用户。此外,BTC L1矿工将受益于向L1提交的额外L2交易。

面向未来

我们的最终目标是统一多个生态系统中的分段流动性。在首先与以太坊和比特币网络建立联系之后,我们的下一个目标将包括其他主要网络,例如Cosmos、Ton等。

我将这种方法视为低层基础设施项目应如何从根本上思考和运营的模型。一路上可能会有成长的痛苦。但是我们将从经验中吸取教训,并尽可能提供最佳指导。

“这篇文章最初发布在这里: 通用的 zkVM 如何实现网络效果?

More articles
你好世界-五月时事通讯
我们很高兴地宣布,在 Proygon Ventures、Crypto.com、Amber Group、Leland Ventures、Waterdrip Capital、DFG、jSquare、捐赠资本和梅蒂斯基金会 🔥 的支持下,于 2023 年 11 月成功完成了 500 万美元的 Pre-A 轮融资
ZKM Prover: Running an Emulator
The emulator primarily implements the simulation of the MIPS instruction set and provides interfaces for running MIPS ELF programs and generating segments. All code can be found in the zkm/emulator directory.
通用的 zkVM 如何实现网络效果?

网络效应,正如安德鲁·陈(a16z)在书中定义的那样, 冷启动问题,描述了当产品随着越来越多的人使用而变得更有价值时会发生什么。作为一个核心基础设施项目的创始人,该项目正在构建一个通用 zkVM 来统一区块链间的流动性,如何为较低层基础设施项目实现网络效果是我整天都在思考的问题。

2B 还是 2C?

很多投资者问过我同样的问题:zkVM 如何获得价值?这是一个合理的问题,因为 1) 市场上有许多不同类型的 zkVM;2) 最终所有代码都将成为开源代码。

与ZKM一样,RISC Zero、SP1和Jolt等行业同行在过去一年中取得了长足的进步,性能基准不断提高。一个主要的差异化因素是,与主要针对 Rust 的 RISC Zero 和 SP1 不同,ZKM 为 Golang 提供原生支持。对于开发人员来说,为项目,尤其是基础设施项目选择 Rust 或 Golang 始终是一个难题。许多应用程序链之所以选择 Golang,是因为其对开发人员友好且蓬勃发展的生态系统。例如,Optimism 的 mini-geth 和 Cosmos SDK 是使用 Golang 编写的两个最广泛使用的工具包。

ZKM 选择 Golang 作为其第一个前端,允许 Golang 开发人员使用原版 Golang 编译器将他们的 Golang 代码编译成 MIPS 指令,然后使用 ZKM 的证明网络证明其正确执行。在该网络中,根据当前对CPU的基准测试,单个验证器每秒可以证明5.4K指令。在 GPU 上,速度最多可以加快 3-5 倍。

Rust 凭借其严格的类型系统和内存安全设计,正越来越多地被基础设施项目所采用,而 Rust 为相同逻辑生成的 MIPS 指令规模比 Golang 低约 6-8 倍。话虽如此,ZKM 的路线图也包括未来的 Rust 支持。

得益于我们的技术堆栈的强大实力,我们看到许多寻求合作的合作伙伴的需求不断增加。尽管如此,要实现网络效应,公司必须做的不仅仅是打造优秀的技术;它还必须在业务开发方面表现出色,与潜在合作伙伴互动并鼓励潜在合作伙伴在其基础上再接再厉。我们的 zkVM 的成功将取决于它看到的使用量以及它的采用程度——简而言之,任何公司的成功都取决于其整个生态系统的力量。

尽管如此,关键仍然是差异化。如果众多参与者采用类似的策略,那么您的公司如何才能脱颖而出并获得自己的价值?

Optimism 提供了一个富有洞察力的案例研究。如果你研究 OP 堆栈的成功之路,并不是说 OP 堆栈从第一天起就是完美的,也不是说使用它的众多超级链也不是立即建成的。相反,正是Optimism L2的成功推动了OP Stack的采用并吸引了超级连锁店,从而使未来获得可观的价值。在 Web3 世界中,你需要先建立一个杀手级用例。这个杀手级用例不仅有力地展示了你的技术,而且还展示了产品与市场的契合度、社区参与度、进入市场策略、代币经济学以及决定项目成败的更多因素。

在这个竞争激烈的环境中,我认为没有真正的障碍阻止竞争对手进入你的领域并赢得市场份额。相反,竞争总是动态的。因此,成功的关键是技术堆栈的灵活性和适应性。

考虑到这一点,我们选择灵活和适应性强。我们选择构建和支持一个主要用例来推动我们的堆栈的采用。我们将建立自己的展示柜。

从哪里开始?

ZKM 已经发布了 纠缠的易拉宝 LightPaper,其中详细介绍了我们为连接每条链而设计的互操作性机制,以统一区块链世界分散的流动性。到目前为止,这种 Entangled Rollup 架构成功地支持了以太坊第 1 层和以太坊第 2 层网络之间的验证。那么接下来是哪个网络?

这个问题的答案应该提供大量的资产价值,并强烈要求与其他生态系统建立联系以产生收益。一个成熟且极具影响力的网络可获得重大奖励积分。

鉴于所有这些标准,答案变得显而易见:比特币。

比特币网络确实带来了显著的挑战,因为它不支持智能合约。但是我们的 Entangled Rollup 旨在将状态汇总到 ZKM 网络,并将经过验证的状态中继到其他生态系统;我们将使用相同的方法来帮助扩展 BTC。从BTC的角度来看,在这个初始阶段,ZKM网络的行为与比特币L2类似。

由 ZKVM 驱动的 BTC L2 将有何不同?

根据 L2.watch,有超过100台BTC L2已发布或即将推出。那么我们的产品将如何脱颖而出呢?

由于我们使用整个 Entangled Rollup 框架和 zkVM 级别来支持这个 BTC L2,因此我们可以同时提供原生安全 可持续收益是该网络的关键特征。

1。原生安全

当我与比特币持有者和矿工交谈时,几乎所有人都会问同样的问题:如何保证我的资产安全?

BTC L2的安全保证可以由两个因素决定。首先,L1上的资产应由原生的BTC Multisig脚本控制,只要至少有一个诚实的一方活跃,任何不诚实的行为都会阻止作弊者解锁其质押或存入的资产。其次,L2交易的纳入和完成可以继承BTC的安全标准,这表明排序器应该去中心化,L2交易批次的执行可以通过BTC脚本进行验证。

ZKM 引入了缩写为 OCP 的乐观挑战流程机制来满足这些安全需求。当用户的资产存入 L2 时,它们将被锁定在预先签名的 n-of-n Multisig 脚本中,签名者可以是任何授权和中立的第三方或审计员。然后,应在指定的挑战期后激活 Multisig 的兑换脚本。然后,签名者提前向目标用户发送资产,启动挑战阶段。

在挑战阶段,签名者预先签署包括质询脚本和资产脚本的交易。要启动挑战脚本,挑战者可以支付输入 UTXO 来启动挑战,要求运营商尝试通过向资产脚本提供中间计算跟踪来兑现承诺。

如果无法成功开启承诺,则验证者将在质询期结束后收到所有资产,或者将挑战资产丢给签名者。

执行跟踪通过 TapTree 提交,其中树的每片叶子代表一个中间值。每个中间值均使用一次性签名计算,以先前的值作为其输入。使用这种方法,BTC脚本可以直接执行此计算并完成链上资产验证。

因此,OCP 能够为任何链下计算提供原生安全性,例如确保 L2 的交易包含在序列器网络中。

2。可持续收益

在收益率方面,大多数比特币持有者都在寻求可持续和稳定的收入,而不是短暂的积分/空投回报。对于ZKM BTC L2而言,在框架中引入去中心化排序器以对L2进行批量交易提供了固有的原生安全性,因此这些排序器节点(带有BTC白名单)的贡献获得奖励是很自然的。

即将推出的BTC L2为矿池保留了其生命周期代币供应量的40%,专门用于Sequencer节点挖矿、流动性质押挖矿和证明网络挖矿。这可确保排序器节点从矿池中获得持续、可持续的收益,此外还能从其处理的每批次中获得汽油收入。序列器节点也有潜在的 MEV 机会,因为在处理 L2 的批量交易时,它们是最快的实体。因此,ZKM BTC L2的收入和收益属于网络上的每个参与者,无论他们是节点运营商、质押者还是用户。此外,BTC L1矿工将受益于向L1提交的额外L2交易。

面向未来

我们的最终目标是统一多个生态系统中的分段流动性。在首先与以太坊和比特币网络建立联系之后,我们的下一个目标将包括其他主要网络,例如Cosmos、Ton等。

我将这种方法视为低层基础设施项目应如何从根本上思考和运营的模型。一路上可能会有成长的痛苦。但是我们将从经验中吸取教训,并尽可能提供最佳指导。

“这篇文章最初发布在这里: 通用的 zkVM 如何实现网络效果?