Yona是比特币上由SVM驱动的第2层（Rollup）。
Yona在继承比特币加密经济安全性的同时，实现了比特币及其资产的丰富可编程性和前所未有的执行扩展。
为了实现这一目标，Yona实现了比特币上的BTC与Yona上的BTC之间的无需信任的双向挂钩，并可单边退出。我们将此Yona原生挂钩称为规范挂钩。
Yona的主要设计特点是，它旨在从传统的联合TSS-MPC桥接转向规范的双向挂钩——一种完全依赖于加密证明和比特币共识的机制。换句话说，双向规范挂钩不依赖于任何外部共识。
L2规范挂钩的特征
Rollup必须提供单边进入（存款）和退出（取款）的能力。
单边存款和取款对于保证比特币和元资产的可用性和抗审查性至关重要。
虽然存款的实施很简单（通过SPV证明），但正确的单边退出需要直接在比特币上证明其有效性。
我们提出了一种更为实用的方法，它将逐步建立在以太坊现有的加密经济基础设施之上，旨在逐步融入尽可能多的比特币安全性，以便被最核心的比特币最大支持者所接受。
比特币（BTC）的规范挂钩
我们的BTC原生挂钩由EigenLayer和BitVM相结合的加密经济安全性提供支持。
BitVM允许验证比特币的链下执行，任何人都可以进行欺诈证明并惩罚证明者。BitVM是Yona规范挂钩的加密安全来源。
Eigenlayer提供对以太坊质押资本基础和去中心化验证器集的访问。Eigenlayer是Yona规范挂钩的经济安全来源。
Yona Peg运营商是协助规范挂钩的正常模式操作（即BTC的存入/提取）的实体。任何Peg运营商都需要履行两个角色：
BitVM充值/提现合约对手方（用于正常模式操作）
AVS操作员（用于单侧退出）
需要强调的是，Yona Peg Operator永远无法访问不受BitVM合约保护且价值比AVS质押资产低几个数量级的存入比特币。
挂钩运营商有多个，其中至少有一个必须诚实行事，但即使在所有运营商都不诚实的情况下，他们也不能窃取任何存款，最坏的情况也只会烧掉它们。
当用户将BTC存入侧链时，他们会与Peg Operator建立提款BitVM合约。合约建立后，用户直接向BitVM地址发送UTXO。请注意，在任何时候，此UTXO都不属于证明者。
当用户（可能是不同的用户）提供从Yona有效提款的证明时，他们会再次使用提款合同（如果他们没有向Yona存入BTC，则与运营商建立新的合同）。
如果出现拒绝服务或审查，Peg运营商将无法或不愿意创建BitVM合约。这就是EigenLayer的经济安全性发挥作用的地方。一方面，运营商无法窃取存入的比特币，因此拒绝提供提款服务没有任何好处。但这显然还不够。因此，我们使用EigneLayer削减来引入拒绝提款的重大弊端。
如果由于某种原因，挂钩操作员拒绝创建提款合约，则用户可以提交带有请求的比特币交易，并向我们的EigenLayer合约证明未创建提款合约。这将削减操作员的收益。
同样，在单方面退出的情况下，提款人可以提供从Yona有效提款的证明。Peg操作员最多有N个区块来提供他们已完成提款请求的证明。如果没有提供证明，操作员将在EigenLayer上被削减，并且用户可以直接从BitVM合约中提款。
元协议规范双挂钩，无需信任的单边退出
另一项重大创新是，Yona能够实现完全无需信任、纯加密的规范挂钩比特币元协议，并且不依赖于经济安全。
元协议（例如BRC-20）使用比特币来记录数据，并使用链下索引器来独立验证元协议交易。这允许构建一个高效且无需信任的Rollup，作为元协议的快速可编程层。
Rollup和侧链之间的主要区别在于，Rollup允许无需信任的单方面退出：用户可以通过执行比特币交易从Rollup中提取他们的BRC-20，无需第三方参与（例如Rollup操作、验证者或桥接器）。
接下来我们将重点关注BRC-20用例。
挂钩机制如下：
要进入rollup，用户需要在比特币L1上“销毁”BRC-20，向rollup的智能合约证明销毁（通过比特币ZK轻客户端），并可以在L2上铸造相同的铭文。销毁可以通过将“TRANSFER”交易发送到不包含任何数据的“OP_RETURN”脚本来实现，从而在L1上实现销毁。
为了退出汇总，用户需要在L2上“烧毁”BRC-20，并在比特币L1上“铸造”它们，并附上有效提款的ZK证明。
有效退出的ZK证明包括：
对L2提款交易的输入和rollup状态树的Merkle根的承诺
Rollup的zkVM已正确执行计算，并且得出的BRC20余额大于或等于提款金额
不违反总供应量不变量（即BRC20的总供应量=BTC供应量+L2供应量+待提取金额）
比特币网络本身无法验证零知识证明，因为比特币脚本没有必要的操作码。但是，由于索引器可以执行验证，因此不需要这样做。BRC-20已经依赖链下索引器来重建BRC-20余额，唯一需要做的就是支持索引器上提款交易的退出证明验证。
如果L2不可用，则DA层上一定时间内（例如5天）没有心跳的证明允许用户通过发送比特币交易单方面提款，即链下BRC20索引器无需L2提款交易即可处理提款。
如果L2开始审查提款，用户可以通过发送带有提款请求的比特币交易来发起提款。L2挂钩运营商有24小时的时间来执行提款并提交证明。如果没有发生这种情况，用户可以提交以下证明：
通过比特币交易请求单方面提款
L2未及时处理单方面撤回
有BRC20有效未结余额可以提现
通过验证此证明，链下BRC20索引器可归还所有权，而无需检查L2提款交易。
因此，Yona是第一个提供完全无需信任的比特币元资产挂钩的L2。
比特币的极速ZK Rollup：加速交易的先锋 