Zcash 2.0.5-rc1 版本解析Sprout 到 Sapling 自動遷移、ZIP 209 與區(qū)塊瀏覽器索引【免費下載鏈接】zcashZcash - Internet Money項目地址: https://gitcode.com/GitHub_Trending/zc/zcash導讀本文基于 Zcash 全節(jié)點實現(xiàn)zcashd的doc/release-notes/release-notes-2.0.5-rc1.md版本變更日志深入解析 2.0.5-rc1 版本帶來的核心功能變化。該版本是 Zcash 發(fā)展歷程中的關(guān)鍵節(jié)點它首次將Sprout 到 Sapling 資金自動遷移作為完整的 RPC 功能落地在主網(wǎng)啟用了ZIP 209turnstile 檢查與對應(yīng)的 Sprout 池余額 fallback 機制并為 Bitcore Insight 風格區(qū)塊瀏覽器引入了-addressindex、-spentindex、-timestampindex三個索引選項。讀完本文你將掌握遷移功能的配置與查詢命令、開發(fā)者實驗開關(guān)的用法以及這些特性在源碼中的實現(xiàn)位置與調(diào)用關(guān)系。版本背景與變更總覽2.0.5-rc1 是 Zcash 2.0.x 系列的一個候選發(fā)布版本其變更日志按貢獻者羅列了共 40 余個提交。按技術(shù)主題歸類主要變更集中在以下四個方面主題主要貢獻者變更要點Sprout 到 Sapling 自動遷移Eirik0新增z_setmigration、z_getmigrationstatusRPC遷移邏輯移至 ChainTip新增-migrationdestaddress配置項ZIP 209 與開發(fā)者實驗開關(guān)Simon Liu主網(wǎng)啟用 ZIP 209 并設(shè)置 fallback Sprout 池余額新增-developersetpoolsizezero實驗功能區(qū)塊瀏覽器索引Larry Ruane新增-addressindex、-spentindex、-timestampindex修復 enable-debug 構(gòu)建問題基礎(chǔ)設(shè)施與構(gòu)建Jack Grigg 等TransactionBuilder 增加 Sprout 支持、Blossom 升級、HD seed 修復、Boost 1.69 → 1.70下文將圍繞這四個主題逐一展開并結(jié)合倉庫源碼給出實現(xiàn)層面的佐證。Sprout 到 Sapling 自動遷移完整的 RPC 功能落地Sprout 是 Zcash 第一代屏蔽交易協(xié)議其密碼學原語基于 SHA-256 壓縮函數(shù)的零知識證明相對脆弱Sapling 則引入了更高效的證明系統(tǒng)。為了讓仍持有 Sprout 資金的用戶平滑過渡Zcash 設(shè)計了自動遷移機制當區(qū)塊鏈高度滿足特定條件時節(jié)點會自動構(gòu)造將 Sprout 資金轉(zhuǎn)入 Sapling 地址的交易。2.0.5-rc1 通過多個提交完善了這一機制。遷移開關(guān)z_setmigration變更日志中的 Add rpc to enable and disable Sprout to Sapling migration 對應(yīng)了錢包 RPCz_setmigration。其實現(xiàn)位于 src/wallet/rpcwallet.cppUniValue z_setmigration(const UniValue params, bool fHelp) { ... z_setmigration enabled\n When enabled the Sprout to Sapling migration will attempt to migrate all funds from this wallets\n Sprout addresses to either the address for Sapling account 0 or the address specified by the parameter\n -migrationdestaddress.\n ... LOCK(pwalletMain-cs_wallet); pwalletMain-fSaplingMigrationEnabled params[0].get_bool(); return NullUniValue; }該 RPC 只接受一個布爾參數(shù)enabled設(shè)置為true時啟用遷移false時關(guān)閉。調(diào)用后會寫入錢包對象的fSaplingMigrationEnabled字段聲明于 src/wallet/wallet.h。值得注意的是該開關(guān)也可以通過配置文件中的-migration布爾參數(shù)在啟動時直接設(shè)定見 src/wallet/wallet.cpp。對參數(shù)類型的校驗在測試中有明確覆蓋src/wallet/test/rpc_wallet_tests.cpp 驗證了z_setmigration true/false正常返回、缺少參數(shù)拋runtime_error、非布爾字符串如nonboolean、1也會被拒絕。遷移狀態(tài)查詢z_getmigrationstatus變更日志中的 Add rpc to get Sprout to Sapling migration status 對應(yīng)z_getmigrationstatus實現(xiàn)同樣位于 src/wallet/rpcwallet.cpp。其返回結(jié)構(gòu)完整定義在幫助文本中{ enabled: true|false, (boolean) 遷移是否啟用 destination_address: zaddr, (string) 接收 Sprout 資金的 Sapling 地址 unmigrated_amount: nnn.n, (numeric) 未遷移的總金額ZEC unfinalized_migrated_amount: nnn.n, (numeric) 未最終確認的已遷移金額 finalized_migrated_amount: nnn.n, (numeric) 已最終確認的已遷移金額 finalized_migration_transactions: nnn, (numeric) 涉及本錢包的已最終確認遷移交易數(shù) time_started: ttt, (numeric, 可選) 首筆遷移交易的區(qū)塊時間Unix 時間戳 migration_txids: [txids] (json 數(shù)組) 所有涉及本錢包的遷移交易 ID }實現(xiàn)細節(jié)可以印證變更日志中的多項提交Do not look at vin/vout when determining migration txs and other cleanup判定一筆交易是否為遷移交易只看其是否滿足三個條件——包含一個或多個vpub_new非零的 Sprout JoinSplit、不含 Sapling Spends、含一個或多個 Sapling Outputssrc/wallet/rpcwallet.cpp。Calculate the number of confimations in the canonical way交易最終確認的標準是主鏈深度達到 10 個確認tx.GetDepthInMainChain(asOfHeight) 10。use -valueBalance rather than vpub_new to calculate migrated amount已遷移金額通過GetValueBalanceSapling()計算而非直接累加vpub_new。Refactor wait_and_assert_operationid_status to allow returning the result與Check for full failure message in test case則服務(wù)于測試框架對遷移流程的斷言。此外unmigrated_amount的計算會包含鎖定中或僅存在于 mempool 的 Sprout 筆記GetFilteredNotes調(diào)用傳入0, INT_MAX深度范圍見 src/wallet/rpcwallet.cpp確保查詢結(jié)果反映真實可遷移余額。遷移調(diào)度與金額選擇算法遷移并不是立即一次性完成的而是遵循一個節(jié)流策略這在z_setmigration的幫助文本中有明確描述src/wallet/rpcwallet.cpp每次區(qū)塊鏈高度達到99 modulo 100時觸發(fā)一輪遷移每輪最多構(gòu)造 5 筆交易交易金額按照 ZIP 308 規(guī)定的隨機分布選取遷移在錢包 Sprout 余額低于 0.01 ZECCENT時結(jié)束。金額選擇算法實現(xiàn)在 src/wallet/asyncrpcoperation_saplingmigration.cpp指數(shù)在 6~8慢檔或 8~10快檔當可用資金超過 1 ZEC 時之間均勻選取尾數(shù)在 1~99 之間均勻選取最終金額為mantissa * 10^exponentzatoshi若超過剩余可遷移金額則重新取樣。遷移目標地址與 HD Seed遷移目標地址的確定邏輯src/wallet/asyncrpcoperation_saplingmigration.cpp為若啟動參數(shù)-migrationdestaddresszaddr已設(shè)置則使用該 Sapling 地址該參數(shù)的合法性在 src/wallet/wallet.cpp 啟動時校驗非法地址會直接報錯退出否則使用錢包為 Sapling 賬戶 0 派生的默認地址派生路徑為m/32/coin_type/0x7FFFFFFF/0。變更日志中的 Create method for getting HD seed in RPCs 與 Do not throw an exception if HD Seed is not found when exporting wallet 兩項提交為上述地址派生GetHDSeedForRPC與錢包導出流程提供了基礎(chǔ)設(shè)施。ZIP 209 與開發(fā)者實驗功能 -developersetpoolsizezeroZIP 209 定義了屏蔽池的 turnstile 檢查規(guī)則防止資金在屏蔽池間流轉(zhuǎn)時出現(xiàn)守恒違規(guī)。2.0.5-rc1 中的 Enable ZIP209 on mainnet and set fallback Sprout pool balance 提交標志著該共識規(guī)則正式在主網(wǎng)生效。主網(wǎng) fallback 池余額由于部分節(jié)點未在監(jiān)控功能引入時執(zhí)行 reindex無法自行計算歷史 Sprout 池余額因此代碼中硬編碼了一個 fallback 值見 src/chainparams.cpp// Hardcoded fallback value for the Sprout shielded value pool balance // for nodes that have not reindexed since the introduction of monitoring // in #2795. nSproutValuePoolCheckpointHeight 520633; nSproutValuePoolCheckpointBalance 22145062442933; fZIP209Enabled true; hashSproutValuePoolCheckpointBlock uint256S(0000000000c7b46b6bc04b4cbf87d8bb08722aebd51232619b214f7273f8460e);即以 520633 高度的區(qū)塊作為 Sprout 池余額檢查點fallback 余額為 22145062442933 zatoshi同時將fZIP209Enabled置為truetestnet 的對應(yīng)配置見同文件 src/chainparams.cpp。開發(fā)者實驗開關(guān) -developersetpoolsizezero對于 regtest/testnet 測試而言嚴格啟用 turnstile 檢查會阻礙構(gòu)造違反守恒規(guī)則的測試鏈。為此 2.0.5-rc1 引入了實驗功能-developersetpoolsizezero變更日志 Add testnet and regtest experimental feature。該開關(guān)在 src/experimental_features.cpp 中解析fExperimentalDeveloperSetPoolSizeZero GetBoolArg(-developersetpoolsizezero, false);在 src/chainparams.cpp 中當網(wǎng)絡(luò)為 regtest 且設(shè)置了該參數(shù)時會調(diào)用SetRegTestZIP209Enabled()啟用 ZIP 209從而允許開發(fā)者/測試用例驗證 turnstile 違規(guī)場景。chainparams.h的注釋src/chainparams.h明確指出主網(wǎng)和 testnet 上 ZIP 209 是始終強制執(zhí)行的共識規(guī)則而 regtest 默認關(guān)閉只有設(shè)置了-developersetpoolsizezero才啟用。從源碼結(jié)構(gòu)看-developersetpoolsizezero的實驗性還體現(xiàn)在 src/main.cpp 與 src/main.cpp 中啟用該選項時共識校驗不再依賴 fallback 余額相關(guān)分支用于構(gòu)造并驗證 turnstile 違例場景。需要特別說明的是該參數(shù)當前仍需配合-experimentalfeatures使用experimentalfeatures列表注冊見 src/experimental_features.cpp且僅面向開發(fā)與測試用途。面向區(qū)塊瀏覽器的索引選項-addressindex / -spentindex / -timestampindex變更日志中 Larry Ruane 的三條提交add -addressindex changes、add -spentindex changes、add -timestampindex for bitcore insight block explorer為 zcashd 引入了三個與 Bitcore Insight 區(qū)塊瀏覽器兼容的索引開關(guān)。這些索引允許節(jié)點額外維護地址索引-addressindex記錄每個地址相關(guān)的交易支撐getaddresstxids等查詢花費索引-spentindex記錄 UTXO 花費關(guān)系支撐getspentinfo查詢時間戳索引-timestampindex按時間范圍檢索交易支撐按時間過濾的交易查詢。對應(yīng)的索引接口聲明可以在 src/addressindex.h、src/spentindex.h、src/timestampindex.h 中找到。從代碼結(jié)構(gòu)可以推斷這些索引在啟動時通過布爾參數(shù)啟用啟用后會在交易寫入?yún)^(qū)塊數(shù)據(jù)庫時同步維護索引表供 RPC 層讀取。同樣屬于該版本相關(guān)工作的還有 Adding addressindex.h to Makefile.am 提交src/Makefile.am確保頭文件被正確納入構(gòu)建。其余關(guān)鍵變更與修復除上述三大主題外2.0.5-rc1 還包含一批值得關(guān)注的改動TransactionBuilder 增加 Sprout 支持Jack Grigg擴展 src/transaction_builder.cpp使統(tǒng)一的交易構(gòu)造器可以同時處理 Sprout 與 Sapling 屏蔽輸入輸出為遷移等跨池交易提供基礎(chǔ)。Blossom 升級注冊Add Blossom to upgrade list 將 Blossom 網(wǎng)絡(luò)升級加入共識升級列表對應(yīng)consensus/upgrades相關(guān)配置為后續(xù)區(qū)塊時間縮短與目標出塊間隔調(diào)整鋪路。HD seed 生成修復Jack Grigginit: Fix new HD seed generation for previously-encrypted wallets 修復了已加密錢包首次解鎖時可能無法正確生成新 HD seed 的問題。依賴與構(gòu)建更新Boost 從 v1.69.0 升級到 v1.70.0對應(yīng) GitHub issue #3947修復-enable-debug構(gòu)建下DB_COINS未定義的問題depends 系統(tǒng)為 aarch64 Linux 添加 rust-std 哈希、bdb 以--disable-atomics編譯libsnark 的 OPTFLAGS 改為根據(jù)目標架構(gòu)自動推斷-march而非硬編碼。測試與文檔為IsPayToPublicKeyHash方法新增單元測試遷移測試拆分為多個部分并支持通過參數(shù)與默認 Sapling 地址兩種方式運行文檔清理與拼寫修正。測試覆蓋與 QA 實踐變更日志體現(xiàn)出該版本對測試的重視。除IsPayToPublicKeyHash單元測試外遷移 RPC 的參數(shù)校驗測試src/wallet/test/rpc_wallet_tests.cpp覆蓋了合法布爾值、缺失參數(shù)與非布爾輸入變更日志 Test migration using both the parameter and the default Sapling address 表明遷移功能在測試中同時驗證了-migrationdestaddress參數(shù)路徑與默認地址路徑Split test in to multiple parts 將原先過大的遷移測試拆分為多個獨立用例降低單用例失敗時的定位成本Add qa test for experimental feature: -developersetpoolsizezero 為開發(fā)者實驗開關(guān)補充了 Python 層 QA 測試。這些測試文件如 src/wallet/test/rpc_wallet_tests.cpp 與 qa/rpc-tests 目錄是理解遷移與索引功能行為邊界的最佳入口。如何驗證本文所述功能若要實際體驗 2.0.5-rc1 及后續(xù)版本中的這些功能可以在 regtest 模式下按以下方式操作啟用遷移zcash-cli z_setmigration true zcash-cli z_getmigrationstatus如需指定目標地址啟動節(jié)點時添加-migrationdestaddresssapling_zaddr或在配置文件中設(shè)置migrationdestaddresssapling_zaddr、migration1。啟用開發(fā)者實驗開關(guān)僅 regtest/testnet需同時開啟實驗功能zcashd -regtest -experimentalfeatures1 -developersetpoolsizezero1啟用區(qū)塊瀏覽器索引zcashd -addressindex1 -spentindex1 -timestampindex1注意開啟索引后首次同步會額外消耗磁盤空間并可能延長啟動/同步時間。需要說明的是當前倉庫更高版本中相關(guān) RPC 與參數(shù)仍然保留但部分默認值與共識參數(shù)會隨網(wǎng)絡(luò)升級演進實操時請以當前版本zcashd --help與文檔為準?？偨Y(jié)Zcash 2.0.5-rc1 是一個承上啟下的版本它把 Sprout 到 Sapling 自動遷移從構(gòu)想變成了一套完整可用的 RPC 體系z_setmigration/z_getmigrationstatus-migrationdestaddress在主網(wǎng)落地下沉了 ZIP 209 共識檢查并為開發(fā)者提供了-developersetpoolsizezero這一測試利器同時通過地址/花費/時間戳三類索引增強了節(jié)點對區(qū)塊瀏覽器的支撐能力。圍繞這些變更本文給出的源碼路徑——src/wallet/rpcwallet.cpp、src/wallet/asyncrpcoperation_saplingmigration.cpp、src/chainparams.cpp、src/experimental_features.cpp——可以繼續(xù)作為深入研讀該版本實現(xiàn)細節(jié)的入口?！久赓M下載鏈接】zcashZcash - Internet Money項目地址: https://gitcode.com/GitHub_Trending/zc/zcash創(chuàng)作聲明：本文部分內(nèi)容由AI輔助生成（AIGC），僅供參考