Halaman ini merekodkan rasional bagi setiap keputusan reka bentuk utama dalam Rand: sifat yang mesti disediakan oleh sesuatu komponen, andaian yang membolehkannya menyediakan sifat itu, dan kos yang diterima sebagai balasan. Halaman ini disusun pada 29 September 2026 daripada laman ini, ringkasan kertas putih dan nod penuh rujukan (github.com/randprotocol/fullnode: README, docs/ dan docs/superpowers/specs/). Setiap jawapan memetik dokumen yang menyatakan rasionalnya; laluan fail merujuk repositori fullnode melainkan bermula dengan randprotocol.org.
Status. Rand beroperasi pada testnet yang dikendalikan oleh pasukan pengasas, dan protokol ini belum diaudit secara bebas. Beberapa keputusan di bawah dilaksanakan secara berperingkat merentasi keluaran rantaian. Semua angka ialah ukuran nod yang sedang berjalan pada masa penyusunan; angka tersebut dijangka berubah dan perlu diukur semula sebelum dipetik.
Primitif kriptografi
1. Mengapa ML-KEM-768 (Kyber) untuk penyulitan nota?
Teks biasa sesebuah nota disulitkan kepada penerimanya dalam satu sampul yang kekal pada lejar awam selama-lamanya. Kerahsiaannya oleh itu ialah sifat yang tidak boleh ditarik balik (soalan 8): pihak lawan yang memperoleh komputer kuantum yang relevan secara kriptografi pada bila-bila masa kemudian dapat menyahsulit setiap sampul sejarah yang dimeterai di bawah KEM lengkung eliptik, kerana algoritma Shor menyelesaikan logaritma diskret dalam masa polinomial. ML-KEM dipiawaikan dalam NIST FIPS 203 dan keselamatannya berpunca daripada Module-LWE, yang tiada algoritma kuantum cekap diketahui baginya. Set parameter 768 (kategori 3 NIST) dipilih sebagai pertukaran antara margin keselamatan dengan kunci enkapsulasi 1,184 bait yang mesti dibawa oleh setiap alamat. Sampul tersebut ialah ML-KEM-768 digabungkan dengan ChaCha20-Poly1305: 1,348 bait, atau 1,860 bait dengan medan memo tetap.
Sumber: randprotocol.org (bahagian pasca-kuantum); fullnode README; docs/shielded.md §2
2. Mengapa komitmen Poseidon2 dan bukan Pedersen?
Komitmen Pedersen bersifat menyembunyi secara sempurna tetapi hanya mengikat secara komputasi, dan sifat mengikatnya bergantung pada andaian logaritma diskret, yang dipecahkan oleh pihak lawan kuantum; pihak lawan yang mampu mengira logaritma diskret boleh membuka sesuatu komitmen kepada nilai yang berbeza. Oleh sebab komitmen yang diterbitkan hari ini mesti kekal tegap dan menyembunyi sepanjang hayat lejar, skema tersebut mesti bersandar pada andaian yang dipercayai kekal terpakai terhadap pihak lawan kuantum, yang dalam praktiknya bermaksud fungsi cincang. Poseidon2 ialah cincang berorientasikan aritmetisasi yang ditakrifkan pada medan Goldilocks, maka penilaiannya di dalam STARK memerlukan sedikit kekangan. Cincang yang sama menjadi asas komitmen nota, pokok Merkle berkedalaman 32 dan nullifier.
Sumber: randprotocol.org (bahagian pasca-kuantum); docs/shielded.md §1–2
3. Mengapa dua fungsi cincang — BLAKE3 dan Poseidon2?
Kedua-dua fungsi ini dioptimumkan untuk model kos yang berbeza. Poseidon2 digunakan di mana-mana cincang perlu dinilai di dalam sesuatu bukti — nota, pokok komitmen, nullifier dan jadual dalaman zkVM — kerana kosnya diukur dalam kekangan. BLAKE3 digunakan di mana-mana tiada bukti terlibat dan daya pemprosesan natif menjadi pertimbangan utama: cincang blok, punca keadaan bagi pokok, set nullifier, daftar validator dan jadual program, serta alamat validator (ringkasan BLAKE3 bagi kunci awam). Poseidon2 agak perlahan pada CPU; BLAKE3 agak mahal untuk diaritmetisasikan. Setiap satu digunakan hanya di tempat model kosnya berkenaan.
Sumber: fullnode README (baris tandatangan / cincang); docs/architecture.md
4. Mengapa Dilithium2 (ML-DSA) untuk tandatangan validator?
Tandatangan konsensus menyediakan sifat yang boleh diperbaharui (soalan 8): pemecahan skema pada masa kemudian membolehkan pemalsuan mesej akan datang tetapi tidak membatalkan secara retroaktif blok yang telah dimuktamadkan, maka skema itu pada dasarnya boleh diganti sebelum pihak lawan kuantum wujud. Walau bagaimanapun, skema kekisi diguna pakai sejak genesis supaya undi konsensus, tandatangan bersama penjaga jambatan dan daftar validator berkongsi satu jenis kunci pasca-kuantum. Nod ini melaksanakan set parameter Dilithium2 pusingan ke-3 (crate crystals-dilithium), yang berbeza daripada ML-DSA-44 FIPS 204 yang muktamad; kunci awam berukuran 1,312 bait dan tandatangan 2,420 bait.
Sumber: docs/superpowers/specs/2026-09-19-pq-cosignature-bridge.md §2; randprotocol.org
5. Mengapa STARK telus (FRI pada Goldilocks) dan bukan SNARK?
Pilihan ini terhasil daripada tiga keperluan. Pertama, tiada persediaan dipercayai: ketegapan hanya bersandar pada rintangan perlanggaran sesuatu fungsi cincang, bukan pada rentetan rujukan berstruktur atau lengkung mesra pairing. Kedua, ketegapan pasca-kuantum yang munasabah: hujah ini tidak membuat andaian logaritma diskret atau pairing. Ketiga, keserasian dengan skema komitmen berasaskan cincang dalam soalan 2. Kosnya ialah saiz bukti: bukti satu bundle lebih kurang 1.3 MB, 300–600 kali ganda saiz transaksi terlindung Zcash atau Monero. Kos ini diterima dan ditangani secara berasingan melalui pengagregatan peringkat blok (soalan 31 dan 34).
Sumber: randprotocol.org; docs/block-space.md §1; docs/zkvm.md
6. Mengapa profil FRI 80 pertanyaan dan bukan 27?
Profil pengeluaran (80 pertanyaan, faktor blowup 8, 20 bit grinding bukti kerja) memberikan kira-kira 86 bit ketegapan yang boleh dibuktikan, berbanding kira-kira 42 bit bagi profil 27 pertanyaan, dengan saiz bukti 2.75 kali ganda. Masa pengesahan hampir tidak berubah: 809 ms meningkat kepada 838 ms secara sejuk, dan kira-kira 16 ms secara suam. Ketegapan yang boleh dibuktikan diberi keutamaan berbanding saiz bukti, dan kos saiz dipindahkan kepada reka bentuk ruang blok dan pengagregatan.
Sumber: docs/block-space.md §1, §3
7. Mengapa tuntutan pasca-kuantum dinyatakan bagi setiap primitif dan bukan sebagai ‘128-bit seluruh protokol’?
Draf terdahulu menegaskan keselamatan pasca-kuantum 128-bit bagi protokol secara keseluruhan. Tuntutan itu tidak konsisten dengan batas Brassard–Høyer–Tapp, yang menurutnya pihak lawan kuantum menemui perlanggaran dalam cincang 256-bit dengan kira-kira 2^85 pertanyaan, maka tuntutan itu ditarik balik dan bukan dikualifikasikan. Kertas ini kini menyatakan keselamatan bagi setiap primitif dan setiap peranan — cincang transkrip 384-bit, cincang 256-bit yang digunakan hanya apabila rintangan praimej diperlukan, Dilithium2, ML-KEM-768, dan FRI pada medan lanjutan — di bawah andaian Module-LWE dan Module-SIS dengan fungsi cincang dimodelkan sebagai oracle rawak kuantum. Cincang transkrip nod pada masa ini ialah Poseidon2; dokumentasi menyenaraikan perkara ini sebagai jurang konfigurasi yang masih terbuka.
Sumber: randprotocol.org (bahagian pasca-kuantum)
8. Apakah klasifikasi ‘tidak boleh ditarik balik lawan boleh diperbaharui’ dan mengapa ia menentukan pilihan?
Sesuatu sifat keselamatan tidak boleh ditarik balik jika pihak lawan yang memperoleh keupayaan baharu pada bila-bila masa akan datang dapat melanggarnya secara retroaktif bagi data yang telah diterbitkan; kerahsiaan nota dan sifat menyembunyi komitmen tergolong dalam jenis ini, maka ia mesti tahan kuantum pada masa penerbitan. Sesuatu sifat boleh diperbaharui jika ia dimantapkan semula pada setiap penggunaan, supaya skema dapat diganti sebelum ancaman menjelma; tandatangan dan ketegapan bukti tergolong dalam jenis ini. Setiap pilihan primitif dalam bahagian ini terhasil daripada pengklasifikasian sifat yang dilindunginya.
Sumber: randprotocol.org (bahagian pasca-kuantum)
Kolam terlindung
9. Mengapa model nota/UTXO tanpa akaun atau baki?
Lejar berasaskan akaun menerbitkan baki secara tabii; untuk merahsiakannya, keadaan mesti disulitkan dan penyataan atas teks sifir mesti dibuktikan, yang jauh lebih mahal. Kolam nota hanya menyimpan komitmen dan nullifier, yang kedua-duanya tidak mendedahkan pemilik atau jumlah, maka keadaan awam tidak mengandungi maklumat baki. Satu-satunya pengecualian ialah daftar validator, yang berat pertaruhannya mesti awam supaya replika bersetuju tentang keahlian kuorum (soalan 29).
Sumber: docs/shielded.md §1–2; docs/staking.md §1
10. Mengapa alamat berukuran ~1.6 KB?
Alamat terlindung terdiri daripada medan pemilik pk 32 bait dan kunci enkapsulasi ML-KEM-768 1,184 bait yang diperlukan oleh penghantar untuk memeterai sampul; apabila dikodkan base58, ini lebih kurang 1,667 aksara. Panjang ini ialah akibat langsung KEM pasca-kuantum. Satu reka bentuk yang telah diluluskan (alamat terlindung pendek, 2026-09-17) menggantikan alamat dengan pengecam penerima sekitar 256 bit yang diselesaikan kepada rekod yang boleh dikemas kini, ditandatangani dengan kunci perbelanjaan dan disediakan oleh penjelajah, supaya kunci enkapsulasi diambil dan bukan disalin.
Sumber: docs/shielded.md §1; docs/superpowers/specs/2026-09-17-short-shielded-address.md
11. Mengapa setiap kunci diterbitkan daripada satu kunci perbelanjaan 256-bit?
Semua bahan kunci lain ialah fungsi deterministik bagi satu rahsia sk: kunci pandangan nk = H(NK, sk), medan pemilik pk = H(PK, nk), nullifier H(NF, nk, cm), kunci pandangan keluar dan kunci nyahenkapsulasi ML-KEM, masing-masing di bawah pemisah domainnya sendiri. Fail kunci oleh itu hanya menyimpan sk, sandaran ialah satu nilai, dan pengimbasan semula pokok dari daun 0 memulihkan setiap nota. Oleh sebab tiada salinan kedua untuk pemulihan, dompet menolak untuk menimpa fail kunci yang sedia ada.
Sumber: docs/shielded.md §1
12. Mengapa bentuk bundle tetap 4-masuk-4-keluar?
Bentuk tetap menjadikan setiap bundle berukuran dan berstruktur sama tanpa mengira apa yang dipindahkannya. Setiap bundle menerbitkan tepat empat nullifier dan empat komitmen; slot yang tidak digunakan ialah nota dummy bernilai sifar, dan output baki diterbitkan walaupun nilainya sifar, kerana ketiadaan output baki akan membezakan transaksi tersebut. Spesifikasi asal ialah 2-masuk-2-keluar, mengikut Sapling. Ia dilebarkan kepada 4-masuk-4-keluar bersama bundle aset tersembunyi, supaya slot 0–1 membawa aset persendirian dan slot 2–3 membawa RAND untuk yuran; empat slot dan bukan tiga membolehkan pemindahan token membiayai yurannya daripada sehingga dua nota RAND.
Sumber: docs/shielded.md §2; docs/superpowers/specs/2026-09-19-hidden-asset-bundle-design.md §3
13. Mengapa satu bukti dapat memindahkan mana-mana aset (RAND, zUSD, token RPL)?
Sebelum rantai 14, satu pemindahan token membawa dua berkas (bundle), satu untuk yuran RAND dan satu lagi untuk aset. Ini memerlukan dua bukti dan mendedahkan kepada mana-mana pemerhati token yang mana telah dipindahkan. Guest aset tersembunyi menerima pengecam aset sebagai input persendirian, maka pemindahan zUSD tidak dapat dibezakan daripada pembayaran RAND. Guest ini muat pada tier 14 (kira-kira 100 s dan 5.7 GB memori) hanya kerana ia membaca inputnya dalam gelung dan menggabungkan semakan keahlian Merkle; pelaksanaan yang dibuka sepenuhnya memerlukan tier 16 (kira-kira 400 s dan 21 GB), yang melebihi memori mesin 16 GB.
Sumber: docs/superpowers/specs/2026-09-19-hidden-asset-bundle-design.md §1–3
14. Mengapakah yuran bersifat awam dan dibayar kepada pencadang?
Yuran awam selaras dengan daftar kepemilikan (stake) awam dan menjadikan kemasukan murah: sesebuah nod boleh menyemak had minimum yuran sebelum melakukan sebarang pengesahan. Bukti berkas menguatkuasakan persamaan imbangan Σ input = Σ output + yuran + pembakaran, maka yuran dibayar daripada nota tersembunyi tanpa mendedahkan nota yang mana. Kos yang diterima ialah jumlah yuran mungkin mendedahkan kelas transaksi (pemindahan atau panggilan program).
Sumber: docs/superpowers/specs/2026-09-11-shielded-pool-design.md (jadual keputusan); docs/fees.md §1
15. Mengapakah deposit (mint, atestasi jambatan) mempunyai jumlah yang awam?
Nilai yang memasuki kolam mesti diambil kira secara awam, dan atestasi jambatan ialah bukti awam bahawa kunci yang sepadan telah berlaku pada rantai sumber. Keterlihatan yang terhasil terhad kepada langkah kemasukan sahaja, sama seperti transaksi telus-ke-terlindung (t-to-z) dalam Zcash; perbelanjaan nota yang didepositkan selepas itu adalah tersembunyi.
Sumber: docs/superpowers/specs/2026-09-11-shielded-pool-design.md; docs/shielded.md (jadual apa yang awam)
16. Mengapakah memo ialah medan tetap 512 bait?
Medan panjang tetap memastikan lejar tidak mendedahkan sama ada memo wujud atau berapa panjangnya: pada rantai yang mendayakan memo, setiap sampul surat yang mencipta nota, termasuk nota dummy dan baki, tepat 1,860 bait. Memo dibawa hanya di dalam sampul surat yang disulitkan, tidak pernah dalam nota, komitmen atau bukti, dan boleh dibaca oleh pihak yang tepat sama yang sudah boleh menyahsulit nota tersebut. Memo yang cacat dinyahkod sebagai memo kosong, supaya ia tidak menjadikan nota itu sendiri tidak dapat dipulihkan.
Sumber: docs/shielded.md §2; docs/superpowers/specs/2026-09-26-address-sharing-and-memo-design.md
17. Mengapakah pembuktian dilakukan secara setempat, dan bagaimanakah prover yang diwakilkan tidak merosakkan perkara itu?
Bukti itu sendiri ialah kebenaran perbelanjaan: berkas tidak membawa tandatangan dan tiada medan penghantar, maka kunci perbelanjaan tidak perlu meninggalkan dompet. Bukti berkas tier 14 memerlukan kira-kira 5.7 GB memori, yang melebihi kemampuan telefon dan pelayar, justeru wujudnya prover yang diwakilkan. Kebenaran terpisah (guest berkas v3, parameter genesis hc_auth) mengasingkan kedua-dua peranan: pembukti hanya menerima kunci pemerhati nk dan menghasilkan bukti berkas, manakala dompet menghasilkan bukti kebenaran tier 10 yang kecil menggunakan sk. Oleh itu, pembukti boleh membina bukti berkas tetapi tidak boleh membenarkan sesuatu perbelanjaan (soalan 36).
Sumber: docs/prover.md §1; docs/shielded.md (kebenaran terpisah); docs/superpowers/specs/2026-09-28-delegated-proving-design.md
18. Mengapakah tetingkap sauh sebanyak 256 blok?
Sesuatu bukti dibina berdasarkan punca pokok komitmen tertentu (sauhnya), dan pembinaan bukti berkas tier 14 mengambil masa kira-kira 100 s. Oleh itu, lejar mesti menerima sauh yang telah berusia beberapa minit pada masa penyerahan. Tetingkap ini ialah 64 blok dalam spesifikasi asal dan dilebarkan kepada 256 blok apabila sela blok berkurangan, supaya tempohnya dalam masa jam dinding kekal melebihi masa pembuktian.
Sumber: docs/shielded.md; docs/superpowers/specs/2026-09-11-shielded-pool-design.md
zkVM dan pengkomputeran sulit
19. Mengapakah RV32I sebagai ISA guest (dan bukan RV64)?
Perkataan 32-bit terurai kepada tepat empat anggota bait (limb), dan nombor perdana Goldilocks p = 2^64 − 2^32 + 1 cukup besar sehingga hasil darab dua nilai 32-bit tidak pernah melimpah medan. RV64 akan menggandakan bilangan lajur anggota dalam jadual ALU dan memori. RISC-V juga merupakan sasaran sedia ada pengkompil arus perdana, maka program guest ialah binari terkompil biasa dan bukan program dalam bahasa yang dibina khas.
Sumber: docs/zkvm.md §2; research/docs/01-isa.md (‘Why RV32, not RV64’)
20. Mengapakah Goldilocks dan bukan medan 256-bit?
Goldilocks ialah nombor perdana 64-bit yang aritmetiknya dipetakan dengan cekap kepada arahan CPU 64-bit asli, dan kumpulan multiplikatifnya mempunyai subkumpulan kuasa dua yang besar, seperti yang diperlukan oleh FRI. Bersama perkataan 32-bit, ia mengekalkan setiap baris jejak (trace) yang sempit, menjadikan pembuktian profil pengeluaran boleh dilaksanakan pada komputer riba. Kesahan (soundness) yang hilang akibat bekerja pada medan kecil dipulihkan dengan menarik cabaran FRI daripada medan lanjutan.
Sumber: docs/zkvm.md §2; randprotocol.org (bahagian prestasi)
21. Mengapakah tier gas dan bukan pengukuran gas bagi setiap opcode?
Gas bagi setiap opcode wujud dalam Ethereum kerana setiap nod melaksanakan semula setiap transaksi dan panjang pelaksanaan tidak dihadkan terlebih dahulu. Dalam Rand tiada nod yang melaksanakan program: penghantar melaksanakannya sekali, di luar rantai, dan nod mengesahkan satu STARK yang kos pengesahannya hanya bergantung pada tier, bukan pada pengiraan yang dilakukan. Penamatan dikuatkuasakan oleh tier, kerana pelaksanaan yang tidak berhenti dalam 2^t kitaran tidak menerima bukti pada tier t. Penentuan harga ialah had minimum rata ditambah anggaran gas yang dihadkan oleh pengepala, dan kapasiti blok ialah bajet bait. Gas hanya muncul di dalam guest interpreter EVM dan sBPF, sebagai keadaan persendirian, di mana ia diperlukan untuk menghasilkan semula semantik rantai sumber.
Sumber: docs/fees.md §3–4; docs/superpowers/specs/2026-09-28-gas-model-design.md
22. Mengapakah jejak dipecahkan kepada sembilan jadual yang disambung oleh bus LogUp?
Satu jadual monolitik akan mengisi setiap baris sehingga lebar operasi yang paling lebar. Pengasingan jejak kepada sembilan jadual — CPU, memori, ALU, julat, nibble, Poseidon2, program, input dan awam — masing-masing diisi hanya sehingga ketinggiannya sendiri, memastikan jumlah jejak kecil. Hujah LogUp menetapkan hubungan multiset antara jadual. Jadual Keccak dan SHA-256 bersifat pilihan dan disertakan hanya apabila guest memanggil panggilan sistem yang sepadan.
Sumber: docs/zkvm.md §5
23. Mengapakah panggilan program hanya menerbitkan lapan perkataan output?
Panggilan program ialah bukti bahawa kod awam telah dilaksanakan dengan betul pada input persendirian; lejar hanya merekodkan resitnya. Lapan perkataan 32-bit mencukupi untuk mengikat sesuatu hasil, komitmen atau keputusan, dan saiz output yang tetap memastikan bentuk resit tidak mendedahkan apa-apa tentang program tersebut. Buat masa ini output hanyalah data: program tidak boleh memindahkan nilai dengan sendirinya.
Sumber: randprotocol.org/usecases (nota platform); docs/confidential.md
24. Mengapakah terdapat sampul surat input panggilan?
Pemanggil yang menyimpan input persendirian boleh menunjukkan kemudian apa yang telah dikira dalam sesuatu panggilan. Sampul surat input panggilan menjadikan ini kekal dengan menyimpan input, dalam bentuk tersulit, bersama panggilan itu, di mana juruaudit yang ditetapkan boleh menyahsulitnya dengan kunci. Ini memanjangkan pendedahan terpilih — sulit kepada pasaran, terbuka kepada pengawal selia yang ditetapkan — daripada pembayaran kepada pelaksanaan program.
Sumber: docs/confidential.md (‘Call input envelopes’)
25. Mengapakah perubahan set kekangan merupakan hard fork?
Setiap nod mengesahkan semula setiap bukti semasa penyegerakan, dan sesuatu bukti hanya sah berkenaan set kekangan (AIR) di bawahnya ia dihasilkan. Perubahan pada AIR oleh itu mengubah set rantai yang sah, dan ia diperkenalkan pada pemotongan genesis dan bukannya diterima pakai nod demi nod.
Sumber: docs/architecture.md (‘Why a constraint-set change is a hard fork’)
26. Mengapakah emulator ialah rujukan, bukan AIR?
Emulator ialah spesifikasi mesin yang boleh dibaca dan AIR ialah pengekodan spesifikasi itu sebagai kekangan polinomial. Jika kedua-duanya berbeza, AIR ialah pihak yang salah menurut takrifan. Ini meletakkan takrifan normatif pada artifak yang paling praktikal untuk diaudit oleh manusia.
Sumber: docs/zkvm.md §5
Konsensus dan nod
27. Mengapakah HotStuff BFT berantai?
HotStuff berantai menyediakan kemuktamadan deterministik: dengan kworum berwajaran kepemilikan melebihi dua pertiga, sesebuah blok menjadi muktamad apabila tiga perakuan kworum berturutan telah terbentuk di atasnya, dan blok yang muktamad tidak pernah disusun semula. Sela blok yang diukur ialah 1.2 s dan masa kepada kemuktamadan kira-kira 3.6 s. Pengguna institusi yang disasarkan memerlukan kemuktamadan penyelesaian yang boleh dijadikan asas untuk merekod catatan, sesuatu yang tidak disediakan oleh rantai dengan kemuktamadan kebarangkalian.
Sumber: fullnode README; randprotocol.org (bahagian prestasi); docs/architecture.md §6
28. Mengapakah pengesahan bukti berada di luar gelung konsensus?
Sesebuah nod mengesahkan setiap STARK apabila ia menerima masuk transaksi (kira-kira 32 ms apabila panas), sebelum menyampaikannya, maka pengesahan tidak pernah berada pada laluan kritikal pencadangan blok. Sela blok oleh itu ditentukan oleh kependaman konsensus dan bukannya saiz bukti. Semakan disusun mengikut kos, dengan STARK disahkan terakhir, supaya transaksi yang cacat ditolak sebelum langkah yang paling mahal.
Sumber: randprotocol.org; docs/architecture.md (‘How it works’)
29. Mengapakah daftar validator bersifat awam sedangkan segala-galanya yang lain terlindung?
Semua replika mesti bersetuju tentang validator yang boleh mencadangkan dan undi yang membentuk kworum, dan ini memerlukan wajaran kepemilikan bersifat awam. Daftar itu oleh itu menyimpan jumlah kepemilikan secara terbuka. Pautan kepada pemilikan kekal tersembunyi: bon dibiayai daripada nota terlindung dan pengeluaran dibayar ke dalam satu nota, dan tiada operasi yang mendedahkan nota itu milik siapa.
Sumber: docs/staking.md §1
30. Mengapakah nod yang sedang menyegerak melaksanakan semula setiap blok dan bukannya mempercayai sijil?
Nod yang menyertai rangkaian kemudian mengesahkan setiap sijil kuorum, mengesahkan semula setiap bundle dan bukti panggilan, serta membandingkan resit yang dihasilkan sebelum menerima rantaian tersebut. Oleh sebab kesahihan ditetapkan oleh bukti dan bukan oleh tandatangan semata-mata, prosedur ini tidak terdedah kepada serangan jarak jauh (long-range attack) yang menjejaskan rantaian yang dilindungi oleh tandatangan sahaja. Pemangkasan bukti daripada sejarah telah ditolak kerana ia akan menghapuskan jaminan ini.
Sumber: docs/architecture.md; docs/aggregation.md (pengenalan)
31. Mengapakah had blok dikekalkan pada 4 MiB sedangkan satu bukti melebihi 1 MB?
Dengan had tetap, saiz blok tidak boleh bertambah; apabila permintaan melebihi kapasiti, daya pemprosesan yang dihadkan (kepada tiga pemindahan terlindung bagi setiap blok di bawah profil 80 pertanyaan). Had daya pemprosesan dinilai sebagai mod kegagalan yang lebih selamat daripada pertumbuhan blok tanpa had. Penyelesaian yang dipilih ialah pengagregatan peringkat blok, iaitu satu bukti rekursif bagi setiap blok, dan bukannya menaikkan had atau menurunkan tahap kebolehpercayaan (soundness).
Sumber: docs/block-space.md §1, §6
32. Mengapakah testnet memangkas sejarah kepada satu hari?
Satu sijil kuorum yang membawa 18 tandatangan Dilithium2 bersaiz kira-kira 44 KB dan disimpan dua kali bagi setiap blok. Dengan blok yang kebanyakannya kosong setiap 1.4 s, ini mencecah kira-kira 6.6 GB bagi setiap nod sehari; cakera nod menjadi penuh, dan rantaian hilang kuorum pada ketinggian 248,953. Nod penuh testnet kini menyimpan sejarah selama satu hari, satu nod arkib menyimpan kesemuanya, dan nod mainnet-beta akan menyimpan kesemuanya. Keadaan lejar, iaitu pokok, set nullifier, daftar dan program, tidak pernah dipangkas.
Sumber: docs/superpowers/specs/2026-09-24-history-pruning-design.md
33. Mengapakah libp2p?
Nod menggunakan TCP dengan Noise dan Yamux, gossipsub untuk transaksi dan undi, Kademlia dengan senarai bootstrap untuk penemuan rakan sebaya, mDNS pada rangkaian setempat, dan request-response untuk penyegerakan blok. Komponen ini standard dan digunakan secara meluas, sehingga nod mewarisi pemarkahan rakan sebaya, penyambungan semula dan peningkatan pengangkutan tanpa perlu menyelenggara pelaksanaannya sendiri.
Sumber: README fullnode (baris rangkaian)
Pasaran pembuktian dan pengagregatan
34. Mengapakah pengagregatan bukti peringkat blok?
Ruang blok bertambah secara linear dengan bilangan bundle jika setiap satu membawa buktinya sendiri yang bersaiz kira-kira 1.3 MB. Satu STARK rekursif bagi setiap blok, yang mengesahkan kesemua N bukti bundle, mengekalkan kos bukti dalam rantaian malar terhadap N. Validator kemudian mengesahkan satu bukti agregat (kira-kira 16 ms dalam keadaan panas) pada CPU, justeru perkakasan komoditi masih boleh mengesahkan, manakala agregator yang menggunakan GPU bersaing dalam pasaran berasingan tanpa kebenaran untuk habuan bahagian pembuktian daripada yuran dan subsidi blok.
Sumber: docs/aggregation.md §1
35. Mengapakah tiga peranan — validator, agregator, pembukti yang diwakilkan?
Ketiga-tiga peranan ini mempunyai keperluan perkakasan yang berbeza dan dibayar oleh pihak yang berbeza. Validator menyusun dan mengesahkan transaksi pada CPU dan dibayar daripada bahagian pengesahan yuran. Agregator menghasilkan bukti blok rekursif pada GPU dan dibayar daripada bahagian pembuktian serta subsidi. Pembukti yang diwakilkan menghasilkan satu bukti bundle bagi penghantar yang peranti tidak mampu berbuat demikian (telefon atau pelayar) dan dibayar secara peribadi oleh penghantar itu. Pengasingan peranan memastikan pengesahan murah dan menjadikan pembuktian kompetitif.
Sumber: docs/prover.md §1
36. Mengapakah pembukti yang diwakilkan tidak dapat mencuri dana?
Di bawah kebenaran terpisah (split authorisation), pembukti menerima kunci paparan nk tetapi bukan kunci perbelanjaan sk. Bukti bundle membuat komitmen kepada c = H(AUTH, nk || salt), dan bukti kebenaran berasingan oleh dompet menunjukkan pengetahuan tentang sk bagi c yang sama. Tanpa sk, pembukti boleh mengira bukti bundle tetapi tidak dapat menghasilkan kebenaran yang sah, dan dompet mengesahkan bukti yang dikembalikan sebelum menghantarnya.
Sumber: docs/shielded.md (split authorisation); docs/prover.md §8
Jambatan dan zUSD
37. Mengapakah USDT/USDC dikunci pada rantaian asalnya dan bukannya menerbitkan stablecoin baharu?
Penerbitan natif pada Rand akan menjadikan kapasiti rizab bergantung pada keputusan penempatan para penerbit, yang berada di luar kawalan projek. Pengunciran USDT dan USDC pada Ethereum, BSC, Tron dan Solana mengambil rizab daripada rantaian tempat aset ini sudah pun beredar dan tidak memperkenalkan penerbit baharu: setiap unit zUSD ialah tuntutan ke atas USDT atau USDC yang dipegang dalam kontrak jagaan yang boleh dibaca umum.
Sumber: randprotocol.org (bahagian rizab)
38. Mengapakah set penjaga t-daripada-n, dan mengapakah perkara ini dinyatakan secara terus terang?
Perakuan ialah satu-satunya bukti yang ada pada Rand bahawa pengunciran berlaku pada rantaian lain, maka ia mesti ditandatangani oleh kumpulan ambang; perakuan yang sah memerlukan tandatangan daripada lebih dua pertiga penjaga. Andaian kepercayaan yang terhasil dinyatakan dengan jelas. Jaminan berkesan ialah yang lebih lemah antara kesolvenan rizab dan integriti jambatan; gabungan t penjaga boleh membenarkan pencetakan tanpa pengunciran yang sepadan; dan pendedahan dihadkan oleh jagaan yang dipegang pada setiap rantaian. Andaian ini pada asalnya merupakan hujah menentang pembinaan jambatan. Ia tidak ditarik balik tetapi diterima sebagai pertukaran untuk kapasiti rizab.
Sumber: randprotocol.org (bahagian rizab, ‘Apakah kosnya’)
39. Mengapakah tandatangan bersama Dilithium2 di samping perakuan ECDSA?
Rantaian sumber tidak menyediakan pengesah tandatangan kekisi, maka pelepasan pada rantaian tersebut kekal dilindungi oleh ECDSA klasik, dengan pendedahan dihadkan oleh jagaan dan had. Setiap mesej yang diterima lejar Rand daripada para penjaga, iaitu deposit dan penggiliran set penjaga, mesti turut membawa kuorum tandatangan Dilithium2 daripada penjaga yang sama. Oleh itu, laluan pencetakan bersifat pasca-kuantum walaupun titik akhir luaran tidak. Tandatangan bersama dihantar bersama perakuan dan tidak memerlukan sebarang perubahan pada kontrak yang telah dikerahkan.
Sumber: docs/superpowers/specs/2026-09-19-pq-cosignature-bridge.md §1
40. Mengapakah faktor penyamaran nota deposit diterbitkan dan bukannya dipilih?
Sebelum ini, komitmen nota deposit tidak ditentukan sehingga seorang penyampai menghantar perakuan, maka dua penyampai boleh menghantar perakuan yang sama dengan nota yang berbeza. Penerbitan faktor penyamaran r secara deterministik daripada perakuan menetapkan komitmen itu, supaya penghantaran yang bersaing bertembung pada satu komitmen dan deposit tidak boleh dicetak dua kali.
Sumber: docs/bridge.md (F1, chain 14)
41. Mengapakah USDT yang dikunci pada Tron boleh keluar sebagai USDT pada Ethereum?
zUSD bersifat fungibel: setiap unit ialah tuntutan ke atas rizab agregat, bukan ke atas rantaian tempat ia masuk. Pemisahan antara kemasukan dan keluaran membolehkan kecairan bergerak ke tempat ia diperlukan, dengan syarat rantaian destinasi memegang rizab yang mencukupi. Kertas stablecoin membuktikan bahawa invarian S ≤ Σ_c R_c, iaitu bekalan keseluruhan dihadkan oleh jumlah rizab bagi setiap rantaian, dikekalkan oleh setiap peralihan keadaan.
Sumber: randprotocol.org (bahagian rizab)
42. Mengapakah perlindungan (shielding) menyembunyikan taburan tetapi bukan kuantiti?
Jumlah bekalan zUSD adalah umum dalam daftar token dan rizab setiap rantaian ialah baki umum, maka kesolvenan boleh disahkan oleh sesiapa sahaja; yang disembunyikan ialah taburan pegangan antara pemilik. Satu batasan berlaku: keempat-empat baki rizab tidak dapat diperhatikan secara atomik pada satu detik, maka bagi rantaian tersebut semakan mengesan ketidaksolvenan selepas kejadian dan bukannya mencegahnya.
Sumber: randprotocol.org (bahagian rizab)
43. Mengapakah pembakaran satu-satunya transaksi yang menamakan asetnya?
Pembakaran melepaskan aset tertentu pada rantaian tertentu, maka kontrak jagaan mesti mengetahui aset dan rantaian yang mana. Setiap transaksi lain memindahkan aset yang tidak dikenal pasti. Pembakaran juga membawa yuran jambatan, kerana ia satu-satunya transaksi jambatan yang penghantarnya ialah penerima manfaat.
Sumber: docs/architecture.md; docs/shielded.md §2
Pematuhan dan pendedahan
44. Mengapakah kunci paparan dan bukannya ‘peribadi daripada semua orang’?
Pengawal selia tidak menerima sistem privasi yang pendedahannya bergantung pada kerjasama pihak yang disiasat, seperti yang digambarkan oleh kes Tornado Cash. Oleh itu, Rand menganggap pendedahan sebagai objek protokol. Pemegang, atau perantara terkawal selia, mengekalkan kunci paparan; juruaudit boleh menyahsulit transaksi yang dinamakan dalam permintaan yang sah di sisi undang-undang; dan sasaran reka bentuk ialah kunci berskop yang mendedahkan pihak lawan dan jumlah tanpa mendedahkan strategi dagangan. Bagi aplikasi seperti penggajian, kebolehauditan ini merupakan satu keperluan dan bukannya satu batasan.
Sumber: randprotocol.org/usecases (bahagian peraturan; kes penggajian)
45. Mengapakah kunci paparan keluar dipisahkan daripada kunci paparan masuk?
Pemisahan membolehkan penghantar membuktikan apa yang telah dibayarnya tanpa mendapat akses kepada sejarah penerima, dan sebaliknya. Kunci paparan keluar ovk menyahsulit sampul surat yang telah dihantar oleh dompet; kunci dekapsulasi ML-KEM menyahsulit sampul surat yang dihantar kepadanya; dan kunci bagi setiap transaksi mendedahkan tepat satu output kepada pihak ketiga.
Sumber: docs/shielded.md §1–2
Batasan yang diketahui
46. Apakah yang bocor daripada bukti pada hari ini, dan mengapakah ia didokumentasikan?
Kajian semula pada 2026-09-27 mendapati bahawa di bawah guest v1 (chain 14–15), setiap bukti bundle mendedahkan slot input yang mana memegang nota sebenar dan berat Hamming bagi setiap indeks daun yang dibelanjakan. Puncanya dua: jumlah LogUp bagi setiap jadual diterbitkan tanpa penyamaran, dan aliran kawalan guest bercabang mengikut sama ada input itu input tiruan. Penyelesaiannya ialah guest tanpa cabang (v2), yang akan dipilih pada genesis seterusnya. Penemuan ini diterbitkan kerana rangkaian ini ialah testnet dan dokumentasi berfungsi sebagai rekod auditnya.
Sumber: docs/shielded.md (‘What the proofs leak today’)
47. Mengapakah pertumbuhan keadaan dinilai terlalu murah?
Ethereum meletakkan harga pada operasi tulis storan kerana keadaan yang disimpan mengenakan kos kekal kepada setiap nod. Pada masa ini, Rand hanya meletakkan harga pada pertumbuhan pokok komitmen, set nullifier dan storan program melalui yuran penempatan bagi setiap perkataan (word) dan yuran bundle yang tetap. Ini memadai untuk testnet, tetapi dicatatkan sebagai persoalan penetapan harga yang terbuka dan perlu diselesaikan sebelum mainnet; penyelesaiannya tidak memerlukan pengukuran bagi setiap opcode.
Sumber: docs/fees.md §3 (caveats)
48. Mengapakah belum ada audit bebas yang diselesaikan setakat ini?
Protokol ini sedang dibangunkan secara aktif di atas testnet yang dikendalikan oleh pasukan, dan set kekangan serta pemotongan rantaian (chain cut) yang lebih banyak dijangka sebelum reka bentuk menjadi stabil. Laman web menyatakan perkara ini pada setiap halaman. Pusingan audit dalaman (v3–v5) diterbitkan dalam docs/consensus.md dan spesifikasi reka bentuk, supaya audit luaran akhirnya mempunyai rekod yang lengkap untuk dijadikan asas kerja.
Sumber: randprotocol.org (footer); docs/consensus.md