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。
