تحقیقی مقالات
Rand Protocol مطبوعہ شکل میں بیان کیا گیا ہے۔ چھ مقالے اس وقت جاری ہیں: پروٹوکول مقالہ اپنے تیسرے مسودے میں، حوالہ نفاذ کا مقالہ جو اس نوڈ کے مطابق لکھا گیا ہے جس پر ٹیسٹ نیٹ ورک چلتا ہے، برج رپورٹ، شیلڈڈ ڈالر پر zUSD مقالہ، علیحدہ سکیورٹی تجزیہ، اور سرمایہ کار خلاصہ۔ ہر PDF مستند ماخذ ہے — اسے ڈاؤن لوڈ کیجیے، اس کا حوالہ دیجیے، اس کا آڈٹ کیجیے۔ جہاں ڈیزائن کی حدود ہیں، مقالے انہیں چھوڑنے کے بجائے بیان کرتے ہیں۔
- وائٹ پیپرSTARKپروف آف اسٹیک · BFTEVMپوسٹ کوانٹم
Rand Protocol
خفیہ اختیاری حسابات
مسودہ 3 · اگست 2026، ستمبر 2026 میں تازہ کاری · 73 صفحات
ہم Rand پیش کرتے ہیں، ایک proof-of-stake بلاک چین جس کا بازنطینی خطا برداشت (BFT) اتفاقِ رائے تیز اور قطعی حتمیت فراہم کرتا ہے، اور جس کی ہر ٹرانزیکشن ایک zero-knowledge ثبوت ہے۔ اتفاقِ رائے کا وزن صرف بانڈ شدہ اسٹیک سے آتا ہے: کوئی حساب نہ ووٹ کا حق دیتا ہے، نہ قائد چنتا ہے، نہ کسی فورک کا فیصلہ کرتا ہے۔ البتہ چین میں اتفاقِ رائے کے ساتھ ساتھ ثبوت سازی کا بڑا کام ہوتا ہے: ہر والیٹ اپنی ٹرانزیکشن کے لیے ایک STARK تیار کرتا ہے، اور جب بلاک کی سطح پر ثبوتوں کا مجموعہ سازی فعال ہو جائے تو بانڈ شدہ ایگریگیٹر صارفین کے ثبوتوں پر تکراری STARK تیار کر کے RAND کماتے ہیں۔ ویلیڈیٹر اپنے تجویز کردہ بلاکوں کی فیس کماتے ہیں؛ اسمارٹ کنٹریکٹ کی معنویت Ethereum Virtual Machine (EVM) کی ہے۔ مقالہ خود zero-knowledge طریقۂ کار کی وضاحت کرتا ہے — کس طرح ایک حساب جدول بنتا ہے، جدول کثیر رکنیوں کا مجموعہ، اور کثیر رکنیاں فی منتقلی تقریباً 1.4 MB کا ایک ثبوت جسے کوئی بھی ویلیڈیٹر چند ملی سیکنڈ میں جانچ لیتا ہے۔ Rand ایک عمومی اسمارٹ کنٹریکٹ چین ہے جس میں کوئی شفاف ٹرانزیکشن قسم سرے سے موجود نہیں: ہر حساب — خواہ ٹوکن کی منتقلی ہو یا کسی کنٹریکٹ کی اختیاری کال — اپنی ساخت ہی سے خفیہ طور پر انجام پاتا ہے۔ صارفین شیلڈڈ RAND رکھتے ہیں، اسی سے گیس ادا کرتے ہیں، اور ایسا اختیاری کوڈ چلاتے ہیں جس کے ان پٹ، عاملین اور درمیانی حالت کبھی چین پر ظاہر نہیں ہوتے، جبکہ ویلیڈیٹر ایک واحد STARK کی تصدیق کرتے ہیں کہ عمل درست تھا۔ EVM وہ معنویت فراہم کرتا ہے جس کے مقابل عمل کو ثابت کیا جاتا ہے، سرکٹ کے اندر ایک مترجم مہمان کی صورت میں، چنانچہ موجودہ Solidity بائٹ کوڈ بغیر ترمیم کے چلتا ہے؛ یہ شیلڈڈ راستے کے ساتھ کوئی شفاف عمل کا راستہ نہیں ہے۔
یہ نظرِ ثانی ایک تحقیقی سمت کے طور پر، جو نافذ نہیں کی گئی، قابلِ تصدیق ثابت کنندہ انتساب (VPA) کی تجویز بھی پیش کرتی ہے۔ رواں چین اسے استعمال نہیں کرتی: اس کے والیٹ اپنی ٹرانزیکشنز خود ثابت کرتے ہیں، اس کا قائد باری باری چنا جاتا ہے، اس کا mempool خفیہ کردہ نہیں، اور اس میں بانڈ شدہ ثبوت سازی کا واحد کردار ایگریگیٹر رجسٹر ہے، جہاں کسی بنڈل کا احاطہ کرنے والے پہلے حتمی مجموعی ثبوت کو ادائیگی ہوتی ہے؛ حصہ دوم اسی صورتِ حال کے بیان سے شروع ہوتا ہے، اور اس کے مسائل تجویز کے بارے میں بیانات ہیں، نافذ شدہ نظام کے بارے میں نہیں۔ اصل مسودے نے ثابت کیا تھا کہ ایک نجی ٹرانزیکشن کا سرکٹ مطمئن ہوا، مگر اس بارے میں کچھ نہیں کہا تھا کہ ثبوت ثابت کنندگان کو کیسے تفویض ہوتے ہیں، ثابت کنندہ کسی بیچ کو کس ترتیب کے تحت ثابت کرتا ہے، یا تصدیق کنندہ کو کیسے معلوم ہوتا ہے کہ ثبوت جمع کرانے والا وہی ہے جس نے اسے اُن شرائط کے تحت تیار کیا جن کی پروٹوکول ترغیب دیتا ہے۔ ایک STARK اس بات کی تصدیق کرتا ہے کہ سرکٹ مطمئن ہوا؛ یہ اُن شرائط کی تصدیق نہیں کرتا جن کے تحت وہ مطمئن ہوا۔ ہم دکھاتے ہیں کہ یہ خلا تین ٹھوس حملہ گاہیں کھولتا ہے — ثابت کنندہ اور ویلیڈیٹر کی ملی بھگت، ثابت کنندہ کی جانب سے MEV، اور Sybil/غیر جواب دہ کام — ہر ایک کو رسمی صورت دیتے ہیں، اور انہیں بند کرنے کے لیے ایک قابلِ بازحساب تفویضی بیکن، سربمہر (حدِ آستانہ پر خفیہ کردہ) mempool کے ساتھ ایک معیاری ترتیب، اور ایک post-quantum ثبوت بردار تصدیق نامہ تجویز کرتے ہیں۔ چنانچہ ہم مسودے کے اس دعوے کو کہ “نجی ٹرانزیکشنز front-running کا خاتمہ کرتی ہیں” ایک مشروط مسئلے کی صورت میں ازسرِنو بیان کرتے ہیں — جس کی شرائط رواں چین پوری نہیں کرتی، لہٰذا اس چین پر مواد پوشیدہ ہے مگر ترتیب محفوظ نہیں۔
مزید برآں ہم اصل سیکیورٹی تجزیے کے تین داخلی تضادات دور کرتے ہیں: (i) ~85-bit کوانٹم تصادمی درستی (BHT حد) اور خلاصے/پیرامیٹر جدولوں کے 128-bit post-quantum دعوے کے درمیان تضاد، جسے ڈیزائن میں 384-bit ٹرانسکرپٹ ہیش اور ہر بنیادی جزو کے لیے سیکیورٹی کی علیحدگی کے ایک صریح مسئلے سے دور کیا گیا ہے (نفاذ اب بھی 256-bit ٹرانسکرپٹ ہیش استعمال کرتا ہے، ≈85 کوانٹم بِٹ)؛ (ii) قائد کے انتخاب کا غیر متعین VRF، جو کسی بیضوی منحنی پر قائم کیے جانے کی صورت میں Shor کے ذریعے ٹوٹ جاتا ہے، جس کے لیے ہم ہیش پر مبنی خفیہ نگارانہ قرعہ اندازی کے ساتھ ایک post-quantum commit–reveal بیکن متعین کرتے ہیں (نافذ نہیں: رواں چین قائدین کو باری باری بدلتی ہے اور اس میں کوئی VRF سرے سے نہیں)؛ اور (iii) ناکافی طور پر متعین Goldilocks میدان، جس کے لیے ہم درجہ-k توسیع لازم قرار دیتے ہیں اور FRI کی درستی کو استفسارات کی تعداد اور grinding بجٹ سے مربوط کرتے ہیں۔ یہ نظرِ ثانی عمل کی پرت کو Solana Virtual Machine سے Ethereum Virtual Machine (EVM) پر منتقل بھی کرتی ہے، جس سے ERC-20 اثاثے اور Solidity کنٹریکٹ شیلڈڈ ٹرانزیکشن ماڈل کے تحت آ جاتے ہیں، اور بیچ وار گیس تصفیہ متعارف کراتی ہے: چونکہ شیلڈڈ RAND میں فی ٹرانزیکشن گیس کی وصولی بذاتِ خود EVM کال (اور یوں چھوئے گئے ERC-20 کنٹریکٹ) کا شناخت افشا کرنے والا نشان ہے، اس لیے گیس کو سرکٹ کے اندر عوامی مقداری درجات سے وابستہ کیا جاتا ہے اور فی بیچ ایک واحد مجموعی وصولی کے طور پر منہا کیا جاتا ہے، چنانچہ چین پر نقش فی بیچ ایک کُل میزان ہوتا ہے، نہ کہ فی اکاؤنٹ، فی کال کٹوتی۔ آخر میں ہم خفیہ نگارانہ لچک کی منتقلی کا ایک لائحہ عمل دیتے ہیں جو SNARKs پر آغاز کرتا ہے، شفاف STARKs پر ترقی کرتا ہے، اور ~18 ماہ کی مدت میں (متوازی فیصلہ کن راستے پر ~14 ماہ) مکمل post-quantum سیکیورٹی تک مستحکم ہوتا ہے، اور ہر مرحلہ اس طرح مشروط ہے کہ وہ اتفاقِ رائے کا فورک نہیں بلکہ پیرامیٹر کی تبدیلی ہو۔
اگست 2026 کی یہ نظرِ ثانی شیلڈڈ ماڈل کو قدر کی منتقلی سے بڑھا کر خفیہ اختیاری حساب تک وسعت دیتی ہے: ہم منتقلی کے رشتے کو STARK سے ثابت شدہ ورچوئل مشین پر ایک آفاقی عمل کے رشتے میں عام کرتے ہیں، مقامی اور تفویض شدہ GPU ثبوت سازی کی ساختیں ان کی عین رازداری کی حد کے ساتھ متعین کرتے ہیں، اور ڈیزائن کو ثبوتی نظاموں (Groth16، PLONK، Halo2، HyperPlonk، FRI-STARKs)، عمومی مقصد کے zkVMs (RISC Zero، SP1، Cairo/Stwo، Miden، Jolt، OpenVM)، zkEVM rollups، اور رازداری چینز (Aztec، Aleo، Miden، Zcash) کے موجودہ منظرنامے کے تناظر میں رکھتے ہیں، جن کی گیس ادائیگی اور ثابت کنندہ کی تفویض کی خامیاں براہِ راست RAND کے شیلڈڈ گیس اور VPA ڈیزائنوں کا محرک ہیں۔ ہم اس ثابت کنندہ منڈی کا تجزیہ کرتے ہیں جو ترغیبی پرت سے لازم آتی ہے، اور دکھاتے ہیں کہ فی ثبوت لاگت توانائی سے نہیں بلکہ استعمال کی شرح سے طے ہوتی ہے، اور یہ کہ ایک سیر شدہ نیٹ ورک کی ثبوت سازی کی طلب چند درجن GPUs سے پوری ہو جاتی ہے — لہٰذا ثابت کنندگان کی عدم مرکزیت کا جواز سیکیورٹی بجٹ کے بجائے فعالیت اور رازداری سے پیش کیا جانا چاہیے، کیونکہ درستی ثابت کنندگان کے مجموعے پر منحصر نہیں۔ آخر میں ہم متعین کرتے ہیں کہ بیرونی ڈالر ضمانت — USDT اور USDC — کو ایک تصدیق شدہ lock-and-mint برج کے ذریعے Rand پر شیلڈڈ z-اثاثوں کی صورت میں کیسے درآمد کیا جاتا ہے، جو شیلڈڈ پول کو ایک مستحکم اکائیِ حساب فراہم کرتا ہے اور اس کے لیے اجرا کنندگان کو مقامی طور پر تعیناتی کی ضرورت نہیں پڑتی — ایک ایسا تجارتی انحصار جو بصورتِ دیگر پروٹوکول کی ادائیگیوں کی کہانی کو کسی تیسرے فریق کے لائحہ عمل کا پابند بنا دیتا۔ ہم اس خاصیت کو الگ کر کے دکھاتے ہیں جو ایسے برج کو درست بناتی ہے اور جسے نظرانداز کرنا سب سے آسان ہے: نگہبانوں کا کورم اس بات کی تصدیق کرتا ہے کہ کوئی پیغام کسی زیرِ نگرانی چین پر شائع ہوا، نہ کہ یہ کہ برج نے اسے تحریر کیا، لہٰذا اجازت سے آزاد پیغام رسانی پرت پر دستخط کا درست ہونا اختیار کو لازم نہیں کرتا اور emitter سے وابستگی بنیادی حیثیت رکھتی ہے۔ ہم تحویل کی درستی کی ایک حد ثابت کرتے ہیں جو نقصان کو نگہبان مفروضے سے آزادانہ طور پر فی چین تحویل تک محدود کرتی ہے، دکھاتے ہیں کہ شیلڈڈ z-اثاثوں کی رسد کسی نوٹ کو کھولے بغیر اس تحویل کے مقابل عوامی طور پر قابلِ آڈٹ رہتی ہے، اور برج کو نظام کی post-quantum سرحد کے طور پر شناخت کرتے ہیں: secp256k1 نگہبان دستخط Shor کے ذریعے ٹوٹ جاتے ہیں، چنانچہ رہائی کا راستہ اس وقت تک صرف کلاسیکی طور پر محفوظ رہتا ہے جب تک ماخذ چینز post-quantum precompiles جاری نہ کریں، خواہ Rand کی جانب کو کتنا ہی مستحکم کیا جائے۔
بنیادی نتائج- مسئلہ 5.3 — گیس ادائیگی میں رازداری کا افشا
- مسئلہ 7.9 — بیچ وار گیس کی رازداری
- مسئلہ 10.6 — تصدیق اختیار کو لازم نہیں کرتی
- مسئلہ 10.14 — تحویل کی درستی
- مسئلہ 10.19 — برج ہی پوسٹ کوانٹم سرحد ہے
- مسئلہ 13.2 — انتساب کا خلا
- مسئلہ 15.4 — فرنٹ رننگ، تصحیح شدہ اور مشروط
- مسئلہ 15.9 — VPA کی صحت
- مسئلہ 18.1 — ہر بنیادی جزو کے لحاظ سے کوانٹم سلامتی کی علیحدگی
- مسئلہ 19.2 — FRI کی صحت، پیرامیٹری
ڈرافٹ 3 نے ڈرافٹ 1 اور 2 کی جگہ لے لی ہےڈرافٹ 1 (دسمبر 2025) اور ڈرافٹ 2 (مئی 2026 کی VPA نظرِ ثانی) واپس لے لیے گئے ہیں۔ سابقہ تجزیے کی اپنی تین غلطیوں کو نظرانداز کرنے کے بجائے درست کیا گیا ہے: 128 بٹ پوسٹ کوانٹم دعویٰ 256 بٹ ہیش کی 85 بٹ کوانٹم تصادم حد سے متصادم تھا؛ لیڈر کے انتخاب کا VRF بیضوی منحنی پر مبنی ہونے کے باعث Shor کے ذریعے توڑا جا سکتا تھا؛ اور سادہ Goldilocks دعویٰ کردہ FRI صحت کا بار نہیں اٹھا سکتا۔ اجرائی پرت SVM سے EVM پر منتقل ہوتی ہے اور دوہرا ٹوکن سمٹ کر صرف RAND رہ جاتا ہے۔ ستمبر 2026 کی تازہ کاریاں ڈیزائن کو چین 15 تک کے ریفرنس فل نوڈ سے ہم آہنگ کرتی ہیں: Rand کو صاف طور پر پروف آف اسٹیک بیان کیا گیا ہے، زیرو نالج اسکیم پوری تفصیل سے لکھی گئی ہے، اور VPA کو ایک ایسی تجویز قرار دیا گیا ہے جسے چلتی ہوئی چین استعمال نہیں کرتی۔
- نفاذzkVM · RISC-VHotStuffچین 15Testnet
Rand Protocol — ریفرنس نفاذ
ایک شیلڈڈ لیجر اور STARK سے تصدیق شدہ ورچوئل مشین، جیسا کہ تعینات ہے
نفاذی مسودہ 3 · ستمبر 2026 · 46 صفحات
روایتی مالیات میں تصفیے کے نظام بطورِ طے شدہ رازدارانہ ہوتے ہیں: کھاتوں کے بیلنس اور منتقلی کے ریکارڈ کھاتہ دار، ادارے اور قانونی کارروائی کے تحت کسی نگران ادارے کو نظر آتے ہیں، اور کسی اور کو نہیں۔ عوامی بلاک چینز اس خاصیت کو الٹ دیتی ہیں۔ Ethereum اور Solana پر عالمی اسٹیٹ اور زیرِ التوا ٹرانزیکشنز کی قطار ہر شریک کے لیے قابلِ مشاہدہ ہے، جس سے ادارہ جاتی آرڈر فلو منظم فرنٹ رننگ کی زد میں آ جاتا ہے اور ہر اسٹیبل کوائن منتقلی کے فریقین اور رقوم افشا ہو جاتی ہیں۔ فی الحال کوئی پروڈکشن پروٹوکول بینک لیجر کی رازداری کو عوامی چین کے متعین تصفیے، شفاف تصدیق اور پوسٹ کوانٹم سلامتی کے ساتھ یکجا نہیں کرتا۔
یہ مقالہ Randprotocol کو پیش کرتا ہے، ایک لیئر ون بلاک چین جو اس خلا کو پُر کرنے کے لیے ڈیزائن کی گئی ہے، اس صورت میں جیسا کہ اسے اس کے ریفرنس فل نوڈ میں نافذ کیا گیا ہے۔ مقامی اثاثہ، RAND، صرف ایک مکمل طور پر شیلڈڈ پول میں نوٹوں کی صورت میں موجود ہے: گہرائی 32 کا Poseidon2 کمٹمنٹ ٹری اور ایک نلیفائر سیٹ کھاتوں کی جگہ لیتے ہیں، اور ہر منتقلی دو اِن پٹ اور دو آؤٹ پٹ کا ایک مقررہ بنڈل ہے جس کی درستی ایک واحد مقررہ RISC-V گیسٹ پروگرام کے اجرا کے شفاف، ہیش پر مبنی STARK ثبوت سے قائم ہوتی ہے۔ یہی ثبوتی نظام رازدارانہ اختیاری حساب کی بھی معاونت کرتا ہے: RV32IM پروگرام مواد کے ہیش کے ذریعے تعینات کیے جاتے ہیں اور اپنے اِن پٹس کے بجائے اجرا کے ثبوت کے ساتھ طلب کیے جاتے ہیں، اور چین آٹھ عوامی آؤٹ پٹ الفاظ درج کرتی ہے۔ اتفاقِ رائے زنجیری HotStuff ہے جس میں اسٹیک کے وزن پر مبنی کورم، مسلسل تین ویوز کا کمٹ قاعدہ اور ایک عوامی رجسٹر سے اخذ کردہ ایپوک پر مبنی ویلیڈیٹر سیٹ شامل ہیں؛ اسٹیک پول سے بانڈ کیا جاتا ہے اور واپس اسی میں نکالا جاتا ہے۔ ایک گارڈین سے تصدیق شدہ برج چار بیرونی چینز سے اثاثوں کو نوٹوں کی صورت میں جمع کرتا ہے۔ ویلیڈیٹر دستخط CRYSTALS-Dilithium2 ہیں اور نوٹ لفافے ChaCha20-Poly1305 کے ساتھ ML-KEM-768 استعمال کرتے ہیں۔
ہم نفاذ کو جزو بہ جزو بیان کرتے ہیں اور پھر تعینات شدہ پیرامیٹرز کے مقابل اس کا باضابطہ تجزیہ پیش کرتے ہیں: نو جدولوں والی زیرو نالج ورچوئل مشین سے ثابت کیے گئے بنڈل اور کال روابط، بشمول ٹینٹ اکیومولیٹر کی وہ تعمیر جو سرکٹ کے اندر دعوے کی جانچ کا متبادل ہے؛ پروگرام ڈائجسٹ اور نمک آمیز اِن پٹ کمٹمنٹ کو باندھنے والے لک اپ بس دلائل؛ پروڈکشن پروفائل (80 سوالات، 20 گرائنڈنگ بٹس، بلو اپ 8، Goldilocks فیلڈ کی درجہ 2 توسیع) کی FRI صحت، جو قربتی خلا کی ثابت شدہ حد اور ethSTARK قیاس دونوں کے تحت بیان کی گئی ہے؛ پول کی قدر کے توازن اور رسد کے آڈٹ کے متطابقات؛ اور ایپوک سے باخبر اتفاقِ رائے کے قواعد کا تحفظ اور فعالیت۔
تجزیہ اُن خصوصیات کی نشاندہی کرتا ہے جو نفاذ ابھی فراہم نہیں کرتا۔ فیس، اسٹیک کے وزن، پول کی سرحد پر جمع کی گئی رقوم اور پروگراموں کی شناختیں عوامی ہیں؛ موجودہ والیٹ جس نوڈ سے استفسار کرتا ہے اس پر وہ لیف ظاہر کر دیتا ہے جسے وہ خرچ کرنا چاہتا ہے؛ 80 سوالات والا ثبوت تقریباً 1.3 MB جگہ لیتا ہے (چین 14 کے بعد سے چار سلاٹ والے بنڈل کے لیے 1.43 MB)، جس سے 4 MiB کا بلاک تین شیلڈڈ منتقلیوں تک محدود ہو جاتا ہے (چین 14 سے دو؛ چین 15 بلاک کو 20 MiB تک بڑھا دیتی ہے)؛ بلاک کی سطح پر ثبوتوں کا اجتماع، سلیشنگ اور EVM و SVM گیسٹ بنیادی نظرِ ثانی کے وقت زیرِ تکمیل تھے (گیسٹ اس کے بعد شامل کر لیے گئے ہیں، اگرچہ درجہ 14 کی کال حد کے تحت EVM کالز ناقابلِ قبول ہیں، اور بانی کی زیرِ قیادت آڈٹ کے تین دور اس کے بعد مکمل ہو چکے ہیں؛ کوئی آزاد آڈٹ نہیں کیا گیا)؛ اور GPU پروور کو ہارڈ ویئر پر چلایا نہیں گیا۔ سافٹ ویئر 26 ویلیڈیٹرز کے ایک ٹیسٹ نیٹ ورک پر تعینات ہے (2026-09-29 سے چین 17، ہر ویلیڈیٹر بانی ٹیم کے زیرِ انتظام) اور قدر کے حامل استعمال کے لیے موزوں نہیں ہے۔
بنیادی نتائج- مسئلہ 5.8 — علمی صحت، مشروط
- مسئلہ 5.11 — شماریاتی زیرو نالج
- مسئلہ 5.12 — FRI کی صحت، جیسا کہ نافذ کی گئی
- مسئلہ 5.14 — تعینات شدہ نظام کی ہر بنیادی جزو کے لحاظ سے سلامتی
- مسئلہ 5.17 — پول کی قدر کا توازن
- مسئلہ 5.22 — تحفظ
- مسئلہ 5.24 — GST کے بعد فعالیت
- مسئلہ 5.28 — برج پوسٹ کوانٹم نہیں ہے
fullnode 26ab1d4 کی بنیاد پر لکھا گیا، 8e64781 تک کے ضمیموں کے ساتھنظام کے بارے میں ہر بیان کمٹ 26ab1d4 (برانچ main، 2026-09-16) پر موجود ریفرنس نوڈ سے متعلق ہے: شیلڈڈ پول، اسٹیکنگ، نوٹوں اور کال لفافوں کی صورت میں برج، zkVM کی پابندیوں کا مجموعہ 6، ریکرشن VM، اور بلاک کی سطح کا اجتماع، جو ضم ہو چکا ہے مگر جینیسس سے مشروط ہے۔ بعد کے دو مراحل، جہاں نوڈ آگے بڑھا، نشان زدہ ضمیموں کی صورت میں درج ہیں: 2026-09-24 (d050259، v0.5–v0.5.5، چین 14 — چار سلاٹ والا پوشیدہ اثاثہ بنڈل، ٹوکن رجسٹری، مضبوط کیا گیا برج) اور 2026-09-27 (8e64781، v0.5.6–v0.5.8، چین 15 — کال ہیڈر پن اور درجے کی حد، منجمد Poseidon2 مستقلات، اجتماعی بندش)۔
- برجلاک اینڈ منٹECDSA · Dilithium2چار چینز
Rand برج
شیلڈڈ پول میں تصدیق شدہ لاک اینڈ منٹ، پوسٹ کوانٹم شریک دستخطوں کے ساتھ
تکنیکی رپورٹ، ڈرافٹ 1 · ستمبر 2026 · 13 صفحات
Rand ایک رازدارانہ بلاک چین ہے جس کی قدر شفاف بیلنس کے بجائے شیلڈڈ پول میں کمٹمنٹس کی صورت میں موجود رہتی ہے۔ اس کی ادائیگیوں کی کہانی کو ایک مستحکم اثاثے کی ضرورت ہے، اور کوئی جاری کنندہ بغیر حجم والی چین پر مقامی طور پر ایسا اثاثہ جاری نہیں کرتا۔ Rand برج Ethereum، BNB Smart Chain، Tron اور Solana سے USDT اور USDC کو ایک واحد شیلڈڈ ڈالر، zUSD، کی صورت میں درآمد کرتا ہے، جس کی پشت پر ان چینز پر ایک کے بدلے ایک تحویل موجود ہے۔ یہ رپورٹ برج کو اسی طرح بیان کرتی ہے جیسا وہ تعمیر کیا گیا ہے: 184 بائٹ کا منتقلی پیغام اور اس کی دستخط کی دو پرتیں — ہر پیغام کے لیے secp256k1 گارڈین کورم اور Rand میں ہر منٹ پر Dilithium2 شریک دستخط کورم، دونوں آج آٹھ میں سے چھ؛ جمع کرانے کا راستہ جو ایک ایسے نوٹ پر ختم ہوتا ہے جسے چین خود تصدیق شدہ رقم سے اخذ کرتی ہے؛ نکاسی کا راستہ جس میں برن اپنے ثبوت سے بندھا ہوتا ہے اور ہر چین کے تحویلی کاؤنٹرز کے مقابل ریلیز کیا جاتا ہے؛ نظم و نسق کی سطح (ایک دن کی رعایتی مدت کے ساتھ گارڈینز کی تبدیلی، صریح فہرست سازی، ایک یک طرفہ توقف جسے صرف پوسٹ کوانٹم کورم ہی ختم کر سکتا ہے)؛ اور گھڑی کے وہ قواعد جو برج سے جڑی ہوئی چین اپنے ہی اتفاقِ رائے پر عائد کرتی ہے۔
ہم اُن خصوصیات کو بیان اور ثابت کرتے ہیں جو یہ تعمیر فراہم کرتی ہے — کورم کی ناقابلِ جعل سازی، ایمیٹر بندش کی ناگزیریت، تحویل کی صحت، رسد کی آڈٹ پذیری، اور وہ غیر متناسب پوسٹ کوانٹم حد جس کے تحت Shor کی صلاحیت رکھنے والا مخالف جعلی ریلیز تو بنا سکتا ہے مگر جعلی منٹ نہیں — اور اتنی ہی احتیاط سے یہ بھی بیان کرتے ہیں کہ یہ کیا فراہم نہیں کرتی: گارڈینز نہ تو بانڈ شدہ ہیں اور نہ سلیش کیے جا سکتے ہیں، اور اگرچہ آٹھ میں سے چھ کلیدیں اب اپنے الگ میزبانوں پر چلتی ہیں، ایک ہوسٹنگ اکاؤنٹ اور ایک آپریٹر کلید اب بھی ان سب تک رسائی رکھتے ہیں۔ تعیناتی کے پتے، پیغامات کے سائز، گیس کی لاگت اور براہِ راست دوروں کے نتائج رپورٹ کیے گئے ہیں۔
بنیادی نتائج- قضیہ 5.1 — رخ موڑنے کی ممانعت
- مسئلہ 5.2 — تحویل کی صحت
- مسئلہ 8.1 — کورم کی ناقابلِ جعل سازی
- مسئلہ 8.3 — تصدیق اجازت نہیں ہے
- مسئلہ 8.4 — برج شدہ رسد کی آڈٹ پذیری
- مسئلہ 8.5 — پوسٹ کوانٹم عدم تناسب
پروٹوکول مقالے کے پل والے حصے کا ضمیمہیہ پل کو اسی صورت میں بیان کرتا ہے جس میں وہ نافذ ہے۔ اس میں وہی علامات استعمال ہوئی ہیں جو پروٹوکول مقالے کے کراس چین حصے میں ہیں، اور یہ اس سے پوری طرح مطابقت رکھتا ہے۔ 2026-09-25 کو نگہبان سیٹ 1 (آٹھ میں سے چھ، secp256k1) نے پانچ میں سے چھ والے اصل سیٹ کی جگہ لی، اور 2026-09-26 کو chain-15 کے آغاز (genesis) پر Dilithium2 سیٹ چھ سے بڑھ کر آٹھ کلیدوں کا ہو گیا۔
- پوشیدہ اسٹیبل کوائنمکمل ذخیرہکئی چینز · کئی جاری کنندگانچین 15
zUSD — Rand پر مکمل ذخیرے والا پوشیدہ ڈالر
قدر کی وابستگی کے خطرے کے بغیر خفیہ اسٹیبل کوائن منتقلیاں، کئی چینز اور کئی جاری کنندگان پر مشتمل مقفل ذخیرے کی بنیاد پر
ستمبر 2026 · zUSDT (دسمبر 2025، نظرِ ثانی اگست 2026) کی جگہ لیتا ہے · 11 صفحات
zUSD مکمل ذخیرے پر مبنی ہے۔ اس کی ہر اکائی کی پشت پر ایک کے بدلے ایک ڈالر اسٹیبل کوائن موجود ہے، جو اس چین کے ایک تحویلی معاہدے میں رکھا جاتا ہے جہاں وہ اسٹیبل کوائن اصلاً جاری ہوتا ہے: Ethereum، BNB Smart Chain اور Solana پر USDT اور USDC، اور Tron پر USDT۔ یوں کل سات پشت پناہیاں ہیں، اور zUSD طلب پر ان میں سے کسی کے بدلے بھی واپس لیا جا سکتا ہے۔ یہ دانستہ طور پر الگورتھمی یا جزوی ذخیرے والا اسٹیبل کوائن نہیں ہے، اس لیے یہ کسی غیر مستحکم اثاثے کی قیمت پر انعکاسی انحصار نہیں رکھتا اور اس میں اس نوعیت کے تباہ کن زوال کی گنجائش نہیں جس نے Terra کے UST کو ختم کیا۔ یہ ٹوکن Rand پر موجود ہے، جو ایک پوشیدہ لیجر ہے، لہٰذا اجرا کے لمحے ہی سے یہ ایک پوشیدہ نوٹ ہوتا ہے۔ ہر مرحلہ تصدیق شدہ ہے، اس لیے ہر اکائی کی ضمانت min(ذخیرے کی ادائیگی کی صلاحیت، نگہبان حد کی سالمیت) ہے، جو دوہری حد کے تحت ہے: آٹھ میں سے چھ ECDSA دستخط اور آٹھ میں سے چھ Dilithium2 شریک دستخط۔
ذخیرے کا غیر متغیر اصول S = Σ_b L_b مساوات کے ساتھ قائم رہتا ہے اور لیجر کے ایک ہی فنکشن میں ساخت کے ذریعے نافذ ہے۔ مقالہ ہر پشت پناہی کے لیے بیان کرتا ہے کہ کیا ضمانت دی گئی ہے، بشمول اس نئے خطرے کے جو دو جاری کنندگان کو یکجا کرنے سے پیدا ہوتا ہے، اور ان نقصان محدود کرنے والے طریقوں کو بیان کرتا ہے جو نفاذ میں شامل ہیں: ہر پشت پناہی کے لیے اور مجموعی طور پر 24 گھنٹے کی متحرک اجرا حد، ایک توقف کلید جو صرف توقف ہی کر سکتی ہے، بلاک کے وقت پر آگے کی حد، اور تحویلی معاہدوں پر اجرا کی حدیں۔ یہ واضح طور پر بتاتا ہے کہ کیا ابھی موجود نہیں: آزاد نگہبان آپریٹر، ہر تحویلی معاہدے پر وقت قفل کے ساتھ کثیر دستخطی منتظم، اور ذخائر کا ایسا ثبوت جس کی جانچ پروجیکٹ کے اپنے ایکسپلورر کے بغیر کی جا سکے۔
بنیادی نتائج- مسئلہ 2.6 — غیر متغیر اصول کا تحفظ
- نتیجہ 2.7 — قابلِ واپسی ہونا
- قضیہ 2.8 — پل کے باعث مکمل ذخیرے میں کمی
- نتیجہ 2.9 — ہر پشت پناہی کی ضمانتیں
- قضیہ 4.1 — پوشیدگی کے تحت عوامی قابلِ تصدیق ہونا
ستمبر 2026 — zUSDT کی جگہ لیتا ہےیہ اس ڈیزائن کو بیان کرتا ہے جو Rand کی چین 15 پر نافذ ہے، اور تین پہلوؤں سے zUSDT سے مختلف ہے جو اب کوڈ میں شامل ہیں: ٹوکن Solana کے بجائے Rand پر موجود ہے، اس لیے اس کی کوئی شفاف صورت نہیں جسے پوشیدہ بنانا پڑے؛ ذخیرہ کئی چینز کے ساتھ دو جاری کنندگان پر بھی پھیلا ہوا ہے، اور حامل کسی بھی پشت پناہی کے بدلے واپسی لے سکتا ہے؛ اور ہر مرحلہ تصدیق شدہ ہے، ECDSA اور Dilithium2 شریک دستخطوں کی آٹھ میں سے چھ والی دوہری حد کے تحت۔ قضیہ 2.8 بغیر کسی تبدیلی کے دہرایا گیا ہے کیونکہ وہ اب بھی درست ہے، اور نتیجہ 2.9 اس نئے خطرے کو درج کرتا ہے جو دو جاری کنندگان کو یکجا کرنے سے پیدا ہوتا ہے۔
- سلامتی تجزیہپوسٹ کوانٹمحملوں کی درجہ بندی
Rand پروٹوکول کا سلامتی تجزیہ
پوسٹ کوانٹم خفیہ نگاری کی بنیادیں، حملوں کے خلاف مزاحمت، اور باضابطہ سلامتی کی ضمانتیں
دسمبر 2025، ستمبر 2026 میں ہم آہنگ کیا گیا · 13 صفحات
Rand پروٹوکول کا سلامتی تجزیہ، کلاسیکی اور کوانٹم دونوں مخالفانہ ماڈلز کے تحت باضابطہ ثبوتوں کے ساتھ۔ اس میں اسٹیک کے وزن پر مبنی BFT اتفاقِ رائے (Rand پروف آف اسٹیک چین ہے: کوئی حساب اتفاقِ رائے میں وزن نہیں دیتا)، STARK پر مبنی رازداری کا نظام، اور CRYSTALS-Dilithium اور Kyber پوسٹ کوانٹم بنیادی اجزا شامل ہیں۔ یہ 51% حملوں، طویل فاصلے کے حملوں، nothing-at-stake، grinding، eclipse اور Sybil حملوں، فرنٹ رننگ، وقت پر مبنی حملوں اور کوانٹم مخالفین کے خلاف مزاحمت کا تجزیہ کرتا ہے، اور ہر ایک کے لیے باضابطہ حدود اور ٹھوس پیرامیٹر دیتا ہے۔
معیاری lattice سختی کے مفروضات اور ڈائجسٹ کے سائز کی کردار کے لحاظ سے تفویض کے تحت — جہاں تصادم صحت کو توڑتا ہے وہاں 384 بٹ، اور جہاں صرف preimage مزاحمت درکار ہے وہاں 256 بٹ — ہر بنیادی جزو کم از کم 128 بٹ پوسٹ کوانٹم سلامتی حاصل کرتا ہے؛ اس تفویض کے بغیر یہی ساخت 85 بٹ حاصل کرتی ہے۔ نظام کی نچلی حد FRI کی صحت ہے: ethSTARK مفروضے کے تحت کم از کم 100 بٹ اور ثابت شدہ proximity-gaps حد کے تحت 86 بٹ، جسے 97 استفسارات پر قابلِ ثبوت 100 اور درجہ 3 کی توسیع پر 128 تک بڑھایا جا سکتا ہے۔ جہاں حوالہ جاتی نفاذ ڈیزائن سے ہٹتا ہے — 256 بٹ کا ٹرانسکرپٹ ہیش، توثیق کنندگان کی سزا (slashing) کا نہ ہونا، باری باری قائدین، اور غیر خفیہ mempool — وہاں ہر نتیجہ اس کی نشاندہی کرتا ہے۔
بنیادی نتائج- مسئلہ 2.3 — کوانٹم تصادم مزاحمت
- مسئلہ 3.5 — STARK کی کوانٹم سلامتی
- مسئلہ 3.6 — مجموعی پوسٹ کوانٹم سلامتی
- مسئلہ 4.4 — HotStuff کی حفاظت
- مسئلہ 5.3 — nullifier کی عدم ربط پذیری
- مسئلہ 6.8 — فرنٹ رننگ کی روک تھام، مشروط
- مسئلہ 7.1 — معاشی سلامتی کی حد
پروٹوکول مقالے کے حصہ III کے تابعپروٹوکول مقالے کے سلامتی والے حصے کا ایک خود مختار ضمیمہ؛ وہ حصہ مستند اور ہم آہنگ شدہ بیان ہے اور کسی بھی اختلاف کی صورت میں وہی معتبر ہے۔ دسمبر 2025 کے تجزیے میں وہ تین غلطیاں موجود تھیں جن کی اصلاح مسودہ 3 کرتا ہے؛ تب سے اسے مسودہ 3 اور چلتی ہوئی چین دونوں کے مطابق ہم آہنگ کیا جا چکا ہے۔
- سرمایہ کار خلاصہسیڈ راؤنڈSAFTاکتوبر 2026
Rand Protocol: سرمایہ کار خلاصہ
ہیش پر مبنی ثبوتوں کے ساتھ نجی، قابلِ پروگرام تصفیہ
اکتوبر 2026 · 6 صفحات
عوامی بلاک چینز وہ کچھ شائع کر دیتی ہیں جس کا تحفظ کاروباروں پر لازم ہے: کس نے کسے ادائیگی کی، کتنی، اور ہر آرڈر پُر ہونے سے پہلے؛ اسی لیے سرمائے کے سب سے بڑے ذخائر ان سے باہر رہتے ہیں۔ Rand ایک لیئر-1 چین ہے جس پر ہر ادائیگی ایک شیلڈڈ نوٹ ہے اور ہر ٹرانزیکشن ایک زیرو نالج ثبوت: نیٹ ورک اِن پٹس دیکھے بغیر تصدیق کرتا ہے کہ قاعدہ چلا، اور ایک ویو کی آڈیٹر کو وہ پڑھنے دیتی ہے جو حریف نہیں پڑھ سکتے۔ Rust یا C میں لکھے پروگرام RISC-V zkVM پر چلتے ہیں جسے بغیر کسی قابلِ اعتماد سیٹ اپ کے ہیش پر مبنی STARK سے ثابت کیا جاتا ہے، اور ڈالر چار چینز سے ایک شیلڈڈ ڈالر، zUSD، کی صورت میں آتے ہیں۔
خلاصہ مسئلے، مصنوعہ اور اس کی ناپی گئی لاگتوں، تیاری کے لحاظ سے استعمال کے مواقع، شائع شدہ تخمینوں کے ساتھ مارکیٹ، Aleo، Railgun، Quantus اور دیگر سے موازنے، ایک سال کی تحقیق اور لائیو ٹیسٹ نیٹ ورک تک تین ہفتوں کی ازسرِنو تعمیر، ٹوکن اور راؤنڈ کی قیمتوں، سیڈ راؤنڈ (ایک ارب کی زیادہ سے زیادہ رسد کے 11٪، یعنی 110 ملین RAND کے SAFTs، بقیمت $0.03)، ٹیم اور خطرات کو بیان کرتا ہے۔ یہ کسی سکیورٹی یا ٹوکن کی پیشکش نہیں ہے۔
بنیادی نتائج- Chain 20 · v0.6.8
- سیڈ: $0.03 فی RAND، $30M FDV
- 1B زیادہ سے زیادہ رسد پر SAFTs
- 28 ریلیزیں، 7 ٹیسٹ چینز
ماخذ فائلیں
پانچوں مقالے LaTeX میں لکھے گئے ہیں اور tectonic سے تیار ہوتے ہیں۔ zUSD کا ماخذ عوامی ہے — اس کا ربط اوپر اس کے اندراج میں موجود ہے، اس لیے اس کے ہر بیان کو اس فائل سے جانچا جا سکتا ہے جس سے وہ آیا ہے؛ اسی ذخیرے میں منسوخ شدہ zUSDT کا ماخذ بھی موجود ہے۔ باقی چار مقالوں کے ماخذ ابھی شائع نہیں ہوئے؛ جب تک وہ شائع نہ ہوں، اوپر دی گئی PDF فائلیں ہی ان کی مستند صورت ہیں۔ باقی سب کچھ جو عوامی ہے — نوڈ، والیٹس، ایکسپلورر — GitHub تنظیم میں موجود ہے۔