7*24快訊比特幣上可...

比特幣上可擴展的點對點代幣:使用遞歸SNARK 解決回溯創世問題

這篇文章最初發表於 中等的.

這是一個實現 nChain的解決方案¹。

回到創世紀的問題

比特幣上的代幣通常存儲在 UTXO. 當收到假定的令牌交易時,用戶需要一種有效且快速地檢查其真實性的方法。一個主要部分是決定它是否鏈接到某個創世交易,在哪裡發行代幣。

在基本形式中,Back-to-Genesis (B2G) 問題歸結為:給定一筆交易,它是否與完整交易鏈中的某個創世交易相關聯?

回到創世紀(B2G)

全部 比特幣上的代幣 今天不得不依靠一些受信任的第三方來解決這個問題,因為當鏈過長時,輕量級用戶驗證自己變得在計算上具有挑戰性²。例如,打點錢包的 徽章 令牌使用令牌索引器和 明智的 令牌使用預言機。這種第三方依賴阻礙了比特幣的代幣採用,因為它的可擴展性和 特殊目的公司– 與原生比特幣一樣友好。

我們之前的提議 試圖在沒有任何第三方的情況下解決問題。然而,隨著鏈的增長,代幣交易的規模呈指數增長,嚴重限制了其在實踐中的使用。

遞歸SNARK

召回 遞歸的SNARK,特別是增量可驗證計算(IVC),我們想證明函數F 對初始輸入z₀ 應用n 次會產生zₙ。

遞歸SNARK

在每一步, zᵢ 是公共輸入和 wᵢ 私人輸入(即見證人)。

公共輸入和wᵢ 私人輸入

每一步都會產生一個新的證明。在步驟 一世,證明者算法計算𝛑ᵢ 證明所有步驟 一世 是正確的,僅使用上一步和當前步驟中的本地信息,如下所示。至關重要的是,它不會全部追溯到步驟0,同時仍然能夠驗證自步驟0 正確執行以來的所有步驟。

證明者算法計算𝛑ᵢ
證明者算法:增量計算證明

將遞歸SNARK 應用於B2G

IVC 自然地導致了B2G 問題的優雅解決方案。

將遞歸SNARK 應用於B2G
B2G 中的IVC

具體來說,IVC實例化如下:

  • zᵢ: txidᵢ,鏈中第i 個交易的交易id
  • wᵢ: 第i 個交易的剩餘部分。我們將它分為兩​​部分:prefixᵢ 和postfixᵢ,代表txidᵢ 之前和之後的內容。
  • 功能 F: 交易的txid 是它的雙SHA256 和 (i+1)-th 交易花費 第i 個 交易,它的txid,因此 F 計算如下:

函數F:交易的txid 是雙SHA256

txid 是紅框部分, 前綴/後綴 分別是它之前/之後的所有內容。 || 是串聯。

txid 是紅框部分,前綴/後綴分別是它之前/之後的所有內容。  || 是串聯。
一筆交易

現在,無論交易鏈的長度如何,我們都可以通過驗證單個簡短證明來證明交易源自給定交易,而無需一直追溯。

一個簡單的NFT 代幣協議

讓我們構建一個簡單的 NFT 代幣 使用上述方法。 NFT 是在發行交易中鑄造的,也就是創世交易。為簡單起見,讓我們在每個轉賬交易中只使用一個輸入和一個輸出³。

一個簡單的NFT 代幣協議

當Alice 將NFT 轉移給Bob 時,她構建了一個以Bob 作為接收方的交易,並將其直接從鏈下交給Bob。由於比特幣的點對點性質,她還隨交易發送了一個SNARK 證明。正如我們之前解釋的那樣,Alice 可以在不追踪創世交易的情況下生成證明。

Bob 僅在兩項檢查都通過時才接受NFT:

  1. 他使用驗證交易 特殊目的公司,類似於普通的比特幣支付
  2. 他驗證了證明⁴。

如果沒有第一次檢查,攻擊者可以創建源自創世交易的替代交易鏈,但是 不是 在比特幣區塊鏈上。如果沒有第二次檢查,代幣交易可能不會鏈接到創世交易。

證明的大小恆定,只有幾個KB,無論鍊長如何,都可以在幾秒鐘內驗證,產生的開銷可以忽略不計。代幣轉移實際上是即時的,就像普通的比特幣支付一樣。

證明時間

遞歸最耗時的部分 SNARK 正在生成一個證明,在資源受限的設備上最多可能需要一分鐘。為了啟用即時令牌轉移,可以在Bob 收到令牌後立即預先計算證明,以便在Bob 將其轉移給下一個所有者時準備好。如果Bob 需要在從Alice 收到令牌後立即將其發送給Charlie,他可以發送從Alice 收到的舊證明,並讓Charlie 驗證交易鏈中的最後兩個鏈接,而無需生成新證明作為後備。

執行

我們已經使用實現了遞歸SNARK snarkyjs 如下。

遞歸B2G 證明

首先,我們需要先編譯程序以獲取驗證密鑰。請注意,有 受信任的設置。

密鑰可以在與創世交易相關的中央註冊表中公開,也可以放置在創世交易的另一個輸出中。

創世紀 調用從第5 行開始的方法來生成初始證明,它只是檢查 txid0 是第9 行的創世交易id。

轉移 調用從第13 行開始的方法以生成新的證明,以證明:

  • 最後一個證明在第17 行有效
  • 當前交易在第18 行和第19 行花費了最後一筆交易。

最後,我們可以根據驗證密鑰驗證證明。

完整的代碼可以在 這個Github 倉庫.

概括

我們只展示一個使用遞歸SNARK 的簡單NFT 示例。它可以擴展到有向無環圖(DAG),而不是交易鏈。它還可以擴展到可替代令牌或用戶需要有效確保交易可以鏈接到某些祖先交易的任何其他用例。

致謝

我們感謝nChain 分享了將遞歸SNARK 應用於B2G 問題的最初想法。我們也感謝Gregor Mitscha-Baude O(1) 實驗室 幫助實現SHA256 電路。

***

筆記:

[1] WP1590 交易鏈證明,MS Kiraz 和O. Vaughan,正在申請專利GB2200400.6。

[2] 在更一般的形式中,事務形成有向無環圖(DAG),使得解決B2G 的計算更加密集。

[3] 這可以在智能合約或SNARK 電路中強制執行,或兩者兼而有之。在前者中,我們可以使用 OP_PUSH_TX 限制從創世交易下降的所有交易中的輸入和輸出數量的技術。例如,我們可以強制任何NFT 交易有兩個輸入和一個輸出。第二個輸入包括交易費用。

[4] 可選地,證明驗證可以在鏈上完成。它只需要在 snarkyjs 證明系統類似於 Groth16 驗證器 我們已經實施。

觀看:BSV 全球區塊鏈大會演示、BSV 上的智能合約和計算

比特幣新手?查看CoinGeek 的 初學者的比特幣 部分,了解更多關於比特幣(中本聰最初設想)和區塊鏈的終極資源指南。

Source Link

最受歡迎

繼續閱讀

長期持有者持有的比特幣(BTC)供應量達到最高水平

根據Glassnode 的估計,比特幣的長期持有者(LTH)目前擁有1452 萬枚BTC,創歷史新高,只剩下25% 留給短期持...

抓住Web3 遊戲的先發優勢:成功策略

Web3和區塊鏈技術的出現徹底改變了遊戲行業,為開發者和企業家提供了前所未有的機遇。 Web3 遊戲的去中心化性質為創新遊戲貨幣化模式、玩家所有權和社區參與打...

現在讀

$COOKIE, the Cookie3 Mark...

Tallinn, Estonia, March 26th, 2024...

長期持有者持有的比特幣(BTC)供應量達到最高水平...

根據Glassnode 的估計,比特幣的長期持有者(LTH)目前擁有1452 萬枚BTC,創歷史新高,只剩下25% 留給短期持有者和投機者。 儘管BTC 的價格在過去一個月中保持相對平穩,範圍在約29,000 美元至31,000 美元之間,但人們還是開始瘋狂囤積。 ...

Caldera 宣布與Espresso Syste...

Caldera 開發人員可以利用Espresso Sequence...

抓住Web3 遊戲的先發優勢:成功策略

Web3和區塊鏈技術的出現徹底改變了遊戲行業,為開發者和企業家提供了前所未有的機遇。 Web3 遊戲的去中心化性質為創新遊戲貨幣化模式、玩家所有權和社區參與打開了大門。對於那些尋求利用Web3 遊戲巨大潛力的人來說,確保先發優勢至關重要。 了解Web3 遊戲生態系統在深入研究Web3 遊戲之前,有...

Taapsee Pannu 推出NFT 平台,介紹...

企業家貢獻者表達的意見是他們自己的。 您正在閱讀《企業家印度》,這是企業家媒體的國際特許經營刊物。 女演員Taapsee Pannu 最近推出了“taapseeclub.com”,這是她自己的非同質代...

比特幣(BTC) 地址休眠超過11 年,轉移310...

經過11 年多的閒置之後,一個包含3100 萬美元BTC 的休眠比特幣地址最近突然活躍起來。 2023年7月22日,地址 轉入 將其全部餘額轉移到新地址。 早期BTC 地址復活 比特幣自2009 年以來就已經存在,因此存在多年來不活躍的休眠地址,其中包含大量BTC。這種加密貨幣的一些早期採用者能夠...

加密貨幣死了嗎?當今加密貨幣的現狀

您之前可能聽說過加密貨幣正在消亡(或比特幣已消亡)。在這篇文章中,我們將研究加密貨幣的狀態,並嘗試回答這個問題:加密貨幣現在已經死了嗎? 在我們開始之前,我們想澄清一下,本文指的是最廣泛意義上的“加密貨幣行業”; 在裡面 網絡3 感覺。該定義包括加密資產市場; 但它還包括其他非財務用例。 隨著近來加...

Chancer 可能成為體育和社交博彩領域的下一個...

加密貨幣 隨著企業財報季節的繼續,本週股市表現好壞參半。在Ne...

以太坊(ETH) 創下兩個月來CEX 流入最高紀錄...

過去一周,以太坊(ETH)流入中心化交易所(CEX)的資金量創下了過去兩個月來的最高水平。這些重大的資產變動表明ETH 的價格可能會下跌。 CoinGecko 數據顯示,第二大加密貨幣的價格一直在小幅下跌,過去一周價值下跌了2.5%。截至撰寫本文時,以太幣易手價格為1,892.65 美元,過去24...

新的DeFi 法案有“不可行的義務”

加密貨幣創新委員會表示,新的反洗錢法案沒有為DeFi 中的非法金融...

幣安大幅削減成本,瑞波幣為美國銀行和加密貨幣風險投...

美國證券交易委員會(SEC)對加密貨幣公司的打擊似乎嚴重影響了幣安的業務。據報導,在過去幾週內,該加密貨幣交易所解雇了1,000 多名員工,並削減了一些福利。 幣安表示,“當前的市場環境和監管環境”導致利潤下降,這表明可能正在進行更多削減。一位發言人告訴Cointelegraph,該公司將考慮縮減“...

Automata 雙週更新:第48 期| 通過自動...

迎接新的季度意味著設定我們的意圖並為團隊規劃下一步的行動。幕後醞釀的一切——合作、產品功能和營銷發布——很難抑制我們的興奮。我們一開始就在1RPC(2 個備受期待的第2 層主網)上添加了對Linea 和Base 的支持。科技載體更新頁腳以顯示界面版本平滑的用戶體驗 USDC CCTP 支持 關於仲裁...