详解Merlin Chain技术架构
原文作者:熵时 Vincent
比特币减半临近,对于如何提高 $BTC 资金利用率的关注日益增加,比特币二层的发展成为焦点。在此背景下,Merlin Chain 迅速崭露头角,质押活动开启仅一个月内 TVL 超过 35 亿美元。本月,Merlin Chain 推出了 M-Token,随着流动性的逐步释放,市场热度不断攀升,其技术设计备受瞩目。
Merlin Chain 在 ZK-Rollup 的基础上,引入了去中心化的 Oracle 网络,并采用了 Celestia 作为 DA 层。这一技术架构赋予了 Merlin Chain 强大的性能,同时为比特币网络提供了增强支持。
在本文中,我们将深入探讨 Merlin Chain 的技术特点和创新之处。
高度扩展的 ZK-Rollup
Merlin Chain 提出了基于 Taproot 的聚合零知识证明和 Rollup 数据写入比特币主网的解决方案,实现了高度扩展的 ZK-Rollup,解决了比特币网络的图灵不完备性。
该网络将交易数据汇总并压缩成批次,再通过零知识证明提交到比特币主网的 Taproot 中。 重要组件包括节点、zkProver 和数据库,三者共同完成数据交换和存储,确保交易处理和验证过程的顺利进行:
节点:负责处理和传输交易数据,以及与 zkProver 和数据库进行交互
将 Merkle Tree 的内容发送到数据库,并存储于其中
将输入交易发送给 zkProver 进行处理
与 zkProver 交互,确保交易的有效性和正确性
zkProver:利用 SNARK 技术生成零知识证明,证明交易的有效性和正确性
包含 13 种状态机,分为主状态机和子状态机(如 BinarySM、StorageSM、MemorySM、ArithmeticSM 等)
执行复杂的数学计算,使用 PIL(Polynomial Identity Language)描述交易执行过程中的状态转换和约束条件,将其转换为多项式约束或多项式身份,并在智能合约上进行验证
与节点和数据库交互,获取信息以生成可验证的交易证明,包括 Merkle Root、相关的兄弟密钥和哈希值等信息
将生成的交易证明发送回节点,以便节点进一步验证并记录,确保交易的合法性和安全性
数据库:用于存储重要的数据,如 Merkle Tree 的内容和交易信息
接收并存储由节点发来的 Merkle Tree 的内容
为 zkProver 提供生成交易证明所需的信息
这一模式为 Merlin 带来了诸多好处:
安全性:继承比特币安全 bu 性,提供 L2 批量处理可扩展性,确保了数据在比特币中锚定并不可篡改
EVM 兼容性:支持现有智能合约和工具,确保互操作性
低成本:利用 ZK 证明和 zkSNARK 技术减少 L1 空间消耗,优化交易成本
高性能:通过频繁的有效性证明确保交易的快速最终性,递归 STARK 实现可扩展性,应对高并发和大规模用户需求
去中心化 Oracle 网络
Merlin Chain 采用了分布式 Oracle 网络。序列节点负责收集和批量处理交易,生成压缩的交易数据、ZK 状态根和证明。这些数据由 Oracle 网络执行电路编译并上传到比特币主网的 Taproot 中,使其对整个网络公开可访问。具体机制如下:
采用专门设计用于 ZK 证明的防欺诈机制,以在比特币上提供最终确认
所有原始数据存储在 Oracle 网络中,对应的状态根存储在比特币网络中
用户可以随时检索 Merlin Chain 上的所有聚合交易
用户通过 ZK 证明验证数据的正确性和有效性,而无需暴露具体数据内容
通过分散权力和数据,Merlin Chain 能够抵御单点故障和中心化带来的风险。同时,系统采用了多重签名和冷存储技术,以确保质押资产的安全性。所有的质押和奖励分配过程都是公开透明的,用户可以随时查看自己的质押状态和预期收益。
节点质押的设计如下:
多样化资产:支持 $BTC、$MERL 以及其他主流 BRC 20 资产的质押,提升灵活性与抗风险能力
智能合约管理:所有的代理质押和奖励分配都将通过智能合约自动执行,确保过程的不可篡改性和公正性
实时监控:用户可以实时查看自己的代理质押状态和收益情况,以及代理节点的表现记录
退出机制:系统提供了灵活的退出机制,用户可以随时撤回自己的资产,保障资金的流动性
数据可用性
Merlin Chain 使用 Celestia 作为数据可用性层,确保了区块数据的可验证发布,增强了网络的透明度和可信度:
Celestia 提供公共数据可用性保证,允许所有人查看和存储 Merlin Chain 的状态
一旦数据在 Celestia 上发布并确认可用,Rollups 和应用程序负责将其历史数据存储起来
节点在接收到新的区块时,会验证数据的可用性,确保网络中的数据完整且一致
零知识证明两步提交机制
Merlin Chain 将在后续采用 Lumoz 提出的零知识证明(ZKP)两步提交机制,实现去中心化 PoW:
证明者为特定的序列生成 ZKP,需要首先计算 (proof/address) 的哈希值,并将该哈希值连同他们的地址一起提交到链级智能合约
proof 表示该序列的 ZKP,而 address 则标识了证明者身份
初始证明者的哈希提交不受限制,在接下来的 T 10 个区块内被处理和接受;在第 T 11 个区块之后,新的证明者将不被允许提交额外的哈希值
在第 T 11 个区块之后,任何证明者都可以提交完整的 ZKP
一个经过验证的 ZKP 可以用来验证之前提交的所有哈希值
证明者将根据质押的比例获得 PoW 奖励
此机制可以有效激励矿工保持在线,确保稳定的计算环境,进一步增强网络的安全性和可靠性:
防止竞速攻击:防止恶意参与者试图通过快速提交大量证明来干扰或破坏系统的正常运行
鼓励稳定参与:通过奖励激励矿工提供稳定和持续的 ZKP 算力,增强网络的安全性和可靠性
确保系统效率:确保高效性和公平性,避免资源浪费和网络拥塞,同时提高整体系统的性能和稳定性
基于比特币的欺诈证明
Merlin Chain 将在后续引入欺诈证明机制,以进一步确保数据的完整性和安全性。
该机制涉及两个角色,证明者(Prover)和验证者(Verifier),具体实现路径如下:
证明者和验证者预先签署了一系列交易,确保他们之间可以启用挑战-响应机制
证明者将要验证的程序转换为一个包含许多 NAND 逻辑门的二进制电路,以确保数据的完整性和正确性
每个逻辑门都有一个叶脚本,用于定义和描述该逻辑门的行为和功能
证明者将这个大型二进制电路中的每个逻辑门的叶脚本都放入一个 Merkle Tree 中,并将 Merkle Root 提交到 Taproot 地址
验证者从这个 Taproot 地址提取 Merkle Root,并验证其有效性
如果验证者怀疑证明者提交的 Merkle Root 存在问题,比如数据不正确或者欺诈行为,可以启用挑战-响应机制,向证明者发起挑战,要求他们提供相应的叶脚本或者其他证明,以证明 Merkle Root 的正确性
证明者需要根据挑战提供相应的证据,证明他们所提交的 Merkle Root 是正确的
验证者会对这些证据进行验证,确保证明的正确性和数据的完整性
随着比特币减半即将到来,市场对 Merlin Chain 的持续发展和创新充满期待。作为比特币二层网络的领导者,预计 Merlin Chain 将会不断推动发展和创新,为用户和开发者提供更加稳定、安全、丰富的区块链服务和应用场景。
1.资讯内容不构成投资建议,投资者应独立决策并自行承担风险
2.本文版权归属原作所有,仅代表作者本人观点,不代表本站的观点或立场
您可能感兴趣
-
解读CKB版 “闪电网络” Fiber Network:比特币可编程性扩展的另一种思路
作者:NingNing行业周期与宏观金融周期共振,加密行业正处在与 2019 年相似的整体性迷茫之中,现阶段不仅流动性枯竭,叙事貌似也在枯竭。市场不但对 VC 叙事兴趣阙如,对反 VC 的 Meme 叙事也已经疲倦。就像每次哲学危机,人们都会回归柏拉图寻找出路,当加密行业危机时,我们也需要回归比特币、回归中本聪。正如 CKB 生态 RGB++ 协议创始人 Cipher 在最新 Blog 里所阐述的,加密行业需要对以太坊 “链上计算” 的路径依赖进行反思,回归P2P经济学,让计算归于链下,让验证归于链上。因
-
面对NFL球员工会起诉,“退圈”的DraftKings竟主动承认NFT是证券?
作者:Zen,PANews近日,美国国家橄榄球联盟球员协会 (NFLPA) 指控数字体育娱乐和游戏公司DraftKings 逃避了其 NFT 球员许可协议的付款义务。在放弃NFT业务后,涉嫌出售未注册证券而遭到集体诉讼的DraftKings又背上了一起官司。而有趣的是,在与NFLPA的纠纷中,DraftKings的立场似乎已从反驳转变为积极承认“NFT就是证券”。放弃NFT业务:驳回集体诉讼的动议遭到否决今年7月底,Draftkings在给用户的电子邮件中表示:“经过慎重考虑,DraftKings 决定终
-
简析两种最新比特币智能合约实现方案:OP_NET与Arch有何区别?
作者:Cookie过去半个月,OP_NET 与 Arch 这两个比特币主网上的智能合约实现方案引发了较多的讨论。有意思的事情是,OP_NET 这个名字与大家熟悉的 OP_CAT 很像,都以「OP_」开头,具有很强的、让大家认为这哥俩差不多的迷惑性。所以,在开篇要和大家先提一嘴 OP_CAT。首先,OP_CAT 是比特币操作码,从去年开始有以「量子猫」Quantum Cats,也就是「大巫师」Taproot Wizards 的创始人 Udi Wertheimer 为首的社区力量一直在呼喊要「复活」OP_CA
-
争议不断,以太坊正在失去“万链之王”的权威
作者:Climber,金色财经近期围绕以太坊的话题和争议越来越多,不仅 Vitalik 本人需要下场解释观点,就连以太坊基金会也要发布公告来平息社区的质疑声。在本轮牛市周期中,以太坊的表现可谓平平。而美国以太坊现货 ETF 的通过也并未让 ETH 走势如投资者期待般爆发,相反却在币价方面越走越低。这就不免让有着「万链之王」美誉的以太坊逐渐失去投资者和社区的尊重,进而质疑起有关以太坊的方方面面。争议不断,以太坊亟需重塑权威最近一段时间以来社区成员对 Vitalik 言论观点、以太坊基金会乃至以太坊生态系统的
-
从《黑神话:悟空》谈起,GameFi何时能取得真经?
作者:YBB Capital Researcher Zeke前言本文是市场垃圾时间中的一些闲聊,需要对传统游戏市场有一定程度了解。大家可以把这篇文章当作日记或者随想观看,这些只是我在游玩《黑神话:悟空》之后对GameFi的一些粗浅思考,以及对这个赛道未来的看法。一、游戏科学的九九八十一难三天全网销量破千万、Steam玩家同时在线峰值破235万、多家品牌联名周边销售爆火、国家级媒体多次采访、多个游戏取景地可凭游戏通关记录终身免费进入、86版《西游记》YouTube观看量超400万。以上,是《黑神话:悟空》上
-
Gavin Wood:如何防止女巫攻击进行有效空投?
演讲:Gavin WoodGavin 近期一直在关注的女巫攻击(civil resistance)的问题,PolkaWorld 回顾了 Gavin Wood 博士在 Polkadot Decoded 2024 上的主题演讲,想要探究 Gavin 在如何防止女巫攻击上的一些见解。什么是女巫攻击?你们可能知道,我一直在研究一些项目,我在编写灰皮书,专注于 JAM 项目,也在这个方向上做了一些代码的工作。实际上,在过去的两年时间里,我一直在思考一个非常关键的问题,这个问题在这个领域中非常重要,那就是如何防止女巫
-
市场热议,链抽象将成加密新叙事?
2024年,加密货币领域的技术创新持续加速,链抽象(Chain Abstraction)逐渐成为行业内的焦点。链抽象技术的核心在于通过隐藏底层技术的复杂性,让用户能够更加便捷地在多个区块链之间进行操作。传统的区块链技术通常要求用户掌握不同链的操作流程,并需要应对跨链操作中的技术难题,这极大地吸引了新用户的进入。而链抽象的出现,则为这些问题提供了有效的解决方案,成为Web3建设不可忽视的重要一环。01、什么是链抽象及其作用链抽象能够将不同的区块链之间的差异整合在一个统一的操作界面中,使得用户只需一个账户即可
-
今日日报|马斯克和特斯拉赢得“被指控操纵狗狗币”的诉讼;稳定币支付平台Bridge完成5800万美元融资
今日要闻提示:马斯克和特斯拉赢得驳回指控他们操纵狗狗币的诉讼OpenAI和Anthropic已同意将其主要新AI模型在发布前共享给美国政府OKX将上线Hamster Kombat(HMSTR)现货交易X平台纽约总部将于9月13日关闭,预计将迁往得州萨尔瓦多总统布克尔成为《时代》杂志最新一期封面人物稳定币支付公司Bridge完成5800万美元融资数据:MATIC、SHIB、UNI代币头部地址持仓均超50%网龙今年上半年通过出售2.9亿元的加密货币,获利5100万元人民币监管消息美国众议院计划在9月举行多场加
- 成交量排行
- 币种热搜榜