比特币上最快的ZK Rollup 繁体中文

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。
趕快加入等待列表:
https://yona.network/?r=rainbow-shapeless-mackerel
標籤
Web3見聞
ZK Rollup
比特幣