ڈویلپرز

Rand اوپن سورس ہے۔ فل نوڈ، ایکسپلورر، برج، پروفنگ کی تحقیق اور والیٹ کلائنٹس، ہر ایک GitHub پر اپنی الگ ریپوزٹری میں موجود ہے۔ کوڈ پڑھیے، ٹیسٹ چلائیے، پیچ بھیجیے۔ یہ صفحہ نقشہ ہے: ہر جزو کہاں ہے، کس چیز سے بنا ہے، پروف سسٹم کہاں تک پہنچا ہے، اور آج اس کی حد کہاں ہے۔

ریپوزٹریاں

اسٹیک

اول تا آخر Rust۔ Rand اپنی الگ چین ہے: libp2p گوسپ لیئر کے ساتھ HotStuff BFT نوڈ، لیجر کے طور پر مکمل شیلڈڈ نوٹ پول، پوسٹ کوانٹم دستخط اور نوٹ انکرپشن، اور خفیہ کمپیوٹیشن کے لیے Rand zkVM، یہ سب فل نوڈ ریپوزٹری میں ہیں۔ خود پروف سسٹم وہ حصہ ہے جس پر فعال تحقیق جاری ہے، جس کا ذکر نیچے ہے۔

ہر پروگرام کے لیے ایک ہی ریلیشن

وائٹ پیپر کا عالمگیر عملدرآمدی ریلیشن R_exec کوڈ کی صورت میں موجود ہے: rand_zkvm، ایک RV32IM مشین جو Goldilocks فیلڈ پر Plonky3 کے ایک واحد بیچ STARK کے تحت ثابت کی جاتی ہے۔ یہ ثابت کرتی ہے کہ کسی ٹریس نے پروگرام hc کو، ایک نمکین H_IN کے ذریعے کمٹ شدہ اِن پٹس پر، ان عوامی آؤٹ پٹس تک چلایا، اور پروگرام کی کوئی بھی بات کبھی تصدیق کنندہ کا پیرامیٹر نہیں بنتی۔ خفیہ پروگرام شائع کرنے کا مطلب ایک ہیش رجسٹر کرنا ہے، کبھی بھی کوئی مخصوص سرکٹ تیار کرنا نہیں۔

پروف سسٹم شفاف ہے، اس میں نہ کوئی قابلِ اعتماد سیٹ اپ ہے اور نہ کوئی پیئرنگ کرو، اور اس کا مفروضہ ایک تصادم مزاحم ہیش ہے۔ پروفس سے واسطہ رکھنے والے ہر دوسرے جزو سے توقع ہے کہ وہ اپنا الگ نظام بنانے کے بجائے اسی کریٹ پر مجتمع ہو۔ یہ کریٹ zkp-circuits/research میں ہے اور فل نوڈ میں کنسٹرینٹ سیٹ 8 پر شامل (vendored) ہے (سرکٹس 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 اور رینج اور نِبل لُک اَپس) پر حقائق کا تبادلہ کرتے ہیں، اور تصدیق کنندہ جانچتا ہے کہ ہر بس عالمی سطح پر متوازن ہے۔ ہر جدول کا زیادہ سے زیادہ کنسٹرینٹ درجہ ایک ٹیسٹ کے ذریعے 8 کی اُس حد سے نیچے مقرر ہے جس کی FRI بلو اَپ اجازت دیتا ہے۔

اس کے بعد سے تین کنسٹرینٹ سیٹس شامل ہو چکے ہیں۔ سیٹ 6 نے پروگرام کے ڈیپلائے کے وقت کے عوامی اِن پٹ کے لیے ایک لازمی public جدول شامل کیا، جو غیر نمکین ڈائجسٹ H_PUB سے بندھا ہے، اور keccak کے ساتھ ایک اختیاری sha256 جدول۔ سیٹ 7 (چین 16) ہر LogUp ٹرمینل کو ایک نئی BLIND بس پر پوشیدہ کرتا ہے، ہر اعلان شدہ جدول کو کم از کم 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 کے تحت پروڈکشن پروفائل پر درجہ 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 کی مشین پر ثابت ہو چکی ہے؛ SPL Token کا ثبوت، درجہ 20 پر، ابھی نہیں بنا۔ سنگِ میل 5 بلاک ایگریگیشن کے پیچھے کارفرما ریکرشن VM ہے، جو تیار ہے اور ہر چین پر بند ہے۔ قیودی سیٹ 7 اور 8 ستمبر کے جائزوں اور گیس ماڈل کے بعد آئے۔

شیلڈڈ پول کے مراحل

فل نوڈ کا لیجر تین مراحل میں شامل ہوا، ہر ایک ہارڈ فورک (docs/shielded.md §7)۔ S1 نے اکاؤنٹ لیجر کی جگہ نوٹ پول رکھا؛ S3 نے برج کو نوٹس کی صورت میں واپس لایا اور سب سے پہلے شامل ہوا؛ S2 نے اس کے اوپر اسٹیکنگ رکھی۔ تینوں main پر اور موجودہ چین پر موجود ہیں۔

بلاک S2 سے نیچے کی قطاریں v0.5 کا کام ہیں۔ ہر قطار ایک ہارڈ فورک ہے؛ انہیں یکجا کر کے ایک نئی چین، chain 14، کی صورت میں 2026-09-20 کو بلڈ b3c594c سے کاٹا گیا، اور اسی دن ڈیپلائے شدہ سورس اینڈپوائنٹس کے ذریعے zUSD کے ایک لائیو راؤنڈ ٹرپ کے بعد اسے v0.5 کا ٹیگ دیا گیا۔ Chain 15، جو 2026-09-26 سے v0.5.8 اور بعد کے ورژنز پر لائیو ہے، یہ سب کچھ لے کر چلی، اور اس میں آڈٹ v4 اور v5 کی وہ اصلاحات فعال کی گئیں جو جینیسس سے مشروط تھیں: فی ایپوک بجٹ کے ساتھ اجازت فہرست والا فاسیٹ، بانڈ کی مؤخر فعالیت، اسٹیک کے وزن کی حد، جینیسس سے بندھی رجسٹریشنز، consensus_domain 1، برج قواعد v2، اور ٹوکن رجسٹری کی حد، جلائی جانے والی رجسٹریشن فیس اور 2⁶³ کی نوٹ حد۔ Chain 20، جو 2026-10-01 06:17 UTC سے v0.6.8 (c9c9bd3c) پر لائیو ہے اور chain 19 کا ہارڈ فورک ہے، یہ سب برقرار رکھتی ہے اور v0.6 ریلیزز کا کام شامل کرتی ہے، جس کی فہرست نیچے دی گئی ہے۔

v0.5 کے بعد کی ریلیزز

ہر ریلیز ایک git ٹیگ ہے جس کا اندراج فل نوڈ کی 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 کو ہارڈویئر پر چلا اور اس کی ابھی کوئی پیداواری پیمائش نہیں۔

ریپوزٹری کی ساخت

fullnode کا Cargo ورک اسپیس، جیسا کہ اس کے README اور اس کی crates/ ڈائریکٹری میں ترتیب دیا گیا ہے۔

متعین، مگر ابھی جاری نہیں

یہ اجزاء مقالوں یا fullnode کی دستاویزات میں بیان کیے گئے ہیں مگر چل نہیں رہے: یا تو ریپوزٹریز سے غائب ہیں، یا بنے ہوئے ہیں اور کسی چین پر فعال نہیں۔ انہیں اس لیے درج کیا گیا ہے کہ تفصیل اور کوڈ کے درمیان فرق اندازے کے بجائے واضح طور پر پڑھا جا سکے۔

تعمیر اور جانچ

ہر ریپوزٹری میں معیاری Rust طریقۂ کار۔ fullnode ایک Cargo workspace ہے جس کا toolchain مقررہ ورژن پر بندھا ہے، اور اس میں ایک cluster ٹیسٹ سوئٹ ہے جو TCP پر حقیقی نوڈ چلاتا ہے۔ اس کی تعمیر کے لیے circuits ریپوزٹری کا اس کے پہلو میں circuits نامی ڈائریکٹری میں checkout ہونا ضروری ہے، اور وہ بھی اسی commit پر جس سے vendored crates ہم آہنگ کیے گئے تھے (v0.6.7 اور v0.6.8 کے لیے aeacf31)۔ zkVM، zkp-circuits میں ایک خود مختار crate ہے جس کا toolchain الگ سے مقررہ ورژن پر بندھا ہے۔ اس کے ساتھ ایک ڈیمو بھی ہے جو بیان کرتا ہے کہ ایک خفیہ کال کیا ظاہر کرتی ہے اور کیا ظاہر نہیں کرتی۔

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

v0.6.1 پر 16-vCPU مشین پر ناپا گیا fullnode سوئٹ یہ ہے: core کے 521 ٹیسٹ، node کے 373، client کے 117، دھوکے باز prover کا سوئٹ 116، پوشیدہ bundle کے دھوکے 21 (75 منٹ)، والیٹ کا بہاؤ 6 (53 منٹ)، cluster کے 26 (44 منٹ) اور zUSD کا end-to-end گیٹ 2 (51 منٹ)۔ recursion VM کے پروڈکشن ثبوت اس سوئٹ سے باہر ہیں اور انہیں اوپر درج کردہ میموری درکار ہے۔

نوڈ چلانا بتاتا ہے کہ اس بلڈ کے ساتھ عوامی testnet میں کیسے شامل ہوا جائے۔ testnet کا genesis، بوٹ اسٹریپ peers اور چلانے کے اسکرپٹ fullnode کی deploy/ ڈائریکٹری میں فراہم کیے جاتے ہیں، اور ڈاؤن لوڈ کے صفحے پر اس کا مختصر خلاصہ موجود ہے۔

تعاون کریں

fullnode، GNU General Public License v3.0 (GPL-3.0-only) کے تحت لائسنس یافتہ ہے۔ اس سے پہلے یہ Apache-2.0 کے تحت تھا۔ خرابیوں اور ڈیزائن کی تجاویز کے لیے اسی ریپوزٹری پر issue کھولیں جس پر تبدیلی اثر انداز ہوتی ہے۔ pull requests کا خیرمقدم ہے۔ جمع کرانے سے پہلے cargo fmt && cargo clippy چلائیں اور تبدیلیوں کا دائرہ محدود رکھیں۔ آغاز کے لیے fullnode کے issues بہترین جگہ ہیں۔

فن تعمیر، رازداری کا سرکٹ، فیس ٹوکن کا ثبوت اور پوسٹ کوانٹم سمجھوتہ، سب مقالات کے صفحے پر موجود وائٹ پیپر میں درج ہیں۔ fullnode ریپوزٹری کی اپنی docs/ ڈائریکٹری وہ ماخذ ہے جس سے اس دستاویزات کے ہر صفحے کی جانچ کی جاتی ہے۔