Lumoz
19,197 次浏览
7 个内容
热门
最新内容
⚡ 𝟏𝟎 也是跟 #Merlin 比较久的博主了，但一直没讲过 Merlin 的特点！
Merlin Chain 是一个基于 ZK-Rollup 区块链网络，它正在改变我们对比特币网络的理解。这个技术架构不仅提供了强大的性能，而且为比特币网络提供了增强支持。在比特币减半临近的时刻，Merlin Chain 以其超过 35 亿美元的 TVL 迅速崭露头角。
Merlin Chain 的技术特点包括：
1. 高度扩展的ZK-Rollup：通过基于 Taproot 的聚合零知识证明和 Rollup 数据写入比特币主网的解决方案，解决了比特币网络的图灵不完备性。
2. 去中心化 Oracle 网络：引入了去中心化的 Oracle 网络，确保数据的完整性和安全性。
3. 数据可用性：使用 #Celestia 作为数据可用性层，确保了区块数据的可验证发布，增强了网络的透明度和可信度。
4. 零知识证明两步提交机制：将在后续采用 #Lumoz 提出的零知识证明（ZKP）两步提交机制，实现去中心化PoW。
5. 基于比特币的欺诈证明：将在后续引入欺诈证明机制，以进一步确保数据的完整性和安全性。
总结：Merlin Chain 的创新性和前瞻性使其在加密货币领域中独树一帜。随着比特币减半的临近，值得期待 Merlin Chain 的后续表现！
我社区合伙人 @加密Vincent 撰写的文章，大家支持一下！
Merlin Chain 是一个基于 ZK-Rollup 区块链网络，它正在改变我们对比特币网络的理解。这个技术架构不仅提供了强大的性能，而且为比特币网络提供了增强支持。在比特币减半临近的时刻，Merlin Chain 以其超过 35 亿美元的 TVL 迅速崭露头角。
Merlin Chain 的技术特点包括：
1. 高度扩展的ZK-Rollup：通过基于 Taproot 的聚合零知识证明和 Rollup 数据写入比特币主网的解决方案，解决了比特币网络的图灵不完备性。
2. 去中心化 Oracle 网络：引入了去中心化的 Oracle 网络，确保数据的完整性和安全性。
3. 数据可用性：使用 #Celestia 作为数据可用性层，确保了区块数据的可验证发布，增强了网络的透明度和可信度。
4. 零知识证明两步提交机制：将在后续采用 #Lumoz 提出的零知识证明（ZKP）两步提交机制，实现去中心化PoW。
5. 基于比特币的欺诈证明：将在后续引入欺诈证明机制，以进一步确保数据的完整性和安全性。
总结：Merlin Chain 的创新性和前瞻性使其在加密货币领域中独树一帜。随着比特币减半的临近，值得期待 Merlin Chain 的后续表现！
我社区合伙人 @加密Vincent 撰写的文章，大家支持一下！
LIVE
Odaily星球日报
--
详解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 个区块之后，新的证明者将不被允许提交额外的哈希值
提交 ZKP
在第 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 将会不断推动发展和创新，为用户和开发者提供更加稳定、安全、丰富的区块链服务和应用场景。
比特币减半临近，对于如何提高 $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 个区块之后，新的证明者将不被允许提交额外的哈希值
提交 ZKP
在第 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 将会不断推动发展和创新，为用户和开发者提供更加稳定、安全、丰富的区块链服务和应用场景。
ZKFair能否借助Launchpad创新站稳L2赛道
#ZKFair 前不久公布了最新一期的Launchpad，是近期热度比较高的Merlin Chain，通过参与活动获取积分来兑换 $MERL ，持续到 3月31日。这已经是ZKFair的第三个 Launchpool 项目了，之前第一期的 FairStake 超募了3倍，第二期的 HyperionX 目前是ZKFair上TVL第二的Defi项目。ZKFair 三月有很多可以期待的地方：ZKFair 3 月初将和 #Lumoz 一同举办生态大型活动（第一关已经有 25 个项目方赞助完成），届时有总共超过 3000w lumoz 积分（可换 lumoz 未来 token）以及 50000 USDC 发放。官方透露活动形式将是十分新颖的。ZKFair PFP CyberArmy 的白名单现在@IntractCampaign 进行中，不过马上要结束，抓紧。3.2 号正式开启白名单 mint，白单价格 1 刀另外，据说Lumoz 新一轮融资已在路上，预计 3 月披露，1.2 亿美金估值。下面简单介绍一下ZKFair。ZKFair 是通过ZK-RaaS平台Lumoz 构建的第一个完全社区启动的L2链，使用Polygon CDK, Celestia DA 搭建。之前写RaaS的时候提到过Lumoz，原名叫Opside，是一个专注于zk Rollup的RaaS项目，包含了许多创新：Lumoz搭建了去中心化证明网络；使用PoS和PoW混合共识机制，矿工可以参与zk-POW，进行ZK证明的计算；Lumoz还要设计自己的去中心化 Lumoz DA。在具体实现方式上，Lumoz 在每个基础链（Lumoz链、ETH链、BNB链等）上都部署有Rollup 系统合约（RSC）对Rollup进行管理，用户可以使用$MOZ（Lumoz 原生代币）租用 Rollup 插槽，并定制其经济模型，包括gas代币的选择，gas费的设置等，以拥有一条独特的ZK-Rollup链。Lumoz ZK-PoW 云提供去中心化的数据可用性层、排序器、ZKP 算力等，用户可选的ZK-Rollup (zkEVM) 的类型包括 zkSync、Polygon zkEVM、Scroll、StarkNet 等。另外，同一基础链上的不同ZK-Rollup之间还可以实现原生跨Rollup通信。由于ZK证明需要足够的硬件计算能力，因此Lumoz引入了POW证明机制，称为多链 ZK-PoW 机制。当前区块的POW奖励分配给每个提交序列的Rollup，而每个Rollup又将POW奖励分给提交有效ZKP的矿工。那如何验证矿工提交的ZKP的有效性呢？Lumoz给出了一种两步验证方式：第一步，提交哈希值：对于某个序列，证明者计算出ZKP后，计算证明哈希并提交给合约；假设第一个证明者在区块 T 中提交哈希，则在区块 T+10 之前接受其他证明者提交的哈希，且数量不限。在区块 T+11 及之后，就不会接受新提交的哈希。第二步，提交零知识证明：在区块T+11之后，任何证明者都可以提交ZKP。通过验证的证明者就视为提交了有效ZKP，从而获得 PoW 奖励（奖励根据矿工质押的金额按比例分配，矿工可以选择参与一个或多个Rollup的挖矿，但每个Rollup需要在系统合约中质押至少 100,000 个$MOZ 才有提交 ZKP的权限）。如果直到区块 T+42 都没有 ZKP 通过验证，之前提交哈希值的证明者将被没收 1,000 MOZ，此时重新打开序列以允许提交新哈希值。这种“先提交，后验证”的设计主要是因为，Rollup的智能合约验证ZKP时，为了避免提交原始证明引发链上攻击，通常要执行额外的操作来掩盖原始证明数据，这种额外计算比较耗时。而利用“先提交，后验证”的方法，可以避免这些不必要的证明和地址聚合计算，并且矿工可以同时计算多个ZKP，从而在保证安全性的基础上提高效率。另外，Lumoz团队还增强了ZKP递归聚合算法，提高了集群中机器资源利用率，进一步加速了ZKP计算，将ZKP 生成效率提高了约 80%。ZKFair是Lumoz 的L2 LaunchBase上第一个发射的ZK L2，参与人数922,087，Merlin Chain就是即将到来的第二个ZK L2。ZKFair最特别之处在于公平发射：$ZKF 是100%完全空投的，且$ZKF 可以质押（https://zkfair.io/stake）以分享网络75%的gas收益，另外25%的收益也是发放给Dapp开发者们，无预留、无预售。ZKFair的Launchpad也处处体现出公平：与一般的代币发射方式不同，ZkFair并不是以投入资金量和白名单来确认参与份额，而是通过积分来兑换，积分是需要参与ZKFair生态来获取的，本质上更像是一个任务平台，但是这里的任务还包括在ZKFair上的gas费支出。从这三次分发规则上看，分发比例向着ZKFair生态的深度参与者倾斜：包括Pass NFT持有者（之前NFT 上线 10 分钟即售罄）、.zkf 域名持有者、长期质押者等。目前生态建设还在初期，生态项目部署了60+。项目方未来会筛选质地很好的项目，陆续上线，而这种分发模式，有助于建立生态飞轮，可以期待下3月的上新。从ZKFair的路线图中可以看出，未来 Lumoz RaaS 发射的新 ETH L2 也会进一步赋能 ZKFair 与$ZKF。目前$ZKF的市值刚到1亿，且全流通，25%+的质押率仍然有增长空间，外加陆续的赋能，对$ZKF和$MOZ 都挺有期待的。
同步一下跟的比较久的 #ZKFair 信息：
ZK-RaaS 平台 #Lumoz 完成 600 万美元 pre-A 轮融资，估值1.2亿，预计7月上主网，8月发币明牌空投。
目前只能通过 ZKFair & Lumoz Dragon Slayer Campaign可以获得Lumoz积分，活动倒计时一周！
快讯：https://foresightnews.pro/news/detail/42410
活动教程：https://mirror.xyz/0x069ca33560ed9645E21ef35354CD80CB2ee8C488/BZDYL9ixK7aR9BQasraanXir-o51w4i4ga8dgFTUscc
ZK-RaaS 平台 #Lumoz 完成 600 万美元 pre-A 轮融资，估值1.2亿，预计7月上主网，8月发币明牌空投。
目前只能通过 ZKFair & Lumoz Dragon Slayer Campaign可以获得Lumoz积分，活动倒计时一周！
快讯：https://foresightnews.pro/news/detail/42410
活动教程：https://mirror.xyz/0x069ca33560ed9645E21ef35354CD80CB2ee8C488/BZDYL9ixK7aR9BQasraanXir-o51w4i4ga8dgFTUscc