डेवलपर्स

Rand ओपन सोर्स है। फ़ुल नोड, एक्सप्लोरर, ब्रिज, प्रूविंग से जुड़ा शोध और वॉलेट क्लाइंट, सभी GitHub पर अपनी-अपनी रिपॉज़िटरी में हैं। कोड पढ़ें, टेस्ट चलाएँ, पैच भेजें। यह पृष्ठ एक नक्शा है। इसमें बताया गया है कि हर घटक कहाँ है और किस भाषा में बना है। यह भी बताया गया है कि प्रूफ़ सिस्टम कितना आगे बढ़ चुका है और आज उसकी सीमा क्या है।

रिपॉज़िटरी

स्टैक

शुरू से अंत तक Rust। Rand अपनी स्वतंत्र चेन है। fullnode रिपॉज़िटरी में ये सब हैं: libp2p गॉसिप लेयर वाला HotStuff BFT नोड, लेजर के रूप में पूरी तरह शील्डेड नोट पूल, पोस्ट-क्वांटम सिग्नेचर और नोट एन्क्रिप्शन, और गोपनीय गणना के लिए Rand zkVM। प्रूफ़ सिस्टम पर अभी सक्रिय शोध चल रहा है। उसका ब्योरा नीचे है।

हर प्रोग्राम के लिए एक ही संबंध

व्हाइटपेपर का सार्वभौमिक निष्पादन संबंध R_exec कोड के रूप में मौजूद है: rand_zkvm। यह एक RV32IM मशीन है जिसे Goldilocks फ़ील्ड पर Plonky3 के एक ही बैच STARK के अंतर्गत प्रमाणित किया जाता है। यह प्रमाणित करता है कि किसी ट्रेस ने प्रोग्राम hc को चलाकर ये सार्वजनिक आउटपुट दिए, उन इनपुट पर जिनकी प्रतिबद्धता सॉल्टेड H_IN से की गई है। प्रोग्राम से जुड़ी कोई भी चीज़ कभी सत्यापनकर्ता का पैरामीटर नहीं होती। किसी गोपनीय प्रोग्राम को प्रकाशित करने का अर्थ है एक हैश पंजीकृत करना, कभी कोई विशेष सर्किट बनाना नहीं।

प्रूफ़ सिस्टम पारदर्शी है। इसमें न कोई विश्वसनीय सेटअप है और न कोई पेयरिंग कर्व। इसकी एकमात्र मान्यता एक कोलिज़न-रोधी हैश है। प्रूफ़ से जुड़े हर दूसरे घटक से अपेक्षा है कि वह अपना अलग क्रेट बनाने के बजाय इसी क्रेट को अपनाए। यह क्रेट zkp-circuits/research में है और कंस्ट्रेंट सेट 8 पर फ़ुल नोड में वेंडर किया गया है (circuits aeacf31, fullnode 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, तथा रेंज और निबल लुकअप। सत्यापनकर्ता जाँचता है कि हर बस वैश्विक रूप से संतुलित है। हर तालिका की अधिकतम कंस्ट्रेंट डिग्री एक टेस्ट से तय है, और वह FRI ब्लोअप द्वारा अनुमत 8 की सीमा से नीचे रहती है।

इसके बाद तीन कंस्ट्रेंट सेट आ चुके हैं। सेट 6 ने किसी प्रोग्राम के डिप्लॉय-समय के सार्वजनिक इनपुट के लिए एक अनिवार्य public तालिका जोड़ी, जो अनसॉल्टेड डाइजेस्ट H_PUB से बँधी है। इसी सेट ने keccak के साथ एक वैकल्पिक sha256 तालिका भी जोड़ी। सेट 7 (चेन 16) एक नई BLIND बस पर हर LogUp टर्मिनल को ब्लाइंड करता है, हर घोषित तालिका की न्यूनतम सीमा 2⁷ पंक्तियाँ तय करता है, और लंबाई-बद्ध POSEIDON2_LEN सिस्कॉल जोड़ता है। सेट 8 (चेन 18) cpu तालिका में एक GAS कॉलम और एक सार्वजनिक मान, घोषित GAS_LIMIT, जोड़ता है।

प्रूफ़ क्या प्रकट करता है

सार्वजनिक: कोड हैश hc (सर्किट के भीतर के आठ डाइजेस्ट वर्ड), सॉल्टेड इनपुट प्रतिबद्धता H_IN (आठ वर्ड), गैस टियर, और आठ आउटपुट वर्ड। कंस्ट्रेंट सेट 6 से सार्वजनिक इनपुट का डाइजेस्ट H_PUB भी, और कंस्ट्रेंट सेट 8 से घोषित गैस सीमा भी। प्रूफ़ का हेडर Keccak और SHA-256 तालिकाओं की ऊँचाइयाँ घोषित करता है। इससे पता चलता है कि किसी कॉल ने हैशिंग की या नहीं, और 2⁷ की न्यूनतम सीमा से ऊपर लगभग कितनी की।

छिपा हुआ: निजी इनपुट (H_IN सॉल्टेड है, इसलिए यह बाइंडिंग के साथ-साथ हाइडिंग भी है); हर इंस्ट्रक्शन वर्ड, क्योंकि सत्यापनकर्ता hc की जाँच करता है, प्रोग्राम की कभी नहीं; हर रजिस्टर और मेमोरी मान; लिया गया हर ब्रांच; साइकिलों की सटीक संख्या और खर्च हुई सटीक गैस; और कौन-से सिस्कॉल चले, सिवाय उसके जो दोनों हैश-तालिकाओं की ऊँचाइयाँ दिखाती हैं।

टियर हर प्रूफ़ के लिए सार्वजनिक है, क्योंकि STARK का आकार पहले से ही उसके ट्रेस की ऊँचाई प्रकट कर देता है। इंडेक्स छिपाने से कुछ हासिल नहीं होता। hc बाइंडिंग है, हाइडिंग नहीं: देखें आज इसकी सीमा कहाँ है।

कंस्ट्रेंट सेट 5 पर मापे गए मान

Apple Silicon लैपटॉप, रिलीज़ बिल्ड। प्रूविंग समय में बदलाव M2.3 में बाइट-तालिका के विभाजन से आया। 80-क्वेरी प्रोफ़ाइल की वजह से प्रूफ़ का आकार फिर बढ़ गया। सत्यापनकर्ता की की प्रोग्राम की सामग्री पर निर्भर नहीं है। यह टियर तथा प्रूफ़ में घोषित प्रोग्राम, इनपुट और keccak ऊँचाइयों के आधार पर तय होती है। इसलिए नोड एक बार की को वॉर्म करके उसे बार-बार उपयोग करता है।

बाद के सेटों ने आकार बदल दिए। कंस्ट्रेंट सेट 7 के अंतर्गत production प्रोफ़ाइल पर एक टियर-10 प्रूफ 1,367,688 बाइट का है और Keccak-युक्त टियर-10 प्रूफ 3,283,898 बाइट का (2026-09-28 को मापा गया)। चेन 17 से एक ट्रांसफ़र दो प्रूफ ले जाता है: टियर-14 बंडल प्रूफ, लगभग 1.49 MB, और टियर-10 ऑथ प्रूफ, लगभग 1.37 MB, जिसे प्रूव करने में लगभग 7 s लगते हैं। चेन 20 का जेनेसिस 20 MiB का ब्लॉक और 4 MiB की प्रूफ सीमा निर्धारित करता है, और कोई कॉल टियर 14 से अधिक नहीं हो सकती।

तीन लक्ष्य, एक सर्किट

केवल RISC-V नेटिव रूप से निष्पादित होता है। Solidity और Solana प्रोग्राम या तो उसी रिलेशन के भीतर एक इंटरप्रेटर गेस्ट पर चलते हैं, जिसमें उनका बाइटकोड इनपुट होता है, या चेन से बाहर ऐसे RISC-V प्रोग्रामों में अनुवादित किए जाते हैं जिनके आउटपुट इंटरप्रेटर के आउटपुट से शब्दशः मेल खाते हैं। महँगे ऑपकोड को बिट-दर-बिट सिमुलेशन के बजाय समर्पित कोप्रोसेसर टेबलों की आवश्यकता होती है।

माइलस्टोन

माइलस्टोन 1 ने सामान्य-उद्देश्य मशीन को प्रमाणित किया। माइलस्टोन 3 ने इसे एक शील्डेड पूल में बदल दिया: सर्किट के भीतर सदस्यता वाला ट्रांसफ़र R_exec के अंतर्गत प्रूव होता है, और सत्यापनकर्ता किसी भी प्रोग्राम शब्द को देखे बिना hc की जाँच करता है। माइलस्टोन 4 संगतता है: इसका लोडर, इनपुट कमिटमेंट और Keccak टेबल कंस्ट्रेंट सेट 4 और 5 के रूप में जारी हुए, और SHA-256 टेबल सेट 6 के साथ। EVM और sBPF इंटरप्रेटर गेस्ट, rand-guest टूलचेन और दोनों ट्रांसलेटर बन चुके हैं। ERC-20 ट्रांसफ़र 128 GB की मशीन पर प्रूव किया जा चुका है; टियर 20 पर SPL Token प्रूफ अभी नहीं बना है। माइलस्टोन 5 ब्लॉक एग्रीगेशन के पीछे की रिकर्शन VM है, जो बन चुकी है और हर चेन पर बंद है। कंस्ट्रेंट सेट 7 और 8 सितंबर की समीक्षाओं और गैस मॉडल के बाद आए।

शील्डेड पूल के चरण

फ़ुलनोड का लेजर तीन चरणों में आया, प्रत्येक एक हार्ड फ़ोर्क (docs/shielded.md §7)। S1 ने अकाउंट लेजर को नोट पूल से बदला; S3 ब्रिज को नोट के रूप में वापस लाया और सबसे पहले शामिल हुआ; S2 ने उसके ऊपर स्टेकिंग जोड़ी। तीनों main पर और वर्तमान चेन पर हैं।

S2 से नीचे की पंक्तियाँ v0.5 का काम हैं। हर पंक्ति एक हार्ड फ़ोर्क है। इन्हें एक साथ एक नई चेन, चेन 14, के रूप में लागू किया गया। चेन 14 की शुरुआत 2026-09-20 को बिल्ड b3c594c से हुई। उसी दिन तैनात स्रोत एंडपॉइंट्स के माध्यम से एक लाइव zUSD राउंड ट्रिप के बाद इसे v0.5 के रूप में टैग किया गया। चेन 15, जो 2026-09-26 से v0.5.8 और बाद के संस्करणों पर लाइव रही, यह सब लेकर चली। उसमें ऑडिट v4 और v5 के जेनेसिस-नियंत्रित सुधार सक्रिय थे: प्रति-एपॉक बजट वाला अनुमति-सूचीबद्ध फ़ॉसेट, विलंबित बॉन्ड सक्रियण, स्टेक भार की सीमा, जेनेसिस से बंधे पंजीकरण, consensus_domain 1, ब्रिज नियम v2, तथा टोकन रजिस्ट्री की सीमा, बर्न किया जाने वाला पंजीकरण शुल्क और 2⁶³ की नोट सीमा। चेन 20 चेन 19 का हार्ड फ़ोर्क है और 2026-10-01 06:17 UTC से v0.6.8 (c9c9bd3c) पर लाइव है। यह यह सब बनाए रखती है और v0.6 रिलीज़ का काम जोड़ती है, जो नीचे सूचीबद्ध है।

v0.5 के बाद की रिलीज़

हर रिलीज़ एक git टैग है, और fullnode की CHANGELOG.md में उसकी एक प्रविष्टि होती है। जो रिलीज़ कंसेंसस, वायर फ़ॉर्मैट या किसी वेरिफ़ायर कुंजी को बदलती है, वह एक नई चेन के साथ आती है; बाकी रिलीज़ लाइव चेन पर एक-एक नोड करके लागू होती हैं।

आज यह कहाँ रुकता है

व्हाइटपेपर से विचलन, जिन्हें ढका नहीं गया बल्कि स्पष्ट रूप से बताया गया है। हर एक को क्रेट के अपने दस्तावेज़ीकरण में उस माइलस्टोन के साथ ट्रैक किया जाता है जो उसे बंद करता है।

• hc बाइंडिंग है पर हाइडिंग नहीं: इसमें कोई सॉल्ट नहीं है, इसलिए अनुमानित प्रोग्राम की पुष्टि की जा सकती है और एक ही प्रोग्राम के दो डिप्लॉयमेंट आपस में जोड़े जा सकते हैं। M3.4 ने जो हटाया वह यह है कि वेरिफ़ायर पूरा प्रोग्राम खुले रूप में रखता था।
• 2026-09-21 से पहले बना वॉलेट अपने नोड से विटनेस माँगता है, और विटनेस अनुरोध उस लीफ़ का नाम बताता है जिसे वह खर्च करने वाला है। वर्तमान rand ट्री की अपनी प्रति रखता है और कभी नहीं माँगता; पुराने वॉलेट के लिए नोड अब भी rand_getWitness उपलब्ध कराता है।
• सीमा पर जमा सार्वजनिक होते हैं: फ़ॉसेट मिंट, जेनेसिस नोट और ब्रिज जमा, तीनों अपनी राशि खुले रूप में रखते हैं (चेन 14 से मिंट और जेनेसिस नोट अपना ओपनिंग भी रखते हैं, इसलिए स्वामी कुंजी भी सार्वजनिक होती है); यह वही एक-हॉप दृश्यता है जो किसी भी जगह पारदर्शी से शील्डेड जमा में होती है।
• ज़ीरो नॉलेज सांख्यिकीय है, पूर्ण नहीं। Plonky3 0.7 का हाइडिंग FRI वास्तव में यही गुण देता है, और क्रेट यही बताता है।
• ट्रांसक्रिप्ट हैश डेवलपमेंट राउंड कॉन्स्टेंट वाला 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 तय की थी)।
• कॉल प्रूफ़ का हेडर छिपा नहीं होता। यह टियर तथा Keccak और SHA-256 तालिकाओं की ऊँचाइयाँ घोषित करता है, इसलिए यह दिखाता है कि कॉल ने हैशिंग की या नहीं। v0.6 प्रूवर सीमा से पहले चेन 15 पर कमिट की गई कॉलें इससे अधिक उजागर करती थीं: 2⁷ से कम पंक्तियों वाली निजी तालिका प्रूफ़ से पढ़ी जा सकती थी। v0.6 प्रूवर सीमा ने नई कॉलों के लिए इसे बंद किया, और hardening_v6 के साथ कंस्ट्रेंट सेट 7 ने इसे चेन 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 को हार्डवेयर पर चला और इसका अभी तक कोई प्रोडक्शन माप नहीं है।

रिपॉज़िटरी संरचना

फ़ुलनोड का Cargo वर्कस्पेस, जैसा उसके README और उसकी crates/ डायरेक्टरी में व्यवस्थित है।

विनिर्दिष्ट, पर अभी जारी नहीं

ये घटक पेपरों या फ़ुलनोड के दस्तावेज़ों में वर्णित हैं पर चल नहीं रहे: या तो रिपॉज़िटरी में अनुपस्थित हैं, या बने हुए हैं पर किसी भी चेन पर चालू नहीं। इन्हें इसलिए सूचीबद्ध किया गया है ताकि विनिर्देश और कोड के बीच का अंतर अनुमान पर नहीं, स्पष्ट रूप से पढ़ा जा सके।

बिल्ड और परीक्षण

हर रिपॉज़िटरी में मानक Rust वर्कफ़्लो लागू होता है। fullnode एक Cargo वर्कस्पेस है, जिसका टूलचेन पिन किया हुआ है और जिसमें एक क्लस्टर टेस्ट सूट है जो TCP पर वास्तविक नोड चलाता है। इसके बिल्ड के लिए circuits रिपॉज़िटरी का इसके बगल में circuits नाम की डायरेक्टरी में चेक-आउट होना आवश्यक है, और वह भी उसी कमिट पर जिससे vendored crates सिंक किए गए थे (v0.6.7 और v0.6.8 के लिए aeacf31)। zkVM, zkp-circuits में एक स्वतंत्र crate है। इसका टूलचेन पिन अलग है और इसमें एक डेमो है जो बताता है कि एक गोपनीय कॉल क्या प्रकट करती है और क्या नहीं।

fullnode:

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

16-vCPU मशीन पर v0.6.1 पर मापा गया fullnode सूट: core के 521 टेस्ट, node के 373, client के 117, धोखेबाज़ prover सूट के 116, hidden-bundle धोखाधड़ी के 21 (75 मिनट), वॉलेट फ़्लो के 6 (53 मिनट), क्लस्टर के 26 (44 मिनट) और zUSD एंड-टू-एंड गेट के 2 (51 मिनट)। रिकर्शन VM के प्रोडक्शन प्रूफ़ इस सूट से बाहर हैं और उनके लिए ऊपर बताई गई मेमोरी चाहिए।

नोड चलाना में बताया गया है कि इस बिल्ड के साथ सार्वजनिक testnet से कैसे जुड़ें। testnet का genesis, बूटस्ट्रैप पीयर और रन स्क्रिप्ट fullnode की deploy/ डायरेक्टरी में आते हैं, और डाउनलोड पेज पर इसका संक्षिप्त संस्करण है।

योगदान करें

fullnode, GNU General Public License v3.0 (GPL-3.0-only) के अंतर्गत लाइसेंस प्राप्त है। पहले यह Apache-2.0 के अंतर्गत था। बग और डिज़ाइन प्रस्तावों के लिए issue उसी रिपॉज़िटरी पर खोलें जिसे आपका बदलाव प्रभावित करता है। पुल रिक्वेस्ट का स्वागत है: सबमिट करने से पहले cargo fmt && cargo clippy चलाएँ और बदलावों का दायरा सीमित रखें। शुरुआत के लिए fullnode issues सही जगह है।

आर्किटेक्चर, प्राइवेसी सर्किट, फ़ी-टोकन प्रूफ़ और पोस्ट-क्वांटम ट्रेडऑफ़, सभी पेपर्स पेज पर उपलब्ध व्हाइटपेपर में प्रलेखित हैं। इस दस्तावेज़ीकरण के हर पेज की जाँच fullnode रिपॉज़िटरी की अपनी docs/ डायरेक्टरी से की जाती है।