无界与区块链上的正确性逻辑

为什么需要扩展区块链

每个可编程区块链都面临一个问题：每个验证节点必须重新执行区块中的所有交易。这确保了安全性，但造成了巨大的冗余并减慢了系统速度。Boundless以不同的方式解决了这个难题——通过去中心化的证明供应商市场和零知识证明技术的应用(ZKP)。

为了让每个节点不再重复相同的计算，一个供应商完全执行任务并创建加密证明。其他节点只是用几秒钟验证该证明的正确性，而不是重新进行整个计算。这不仅仅是优化——这是对共识架构本身的重新思考。

生态系统如何运作：ZKC代币在实践中的应用

ZKC原生代币不仅仅是一种交换媒介。它管理着Boundless的整个经济体系：

质押和提供者奖励

供应商在接受计算请求之前将ZKC作为抵押。系统使用可验证工作证明模型(PoVW)——这不是经典的工作量证明，而是将计算能力重新定向用于创建有用的ZKP证明，而不是加密难题。如果供应商成功完成工作，则会获得ZKC的奖励；如果未能按时完成，则其抵押品将部分被销毁，剩余部分将进入奖励基金。这种机制强有力地激励了可靠性。

协议管理

ZKC持有者将获得对更新和拨款分配的投票权。随着系统的发展，社区将有机会提出建议并行使否决权。

截至2025年12月21日，ZKC的交易价格为$0.10，日波动率为-5.70%。24小时交易量为$417.70K，市值达到了$20.13M，流通供应量为2.009亿个代币，总上限为10亿个代币。

技术栈：从 RISC Zero 到实际应用

Boundless 建立在 RISC Zero 的 zkVM 上，这是一种零知识虚拟机。开发者使用 Rust 编写程序，这些程序在 zkVM 中链外执行并生成执行正确性的证明。整个系统由两个组件组成：

• Bento 管理本地请求，执行程序并在一个 GPU 上格式化证明或扩展到整个集群
• Broker 将供应商与市场连接，评估请求，提交出价，并将准备好的证据发送到区块链进行验证

过程如下：开发者在Boundless Market (中提交任务，既可以在区块链内也可以在区块链外)，供应商在反荷兰拍卖中竞争，选定的供应商生成证明并将其发送到链中。经过验证后，开发者获得验证过的正确性证明，并将其嵌入到自己的应用程序中。

钢：以太坊的ZK协处理器

Steel允许Solidity开发者在Boundless网络中执行大规模计算，并将经过验证的结果保存在Ethereum中。开发者不必将所有计算加载到区块链上并为每个字节的燃气付费，而是将计算移至链外，Steel保证结果可以在EVM中被证明。这为创建复杂的去中心化应用程序提供了可能，否则这些应用程序在经济上会过于昂贵，甚至在技术上无法实现。

OP Kailua: 改进乐观汇总

OP Kailua 是一个基于 Optimism 的 Kona 引擎的工具集，应用 ZKP 来增强乐观 Rollup 的安全性。Kailua 引入了一种替代的争端解决模型，提供对无效交易的额外保护，而不是仅依赖欺诈证明。截至 2025 年 9 月，该项目仍在积极开发中，仅建议用于测试环境。

市场认可：ZKC在大型交易所上市

2025年9月12日，ZKC被纳入了针对HODL者的空投计划，成为最大的交易所之一。 从9月2日至9月5日，进行BNB质押的用户获得了1500万ZKC的资格，占总供应量的1.5%。该代币获得了Seed状态，并可与USDT、USDC、BNB、FDUSD和TRY交易。

方法的本质

Boundless重新诠释了可扩展性的概念。系统不是试图使每个节点更快，而是利用分工：一个提供者进行计算，其余的网络验证结果的正确性。这不仅仅是一个技术技巧——这是从冗余到效率，从高成本到可负担，从区块链的限制到开发者的无限可能的转变。