توسعه‌دهندگان

Rand متن‌باز است. گره کامل، کاوشگر، پل، پژوهش اثبات و کلاینت‌های کیف پول هر یک در مخزن جداگانهٔ خود در GitHub قرار دارند. کد را بخوانید، آزمون‌ها را اجرا کنید، وصله بفرستید. این صفحه نقشهٔ راه است: هر مؤلفه کجاست، با چه ساخته شده، سیستم اثبات تا کجا پیش رفته و امروز کجا متوقف می‌شود.

مخزن‌ها

پشته

سراسر Rust. Rand زنجیرهٔ مستقل خود را دارد: یک گره HotStuff BFT با لایهٔ شایعه‌پراکنی libp2p، یک استخر نوت کاملاً محافظت‌شده به‌عنوان دفتر کل، امضاها و رمزنگاری نوت‌های مقاوم در برابر کوانتوم، و zkVM مربوط به Rand برای محاسبات محرمانه، همه در مخزن fullnode. خود سیستم اثبات بخشی است که در حال پژوهش فعال است؛ در ادامه آمده است.

یک رابطه برای هر برنامه

رابطهٔ اجرای جهانی در white paper یعنی R_exec به‌صورت کد وجود دارد: rand_zkvm، یک ماشین RV32IM که زیر یک STARK دسته‌ای واحد روی Plonky3 و بر میدان Goldilocks اثبات می‌شود. این اثبات می‌کند که یک ردگیری، برنامهٔ hc را روی ورودی‌هایی که با H_IN نمک‌دار متعهد شده‌اند تا این خروجی‌های عمومی اجرا کرده است، و هیچ چیزی دربارهٔ برنامه هرگز پارامتر تأییدکننده نیست. انتشار یک برنامهٔ محرمانه یعنی ثبت یک هش، نه ساخت یک مدار اختصاصی.

سیستم اثبات شفاف است، بدون تنظیم اولیهٔ مورد اعتماد و بدون منحنی pairing، و فرض آن یک تابع هش مقاوم در برابر برخورد است. انتظار می‌رود هر مؤلفهٔ دیگری که با اثبات‌ها سروکار دارد به جای ساختن نسخهٔ خودش، به این crate همگرا شود. این crate در zkp-circuits/research قرار دارد و در مجموعهٔ قیود ۸ در fullnode گنجانده شده است (circuits aeacf31، fullnode نسخه‌های v0.6.7 و v0.6.8). جدول‌ها و اندازه‌گیری‌های زیر مجموعهٔ قیود ۵ (نقطهٔ عطف M4.2) را توصیف می‌کنند، مگر آنکه سطری مجموعه‌ای متأخرتر را نام ببرد؛ آن‌ها از docs/zkvm.md، docs/zkvm-milestones.md و docs/confidential.md در fullnode تا تاریخ 2026-09-13 گرفته شده‌اند، و اندازه‌گیری‌ها همان‌طور که روی یک لپ‌تاپ Apple Silicon سنجیده شده‌اند آمده‌اند، نه به‌عنوان هدف.

هشت جدول روی باس‌های نام‌دار، و نهمی در صورت نیاز

یک تعهد، یک گشایش FRI. جدول‌ها هرگز یکدیگر را فراخوانی نمی‌کنند؛ آن‌ها حقایق را روی باس‌های LogUp نام‌دار مبادله می‌کنند (PROGRAM، PROGRAM_WORD، MEMORY، ALU، POSEIDON2، INPUT_DIGEST، INPUT_READ، KECCAK و جستجوهای بازه و نیبل) و تأییدکننده بررسی می‌کند که هر باس به‌صورت سراسری متوازن باشد. بیشینهٔ درجهٔ قید هر جدول با یک آزمون زیر سقف ۸ که ضریب انبساط FRI اجازه می‌دهد ثابت نگه داشته شده است.

از آن زمان سه مجموعهٔ قیود دیگر اضافه شده است. مجموعهٔ ۶ یک جدول اجباری public برای ورودی عمومی زمان استقرار یک برنامه افزود که به هضم بدون نمک H_PUB گره خورده است، و یک جدول اختیاری sha256 در کنار keccak. مجموعهٔ ۷ (زنجیرهٔ ۱۶) هر پایانهٔ LogUp را روی یک باس جدید BLIND کور می‌کند و هر جدول اعلام‌شده را روی کف 2⁷ سطر می‌نشاند، و فراخوانی سیستمی POSEIDON2_LEN با طول مقید را اضافه می‌کند. مجموعهٔ ۸ (زنجیرهٔ ۱۸) یک ستون GAS به جدول cpu و یک مقدار عمومی، یعنی GAS_LIMIT اعلام‌شده، می‌افزاید.

آنچه یک اثبات آشکار می‌کند

عمومی: هش کد hc (هشت کلمهٔ هضم درون مدار)، تعهد ورودی نمک‌دار H_IN (هشت کلمه)، رده گاز، و هشت کلمهٔ خروجی. از مجموعهٔ قیود ۶ همچنین H_PUB، هضم ورودی عمومی، و از مجموعهٔ قیود ۸ سقف گاز اعلام‌شده. سرآیند اثبات ارتفاع جدول‌های Keccak و SHA-256 را اعلام می‌کند، بنابراین نشان می‌دهد که آیا یک فراخوانی هش کرده است و، بالاتر از کف 2⁷، تقریباً چقدر.

پنهان: ورودی‌های خصوصی (H_IN نمک‌دار است، پس هم پنهان‌کننده است و هم الزام‌آور)؛ هر کلمهٔ دستورالعمل، چون تأییدکننده hc را بررسی می‌کند و هرگز برنامه را نه؛ هر مقدار ثبات و حافظه؛ هر شاخه‌ای که پیموده شده؛ تعداد دقیق چرخه‌ها و گاز دقیق مصرف‌شده؛ و اینکه کدام فراخوانی‌های سیستمی اجرا شده‌اند، جز آنچه ارتفاع دو جدول هش نشان می‌دهد.

رده برای هر اثبات عمومی است، چون اندازهٔ یک STARK از پیش ارتفاع ردگیری آن را آشکار می‌کند؛ پنهان کردن شاخص چیزی نصیب ما نمی‌کرد. hc الزام‌آور است، نه پنهان‌کننده: به امروز کجا متوقف می‌شود نگاه کنید.

اندازه‌گیری‌شده، در مجموعهٔ قیود ۵

لپ‌تاپ Apple Silicon، ساخت release. تقسیم جدول بایت در M2.3 همان چیزی است که زمان اثبات را جابه‌جا کرد؛ پروفایل ۸۰ پرس‌وجویی همان چیزی است که اندازهٔ اثبات را دوباره بالا برد. کلید تأییدکننده مستقل از محتوای برنامه است و بر اساس رده و ارتفاع‌های برنامه، ورودی و keccak که اثبات اعلام کرده کلیدگذاری می‌شود، بنابراین یک گره یک کلید را گرم می‌کند و دوباره به کار می‌برد.

پس از مجموعه‌های بعدی، اندازه‌ها تغییر کردند. تحت مجموعهٔ قیود 7، اثبات رده 10 در پروفایل تولیدی 1,367,688 بایت است و اثبات رده 10 حاوی Keccak برابر 3,283,898 بایت (اندازه‌گیری‌شده در 2026-09-28). از chain 17 به بعد، هر انتقال دو اثبات دارد: اثبات بستهٔ رده 14 با حدود 1.49 MB، و اثبات احراز رده 10 با حدود 1.37 MB که اثبات آن حدود 7 s طول می‌کشد. جنسیس chain 20 بلوک 20 MiB و سقف اثبات 4 MiB را تعیین می‌کند و هیچ فراخوانی نمی‌تواند از رده 14 فراتر رود.

سه هدف، یک مدار

فقط RISC-V به‌صورت بومی اجرا می‌شود. برنامه‌های Solidity و Solana یا روی یک guest مفسر در همان رابطه اجرا می‌شوند و بایت‌کد آن‌ها ورودی است، یا خارج از زنجیره به برنامه‌های RISC-V ترجمه می‌شوند که خروجی‌شان کلمه‌به‌کلمه با خروجی مفسر برابر است. opcodeهای پرهزینه جدول‌های هم‌پردازندهٔ اختصاصی می‌خواهند، نه شبیه‌سازی بیت‌به‌بیت.

نقاط عطف

نقطهٔ عطف 1 ماشین همه‌منظوره را اثبات کرد. نقطهٔ عطف 3 آن را به یک استخر محافظت‌شده تبدیل کرد: انتقالی با اثبات عضویت درون مدار تحت R_exec اثبات می‌شود و تأییدکننده hc را بدون دیدن حتی یک کلمهٔ برنامه بررسی می‌کند. نقطهٔ عطف 4 دربارهٔ سازگاری است: بارگذار، تعهد ورودی و جدول Keccak آن به‌صورت مجموعه‌های قیود 4 و 5 عرضه شدند و جدول SHA-256 با مجموعهٔ 6. guestهای مفسر EVM و sBPF، زنجیرهٔ ابزار rand-guest و دو مترجم ساخته شده‌اند. انتقال ERC-20 روی یک ماشین 128 GB اثبات شده است؛ اثبات SPL Token در رده 20 هنوز انجام نشده. نقطهٔ عطف 5 ماشین بازگشتی پشت تجمیع بلوک‌هاست که ساخته شده و روی همهٔ زنجیرها خاموش است. مجموعه‌های قیود 7 و 8 پس از بازبینی‌های سپتامبر و مدل gas آمدند.

فازهای استخر محافظت‌شده

دفتر کل fullnode در سه فاز فرود آمد که هر کدام یک هاردفورک بود (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 و نسخه‌های بعدی زنده بود، همه‌ی آن را داشت و اصلاحات وابسته به genesis در ممیزی‌های v4 و v5 را نیز فعال کرده بود: یک faucet با فهرست مجاز و بودجه‌ی هر epoch، فعال‌سازی تأخیری bond، سقف وزن stake، ثبت‌نام‌های وابسته به genesis، consensus_domain برابر 1، قواعد پل نسخه‌ی 2 و سقف رجیستری توکن، کارمزد ثبت سوخته‌شده و کران 2⁶³ برای note. Chain 20 که از 2026-10-01 ساعت 06:17 UTC روی v0.6.8 (c9c9bd3c) زنده است و هارد فورکی از chain 19 است، همه‌ی این‌ها را نگه می‌دارد و کار انتشارهای v0.6 را که در ادامه فهرست شده است به آن می‌افزاید.

انتشارها پس از v0.5

هر انتشار یک برچسب git با مدخلی در CHANGELOG.md مربوط به fullnode است. انتشاری که اجماع، قالب سیمی یا کلید راستی‌آزمایی را تغییر دهد با یک زنجیره‌ی جدید عرضه می‌شود؛ بقیه یکی‌یکی نود به نود روی زنجیره‌ی زنده می‌روند.

امروز تا کجا پیش رفته

انحراف‌ها از whitepaper، بیان‌شده و نه پنهان‌شده. هر یک در مستندات خود crate همراه با نقطه عطفی که آن را می‌بندد پیگیری می‌شود.

• hc متعهدکننده است اما پوشاننده نیست: نمک ندارد، بنابراین یک برنامه حدس‌زده‌شده را می‌توان تأیید کرد و دو استقرار از یک برنامه به هم قابل پیوندند. آنچه M3.4 برداشت این بود که تأییدگر کل برنامه را آشکارا در اختیار داشته باشد.
• کیف پولی که پیش از 2026-09-21 ساخته شده باشد شاهدها را از گره خود می‌خواهد، و درخواست شاهد برگی را نام می‌برد که قرار است خرج شود. rand فعلی نسخه خود از درخت را نگه می‌دارد و هرگز درخواست نمی‌کند؛ گره همچنان rand_getWitness را برای کیف پول‌های قدیمی‌تر ارائه می‌دهد.
• سپرده‌ها در مرز عمومی‌اند: ضرب faucet، نوت genesis و سپرده پل همگی مقدارشان را آشکارا حمل می‌کنند (از زنجیره 14 به بعد ضرب و نوت genesis بازگشایی خود را هم حمل می‌کنند، بنابراین کلید مالک نیز عمومی است)، همان دیدپذیری یک‌گامی که سپرده از حالت شفاف به حالت shielded در هر جای دیگر دارد.
• دانش‌صفر آماری است، نه کامل. این همان ویژگی‌ای است که FRI پوشاننده Plonky3 0.7 در عمل فراهم می‌کند، و crate هم همین را می‌گوید.
• هش transcript از نوع Poseidon2 با ثابت‌های دور توسعه‌ای است، نه SHA3-384 / BLAKE3-384 مقاله‌ها. یک تعویض پیکربندی است، نه بازنویسی.
• با 80 پرس‌وجوی FRI، اثبات بسته در زنجیره‌های 14 و 15 حدود 1.42 MB بود (حدود 1.3 MB تا زنجیره 13). از زنجیره 17 به بعد یک انتقال حدود 2.85 MB اثبات حمل می‌کند: اثبات بسته، حدود 1.49 MB، و اثبات مجوز، حدود 1.37 MB. در یک زنجیره پیش‌فرض، با بلوک‌های 4 MiB و سقف اثبات 2 MiB، اثباتی که Keccak دارد یکسره از سقف اثبات فراتر می‌رود؛ genesis زنجیره 20 بلوک‌های 20 MiB و سقف اثبات 4 MiB تعیین می‌کند (زنجیره‌های 13 تا 16 مقدار 8 MiB داشتند).
• سرایند اثبات فراخوانی پنهان نیست. سطح و ارتفاع جدول‌های Keccak و SHA-256 را اعلام می‌کند، پس نشان می‌دهد که فراخوانی هش کرده است یا نه. فراخوانی‌هایی که در زنجیره 15 پیش از کف اثبات‌گر v0.6 ثبت شدند بیش از این را آشکار می‌کردند: جدول خصوصی با کمتر از 2⁷ سطر را می‌شد از اثبات بیرون خواند. کف اثبات‌گر v0.6 این را برای فراخوانی‌های جدید بست، و مجموعه قیود 7 با hardening_v6 آن را از زنجیره 16 به بعد به قاعده زنجیره تبدیل کرد.
• هر فراخوانی تا سطح 14 محدود است، با حداکثر 2¹² سطر Keccak (128 جایگشت) و 2¹³ سطر SHA-256 (128 فشرده‌سازی)، و تحت hardening_v6 برنامه‌ای با بیش از 8,180 کلمه قابل استقرار نیست. guestهای مفسر EVM و sBPF و تصاویر ترجمه‌شده ERC-20 و SPL Token همگی از این حد بزرگ‌ترند.
• هر که شاهد را در اختیار دارد همه‌چیز را می‌بیند. ZK دید تأییدگر را محافظت می‌کند، نه دید اثبات‌گر را. از زنجیره 17 به بعد کیف پول می‌تواند اثبات بسته را بدون سپردن کلید خرج به یک rand-prover جفت‌شده بسپارد، اما آن اثبات‌گر همچنان کلید مشاهده را دارد و نوت‌ها را می‌بیند. بک‌اند CUDA نخستین‌بار در 2026-09-28 روی سخت‌افزار اجرا شد و هنوز اندازه‌گیری تولیدی ندارد.

ساختار مخزن

workspace Cargo مربوط به fullnode، همان‌گونه که در README و دایرکتوری crates/ آن چیده شده است.

مشخص‌شده، اما هنوز عرضه‌نشده

این مؤلفه‌ها در مقاله‌ها یا مستندات fullnode توصیف شده‌اند اما در حال اجرا نیستند: یا در مخزن‌ها وجود ندارند، یا ساخته شده‌اند و برای هیچ زنجیره‌ای روشن نیستند. فهرست شده‌اند تا فاصله میان مشخصات و کد خوانا باشد و نه استنباطی.

ساخت و آزمون

Rust در هر مخزن، گردش‌کار استاندارد خود را دارد. fullnode یک workspace واحد Cargo است با toolchain پین‌شده و یک مجموعه تست خوشه‌ای که گره‌های واقعی را روی TCP راه‌اندازی می‌کند. ساخت آن به این نیاز دارد که مخزن circuits در کنار آن، در دایرکتوری‌ای با نام circuits و روی commitی که crateهای vendored از آن همگام‌سازی شده‌اند (aeacf31 برای v0.6.7 و v0.6.8) checkout شده باشد. zkVM یک crate مستقل در zkp-circuits است که 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

مجموعه تست fullnode با اندازه‌گیری در v0.6.1 روی ماشینی با ۱۶ vCPU: core ‏۵۲۱ تست، node ‏۳۷۳، client ‏۱۱۷، مجموعهٔ prover متقلب ۱۱۶، تقلب‌های hidden-bundle ‏۲۱ (۷۵ دقیقه)، جریان کیف پول ۶ (۵۳ دقیقه)، خوشه ۲۶ (۴۴ دقیقه) و گیت end-to-end برای zUSD ‏۲ (۵۱ دقیقه). اثبات‌های تولیدی ماشین بازگشتی (recursion VM) خارج از آن هستند و به حافظه‌ای نیاز دارند که در بالا فهرست شده است.

راه‌اندازی یک گره نحوهٔ پیوستن به testnet عمومی را با همین ساخت توضیح می‌دهد؛ genesis مربوط به testnet، همتاهای bootstrap و اسکریپت‌های اجرا در دایرکتوری deploy/ مخزن fullnode عرضه می‌شوند و صفحهٔ دانلود خلاصهٔ آن را دارد.

مشارکت

fullnode تحت مجوز GNU General Public License v3.0 ‏(GPL-3.0-only) منتشر شده است؛ پیش از این Apache-2.0 بود. برای اشکال‌ها و پیشنهادهای طراحی، در مخزنی که تغییر به آن مربوط می‌شود issue باز کنید. pull requestها پذیرفته می‌شوند: پیش از ارسال، cargo fmt && cargo clippy را اجرا کنید و تغییرات را محدود و متمرکز نگه دارید. issueهای fullnode جای شروع است.

معماری، مدار حریم خصوصی، اثبات توکن کارمزد و مصالحهٔ پساکوانتومی، همگی در whitepaper در صفحهٔ مقالات مستند شده‌اند. دایرکتوری docs/ خود مخزن fullnode منبعی است که هر صفحه در این مستندات با آن راستی‌آزمایی شده است.