注：本文来自@0xbfun 推特，火星财经整理如下：

目前已上线的二层项目大多数为侧链架构，通过各种技术方案实现资产跨链及链的安全性。下面几个项目大多有特殊的解决方案，所以基本都还在开发中。Stark昨天宣布入局BTC生态，让这个生态更热闹了！但是好像好多项目都取决于OP-CAT是否能通过。

除了这些二层其实还有很多跟BTC生态相关的协议（质押；DA等），篇幅关系，我们下次再聊。

Botanix @BotanixLabs 应该是比较多人关注的西方二层，现在测试网进行中，知道挺多项目准备在上面build。BTC资产由去中心化的多签网络Spiderchain保护。Botanix将比特币区块哈希值作为来源，随机选择节点参与PoS出块，最终确认时区块头铭刻到BTC区块中。L2在BTC上的资产全部由多签网络Spiderchain保护，节点互相随机组成多签组控制多签地址中的BTC，作恶成本高，因为其质押的BTC可被罚没。 测试网地址：https://botanixlabs.xyz/en/testnet

Citrea @citrea_xyz ZK-Rollup，致力于探索研究BitVM实现.Citrea网络在zkVM中处理交易并生成zk证明，这些证明被刻入BTC区块中，通过BitVM在BTC主网上实现乐观验证，确保Citrea的结算和数据可用性由比特币主网处理。 项目马上开公共测试网，应该是跟BitVM最紧的二层。

Fractal Bitcoin 是Unisat的扩容方案，可以查询到的资料比较少，有以下的几个特点。

虚拟化比特币核心：将比特币核心封装成可部署和运行的软件包，允许多个实例独立运行并在比特币主网上递归锚定。

递归扩展：通过分层结构，每层使用比特币实现，保持一致的分形特征，实现无限计算处理能力。

多层系统：在不引入其他区块链构造的情况下，利用比特币的原生工程结构进行系统扩展，确保网络的稳健性和可扩展性。

近期Q&A内容的总结：

安全性：Fractal 能抵御 51% 攻击，通过共同挖矿和动态难度调整算法，保证网络稳定性。

平行链：Fractal 与比特币主链并行运行，兼容所有主链协议，并能通过铭文在主网结算。

原生扩展：Fractal 不引入额外结构，是一种原生的比特币扩展解决方案。

创新性：虚拟化的策略在比特币扩展中具有创新性，与传统扩展方法不同。

实现方式：通过定制比特币核心，形成简化的 BCSP，实现灵活的定制和部署。

UTXO Stack RGB++的扩容方案。RGB++在BTC主网上发行资产，与比特币UTXO有绑定关系。用户可以选择将RGB++资产“跳转”到Nervos网络使用。跳转的BTC交易会在主网输出特定UTXO，在Nervos网络中触发相关影子交易，RGB++资产信息被写入Nervos UTXO，解锁条件是特定的BTC UTXO。用户可以在Nervos享受智能合约能力和更低手续费，更高性能，亦可将资产通过同构绑定方式跳转回BTC主网。基于上述同构绑定思路，Nervos还发布了UTXO Stack应用链架构，类似于以太坊的OP Stack，并在开发基于自身的闪电网络。 Nervos网络本身的性能也不足以支撑大规模应用，所以有了Stack方案，Stack链应该是POS机制，网络安全由质押的BTC和CKB来提供。最近很多基于RGB++的应用在上线，可以关注以下有什么参与角度。

Rooch @RoochNetwork（全局状态机） rooch的方案看起来非常庞大，用move语言做了很多工具。总结起来有以下几个特点：

1 Verifiable Application Container (VApp Container)：Rooch团队开发了基于Move语言的VApp容器，包括MoveOS、Move标准库和开发工具，提供应用执行环境和状态维护功能。

2 Root to Bitcoin：将比特币区块在VApp容器中执行，验证UTXO并将其转换为Move对象，提供比特币的链下智能合约解决方案。

3 Distributed State Tree Protocol (DSTP)：通过分布式状态树协议，在P2P网络中分布不同的子树，实现并行处理和应用间的互操作性。

4 Asset Leap Protocol：设计跨层资产迁移协议，解决比特币L1上的高交易成本和长确认时间问题，实现L1和L2之间的资产流动。

他们最近在搞开发者活动：Rooch Network Early Builders Program，感兴趣的开发者可以去看看。

ZKM @ProjectZKM Metis系开发；Bridgeless Bridge非常有看点。很多人比较看好，应该是在ZK方面比较有特点。 刚刚发布了zkMIPS白皮书：

ZKM研究团队在2023年9月开始开发一个基于MIPS指令集的零知识虚拟机（zkVM）。zkMIPS的目的是使用MIPS实现可验证计算，确保结果的正确性并附带证明。

zkMIPS允许较弱的计算方（A）将计算外包给更强的计算方（B），并通过验证结果的正确性。使用MIPS指令集，计算过程通过记录表表示，并通过算术化和交互式Oracle证明（IOP）进行高效验证