Messari一份系统性复盘Merlin从比特币侧链逐步向比特币ZK layer2过渡的解决方案,读完之后结合个人理解在此总结一下:
1)Merlin Chain的诞生回过头来看有点顺“势”而为的感觉,每一步都出乎意料。有了BRC-20、BRC-420、Blue Box、Bitmap Game等庞大社区基础加持,Merlin Chain选择了一条不断“整合迭代”的技术路线。事实上,也别无他法。
因为,原生比特币网络在自身数据可用性(DA)、智能合约图灵完备性(SC)等方面存在的基础“可编程性”缺陷,使得比特币生态上一年多来出现一片热火朝天搞创新但尚未完全交付的项目。
RGB++(Nervos)、BitVM(BitLayer)、zkVM( ZKM)、AVM(Atomicals Protocol)、DA(B² Network、Nubit) Merlin Chain的思路就是博采众长,不断丰盈完善自身技术框架。
2)按照Messari的报告内容,最初的Merlin Chain就是纯侧链架构,由Lumoz基于Polygon的的CDK RaaS服务构建,相当于一条Validium架构链,意味着链的交易数据完全存储在链下,仅仅将有效性证明发布到L1,且L1主网并无法验证L2的数据准确性。而且此Validium架构的原始数据均保存在本地数据库中,由数据可用性委员会(DAC)来负责数据的获取、排序和验证等工作。
显然,这需要链本身的“信任”作为前提,很难大规模扩展开来,在以太坊layer2体系中,Validium被Rollup取代也是源于此一点。
为弥补这一根本不足,Merlin分别从两方面进行了迭代加强:
1、和BTCOS合作来完善Native跨链桥,和比特币主网对L2数据的可验证问题,BitcoinOS基于ZK框架构建了一个可验证的Proof虚拟机-BitSNARK,再结合起Grail Bridge跨链桥来更新L2的资产转移和状态变更,整个过程ZK中间网络来同步L2和主网之间的状态,最终靠主网资产时间锁锁定+BitVM挑战机制实现了可信交互。
2、和Nubit合作来构建可验证的数据可用性(DA)能力,大致逻辑为:在链下部署全节点同步BTC全状态数据和变更状态数据证明,并通过部署在BTC主网的轻节点来实现状态验证和Finality确认,以此改善了此前链下DAS存在的不透明和不可验证性问题,算是加强了其需要的DA能力(正在开发中)。
最终,Merlin Chain的目标是成为一个比特币ZK-Rollup网络,由Node、zkProver、Datebase等组件共同构成,再通过类似Ordinals协议索引的去中心化预言机网络,使其成为一个在去中心化(节点分布无许可)、透明性(公共数据可访问性)、可验证性(主网可验证L2数据状态并有挑战者机制保证)等方面都均衡提升的EVM-Compatible 比特币layer2。