什么是 Boundless
Boundless 是个通用协议，将零知识证明（ZK）引入到每个链中。
Boundless 是一个完全去中心化的 ZK 驱动协议，包含智能合约、加密原语和链下基础设施，可为任何协议或区块链提供安全、高效和可靠的执行。
用户用 zkVM 写好 guest 程序，写好期望价格后向市场提交 proof 请求，证明者通过竞价的方式获得证明的机会，生成 zk proof 并获得奖励。
为什么使用 Boundless
区块链依赖”global re-execution“ 模型，每个节点都需要处理每笔交易来达成共识，使得网络受限于最慢的节点，导致复杂的计算过于昂贵。
使用 Boundless 可以使得执行与共识解耦。网络不再受限于最慢的节点，而是可以充分利用所有节点的总集体计算能力。每个节点生成执行证明，任何区块链都可以验证而不需要重新执行。底层网络保持其安全性和共识，同时消除了冗余计算。
Proof 生命周期
- 用户用 zkVM 写好 guest 程序。
- 用户提交请求：用户向 Boundless 市场广播 proof 请求，包括 guest 程序，输入和出价请求。用户可以在链上发送请求，即向 market contract 发送交易。当在链下提交请求，应先向市场存入资金。market contract 部署在多个链上。这些部署中的每一个都有自己的费用池，市场收取的费用将存入该费用池。
- Prover 竞标：prover 评估并竞标请求。
- Proof 生成：prover 生成 proof。
- Proof 结算：prover 提交 proof，Boundless 市场合约验证 proof 成功后，将奖励发给 prover。同时，合约会发出一个事件，告诉请求者发出其请求已得到满足。
- Proof 使用：用户检索并使用 proof
更多情况
- 避免多个 prover 同时生成 proof：拍卖结束后，prover 锁定请求，这确保了 prover 不会浪费他们的计算资源，因为没有其他 prover 可以取代该请求。然而，锁定请求需要 prover 提供抵押，如果他们在请求超时前未能提供 proof，抵押会被扣除。
- 数据可用性：prover 可自行决定是否参与请求，所以可以忽略数据不可用的请求。但假如 Alice 提前从 Charlie 购买了一份服务协议（如果 Charlie 没有及时生成 proof，则削减其收益），又未及时提交生成 proof 所需的数据，而 Charlie 无法证明 Alice 隐瞒了数据，从而导致被惩罚。为避免这点，prover 必须在签订协议前考虑数据可用性要求。例如，协议仅适用于来自无许可来源的数据提供的服务请求，如以太坊，EigenDA 等。
没有评论