摘要:和一些以中心化托管机构信用背书的BTC跨链解决方案不太一样,以“模块化B²Hub”、“BitVM挑战者模式”等为核心构建的BSquare似乎倾向于更Technical的方式。1)从Bitcoin到B2资产流入时,B²采用了Ployhedra提供的zkBridge跨链桥方案,具体而言:B²公开了一个MPCTSS可信安全多钱地址用来存入BTC资产,当zkOracle节点监控并记录到该资产的流入后,会将...
与集中托管机构信用背书的一些BTC跨链解决方案不同,“模块化BTC跨链解决方案”² Hub”、以Bitvm挑战者方式为核心的BSquare似乎专注于更多的technical方式。B² Buzz目前已累计BTC资产超过6亿美元。那么 @BSquaredNetwork 如何基于zkbridge实现资产跨BTC到layer2的双向安全桥接?基于技术理解分析:
一般来说,要实现两条链之间的资产安全跨链,最简单的方法就是集中托管机构匹配统一管理账户。但是,如果你想坚持一个特殊的解决方案,你需要根据链的原始特点做一些特殊的设计:
-同构链跨链桥
“同构链”是指双方都支持智能合约的链条,如B,² 还有其他EVM- 在Compatible链之间的跨链中,双边链可以基于统一的交互操作通信标准,由智能合约控制资金的双向流动。有两种资本管理模式:
1)智能合同管理流通资金:可在链A和链B上建立开放透明的流通池,两侧池维护Miro镜像管理机制,假设用户存储资产,资产将锁定在链流通池中,B链流通池立即向客户释放镜像流动性资产。两侧流通池总量一致,集中服务器监控两条链上的资金进出,实时进行资产调度管理。
在这种方案中,双边链需要一个跨链流通池,以确保资金的正常流动。如果A链流动性不足,链上的客户将停止跨链。缺点是需要设计一种有效的管理模式来防止双花和恶意攻击。
例如,用户在A链和B链中有资产,同时在A链中、B链发起交易请求,万一监控出错,A、如果B链的资产池没有达到状态同步,可能会同时发生几笔交易,客户会在池内消耗更多的非所有资产。
2)基于ZK技术底层管理智能合同状态:在A链和B链各自部署智能合同,然后建立zkbridge跨链桥负责跨链通信管理。当A链客户将交易发送到B链时,A链智能合同将失去一笔资产,然后生成ZK Proof证实传达给B链合同,B链合同核实信息正确后,在B链新Mint一笔资产。通过ZK技术在跨链环境中的信任机制,实现资产的跨链流通。
刚刚以10亿估值融资 @PolyhedraZK 依托智能合同和ZK技术,实现了多zkBridge主体的分散跨链解决方案。但是,这种方案只适用于同构EVM链。如果BTC不能支持智能合同的链环境,则无法有效实施。
-BTC和异构跨链桥(BTC和EVM- Compatible链)
BTC和EVM一般都有异构链- 以及EVM与非EVM链之间的Compatible链(SUI、Aptos等支持智能合约但标准和数据结构不统一的链条),非EVM但支持智能合约的链条,这里就不赘述了。难点在于如何将zkbridge应用到与BTC主网的跨链桥上。B² 在处理资产流入和流出双向Chanel跨链问题时,面临着这样的技术挑战;
1)从Bitcoin到B2资产流入时,B² 采用Ployhedra提供的zkbridge跨链桥方案,具体来说:B² 一个MPC公开了 TSS可信、安全、多钱的地址用于存入BTC资产。当zkoracle节点监控并记录资产流入时,存入状态将生成ZK Proof证实,如交易量、收款地址等信息,该证书将传达给B部署² AA智能合同,经合同验证ZK确认信息正确后,将BA智能合同给用户² 链的地址Mint释放资产。
2)从B² 向Bitcoin 当Withdraw资产流出时,B² 与Polyhedra合作,特别定制了跨链桥。简单地说,当用户在BB时,² 在启动资产Withdraw请求时,合同将首先将用户的交易请求放在Bithdraw上² Hub发起Proposal,经其他Validators验证是否允许通过。
我之前在文章中分析过,B² Hub的Validators实际上是二层链的共识经理。当大多数选择Approve投票相当于资产取现请求时,投票结果将是ZK 将Proof形式传递到MPC 在TSS多签地址上,该地址直接向用户释放资产。
如果客户提出提币请求,并被Validator非法拒绝,该怎么办?因为B² Hub节点之间都受到Bitvm挑战机制的限制,用户可以向Bitvm进行挑战² Hub发起挑战,证明自己是一个合法的提币请求,然后验证节点将因执行错误的决定而受到惩罚。所谓特殊定制,其实就是在zkBridge的基础上添加B² 独特的Bitvm挑战者机制,以确保资产流入非智能合约平台时的状态处理安全。
以上
不难看出,模块化 独特的Bitvm挑战者机制给Bitvm挑战者机制² 许多技术实践落地概率,BTC layer2后续开发者在处理类似资金跨链方面也具有很大的参考意义。