Pembangun

Rand ialah sumber terbuka. Nod penuh, penjelajah, jambatan, penyelidikan pembuktian dan klien dompet masing-masing berada dalam repositori tersendiri di GitHub. Baca kodnya, jalankan ujiannya, hantar tampalan. Halaman ini ialah peta: di mana setiap komponen berada, dengan apa ia dibina, setakat mana sistem bukti telah berkembang, dan di mana ia terhenti pada hari ini.

Repositori

Tindanan teknologi

Rust dari hujung ke hujung. Rand ialah rantainya sendiri: nod HotStuff BFT dengan lapisan gosip libp2p, kolam nota terlindung sepenuhnya sebagai lejar, tandatangan dan penyulitan nota pasca-kuantum, dan zkVM Rand untuk pengkomputeran sulit, semuanya dalam repositori fullnode. Sistem bukti itu sendiri ialah bahagian yang sedang dalam penyelidikan aktif, seperti di bawah.

Satu hubungan untuk setiap program

Hubungan pelaksanaan universal R_exec dalam kertas putih wujud sebagai kod: rand_zkvm, mesin RV32IM yang dibuktikan di bawah satu STARK kelompok pada Plonky3 di atas medan Goldilocks. Ia membuktikan bahawa sesuatu jejak telah menjalankan program hc kepada output awam ini pada input yang diikat oleh H_IN bergaram, dan tiada apa-apa tentang program itu menjadi parameter pengesah. Menerbitkan program sulit bermaksud mendaftarkan sebuah cincang, tidak pernah menjana litar khusus.

Sistem bukti ini telus, tanpa persediaan terpercaya dan tanpa lengkung pasangan, dan andaiannya ialah fungsi cincang yang tahan perlanggaran. Setiap komponen lain yang menyentuh bukti dijangka menumpu kepada crate ini dan bukannya membina versinya sendiri. Crate ini terletak dalam zkp-circuits/research dan di-vendor ke dalam fullnode pada set kekangan 8 (circuits aeacf31, fullnode v0.6.7 dan v0.6.8). Jadual dan ukuran di bawah menerangkan set kekangan 5 (pencapaian M4.2) melainkan sesuatu baris menamakan set yang lebih baharu; ia diambil daripada docs/zkvm.md, docs/zkvm-milestones.md dan docs/confidential.md fullnode setakat 2026-09-13, dan ukuran dinyatakan seperti yang diukur pada komputer riba Apple Silicon, bukan sebagai sasaran.

Lapan jadual pada bas bernama, satu kesembilan atas permintaan

Satu komitmen, satu pembukaan FRI. Jadual tidak pernah memanggil satu sama lain; ia bertukar fakta melalui bas LogUp bernama (PROGRAM, PROGRAM_WORD, MEMORY, ALU, POSEIDON2, INPUT_DIGEST, INPUT_READ, KECCAK serta carian julat dan nibble) dan pengesah menyemak bahawa setiap bas seimbang secara global. Darjah kekangan maksimum setiap jadual ditetapkan oleh ujian di bawah had 8 yang dibenarkan oleh blowup FRI.

Tiga set kekangan telah tiba sejak itu. Set 6 menambah jadual public mandatori untuk input awam sesuatu program pada masa penyebaran, terikat kepada cernaan tanpa garam H_PUB, dan jadual sha256 pilihan di sebelah keccak. Set 7 (rantai 16) membutakan setiap terminal LogUp pada bas BLIND baharu dan menetapkan lantai 2⁷ baris bagi setiap jadual yang diisytiharkan, serta menambah syscall POSEIDON2_LEN yang terikat panjang. Set 8 (rantai 18) menambah lajur GAS pada jadual cpu dan satu nilai awam, iaitu GAS_LIMIT yang diisytiharkan.

Apa yang didedahkan oleh sesuatu bukti

Awam: cincang kod hc (lapan perkataan cernaan dalam litar), komitmen input bergaram H_IN (lapan perkataan), tier gas, dan lapan perkataan output. Sejak set kekangan 6 juga H_PUB, cernaan input awam, dan sejak set kekangan 8 had gas yang diisytiharkan. Pengepala bukti mengisytiharkan ketinggian jadual Keccak dan SHA-256, jadi ia menunjukkan sama ada sesuatu panggilan melakukan pencincangan dan, melebihi lantai 2⁷, kira-kira berapa banyak.

Tersembunyi: input persendirian (H_IN digarami, maka ia menyembunyikan di samping mengikat); setiap perkataan arahan, kerana pengesah menyemak hc dan tidak pernah program itu; setiap nilai daftar dan memori; setiap cabang yang diambil; bilangan kitaran yang tepat dan gas yang digunakan dengan tepat; dan syscall yang dijalankan, selain daripada apa yang ditunjukkan oleh ketinggian dua jadual cincang.

Tier itu awam bagi setiap bukti kerana saiz sesuatu STARK sudah pun mendedahkan ketinggian jejaknya; menyembunyikan indeks tidak memberi apa-apa faedah. hc bersifat mengikat, bukan menyembunyikan: lihat di mana ia terhenti pada hari ini.

Diukur, pada set kekangan 5

Komputer riba Apple Silicon, binaan keluaran. Pemisahan jadual bait pada M2.3 ialah yang mengubah masa pembuktian; profil 80 pertanyaan ialah yang menaikkan semula saiz bukti. Kunci pengesah tidak bergantung pada kandungan program, dikunci oleh tier dan ketinggian program, input dan keccak yang diisytiharkan bukti, jadi nod memanaskan satu kunci dan menggunakannya semula.

Set kemudian mengubah saiz. Di bawah constraint set 7, bukti tier-10 berukuran 1,367,688 bait pada profil pengeluaran dan bukti tier-10 yang membawa Keccak berukuran 3,283,898 (diukur 2026-09-28). Sejak chain 17, satu pemindahan membawa dua bukti: bukti himpunan tier-14, kira-kira 1.49 MB, dan bukti pengesahan tier-10, kira-kira 1.37 MB dan kira-kira 7 s untuk dibuktikan. Genesis chain 20 menetapkan blok 20 MiB dan had bukti 4 MiB, dan satu panggilan tidak boleh melebihi tier 14.

Tiga sasaran, satu litar

Hanya RISC-V yang dilaksanakan secara natif. Program Solidity dan Solana sama ada dijalankan pada guest pentafsir di dalam relasi yang sama, dengan bytecode mereka sebagai input, atau diterjemahkan di luar rantaian kepada program RISC-V yang outputnya sama dengan output pentafsir perkataan demi perkataan. Opcode yang mahal memerlukan jadual koprosesor khusus dan bukannya simulasi bit demi bit.

Pencapaian

Pencapaian 1 membuktikan mesin serba guna. Pencapaian 3 menjadikannya kolam terlindung: satu pemindahan dengan keahlian dalam litar dibuktikan di bawah R_exec, dan pengesah menyemak hc tanpa pernah melihat sebarang perkataan program. Pencapaian 4 ialah keserasian: pemuat, komitmen input dan jadual Keccaknya dihantar sebagai constraint set 4 dan 5, dan jadual SHA-256 dengan set 6. Guest pentafsir EVM dan sBPF, rantai alat rand-guest dan dua penterjemah telah dibina. Pemindahan ERC-20 telah dibuktikan, pada mesin 128 GB; bukti SPL Token, pada tier 20, belum. Pencapaian 5 ialah VM rekursi di sebalik pengagregatan blok, yang telah dibina dan dimatikan pada setiap chain. Constraint set 7 dan 8 menyusul selepas semakan September dan model gas.

Fasa kolam terlindung

Lejar fullnode mendarat dalam tiga fasa, masing-masing satu fork keras (docs/shielded.md §7). S1 menggantikan lejar akaun dengan kolam nota; S3 membawa jambatan kembali sebagai nota dan mendarat dahulu; S2 meletakkan staking di atasnya. Ketiga-tiganya berada pada main dan pada chain semasa.

Baris di bawah S2 ialah kerja v0.5. Setiap baris ialah hard fork; semuanya diambil bersama sebagai satu rantaian baharu, chain 14, dipotong pada 2026-09-20 daripada binaan b3c594c, dan ditandakan v0.5 pada hari yang sama selepas pusingan balik zUSD secara langsung melalui titik hujung sumber yang telah digunakan. Chain 15, aktif sejak 2026-09-26 pada v0.5.8 dan seterusnya, membawa kesemuanya, dengan pembetulan audit v4 dan v5 yang dikawal genesis dihidupkan: faucet senarai dibenarkan dengan bajet bagi setiap epoch, pengaktifan bon yang ditangguhkan, had berat pertaruhan, pendaftaran terikat genesis, consensus_domain 1, peraturan jambatan v2 serta had daftar token, yuran pendaftaran yang dibakar dan had note 2⁶³. Chain 20, aktif sejak 2026-10-01 06:17 UTC pada v0.6.8 (c9c9bd3c), hard fork bagi chain 19, mengekalkan kesemuanya dan menambah kerja keluaran v0.6, yang disenaraikan di bawah.

Releases since v0.5

Setiap keluaran ialah tag git dengan entri dalam CHANGELOG.md fullnode. Keluaran yang mengubah konsensus, format wayar atau kunci verifier dihantar dengan rantaian baharu; yang lain dilancarkan ke atas rantaian aktif satu nod pada satu masa.

Di mana ia terhenti hari ini

Percanggahan daripada kertas putih, dinyatakan dan bukan dilicinkan. Setiap satu dijejaki dalam dokumentasi crate itu sendiri bersama pencapaian yang menutupnya.

• hc mengikat tetapi tidak menyembunyikan: ia tidak membawa salt, maka program yang diteka boleh disahkan dan dua penempatan program yang sama boleh dipautkan. Apa yang dihapuskan oleh M3.4 ialah keadaan pengesah memegang keseluruhan program secara jelas.
• Dompet yang dibina sebelum 2026-09-21 meminta saksi daripada nodnya, dan permintaan saksi menamakan daun yang bakal dibelanjakan. rand semasa menyimpan salinan pokoknya sendiri dan tidak pernah meminta; nod masih menyediakan rand_getWitness untuk dompet yang lebih lama.
• Deposit adalah awam pada sempadan: cetakan faucet, nota genesis dan deposit jambatan semuanya membawa jumlahnya secara jelas (sejak rantaian 14, cetakan dan nota genesis turut membawa bukaannya, maka kunci pemilik juga awam), iaitu keterlihatan satu lompatan yang sama seperti deposit telus-ke-terlindung di mana-mana sahaja.
• Pengetahuan sifar bersifat statistik, bukan sempurna. Itulah sifat yang sebenarnya disediakan oleh FRI penyembunyi Plonky3 0.7, dan crate itu menyatakannya.
• Cincang transkrip ialah Poseidon2 dengan pemalar pusingan pembangunan, bukan SHA3-384 / BLAKE3-384 dalam kertas-kertas itu. Satu pertukaran konfigurasi, bukan penulisan semula.
• Pada 80 pertanyaan FRI, bukti bundle adalah kira-kira 1.42 MB pada rantaian 14 dan 15 (kira-kira 1.3 MB sehingga rantaian 13). Sejak rantaian 17, satu pemindahan membawa kira-kira 2.85 MB bukti: bukti bundle, kira-kira 1.49 MB, dan bukti auth, kira-kira 1.37 MB. Pada rantaian lalai, dengan blok 4 MiB dan had bukti 2 MiB, bukti yang mengandungi Keccak terus melebihi had bukti; genesis rantaian 20 menetapkan blok 20 MiB dan had bukti 4 MiB (rantaian 13 hingga 16 menetapkan 8 MiB).
• Pengepala bukti panggilan tidak disembunyikan. Ia mengisytiharkan tier dan ketinggian jadual Keccak dan SHA-256, maka ia menunjukkan sama ada panggilan itu melakukan cincangan. Panggilan yang dikomit pada rantaian 15 sebelum lantai pembukti v0.6 mendedahkan lebih banyak: jadual persendirian di bawah 2⁷ baris boleh dibaca keluar daripada bukti. Lantai pembukti v0.6 menutupnya untuk panggilan baharu, dan set kekangan 7 bersama hardening_v6 menjadikannya peraturan rantaian mulai rantaian 16.
• Panggilan dihadkan pada tier 14, dengan paling banyak 2¹² baris Keccak (128 permutasi) dan 2¹³ baris SHA-256 (128 pemampatan), dan di bawah hardening_v6 program melebihi 8,180 perkataan tidak boleh ditempatkan. Guest interpreter EVM dan sBPF serta imej ERC-20 dan SPL Token yang diterjemahkan semuanya melebihi had itu.
• Sesiapa yang memegang saksi melihat segalanya. ZK melindungi pandangan pengesah, bukan pandangan pembukti. Sejak rantaian 17, dompet boleh menyerahkan bukti bundle kepada rand-prover yang dipasangkan tanpa menyerahkan kunci perbelanjaan, tetapi pembukti itu masih memegang kunci pemandangan dan melihat nota-nota. Bahagian belakang CUDA mula dijalankan pada perkakasan pada 2026-09-28 dan belum mempunyai ukuran pengeluaran.

Susun atur repositori

Ruang kerja Cargo fullnode, seperti yang tersusun dalam README dan direktori crates/nya.

Dinyatakan, belum dihantar

Komponen ini diterangkan dalam kertas atau dokumen fullnode tetapi tidak berjalan: sama ada tiada dalam repositori, atau dibina dan dihidupkan pada tiada rantaian. Ia disenaraikan supaya jurang antara spesifikasi dan kod dapat dilihat dengan jelas dan bukan disimpulkan.

Bina dan uji

Aliran kerja Rust piawai dalam setiap repositori. Fullnode ialah satu ruang kerja Cargo dengan toolchain yang ditetapkan dan satu set ujian kluster yang memulakan nod sebenar melalui TCP. Binaannya memerlukan repositori circuits disemak keluar di sebelahnya, dalam direktori bernama circuits, pada commit yang menjadi sumber penyegerakan crate vendor (aeacf31 untuk v0.6.7 dan v0.6.8). zkVM ialah crate kendiri dalam zkp-circuits dengan penetapan toolchain sendiri dan satu demo yang menerangkan apa yang didedahkan oleh panggilan sulit dan apa yang tidak didedahkan.

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 penyelidikan, dalam 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

Set ujian fullnode seperti yang diukur pada v0.6.1 pada mesin 16-vCPU: core 521 ujian, node 373, client 117, set ujian prover curang 116, tipu daya bundle tersembunyi 21 (75 minit), aliran wallet 6 (53 minit), kluster 26 (44 minit) dan get hujung-ke-hujung zUSD 2 (51 minit). Bukti pengeluaran VM rekursi berada di luar set ini dan memerlukan memori yang disenaraikan di atas.

Running a node merangkumi cara menyertai testnet awam dengan binaan tersebut; genesis testnet, rakan sebaya bootstrap dan skrip menjalankan dihantar dalam direktori deploy/ fullnode, dan halaman muat turun mempunyai versi ringkasnya.

Menyumbang

Fullnode dilesenkan di bawah GNU General Public License v3.0 (GPL-3.0-only); sebelum ini ia Apache-2.0. Buka isu untuk pepijat dan cadangan reka bentuk pada repositori yang disentuh oleh perubahan tersebut. Pull request dialu-alukan: jalankan cargo fmt && cargo clippy sebelum menghantar dan pastikan perubahan terhad skopnya. Isu fullnode ialah tempat untuk bermula.

Seni bina, litar privasi, bukti token yuran dan pertukaran pasca-kuantum semuanya didokumenkan dalam kertas putih di halaman kertas. Direktori docs/ repositori fullnode sendiri ialah sumber yang disemak bagi setiap halaman dalam dokumentasi ini.