開發者

Rand 是開源項目。全節點、區塊瀏覽器、跨鏈橋、證明研究及錢包客戶端，均各自存放於 GitHub 上獨立的代碼庫。歡迎閱讀代碼、運行測試、提交補丁。本頁是一幅地圖：各組件位於何處、以甚麼構建、證明系統已發展至何種程度，以及它目前的局限所在。

代碼庫

技術棧

全程使用 Rust。Rand 是一條獨立的區塊鏈：HotStuff BFT 節點配合 libp2p gossip 層，以完全屏蔽的 note 池作為賬本，採用後量子簽名與 note 加密，並以 Rand zkVM 處理保密計算，全部位於全節點代碼庫之中。證明系統本身是仍在積極研究的部分，詳見下文。

一個關係，涵蓋所有程序

白皮書中的通用執行關係 R_exec 已以代碼形式存在：rand_zkvm，一台 RV32IM 機器，在 Goldilocks 域上的 Plonky3 之下以單一批量 STARK 證明。它證明某條執行軌跡以經加鹽 H_IN 所承諾的輸入運行了程序 hc，並得出這些公開輸出；程序本身從不是驗證器的參數。發佈保密程序，意味着註冊一個哈希，而非生成專屬電路。

該證明系統是透明的，無需可信設置，亦不需要配對曲線，其假設為抗碰撞哈希。凡涉及證明的其他組件，預期均會向此 crate 靠攏，而非自行發展一套。此 crate 位於 zkp-circuits/research，並以約束集 8 引入全節點（circuits aeacf31，全節點 v0.6.7 及 v0.6.8）。除非某一行註明採用較後的約束集，下列表格與量度均針對約束集 5（里程碑 M4.2）；數據取自截至 2026-09-13 的全節點 docs/zkvm.md、docs/zkvm-milestones.md 及 docs/confidential.md，量度結果為在 Apple Silicon 筆記本電腦上的實測值，並非目標值。

八張表置於具名總線，另有第九張按需而設

一次承諾，一次 FRI 開啟。各表之間從不互相調用；它們透過具名的 LogUp 總線（PROGRAM、PROGRAM_WORD、MEMORY、ALU、POSEIDON2、INPUT_DIGEST、INPUT_READ、KECCAK，以及範圍與 nibble 查找）交換事實，由驗證器檢查每條總線在全局上是否平衡。每張表的最大約束次數均由測試釘定，低於 FRI blowup 所容許的上限 8。

此後已有三個約束集落地。約束集 6 新增了一張必備的 public 表，用於程序在部署時的公開輸入，並綁定至未加鹽的摘要 H_PUB，另在 keccak 旁增設可選的 sha256 表。約束集 7（chain 16）在新的 BLIND 總線上對每個 LogUp 終端加以遮蔽，並將每張已聲明的表下限定為 2⁷ 行，同時新增受長度約束的 POSEIDON2_LEN 系統調用。約束集 8（chain 18）則在 cpu 表中加入 GAS 列，以及一個公開值，即所聲明的 GAS_LIMIT。

證明揭示甚麼

公開： 代碼哈希 hc（八個電路內摘要字）、加鹽輸入承諾 H_IN（八個字）、gas 層級，以及八個輸出字。自約束集 6 起還包括 H_PUB，即公開輸入的摘要；自約束集 8 起還包括所聲明的 gas 上限。證明的標頭聲明 Keccak 與 SHA-256 表的高度，因此可顯示某次調用有否進行哈希運算，並在 2⁷ 下限之上顯示大致的運算量。

隱藏： 私有輸入（H_IN 經加鹽，故既隱藏亦綁定）；每個指令字，因為驗證器檢查的是 hc 而從不是程序；每個寄存器與內存值；每個所走的分支；確切的週期數與確切的 gas 用量；以及運行了哪些系統調用，惟兩張哈希表的高度所顯示者除外。

層級對每個證明而言是公開的，因為 STARK 的大小本已洩露其軌跡高度；隱藏該索引並無益處。hc 是綁定的，而非隱藏的：見目前的局限所在。

約束集 5 下的量度

Apple Silicon 手提電腦,release 構建。M2.3 中把 byte 表拆分,才是令證明時間下降的原因;80 次查詢的設定,則令證明大小回升。驗證密鑰與程式內容無關,只由層級(tier)及證明所聲明的程式、輸入和 keccak 高度決定,因此一個節點只需預熱一把密鑰便可重複使用。

其後的約束集再度改變了大小。在約束集 7 下,生產設定的 tier-10 證明為 1,367,688 bytes,載有 Keccak 的 tier-10 證明為 3,283,898(2026-09-28 量度)。自 chain 17 起,一筆轉賬附帶兩份證明:約 1.49 MB 的 tier-14 bundle 證明,以及約 1.37 MB、證明時間約 7 秒的 tier-10 授權證明。Chain 20 的創世設定了 20 MiB 區塊及 4 MiB 證明上限,chain 21 則為 19 MiB 區塊及 6 MiB 證明上限,而單次調用不得超過 tier 14。

三個目標,一個電路

只有 RISC-V 以原生方式執行。Solidity 與 Solana 程式要麼在同一關係內的解譯器 guest 上執行,並以其位元組碼作為輸入;要麼在鏈下翻譯成 RISC-V 程式,其輸出與解譯器逐字相同。開銷高昂的操作碼需要專用的協處理器表,而不是逐位元模擬。

里程碑

里程碑 1 證明了通用機器。里程碑 3 把它變成屏蔽池(shielded pool):帶電路內成員資格證明的轉賬在 R_exec 下完成證明,驗證者核對 hc 時從不見到任何程式字。里程碑 4 處理相容性:其載入器、輸入承諾及 Keccak 表以約束集 4 和 5 交付,SHA-256 表則隨 set 6 交付。EVM 與 sBPF 解譯器 guest、rand-guest 工具鏈以及兩個翻譯器均已構建。ERC-20 轉賬已在一部 128 GB 的機器上完成證明;tier 20 的 SPL Token 證明則尚未完成。里程碑 5 是區塊聚合背後的遞歸 VM,已構建,並在所有鏈上關閉。約束集 7 與 8 承接九月的審查及 gas 模型。

屏蔽池階段

fullnode 的賬本分三個階段落地,每個階段均為硬分叉(docs/shielded.md §7)。S1 以 note 池取代賬戶賬本;S3 把橋接以 note 形式帶回,並率先落地;S2 在其上加入質押。三者均已併入 main,並在當前鏈上運行。

S2 以下各列為 v0.5 的工作。每一列都是一次硬分叉;這些變更合併為一條全新的鏈,即 chain 14,於 2026-09-20 由構建 b3c594c 切出,並在經已部署的來源端點完成一次 zUSD 實時往返後,於同日標記為 v0.5。Chain 15 自 2026-09-26 起以 v0.5.8 及其後版本上線,承載了全部內容,並啟用了審計 v4 與 v5 中以創世區塊為條件的修復:設有每 epoch 預算的白名單水龍頭、延遲生效的質押、質押權重上限、與創世區塊綁定的註冊、consensus_domain 1、橋接規則 v2,以及代幣註冊表的上限、被銷毀的註冊費和 2⁶³ 票據上限。Chain 20 自 2026-10-01 06:17 UTC 起以 v0.6.8(c9c9bd3c)上線,是 chain 19 的硬分叉,保留了全部內容並加入 v0.6 各版本的工作;chain 21 自 2026-10-12 10:31 UTC 起以 v0.8.0(c0878c3f)上線,是 chain 20 的硬分叉,保留以上全部內容,並加入約束集 9、私密多重簽名、被銷毀的費用下限、RPL-3 永續合約和多重簽名賬戶,詳見下文。

v0.5 之後的版本

每個版本都是一個 git 標籤,並在 fullnode 的 CHANGELOG.md 中有一項記錄。更改共識、線路格式或驗證密鑰的版本會隨一條新鏈發佈;其餘版本則逐個節點滾動升級至現行鏈。

目前的界限

與白皮書不一致之處，如實陳述，不加粉飾。每一項均在相應 crate 自身的文檔中追蹤，並註明了解決它的里程碑。

• hc 具綁定性而不具隱藏性：它不帶鹽值，因此猜測的程式可被確認，同一程式的兩次部署亦可被關聯。M3.4 所消除的，是驗證者以明文持有整個程式這一情況。
• 2026-09-21 之前構建的錢包會向其節點索取見證，而見證請求會指明即將花費的葉子。現時的 rand 自行保存樹的副本，從不索取；節點仍為較舊的錢包提供 rand_getWitness。
• 存款在邊界處是公開的：水龍頭鑄造、創世票據及橋接存款均以明文帶有其金額（自鏈 14 起，鑄造及創世票據亦帶有其開啟值，因此擁有者密鑰同樣公開），與任何地方由透明轉入屏蔽的存款所具有的一跳可見性相同。
• 零知識是統計性的，而非完美的。這正是 Plonky3 0.7 的隱藏式 FRI 實際提供的性質，crate 中亦如此說明。
• 轉錄哈希為使用開發用輪常數的 Poseidon2，而非論文所用的 SHA3-384 / BLAKE3-384。這是配置替換，而非重寫。
• 在 80 次 FRI 查詢下，交易束證明於鏈 14 及 15 上約為 1.42 MB（至鏈 13 約為 1.3 MB）。自鏈 17 起，一筆轉賬帶有約 2.85 MB 的證明：交易束證明約 1.49 MB，授權證明約 1.37 MB。在默認鏈上，區塊為 4 MiB、證明上限為 2 MiB，含 Keccak 的證明直接超出證明上限；鏈 20 的創世設定為 20 MiB 區塊及 4 MiB 證明上限（鏈 13 至 16 設定為 8 MiB）；鏈 21 的設定為 19 MiB 區塊及 6 MiB 證明上限，為 18 級多重簽名授權證明留出空間。
• 調用證明的標頭並不隱藏。它宣告層級以及 Keccak 與 SHA-256 表的高度，因此可看出調用是否進行過哈希運算。在 v0.6 證明者下限之前於鏈 15 上提交的調用暴露更多：少於 2⁷ 行的私有表可從證明中讀出。v0.6 證明者下限為新的調用堵住了此漏洞，而約束集 7 連同 hardening_v6 自鏈 16 起將其定為鏈的規則。
• 一次調用以 14 級為上限，至多 2¹² 行 Keccak（128 次置換）及 2¹³ 行 SHA-256（128 次壓縮），且在 hardening_v6 下，超過 8,180 個字的程式不能部署。EVM 與 sBPF 解釋器客體程式，以及經轉譯的 ERC-20 與 SPL Token 映像，均超出此限。
• 持有見證者可看見一切。ZK 保護的是驗證者的視野，而非證明者的視野。自鏈 17 起，錢包可將交易束證明交給配對的 rand-prover，而無須交出花費密鑰，但該證明者仍持有查看密鑰並可看見票據。CUDA 後端於 2026-09-28 首次在硬件上運行，尚無生產環境的量度數據。

儲存庫佈局

fullnode 的 Cargo 工作區，依其 README 及 crates/ 目錄所示。

已規格化，尚未發佈

這些組件見於論文或 fullnode 的文檔，但並未運行：要麼不在儲存庫之中，要麼已構建但未在任何鏈上啟用。列出它們，是為了讓規格與代碼之間的差距清晰可見，而非有待推斷。

Build and test

Rust 的標準工作流程適用於各個儲存庫。全節點是一個 Cargo 工作區,使用固定版本的工具鏈,並設有一套會透過 TCP 啟動真實節點的叢集測試套件。其建置需要將電路儲存庫簽出到旁邊一個名為 circuits 的目錄,並位於供應商化(vendored)的 crate 所同步自的提交(v0.6.7 及 v0.6.8 為 aeacf31,v0.8.0 為 d217252)。zkVM 是 zkp-circuits 內一個獨立的 crate,有自己固定的工具鏈,並附有一個示範程式,說明保密呼叫會披露甚麼、不會披露甚麼。

全節點:

git clone https://github.com/randprotocol/fullnode.git
git clone https://github.com/randprotocol/zkp-circuits.git circuits   # the sibling directory must be named circuits
git -C circuits checkout "$(sed -n 's/^circuits: //p' fullnode/crates/randprotocol-zkvm/guests-compiled/PROVENANCE.md)"
cd fullnode

# Rust 1.98.1 is pinned by rust-toolchain.toml; first build pulls RocksDB and Plonky3, 10 to 20 minutes
cargo build --release        # target/release/rand-node, target/release/rand, target/release/rand-prover

# All crates; release because STARK proving is slow in debug. One to two hours, mostly proving
cargo test --release

# One machine, two validators
scripts/local-testnet.sh
target/release/rand --rpc http://127.0.0.1:8545 status

研究用 zkVM,位於 zkp-circuits/research:

# Toolchain is pinned by rust-toolchain.toml; the first build pulls Plonky3
cargo build --release

# Narrated demo: thirteen proofs, one at production FRI parameters (~6-7 min)
cargo run --release

# Emulator, per-table constraints, cheating provers, ZK, end-to-end, viewing keys, compiled guests (395 tests, ~17 min)
cargo test

全節點測試套件於 v0.6.1 在一部 16 個 vCPU 的機器上的量度結果:core 521 項測試,node 373 項,client 117 項,作弊證明者套件 116 項,隱藏打包作弊測試 21 項(75 分鐘),錢包流程 6 項(53 分鐘),叢集 26 項(44 分鐘),以及 zUSD 端到端關卡 2 項(51 分鐘)。遞歸虛擬機的生產環境證明不在其內,並需要上文所列的記憶體。

Running a node 說明如何以此建置加入公開 testnet;testnet 創世區塊、引導節點及運行腳本均隨附於全節點的 deploy/ 目錄,而下載頁面載有簡短版本。

Contribute

全節點以 GNU General Public License v3.0(GPL-3.0-only)授權;此前為 Apache-2.0。如發現錯誤或有設計建議,請在變更所涉及的儲存庫提出 issue。歡迎提交 pull request:提交前請運行 cargo fmt && cargo clippy,並保持變更範圍集中。可從 fullnode issues 入手。

架構、隱私電路、費用代幣證明及後量子取捨,均載於論文頁面上的白皮書。全節點儲存庫自身的 docs/ 目錄,是本文檔每個頁面所核對的依據。