مقالات
پروتکل Rand در قالب چاپی تشریح شده است. شش مقاله معتبر و جاری‌اند: مقالهٔ پروتکل در پیش‌نویس سوم، مقالهٔ پیاده‌سازی مرجع که بر پایهٔ گرهٔ در حال اجرا روی شبکهٔ آزمایشی نوشته شده، گزارش پل، مقالهٔ zUSD دربارهٔ دلار شیلدشده، تحلیل امنیتی مستقل، و خلاصهٔ سرمایه‌گذار. هر PDF منبع مرجع است؛ آن را دانلود کنید، به آن ارجاع دهید و آن را ممیزی کنید. هر جا طراحی محدودیتی دارد، مقاله‌ها آن را بیان می‌کنند و از آن چشم‌پوشی نمی‌کنند.
- کاغذ سفیدSTARKاثبات سهام · BFTEVMپساکوانتومی
Rand Protocol
محاسبات دلخواه محرمانه
پیش‌نویس ۳ · August 2026، به‌روزرسانی‌شده در September 2026 · ۷۳ صفحه
ما Rand را ارائه می‌کنیم، یک بلاکچین اثبات سهام (proof-of-stake) که اجماع تحمل‌پذیر خطای بیزانسی (BFT) آن نهایی‌شدن سریع و قطعی را فراهم می‌کند و هر تراکنش آن یک اثبات دانش صفر است. وزن اجماع تنها از سهام قفل‌شده می‌آید: هیچ محاسبه‌ای قدرت رأی نمی‌دهد، رهبر انتخاب نمی‌کند و دربارهٔ شاخه‌ها تصمیم نمی‌گیرد. آنچه زنجیره واقعاً دربر دارد، حجم زیادی اثبات‌سازی است که در کنار اجماع انجام می‌شود: هر کیف پول برای تراکنش خودش یک STARK تولید می‌کند و پس از فعال شدن تجمیع اثبات در سطح بلوک، aggregatorهای دارای سهام قفل‌شده با اثبات‌کردن STARKهای بازگشتی روی اثبات‌های کاربران، RAND کسب می‌کنند. validatorها کارمزد بلوک‌هایی را که پیشنهاد می‌دهند دریافت می‌کنند؛ معناشناسی قراردادهای هوشمند همان ماشین مجازی اتریوم (EVM) است. این مقاله خود طرح دانش صفر را توضیح می‌دهد: اینکه چگونه یک محاسبه به جدول، جدول به مجموعه‌ای از چندجمله‌ای‌ها و چندجمله‌ای‌ها به اثباتی حدود ۱٫۴ مگابایت برای هر انتقال تبدیل می‌شود که هر validator آن را در چند میلی‌ثانیه وارسی می‌کند. Rand یک زنجیرهٔ قرارداد هوشمند عمومی است که اصلاً نوع تراکنش شفاف ندارد: هر محاسبه، چه انتقال توکن و چه فراخوانی دلخواه قرارداد، ذاتاً به‌صورت محرمانه اجرا می‌شود. کاربران RAND شیلدشده نگه می‌دارند، گس را از آن می‌پردازند و کدی دلخواه اجرا می‌کنند که ورودی‌ها، عملوندها و حالت میانی آن هرگز روی زنجیره ظاهر نمی‌شود، در حالی که validatorها یک STARK واحد را وارسی می‌کنند که صحت اجرا را نشان می‌دهد. EVM معناشناسی‌ای را فراهم می‌کند که اجرا در برابر آن اثبات می‌شود، به‌صورت یک مفسر guest درون مدار، بنابراین بایت‌کد Solidity موجود بدون تغییر اجرا می‌شود؛ این یک مسیر اجرای شفاف در کنار مسیر شیلدشده نیست.
این بازنگری همچنین «انتساب اثبات‌پذیر اثبات‌ساز» (Verifiable Prover Attribution یا VPA) را به‌عنوان یک جهت پژوهشی پیشنهاد می‌کند که پیاده‌سازی نشده است. زنجیرهٔ در حال اجرا از آن استفاده نمی‌کند: کیف پول‌هایش تراکنش‌های خود را اثبات می‌کنند، رهبرش به‌صورت نوبتی (round robin) انتخاب می‌شود، mempool آن رمزنگاری نشده است و تنها نقش اثبات‌سازی دارای سهام قفل‌شده، ثبت‌نام aggregator است که در آن نخستین تجمیع نهایی‌شده‌ای که یک بسته را پوشش دهد پاداش می‌گیرد؛ بخش دوم با همین وضعیت آغاز می‌شود و قضیه‌هایش دربارهٔ پیشنهاد هستند، نه دربارهٔ سامانهٔ مستقر. پیش‌نویس اولیه ثابت می‌کرد که مدار یک تراکنش خصوصی برقرار شده است، اما دربارهٔ اینکه اثبات‌ها چگونه به اثبات‌سازها واگذار می‌شوند، اثبات‌ساز یک دسته را با چه ترتیبی اثبات می‌کند، یا وارسی‌کننده چگونه درمی‌یابد که نهادِ ارسال‌کنندهٔ اثبات همان نهادی است که آن را تحت شرایطی که پروتکل تشویق می‌کند محاسبه کرده، چیزی نمی‌گفت. یک STARK گواهی می‌دهد که مدار برقرار شده است؛ گواهی نمی‌دهد که تحت چه شرایطی برقرار شده است. نشان می‌دهیم این شکاف سه سطح حملهٔ مشخص می‌گشاید — تبانی اثبات‌ساز–validator، MEV سمت اثبات‌ساز، و کار Sybil/بدون پاسخ‌گویی — هر یک را صوری‌سازی می‌کنیم و پیشنهاد می‌دهیم با یک beacon انتساب قابل بازمحاسبه، یک ترتیب متعارف همراه با mempool مهروموم‌شده (رمزنگاری‌شده با آستانه) و یک گواهی پساکوانتومی حامل اثبات بسته شود. بر این اساس، ادعای پیش‌نویس مبنی بر اینکه «تراکنش‌های خصوصی پیشدستی (front-running) را از میان می‌برند» را به‌صورت یک قضیهٔ شرطی بازنویسی می‌کنیم — قضیه‌ای که زنجیرهٔ در حال اجرا شرایطش را برآورده نمی‌کند، پس در آن زنجیره محتوا پنهان است اما ترتیب محافظت نمی‌شود.
همچنین سه ناسازگاری درونی را در تحلیل امنیتی اصلی رفع می‌کنیم: (الف) تناقض میان استحکام برخورد کوانتومی حدود ۸۵ بیت (کران BHT) و ادعای ۱۲۸ بیتی پساکوانتومی در چکیده و جدول‌های پارامتر، که در طراحی با هش رونوشت ۳۸۴ بیتی به‌علاوهٔ یک قضیهٔ صریح جداسازی امنیت برای هر اولیه رفع شده است (پیاده‌سازی هنوز از هش رونوشت ۲۵۶ بیتی با حدود ۸۵ بیت کوانتومی استفاده می‌کند)؛ (ب) VRF انتخاب رهبر که مشخص نشده بود و اگر روی منحنی بیضوی نمونه‌سازی شود با الگوریتم Shor شکسته می‌شود، و برای آن یک beacon پساکوانتومی commit–reveal با قرعه‌کشی رمزنگاشتی مبتنی بر هش مشخص می‌کنیم (پیاده‌سازی نشده است: زنجیرهٔ در حال اجرا رهبران را نوبتی می‌چرخاند و اصلاً VRF ندارد)؛ و (پ) میدان Goldilocks که کم‌مشخصه بود، که برای آن یک توسیع از درجهٔ k را الزامی می‌کنیم و استحکام FRI را به تعداد پرس‌وجوها و بودجهٔ grinding گره می‌زنیم. این بازنگری همچنین لایهٔ اجرا را از ماشین مجازی Solana به ماشین مجازی اتریوم (EVM) منتقل می‌کند و دارایی‌های ERC-20 و قراردادهای Solidity را زیر مدل تراکنش شیلدشده می‌آورد، و تسویهٔ دسته‌ای گس را معرفی می‌کند: چون هزینهٔ گس هر تراکنش به RAND شیلدشده خود یک اثرانگشت ناشناسی‌زدا از فراخوانی EVM (و در نتیجه از قرارداد ERC-20 درگیر) است، گس در مدار به ردیف‌های کوانتیزه‌شدهٔ عمومی متعهد می‌شود و به‌صورت یک هزینهٔ تجمیعی واحد برای هر دسته کسر می‌شود، بنابراین ردپای روی زنجیره یک مجموع واحد برای هر دسته است، نه کسر جداگانه برای هر حساب و هر فراخوانی. سرانجام یک نقشهٔ راه مهاجرت چابکی رمزنگاشتی (crypto-agility) ارائه می‌دهیم که با SNARKها عرضه می‌شود، به STARKهای شفاف ارتقا می‌یابد و در بازه‌ای حدود ۱۸ ماهه (حدود ۱۴ ماه روی مسیر بحرانی موازی‌شده) به امنیت کامل پساکوانتومی سخت می‌شود، به‌طوری که هر گذار چنان مشروط شده است که تغییر پارامتر باشد، نه انشعاب اجماع.
این بازنگری در اوت ۲۰۲۶ مدل شیلدشده را از انتقال ارزش به محاسبهٔ دلخواه محرمانه گسترش می‌دهد: رابطهٔ انتقال را به یک رابطهٔ اجرای جهانی روی یک ماشین مجازی با اثبات STARK تعمیم می‌دهیم، توپولوژی‌های اثبات‌سازی محلی و واگذارشده روی GPU را با مرز دقیق محرمانگی‌شان مشخص می‌کنیم و طراحی را در برابر چشم‌انداز کنونی نظام‌های اثبات (Groth16، PLONK، Halo2، HyperPlonk، FRI-STARKs)، zkVMهای عمومی (RISC Zero، SP1، Cairo/Stwo، Miden، Jolt، OpenVM)، رولاپ‌های zkEVM و زنجیره‌های حریم خصوصی (Aztec، Aleo، Miden، Zcash) قرار می‌دهیم، که تله‌های پرداخت گس و واگذاری اثبات‌سازی در آن‌ها مستقیماً انگیزهٔ طراحی‌های گس شیلدشده و VPA در RAND است. بازار اثبات‌سازی‌ای را که لایهٔ انگیزشی ایجاب می‌کند تحلیل می‌کنیم و نشان می‌دهیم هزینه به‌ازای هر اثبات را بهره‌وری تعیین می‌کند نه انرژی، و تقاضای اثبات‌سازی یک شبکهٔ اشباع‌شده را چند ده GPU برآورده می‌کنند — بنابراین باید تمرکززدایی اثبات‌سازها را با پایداری (liveness) و محرمانگی توجیه کرد، نه با بودجهٔ امنیتی، زیرا صحت (soundness) به مجموعهٔ اثبات‌سازها بستگی ندارد. سرانجام مشخص می‌کنیم که وثیقهٔ دلاری برون‌زا — USDT و USDC — چگونه از طریق یک پل قفل‌و‌ضرب گواهی‌شده به‌صورت z-assetهای شیلدشده به Rand وارد می‌شود، که به استخر شیلدشده یک واحد حساب پایدار می‌دهد بی‌آنکه نیاز باشد صادرکنندگان به‌صورت بومی مستقر شوند — وابستگی تجاری‌ای که در غیر این صورت روایت پرداخت‌های پروتکل را به نقشهٔ راه یک شخص ثالث گره می‌زد. ویژگی‌ای را که چنین پلی را مطمئن می‌کند و ساده‌تر از همه فراموش می‌شود جدا می‌کنیم: حدنصاب نگهبانان گواهی می‌دهد که پیامی روی یک زنجیرهٔ تحت نظارت منتشر شده است، نه اینکه پل آن را نوشته باشد؛ بنابراین در یک لایهٔ پیام بدون اجازه، اعتبار امضا به معنای مجاز بودن نیست و پیوند به منتشرکننده (emitter binding) نقش باربر دارد. یک کران صحت وثیقه‌داری (custody soundness) را اثبات می‌کنیم که زیان را مستقل از فرض نگهبانان به وثیقهٔ هر زنجیره محدود می‌کند، نشان می‌دهیم عرضهٔ z-assetهای شیلدشده بدون گشودن هیچ note در برابر آن وثیقه به‌صورت عمومی قابل ممیزی می‌ماند، و پل را مرز پساکوانتومی سامانه می‌شناسیم: امضاهای نگهبان secp256k1 با الگوریتم Shor شکسته می‌شوند، بنابراین مسیر آزادسازی تا زمانی که زنجیره‌های مبدأ پیش‌کامپایل‌های پساکوانتومی عرضه کنند از نظر کلاسیک امن می‌ماند، هرچند سمت Rand هرچه سخت‌تر شود.
نتایج اصلی- قضیهٔ ۵٫۳ — نشت حریم خصوصی در پرداخت گس
- قضیهٔ ۷٫۹ — حریم خصوصی گس دسته‌ای
- قضیهٔ ۱۰٫۶ — گواهی به معنای مجاز بودن نیست
- قضیهٔ ۱۰٫۱۴ — صحت وثیقه‌داری
- قضیه ۱۰.۱۹ — پل، مرز پساکوانتومی است
- قضیه ۱۳.۲ — شکاف انتساب
- قضیه ۱۵.۴ — پیشدستی در تراکنش (Front-Running)، اصلاح‌شده و مشروط
- قضیه ۱۵.۹ — صحت VPA
- قضیه ۱۸.۱ — تفکیک امنیت کوانتومی به‌ازای هر اولیه
- قضیه ۱۹.۲ — صحت FRI، پارامتری
پیش‌نویس ۳ جایگزین پیش‌نویس‌های ۱ و ۲ میشودپیشنویس ۱ (دسامبر ۲۰۲۵) و پیش‌نویس ۲ (بازبینی VPA در مه ۲۰۲۶) پس گرفته شده‌اند. سه خطای خودِ تحلیل پیشین اصلاح شده‌اند و پنهان یا هموار نشده‌اند: ادعای امنیت پساکوانتومی ۱۲۸ بیتی با کران برخورد کوانتومی ۸۵ بیتی یک هش ۲۵۶ بیتی ناسازگار بود؛ VRF انتخاب رهبر، روی یک منحنی بیضوی، توسط الگوریتم Shor شکسته می‌شد؛ و Goldilocks ساده نمی‌تواند صحت FRI ادعاشده را حمل کند. لایهٔ اجرا از SVM به EVM منتقل می‌شود و توکن دوگانه تنها به RAND فروکاسته می‌شود. به‌روزرسانی‌های سپتامبر ۲۰۲۶ طراحی را با گره کامل مرجع تا زنجیرهٔ ۱۵ تطبیق می‌دهند: Rand صریحاً اثبات سهام معرفی شده است، طرح دانش‌صفر به‌طور کامل نوشته شده است، و VPA به‌عنوان پیشنهادی علامت‌گذاری شده است که زنجیرهٔ در حال اجرا از آن استفاده نمی‌کند.
- پیاده‌سازیzkVM · RISC-VHotStuffزنجیرهٔ ۱۵testnet
Rand Protocol — پیاده‌سازی مرجع
یک دفتر کل شیلدشده و یک ماشین مجازی تأییدشده با STARK، به همان صورت که مستقر شده است
پیش‌نویس پیاده‌سازی ۳ · September 2026 · ۴۶ صفحه
سامانه‌های تسویه در مالی متعارف به‌طور پیش‌فرض محرمانه‌اند: مانده‌های حساب و سوابق انتقال برای دارندهٔ حساب، نهاد مالی و، در چارچوب فرایند قانونی، نهاد نظارتی قابل مشاهده است و برای هیچ‌کس دیگر نه. بلاک‌چین‌های عمومی این ویژگی را وارونه می‌کنند. در Ethereum و Solana وضعیت سراسری و صف تراکنش‌های در انتظار برای همهٔ شرکت‌کنندگان قابل مشاهده است؛ این امر جریان سفارش نهادی را در معرض پیشدستی نظام‌مند قرار می‌دهد و طرف‌های مقابل و مبالغ هر انتقال استیبل‌کوین را افشا می‌کند. هیچ پروتکل عملیاتی‌ای در حال حاضر محرمانگی یک دفتر کل بانکی را با تسویهٔ قطعی، راستی‌آزمایی شفاف و امنیت پساکوانتومی یک زنجیرهٔ عمومی ترکیب نمی‌کند.
این مقاله Randprotocol را ارائه می‌کند، یک بلاکچین لایهٔ یک که برای پر کردن این شکاف طراحی شده است، آن‌گونه که در گره کامل مرجع آن پیاده‌سازی شده است. دارایی بومی، RAND، تنها به‌صورت نوت در یک استخر کاملاً شیلدشده وجود دارد: یک درخت تعهد Poseidon2 با عمق ۳۲ و یک مجموعهٔ nullifier جایگزین حساب‌ها می‌شوند، و هر انتقال یک بستهٔ ثابت با دو ورودی و دو خروجی است که اعتبار آن با یک اثبات STARK شفاف و مبتنی بر هش از اجرای یک برنامهٔ مهمان RISC-V تثبیت‌شده برقرار می‌شود. همین سامانهٔ اثبات از محاسبات دلخواه محرمانه پشتیبانی می‌کند: برنامه‌های RV32IM با هش محتوا مستقر می‌شوند و به‌جای ورودی‌هایشان با یک اثبات اجرا فراخوانی می‌شوند، و زنجیره هشت واژهٔ خروجی عمومی را ثبت می‌کند. اجماع HotStuff زنجیره‌ای است با حد نصاب‌های وزن‌دار بر اساس سهام، قاعدهٔ نهایی‌سازی پس از سه نمای متوالی، و مجموعه‌های اعتبارسنج مشتق‌شده از دوره (epoch) که از یک ثبت‌نام عمومی برگرفته می‌شوند؛ سهام از استخر قفل می‌شود و به آن بازپس گرفته می‌شود. یک پل مبتنی بر گواهی نگهبانان، دارایی‌ها را از چهار زنجیرهٔ خارجی به‌صورت نوت واریز می‌کند. امضاهای اعتبارسنج‌ها CRYSTALS-Dilithium2 است و پاکت‌های نوت از ML-KEM-768 با ChaCha20-Poly1305 استفاده می‌کنند.
ما پیاده‌سازی را مؤلفه به مؤلفه شرح می‌دهیم و سپس تحلیل صوری آن را در برابر پارامترهای مستقر شده بسط می‌دهیم: رابطه‌های بسته و فراخوانی که ماشین مجازی دانش‌صفر نه‌جدولی اثبات می‌کند، از جمله ساختار انباشتگر آلودگی (taint) که جایگزین یک اظهار درون مدار می‌شود؛ استدلال‌های گذرگاه جست‌وجو که خلاصهٔ برنامه و تعهد ورودی نمک‌دار را پیوند می‌دهند؛ صحت FRI در پیکربندی تولیدی (۸۰ پرس‌وجو، ۲۰ بیت grinding، ضریب بسط ۸، توسیع درجه ۲ میدان Goldilocks)، که هم تحت کران اثبات‌شدهٔ proximity-gaps و هم تحت حدس ethSTARK بیان شده است؛ اتحادهای توازن ارزش و ممیزی عرضهٔ استخر؛ و ایمنی و زنده‌ماندن قواعد اجماع آگاه از دوره.
این تحلیل ویژگی‌هایی را مشخص می‌کند که پیاده‌سازی هنوز فراهم نمی‌کند. کارمزدها، وزن‌های سهام، مبالغ واریز در مرز استخر و هویت برنامه‌ها عمومی‌اند؛ کیف پول فعلی برگی را که قصد خرج کردنش را دارد به گرهٔ پرس‌وجوشونده افشا می‌کند؛ یک اثبات ۸۰ پرس‌وجویی تقریباً ۱٫۳ مگابایت جا می‌گیرد (۱٫۴۳ مگابایت برای بستهٔ چهار شکافی از زنجیرهٔ ۱۴ به بعد)، که یک بلاک ۴ MiB را به سه انتقال شیلدشده محدود می‌کند (دو انتقال از زنجیرهٔ ۱۴؛ زنجیرهٔ ۱۵ بلاک را به ۲۰ MiB افزایش می‌دهد)؛ تجمیع اثبات در سطح بلاک، برش سهام (slashing) و مهمان‌های EVM و SVM در بازبینی پایه معوق بودند (مهمان‌ها از آن زمان درون‌سپاری شده‌اند، هرچند فراخوانی‌های EVM تحت سقف فراخوانی لایهٔ ۱۴ پذیرفتنی نیستند، و سه دور ممیزی به رهبری بنیان‌گذاران از آن زمان بسته شده است؛ هیچ ممیزی مستقلی انجام نشده است)؛ و پردازندهٔ اثبات GPU بر روی سخت‌افزار اجرا نشده است. این نرم‌افزار بر روی یک شبکهٔ آزمایشی با ۲۶ اعتبارسنج مستقر شده است (زنجیرهٔ ۱۷ از ۲۰۲۶-۰۹-۲۹، با اداره شدن هر اعتبارسنج توسط تیم بنیان‌گذار) و برای استفادهٔ دارای ارزش مناسب نیست.
نتایج اصلی- قضیه ۵.۸ — صحت دانش، مشروط
- قضیه ۵.۱۱ — دانش‌صفر آماری
- قضیه ۵.۱۲ — صحت FRI به‌صورت نمونه‌سازی‌شده
- قضیه ۵.۱۴ — امنیت سامانهٔ مستقر به‌ازای هر اولیه
- قضیه ۵.۱۷ — توازن ارزش استخر
- قضیه ۵.۲۲ — ایمنی
- قضیه ۵.۲۴ — زنده‌ماندن پس از GST
- قضیه ۵.۲۸ — پل پساکوانتومی نیست
نگاشته‌شده بر پایهٔ fullnode 26ab1d4، با ضمیمه‌هایی تا 8e64781هر گزاره دربارهٔ سامانه به گرهٔ مرجع در کامیت 26ab1d4 (شاخهٔ main، ۲۰۲۶-۰۹-۱۶) ارجاع دارد: استخر شیلدشده، سهام‌گذاری، پل به‌صورت نوت و پاکت‌های فراخوانی، مجموعهٔ قیود ۶ zkVM، ماشین مجازی بازگشتی، و تجمیع در سطح بلاک که ادغام شده اما به genesis وابسته است. دو بازبینی بعدی در جاهایی که گره تغییر کرده است به‌صورت ضمیمه‌های علامت‌گذاری‌شده ثبت شده‌اند: ۲۰۲۶-۰۹-۲۴ (d050259، v0.5 تا v0.5.5، زنجیرهٔ ۱۴ — بستهٔ دارایی پنهان چهار شکافی، ثبت‌نامهٔ توکن، پل مستحکم‌شده) و ۲۰۲۶-۰۹-۲۷ (8e64781، v0.5.6 تا v0.5.8، زنجیرهٔ ۱۵ — سنجاق سرآیند فراخوانی و سقف لایه، ثابت‌های منجمد Poseidon2، اتصال تجمیع).
- پلقفل و ضربECDSA · Dilithium2چهار زنجیره
پل Rand
قفل‌کردن و ضرب مبتنی بر گواهی در یک استخر شیلدشده، با هم‌امضاهای پساکوانتومی
گزارش فنی، پیش‌نویس ۱ · سپتامبر ۲۰۲۶ · ۱۳ صفحه
Rand یک بلاکچین محرمانه است که ارزش آن به‌جای مانده‌های شفاف، به‌صورت تعهد در یک استخر شیلدشده قرار دارد. روایت پرداخت آن به یک دارایی پایدار نیاز دارد و هیچ ناشری آن را به‌صورت بومی بر روی زنجیره‌ای بدون حجم مستقر نمی‌کند. پل Rand دارایی‌های USDT و USDC را از Ethereum، BNB Smart Chain، Tron و Solana به‌صورت یک دلار شیلدشدهٔ واحد، یعنی zUSD، وارد می‌کند که یک‌به‌یک با امانت‌داری در آن زنجیره‌ها پشتوانه دارد. این گزارش پل را آن‌گونه که ساخته شده است مشخص می‌کند: پیام انتقال ۱۸۴ بایتی و دو لایهٔ امضای آن — یک حد نصاب نگهبانان secp256k1 برای هر پیام و یک حد نصاب هم‌امضای Dilithium2 برای هر ضرب در Rand که هر دو امروز شش از هشت هستند؛ مسیر واریز که به نوتی ختم می‌شود که خود زنجیره از مبلغ گواهی‌شده مشتق می‌کند؛ مسیر برداشت که در آن یک سوزاندن به اثبات خود بسته می‌شود و در برابر شمارنده‌های امانت‌داری هر زنجیره آزاد می‌شود؛ سطح حاکمیت (چرخش نگهبانان با پنجرهٔ مهلت یک‌روزه، فهرست‌سازی صریح، یک توقف یک‌طرفه که تنها یک حد نصاب پساکوانتومی می‌تواند آن را رفع کند)؛ و قواعد ساعت که یک زنجیرهٔ پل‌شده بر اجماع خود تحمیل می‌کند.
ما ویژگی‌هایی را که این ساختار فراهم می‌کند بیان و اثبات می‌کنیم — غیرقابل جعل بودن حد نصاب، ضرورت اتصال منتشرکننده، صحت امانت‌داری، قابلیت ممیزی عرضه، و کران پساکوانتومی نامتقارنی که در آن یک مهاجم دارای توان Shor می‌تواند آزادسازی‌ها را جعل کند اما ضرب‌ها را نه — و با همان دقت بیان می‌کنیم که چه چیزی را فراهم نمی‌کند: نگهبانان نه سهام‌گذاری شده‌اند و نه قابل برش‌اند، و هرچند شش کلید از هشت کلید اکنون بر روی میزبان‌های جداگانه اجرا می‌شوند، همچنان یک حساب میزبانی و یک کلید اپراتور به همهٔ آن‌ها دسترسی دارد. نشانی‌های استقرار، اندازهٔ پیام‌ها، هزینه‌های گس و نتایج دورهای زنده گزارش شده‌اند.
نتایج اصلی- گزاره ۵.۱ — بدون تغییر مسیر
- قضیه ۵.۲ — صحت امانت‌داری
- قضیه ۸.۱ — غیرقابل جعل بودن حد نصاب
- قضیه ۸.۳ — گواهی مجوز نیست
- قضیه ۸.۴ — قابلیت ممیزی عرضهٔ پل‌شده
- قضیه ۸.۵ — عدم تقارن پساکوانتومی
مکمل بخش پل در مقالهٔ پروتکلپل را همان‌طور که مستقر شده است و با همان نمادگذاریِ بخش میان‌زنجیره‌ای مقالهٔ پروتکل و سازگار با آن مشخص می‌کند: مجموعهٔ نگهبانان شمارهٔ 1 (شش از هشت، secp256k1) در 2026-09-25 جایگزین مجموعهٔ اولیهٔ پنج از شش شد، و مجموعهٔ Dilithium2 در بلوک پیدایش زنجیرهٔ 15 در 2026-09-26 از شش کلید به هشت کلید رسید.
- استیبل‌کوین شیلدشدهذخیرهٔ کاملچندزنجیره‌ای · چندناشریزنجیرهٔ 15
zUSD — دلار شیلدشدهٔ دارای ذخیرهٔ کامل روی Rand
انتقال محرمانهٔ استیبل‌کوین بدون ریسک از دست رفتن پگ، بر پایهٔ ذخیرهٔ قفل‌شدهٔ چندزنجیره‌ای و چندناشری
سپتامبر 2026 · جایگزین zUSDT (دسامبر 2025، بازبینی اوت 2026) · 11 صفحه
zUSD دارای ذخیرهٔ کامل است: هر واحد آن یک‌به‌یک با یک استیبل‌کوین دلاری پشتیبانی می‌شود که در یک قرارداد نگهداری روی زنجیره‌ای نگهداری می‌شود که آن استیبل‌کوین به‌صورت بومی روی آن منتشر شده است — USDT و USDC روی Ethereum، BNB Smart Chain و Solana، و USDT روی Tron، در مجموع هفت پشتوانه — و در هر زمان قابل بازخرید به هر یک از آن‌هاست. این توکن عمداً الگوریتمی یا دارای ذخیرهٔ جزئی نیست، بنابراین وابستگی بازتابی به قیمت هیچ دارایی پرنوسانی ندارد و سطحی برای مارپیچ مرگ از نوعی که UST شبکهٔ Terra را نابود کرد ندارد. این توکن روی Rand، یک دفتر کل شیلدشده، قرار دارد و بنابراین از لحظهٔ ضرب‌شدن یک note شیلدشده است. هر شاخه گواهی‌شده است، پس تضمین روی هر واحد برابر است با min(solvency ذخیره، یکپارچگی آستانهٔ نگهبانان)، تحت یک آستانهٔ دوگانه شامل شش از هشت امضای ECDSA و شش از هشت هم‌امضای Dilithium2.
ناوردای ذخیره S = Σ_b L_b با تساوی برقرار است و به‌صورت ساختاری در یک تابع دفتر کل اعمال می‌شود. مقاله بیان هر پشتوانه را به‌طور جداگانه از آنچه تضمین می‌شود ارائه می‌دهد، از جمله ریسک تازه‌ای که ادغام دو ناشر پدید می‌آورد، و سازوکارهای محدودکنندهٔ زیان در استقرار را شرح می‌دهد: سقف ضرب در بازهٔ غلتان 24 ساعته برای هر پشتوانه و یک سقف سراسری، کلید توقفی که فقط می‌تواند متوقف کند، کران رو‌به‌جلو بر زمان بلوک، و سقف‌های آزادسازی روی قراردادهای نگهداری. مقاله صریحاً می‌گوید چه چیزی هنوز برقرار نیست: اپراتورهای مستقل نگهبان، مدیر چندامضایی با قفل زمانی روی هر قرارداد نگهداری، و اثبات ذخیره‌ای که بدون اکسپلورر خود پروژه قابل بررسی باشد.
نتایج اصلی- قضیهٔ 2.6 — حفظ ناوردا
- نتیجهٔ 2.7 — قابلیت بازخرید
- گزارهٔ 2.8 — تضعیف ذخیرهٔ کامل توسط پل
- نتیجهٔ 2.9 — تضمین‌ها به تفکیک پشتوانه
- گزارهٔ 4.1 — قابلیت راستی‌آزمایی عمومی در حضور شیلدینگ
سپتامبر 2026 — جایگزین zUSDTطراحی را همان‌گونه که روی زنجیرهٔ 15 شبکهٔ Rand مستقر شده است توصیف می‌کند و در سه نکته که اکنون در کد تحقق یافته‌اند با zUSDT تفاوت دارد: توکن روی Rand قرار دارد نه Solana، بنابراین شکل شفافی برای شیلد کردن وجود ندارد؛ ذخیره علاوه بر چند زنجیره، دو ناشر را نیز در بر می‌گیرد و دارنده می‌تواند به هر پشتوانه‌ای بازخرید کند؛ و هر شاخه یک شاخهٔ گواهی‌شده است، تحت آستانهٔ دوگانهٔ شش از هشت هم‌امضای ECDSA و Dilithium2. گزارهٔ 2.8 بدون تغییر بازتولید شده است چون همچنان درست است، و نتیجهٔ 2.9 ریسک تازه‌ای را ثبت می‌کند که ادغام دو ناشر پدید می‌آورد.
- تحلیل امنیتیپساکوانتومیطبقه‌بندی حملات
تحلیل امنیتی پروتکل Rand
مبانی رمزنگاری پساکوانتومی، مقاومت در برابر حمله و تضمین‌های امنیتی صوری
December 2025، همسان‌سازی‌شده در September 2026 · ۱۳ صفحه
تحلیل امنیتی پروتکل Rand با اثبات‌های صوری تحت هر دو مدل مهاجم کلاسیک و کوانتومی، شامل اجماع BFT وزن‌دار بر اساس سهام (Rand یک زنجیرهٔ اثبات سهام است: هیچ محاسبه‌ای وزن اجماع نمی‌بخشد)، سامانهٔ حریم خصوصی مبتنی بر STARK، و اولیه‌های پساکوانتومی CRYSTALS-Dilithium و Kyber. مقاومت در برابر حملات 51٪، حملات بُرد بلند، nothing-at-stake، grinding، eclipse و Sybil، پیشدستی در تراکنش، حملات زمانی و مهاجمان کوانتومی را با کران‌های صوری و پارامترهای مشخص برای هر کدام بررسی می‌کند.
تحت فرض‌های استاندارد دشواری شبکه‌ای و با تخصیص اندازهٔ چکیده به‌ازای هر نقش — 384 بیت جایی که یک برخورد درستی را می‌شکند، 256 بیت جایی که فقط مقاومت در برابر پیش‌تصویر لازم است — هر اولیه دست‌کم به امنیت پساکوانتومی 128 بیتی می‌رسد؛ بدون آن تخصیص، همان ساختار به 85 بیت می‌رسد. کف امنیت سامانه درستی FRI است: دست‌کم 100 بیت تحت حدس ethSTARK و 86 بیت تحت کران اثبات‌شدهٔ proximity-gaps، که با 97 پرس‌وجو به 100 بیتِ اثبات‌پذیر و با گسترش درجهٔ 3 به 128 قابل تنظیم است. هرجا پیاده‌سازی مرجع از طراحی فاصله می‌گیرد — هش رونوشت 256 بیتی، نبود slashing برای validatorها، رهبران چرخشی، mempool متن‌آشکار — هر نتیجه این را بیان می‌کند.
نتایج اصلی- قضیهٔ 2.3 — مقاومت کوانتومی در برابر برخورد
- قضیهٔ 3.5 — امنیت کوانتومی STARK
- قضیهٔ 3.6 — امنیت پساکوانتومی کلی
- قضیهٔ 4.4 — ایمنی HotStuff
- قضیهٔ 5.3 — ناپیوندپذیری nullifier
- قضیهٔ 6.8 — کاهش پیشدستی در تراکنش، مشروط
- قضیهٔ 7.1 — آستانهٔ امنیت اقتصادی
تابع بخش III مقالهٔ پروتکلمکملی مستقل برای بخش امنیتی مقالهٔ پروتکل، که بررسی تطبیق‌یافتهٔ مرجع است و در هر اختلافی ملاک است. تحلیل دسامبر 2025 سه خطایی را داشت که پیش‌نویس 3 اصلاح می‌کند؛ از آن زمان با پیش‌نویس 3 و با زنجیرهٔ در حال اجرا تطبیق داده شده است.
- خلاصهٔ سرمایه‌گذاردور اولیهSAFTOctober 2026
Rand Protocol: خلاصهٔ سرمایه‌گذار
تسویهٔ خصوصی و برنامه‌پذیر با اثبات‌های مبتنی بر تابع درهم‌ساز
October 2026 · ۶ صفحه
بلاک‌چین‌های عمومی همان چیزی را منتشر می‌کنند که کسب‌وکارها باید محافظت کنند: چه کسی به چه کسی پرداخت کرده، چه مقدار، و هر سفارش پیش از اجرا شدن؛ از این رو بزرگ‌ترین مخازن سرمایه از آن‌ها دور می‌مانند. Rand یک زنجیرهٔ لایهٔ ۱ است که در آن هر پرداخت یک note شیلدشده و هر تراکنش یک اثبات دانش‌صفر است: شبکه بدون دیدن ورودی‌ها بررسی می‌کند که قاعده اجرا شده است، و یک viewing key به ممیز امکان می‌دهد آنچه را رقبا نمی‌توانند بخوانند، بخواند. برنامه‌ها به زبان Rust یا C روی یک RISC-V zkVM اجرا می‌شوند که با یک STARK مبتنی بر تابع درهم‌ساز و بدون برپایی مورد اعتماد اثبات می‌شود، و دلارها از چهار زنجیره به شکل یک دلار شیلدشده، یعنی zUSD، وارد می‌شوند.
این خلاصه مسئله، محصول و هزینه‌های اندازه‌گیری‌شدهٔ آن، موارد کاربرد به تفکیک آمادگی، بازار همراه با برآوردهای منتشرشده، مقایسه با Aleo، Railgun، Quantus و دیگران، یک سال پژوهش و بازسازی سه‌هفته‌ای تا رسیدن به یک شبکهٔ آزمایشی زنده، توکن و قیمت‌های دورها، دور اولیه (SAFTهایی برای ۱۱۰ میلیون RAND، معادل ۱۱٪ از عرضهٔ حداکثری یک میلیارد، با قیمت ۰٫۰۳ دلار)، تیم و ریسک‌ها را بیان می‌کند. پیشنهاد فروش هیچ اوراق بهادار یا توکنی نیست.
نتایج اصلی- زنجیرهٔ ۲۰ · v0.6.8
- دور اولیه: ۰٫۰۳ دلار برای هر RAND، FDV برابر ۳۰ میلیون دلار
- SAFTها بر پایهٔ عرضهٔ حداکثری یک میلیارد
- ۲۸ انتشار، ۷ زنجیرهٔ آزمایشی
فایل‌های منبع
هر پنج مقاله با LaTeX نوشته شده‌اند و با tectonic ساخته می‌شوند. منبع zUSD عمومی است — از ورودی آن در بالا پیوند داده شده است، تا هر گزاره در آن را بتوان با فایلی که از آن آمده بررسی کرد، در کنار منبع zUSDT منسوخ‌شده در همان مخزن. منابع چهار مقالهٔ دیگر هنوز منتشر نشده‌اند؛ تا آن زمان، فایل‌های PDF بالا شکل مرجع آن‌هاست. هر چیز دیگری که عمومی است — گره، کیف‌پول‌ها، اکسپلورر — در سازمان GitHub قرار دارد.