RISCZero
2,155 次浏览
9 人讨论中
热门
最新内容
查看原文
可验证计算的未来已经到来，@Boundless twork由RISC Zero的zkVM构建，#Boundless实现了可扩展的链外执行与链上安全性——释放了dApp潜力的新潮流。
@Boundless
$ZKC 不仅仅是一个代币——它为完全去中心化的计算层提供治理、质押和证明验证。准备好超越极限吗？
#Web3 #zkVM #RISCZero #ZKC #BinanceSquare #$ZKC
---
@Boundless
$ZKC 不仅仅是一个代币——它为完全去中心化的计算层提供治理、质押和证明验证。准备好超越极限吗？
#Web3 #zkVM #RISCZero #ZKC #BinanceSquare #$ZKC
---
查看原文
@Boundless : 通过通用零知识证明推进Web3
由RISC Zero开发的Boundless是一个突破性的通用零知识（ZK）协议，重新想象了计算贡献在Web3生态系统中的价值和奖励方式。
与传统的挖矿模型不同，Boundless引入了一种更公平的框架，参与者通过生成可验证的ZK证明来竞争，从而推动现实世界的应用。奖励根据证明的复杂性和计算优点分配，创造了一个公平竞争的环境，在这里，表现——而不是特权访问——驱动成功。
🚀 主网Beta亮点
2,500+个证明者上线
400,000+名参与者参与
用户质押$ZKC，并通过公开排行榜展示了他们的能力——展示了承诺和计算专业知识。
Boundless为一个更具包容性和以表现为驱动的生态系统打开了大门，在这里，任何有技能和奉献精神的人都可以为去中心化基础设施的未来做出有意义的贡献。
关注@Boundless
#Boundless #ZKC #Web3 #RISCZero #Decentralization
由RISC Zero开发的Boundless是一个突破性的通用零知识（ZK）协议，重新想象了计算贡献在Web3生态系统中的价值和奖励方式。
与传统的挖矿模型不同，Boundless引入了一种更公平的框架，参与者通过生成可验证的ZK证明来竞争，从而推动现实世界的应用。奖励根据证明的复杂性和计算优点分配，创造了一个公平竞争的环境，在这里，表现——而不是特权访问——驱动成功。
🚀 主网Beta亮点
2,500+个证明者上线
400,000+名参与者参与
用户质押$ZKC，并通过公开排行榜展示了他们的能力——展示了承诺和计算专业知识。
Boundless为一个更具包容性和以表现为驱动的生态系统打开了大门，在这里，任何有技能和奉献精神的人都可以为去中心化基础设施的未来做出有意义的贡献。
关注@Boundless
#Boundless #ZKC #Web3 #RISCZero #Decentralization
查看原文
无界：跨链零知识计算的通用层
@Boundless $, 由 RISC Zero 开发，正在以大胆的愿景进入区块链领域：使零知识（ZK）计算无处不在。与其说是“又一个 ZK 项目”，不如说无界自身定位为链、汇总、桥接和开发者之间的连接组织——将 ZK 证明转变为核心实用工具。
无界的核心优势在于抽象。开发者不需要深入研究密码学或构建自定义证明系统。相反，他们可以继续使用自己喜欢的编程语言和工具，同时将繁重的工作外包给去中心化的证明者市场。当提交计算请求时，证明者会竞争生成证明，这些证明随后会在目标链上聚合和验证。
这一设计引入了一个关键的转变：执行与共识分离。与传统区块链不同，在传统区块链中，每个节点都重新执行交易，无界确保只有证明在链上被验证。这解锁了更高的吞吐量、更低的延迟和更大的可扩展性。
另一个创新是可验证工作证明（PoVW）——无界的激励机制。证明者根据他们执行的计算的规模、复杂性和效率获得奖励。该模型鼓励快速、高质量的证明生成，同时保持市场的竞争性和去中心化。
底线：无界正在成为下一代区块链基础设施的有力竞争者。通过计算-证明-验证分离、可扩展的证明聚合、PoVW 激励和多链支持，它正在为 ZK 从小众走向主流铺平道路。尽管挑战依然存在——从证明者的可靠性到监管审查——无界已经证明了其技术的成熟，并迅速成为隐私、安全和可扩展性的支柱层。
#Boundlessnertwork #ZK #ZeroKnowledge #RiscZero #BlockchainInfrastructure #跨链 #可扩展性 #ZK证明 #加密技术
@Boundless $, 由 RISC Zero 开发，正在以大胆的愿景进入区块链领域：使零知识（ZK）计算无处不在。与其说是“又一个 ZK 项目”，不如说无界自身定位为链、汇总、桥接和开发者之间的连接组织——将 ZK 证明转变为核心实用工具。
无界的核心优势在于抽象。开发者不需要深入研究密码学或构建自定义证明系统。相反，他们可以继续使用自己喜欢的编程语言和工具，同时将繁重的工作外包给去中心化的证明者市场。当提交计算请求时，证明者会竞争生成证明，这些证明随后会在目标链上聚合和验证。
这一设计引入了一个关键的转变：执行与共识分离。与传统区块链不同，在传统区块链中，每个节点都重新执行交易，无界确保只有证明在链上被验证。这解锁了更高的吞吐量、更低的延迟和更大的可扩展性。
另一个创新是可验证工作证明（PoVW）——无界的激励机制。证明者根据他们执行的计算的规模、复杂性和效率获得奖励。该模型鼓励快速、高质量的证明生成，同时保持市场的竞争性和去中心化。
底线：无界正在成为下一代区块链基础设施的有力竞争者。通过计算-证明-验证分离、可扩展的证明聚合、PoVW 激励和多链支持，它正在为 ZK 从小众走向主流铺平道路。尽管挑战依然存在——从证明者的可靠性到监管审查——无界已经证明了其技术的成熟，并迅速成为隐私、安全和可扩展性的支柱层。
#Boundlessnertwork #ZK #ZeroKnowledge #RiscZero #BlockchainInfrastructure #跨链 #可扩展性 #ZK证明 #加密技术
查看原文
🚨 里程碑事件：$BOB
BOB 成为第一个使用 ZK 证明作为防欺诈机制的 Rollup，
得益于 RISC Zero 的 Kailua 架构集成。
⚡ 快速。便宜。安全。
⏱️ 提现：从 7 天 → 仅需 1 小时
💰 挑战：最低 0.5 ETH，无门槛
混合 Rollups 时代开始了。
#RiscZero #ZK #Layer2 #EthereumTurns10
BOB 成为第一个使用 ZK 证明作为防欺诈机制的 Rollup，
得益于 RISC Zero 的 Kailua 架构集成。
⚡ 快速。便宜。安全。
⏱️ 提现：从 7 天 → 仅需 1 小时
💰 挑战：最低 0.5 ETH，无门槛
混合 Rollups 时代开始了。
#RiscZero #ZK #Layer2 #EthereumTurns10
深潮 TechFlow
--
BOB 宣布集成 RISC Zero 的 Kailua 架构，将成为首个使用ZK证明作为欺诈证明的 Rollup 项目
7月25日，BOB（Build on Bitcoin）宣布与零知识证明基础设施 RISCZero 达成合作，将通过集成 RISC Zero 推出的混合架构框架 Kailua，成为行业内首个使用零知识证明作为欺诈证明的 Rollup 项目。这将大大节省现有设置的时间和成本，并且可以将提现时间从通常的 7 天缩短至 1 小时。这是 BOB 在 L2beat 上实现 Rollup 第 1 阶段和第 2 阶段的关键一步。
据悉，Kailua 是 RISC Zero 使用其可验证计算层 Boundless 网络构建的 OP 堆栈扩展，这是一种可以将 Optimistic Rollup 升级为Hybrid ZK Rollup的混合架构（即Hybrid Rollup），它结合了Optimistic Rollups 和 ZK Rollup 的优势，致力于实现高效的区块链结算和争议解决。它通过默认采用 Optimistic Rollups 快速处理交易，并在出现争议或需要快速结算时启用 ZK 证明，从而试图兼顾了高吞叶量、低成本和高安全性。简单来说，它为现有的 Optimistic Rollup集成具有 ZK Rollup 优势的能力。
其中最重要的特征便是其可以在结算周期方面从原来7天挑战期缩短至最短1小时内完成，并且对于集成 Kailua 的 Optimistic Rollup 网络来说也无需担心 ZK 证明的持续生成成本因为它的实现方式是按需介入。
BOB 是首个使用零知识证明 (ZK) 的链。相比于提现速度慢且防欺诈机制昂贵的 Optimistic Rollup 以及运行成本高昂的 ZK Rollup，这种新方法兼具了两者的优势。
BOB 完美地结合了效率（与有效性 Rollup 相比，提交提案的成本更低）和安全性（在发生欺诈时能证明区块的正确性）。此外，ZK 证明比目前 Optimism 或 Ink 平台上的链上二分游戏成本低得多（不到 100 美元，而后者约为 100 万美元）。
三大优势：
任何人都能以低至 0.5 ETH 的保证金来挑战 BOB 序列器的提案，而无需像非零知识欺诈证明那样需要数百个 ETH。
在出现挑战的情况下，欺诈证明的结算在以太坊上只需一笔交易即可完成，因此在几分钟内即可最终确定，而非零知识版本则需要数小时或数天以及多次交易。
从长远来看，可以大幅缩短 BOB 的提现时间，因为链上欺诈解决方案快速且成本低廉。初期预计提现时间为 4 天，系统稳定后，可以将其缩短至几个小时。
工作原理：
Kailua 引入了其自主研发的全新防错博弈设计，为 Rollup 交易排序提供一流的安全保障。
BOB 将使用零知识证明 (ZK) 防欺诈证明，而非 Optimism 二分博弈中的多笔交易。
零知识证明使 BOB 能够将防错机制精简为以太坊上的单笔交易，而非二分博弈中的多笔交易。
具体流程：
对于每个检查点，BOB 排序器（由 Conduit 运行）将针对特定高度提出一条新的规范链。
任何人都可以使用 Kailua 二进制文件提出另一个提案，对规范链提出异议。提出提案需要在 Layer1 上存入一笔以 ETH 为单位的保证金。初始设置为 0.5 ETH，这使得任何人都可以轻松挑战，并大幅降低无需许可验证的门槛。
当同一高度存在相互矛盾的提案时，挑战者或验证者（由 Conduit 运行）将生成一个零知识证明（使用 Boundless 算法），以解决规范链的问题。由于 BOB 的构造取决于 Layer1 上交易编码的顺序，因此只能存在一条有效链。错误的提案者或挑战者的保证金将被罚没。
BOB 联合创始人兼 BitVM Alliance 创始成员 Alexei Zamyatin 表示：“随着功能完备的证明系统的推出，BOB L2 将拥有完全的以太坊安全性。这意味着 BOB 仍将处于第 0 阶段的 L2 层，而大多数其他 L2 层将在 L2Beat 上移至其他类别。第 1 阶段的 Rollup 仅取决于安全委员会的启动，该委员会将在不久的将来宣布。第 2 阶段的 Rollup 只需向任何人开放提案流程即可。”
RISC Zero 团队认为，Kailua 将 Optimistic Rollup 升级为使用由 RISC Zero zkVM 驱动的零知识证明 (ZK Fault Proofs)。目前市场对 Rollup 解决方案的的选择不是 Optimistic Rollup，就是 ZK Rollup。由于成本低、吞吐量高，Optimistic Rollup 在当前市场占据主导地位，但需要 7 天的挑战窗口期，这会延迟最终确定性并限制互操作性。ZK Rollup 可以提供快速的最终确定性，但为每个区块生成 ZK 证明会产生大量额外成本，高吞吐量 Rollup 的成本可能高达数百万美元甚至更多。
现在第三种方式已在 BOB 上线，这就是由 RISC Zero 的 Kailua 架构提供支持的解决方案，它兼具了两种方式的优势：Optimistic ZK Rollup 既拥有 Optimistic Rollup 系统的低运营成本，又拥有 ZK Rollup 的快速最终确定性。
据悉，Kailua 是 RISC Zero 使用其可验证计算层 Boundless 网络构建的 OP 堆栈扩展，这是一种可以将 Optimistic Rollup 升级为Hybrid ZK Rollup的混合架构（即Hybrid Rollup），它结合了Optimistic Rollups 和 ZK Rollup 的优势，致力于实现高效的区块链结算和争议解决。它通过默认采用 Optimistic Rollups 快速处理交易，并在出现争议或需要快速结算时启用 ZK 证明，从而试图兼顾了高吞叶量、低成本和高安全性。简单来说，它为现有的 Optimistic Rollup集成具有 ZK Rollup 优势的能力。
其中最重要的特征便是其可以在结算周期方面从原来7天挑战期缩短至最短1小时内完成，并且对于集成 Kailua 的 Optimistic Rollup 网络来说也无需担心 ZK 证明的持续生成成本因为它的实现方式是按需介入。
BOB 是首个使用零知识证明 (ZK) 的链。相比于提现速度慢且防欺诈机制昂贵的 Optimistic Rollup 以及运行成本高昂的 ZK Rollup，这种新方法兼具了两者的优势。
BOB 完美地结合了效率（与有效性 Rollup 相比，提交提案的成本更低）和安全性（在发生欺诈时能证明区块的正确性）。此外，ZK 证明比目前 Optimism 或 Ink 平台上的链上二分游戏成本低得多（不到 100 美元，而后者约为 100 万美元）。
三大优势：
任何人都能以低至 0.5 ETH 的保证金来挑战 BOB 序列器的提案，而无需像非零知识欺诈证明那样需要数百个 ETH。
在出现挑战的情况下，欺诈证明的结算在以太坊上只需一笔交易即可完成，因此在几分钟内即可最终确定，而非零知识版本则需要数小时或数天以及多次交易。
从长远来看，可以大幅缩短 BOB 的提现时间，因为链上欺诈解决方案快速且成本低廉。初期预计提现时间为 4 天，系统稳定后，可以将其缩短至几个小时。
工作原理：
Kailua 引入了其自主研发的全新防错博弈设计，为 Rollup 交易排序提供一流的安全保障。
BOB 将使用零知识证明 (ZK) 防欺诈证明，而非 Optimism 二分博弈中的多笔交易。
零知识证明使 BOB 能够将防错机制精简为以太坊上的单笔交易，而非二分博弈中的多笔交易。
具体流程：
对于每个检查点，BOB 排序器（由 Conduit 运行）将针对特定高度提出一条新的规范链。
任何人都可以使用 Kailua 二进制文件提出另一个提案，对规范链提出异议。提出提案需要在 Layer1 上存入一笔以 ETH 为单位的保证金。初始设置为 0.5 ETH，这使得任何人都可以轻松挑战，并大幅降低无需许可验证的门槛。
当同一高度存在相互矛盾的提案时，挑战者或验证者（由 Conduit 运行）将生成一个零知识证明（使用 Boundless 算法），以解决规范链的问题。由于 BOB 的构造取决于 Layer1 上交易编码的顺序，因此只能存在一条有效链。错误的提案者或挑战者的保证金将被罚没。
BOB 联合创始人兼 BitVM Alliance 创始成员 Alexei Zamyatin 表示：“随着功能完备的证明系统的推出，BOB L2 将拥有完全的以太坊安全性。这意味着 BOB 仍将处于第 0 阶段的 L2 层，而大多数其他 L2 层将在 L2Beat 上移至其他类别。第 1 阶段的 Rollup 仅取决于安全委员会的启动，该委员会将在不久的将来宣布。第 2 阶段的 Rollup 只需向任何人开放提案流程即可。”
RISC Zero 团队认为，Kailua 将 Optimistic Rollup 升级为使用由 RISC Zero zkVM 驱动的零知识证明 (ZK Fault Proofs)。目前市场对 Rollup 解决方案的的选择不是 Optimistic Rollup，就是 ZK Rollup。由于成本低、吞吐量高，Optimistic Rollup 在当前市场占据主导地位，但需要 7 天的挑战窗口期，这会延迟最终确定性并限制互操作性。ZK Rollup 可以提供快速的最终确定性，但为每个区块生成 ZK 证明会产生大量额外成本，高吞吐量 Rollup 的成本可能高达数百万美元甚至更多。
现在第三种方式已在 BOB 上线，这就是由 RISC Zero 的 Kailua 架构提供支持的解决方案，它兼具了两种方式的优势：Optimistic ZK Rollup 既拥有 Optimistic Rollup 系统的低运营成本，又拥有 ZK Rollup 的快速最终确定性。
如果我告诉你 #RiscZero zkVM 和以太坊10K TPS 的愿景高度对齐，#boundless 是实现这一愿景的最优路径之一。
你会bullish #boundless 吗？
图片来自：Cointelegraph
你会bullish #boundless 吗？
图片来自：Cointelegraph
#BuildOnBitcoin 升级成为首个混合型zk Rollup 对 #boundless 而言具有里程碑式的意义。
这意味着 @boundless_xyz 母公司 #RiscZero 开发的OP Kailua 和Boundless 的zk 欺诈证明服务在BOB 链上实现首次落地。
Hybird zk Rollup 的核心在于：在传统基于乐观证明的Optimistic Rollup 和基于zk 证明的zk Rollup 间找到一条同时兼具时间高效和成本效率高效的路径。
基于OP Kailua 套件，@build_on_bob 实现从长时间的交互式欺诈证明系统迁移到使用RISC zkVM 生成的短时非交互式zk 欺诈证明。即 @boundless_xyz 为BOB 提供zk 证明生成服务。
而这一切才刚刚开始，BOB 后预计会有越来越多的传统Rollup 转型成为灵活性更强的Hybird zk Rollup，这就是由需求驱动的 @boundless_xyz 的价值。#zkEVM
这意味着 @boundless_xyz 母公司 #RiscZero 开发的OP Kailua 和Boundless 的zk 欺诈证明服务在BOB 链上实现首次落地。
Hybird zk Rollup 的核心在于：在传统基于乐观证明的Optimistic Rollup 和基于zk 证明的zk Rollup 间找到一条同时兼具时间高效和成本效率高效的路径。
基于OP Kailua 套件，@build_on_bob 实现从长时间的交互式欺诈证明系统迁移到使用RISC zkVM 生成的短时非交互式zk 欺诈证明。即 @boundless_xyz 为BOB 提供zk 证明生成服务。
而这一切才刚刚开始，BOB 后预计会有越来越多的传统Rollup 转型成为灵活性更强的Hybird zk Rollup，这就是由需求驱动的 @boundless_xyz 的价值。#zkEVM
登录解锁更多内容