Kertas Kerja
Rand Protocol diuraikan secara bercetak. Enam kertas kerja adalah terkini: kertas protokol dalam draf ketiganya, kertas pelaksanaan rujukan yang ditulis berdasarkan nod yang dijalankan oleh rangkaian ujian, laporan jambatan, kertas zUSD mengenai dolar terlindung, analisis keselamatan yang berdiri sendiri, dan ringkasan pelabur. Setiap PDF ialah sumber kanonik — muat turun, rujuk, audit. Apabila reka bentuk mempunyai had, kertas kerja menyatakannya dan tidak mengabaikannya.
- Kertas putihSTARKProof of Stake · BFTEVMPasca-Kuantum
Rand Protocol
Pengiraan sewenang-wenang yang sulit
Draf 3 · Ogos 2026, dikemas kini September 2026 · 73 halaman
Kami membentangkan Rand, sebuah rantaian blok bukti pertaruhan (proof-of-stake) yang konsensus Toleransi Kesalahan Byzantine (BFT)-nya memberikan kemuktamadan deterministik yang pantas dan setiap transaksinya ialah bukti pengetahuan sifar. Pemberat konsensus datang daripada pertaruhan terikat semata-mata: tiada pengiraan yang memberikan kuasa mengundi, memilih pemimpin atau menentukan sesuatu fork. Apa yang sememangnya terkandung dalam rantaian ini ialah banyak kerja pembuktian yang dilakukan di sebelah konsensus: setiap dompet menghasilkan STARK bagi transaksinya sendiri, dan setelah pengagregatan bukti peringkat blok diaktifkan, agregator terikat memperoleh RAND dengan membuktikan STARK rekursif ke atas bukti pengguna. Validator memperoleh yuran blok yang mereka cadangkan; semantik kontrak pintar ialah semantik Mesin Maya Ethereum (EVM). Kertas ini menerangkan skema pengetahuan sifar itu sendiri — bagaimana sesuatu pengiraan menjadi jadual, jadual menjadi satu set polinomial, dan polinomial menjadi bukti sekitar 1.4 MB bagi setiap pemindahan yang disemak oleh mana-mana validator dalam beberapa milisaat. Rand ialah rantaian kontrak pintar am yang langsung tidak membawa jenis transaksi telus: setiap pengiraan — pemindahan token atau panggilan kontrak sewenang-wenang — dilaksanakan secara sulit mengikut reka bentuk. Pengguna memegang RAND terlindung, membayar gas daripadanya, dan melaksanakan kod sewenang-wenang yang input, operan dan keadaan perantaraannya tidak pernah muncul pada rantaian, sementara validator mengesahkan satu STARK bahawa pelaksanaan itu betul. EVM menyediakan semantik yang menjadi asas pembuktian pelaksanaan itu, sebagai tetamu pentafsir di dalam litar, supaya bytecode Solidity sedia ada berjalan tanpa diubah suai; ia bukan laluan pelaksanaan telus di sebelah laluan terlindung.
Semakan ini turut mencadangkan, sebagai hala tuju penyelidikan yang belum dilaksanakan, Verifiable Prover Attribution (VPA). Rantaian yang sedang berjalan tidak menggunakannya: dompetnya membuktikan transaksi sendiri, pemimpinnya dipilih secara round robin, mempool-nya tidak disulitkan, dan satu-satunya peranan pembuktian terikat ialah daftar agregator, yang membayar agregat dimuktamadkan pertama yang meliputi sesuatu bundle; Bahagian II dibuka dengan status itu, dan teoremanya ialah pernyataan tentang cadangan tersebut, bukan tentang sistem yang digunakan. Draf asal membuktikan bahawa litar sesuatu transaksi persendirian dipenuhi tetapi tidak menyatakan apa-apa tentang bagaimana bukti ditugaskan kepada prover, di bawah susunan apakah prover membuktikan sesuatu kelompok, atau bagaimana verifier mengetahui bahawa entiti yang menyerahkan bukti ialah entiti yang mengiranya di bawah syarat yang diinsentifkan oleh protokol. STARK mengesahkan bahawa litar dipenuhi; ia tidak mengesahkan syarat di bawahnya litar itu dipenuhi. Kami menunjukkan bahawa jurang ini membuka tiga permukaan serangan yang konkrit — kolusi prover–validator, MEV sebelah prover, dan kerja Sybil/tidak bertanggungjawab — merumuskan setiap satu secara formal, dan mencadangkan penutupannya dengan beacon penugasan yang boleh dikira semula, susunan kanonik dengan mempool tertutup (disulitkan ambang), dan perakuan pasca-kuantum yang membawa bukti. Dengan itu kami menyatakan semula dakwaan draf bahawa “transaksi persendirian menghapuskan front-running” sebagai teorem bersyarat — yang syaratnya tidak dipenuhi oleh rantaian yang sedang berjalan, maka pada rantaian itu kandungan disembunyikan tetapi susunan tidak dilindungi.
Kami seterusnya menyelaraskan tiga ketidakkonsistenan dalaman dalam analisis keselamatan asal: (i) percanggahan antara kesolidan perlanggaran kuantum ~85-bit (sempadan BHT) dengan dakwaan pasca-kuantum 128-bit dalam abstrak/jadual parameter, yang dibetulkan dalam reka bentuk dengan cincang transkrip 384-bit serta teorem pengasingan keselamatan bagi setiap primitif yang eksplisit (pelaksanaan masih menggunakan cincang transkrip 256-bit, ≈85 bit kuantum); (ii) VRF pemilihan pemimpin yang tidak dinyatakan, yang dipecahkan oleh Shor jika diinstansiasikan ke atas lengkung eliptik, yang bagi kami menentukan beacon commit–reveal pasca-kuantum dengan sortition kriptografi berasaskan cincang (belum dilaksanakan: rantaian yang sedang berjalan memutar pemimpin secara round robin dan tidak mempunyai VRF langsung); dan (iii) medan Goldilocks yang kurang dinyatakan, yang bagi kami mewajibkan pengembangan berdarjah-k dan mengikat kesolidan FRI kepada bilangan pertanyaan serta bajet grinding. Semakan ini juga memindahkan lapisan pelaksanaan daripada Mesin Maya Solana kepada Mesin Maya Ethereum (EVM), membawa aset ERC-20 dan kontrak Solidity di bawah model transaksi terlindung, dan memperkenalkan penyelesaian gas secara kelompok: oleh sebab caj gas bagi setiap transaksi dalam RAND terlindung itu sendiri merupakan cap jari yang menyahanonimkan panggilan EVM (dan seterusnya kontrak ERC-20 yang disentuh), gas diikat kepada peringkat kuantisasi awam di dalam litar dan ditolak sebagai satu caj agregat bagi setiap kelompok, supaya jejak pada rantaian ialah satu jumlah bagi setiap kelompok dan bukan potongan bagi setiap akaun, bagi setiap panggilan. Akhir sekali, kami memberikan pelan hala tuju migrasi kecekapan kripto (crypto-agility) yang dilancarkan dengan SNARK, dinaik taraf kepada STARK telus, dan diperkukuh kepada keselamatan pasca-kuantum penuh dalam tempoh kalendar ~18 bulan (~14 bulan pada laluan kritikal selari), dengan setiap peralihan dipagari supaya ia merupakan perubahan parameter dan bukan fork konsensus.
Semakan Ogos 2026 ini memanjangkan model terlindung daripada pemindahan nilai kepada pengiraan sewenang-wenang yang sulit: kami menyamaratakan hubungan pemindahan kepada hubungan pelaksanaan sejagat ke atas mesin maya yang dibuktikan STARK, menentukan topologi pembuktian GPU setempat dan diwakilkan beserta sempadan kerahsiaannya yang tepat, dan meletakkan reka bentuk ini berbanding landskap semasa sistem bukti (Groth16, PLONK, Halo2, HyperPlonk, STARK berasaskan FRI), zkVM tujuan am (RISC Zero, SP1, Cairo/Stwo, Miden, Jolt, OpenVM), rollup zkEVM, dan rantaian privasi (Aztec, Aleo, Miden, Zcash), yang perangkap pembayaran gas dan pewakilan prover-nya secara langsung mendorong reka bentuk gas terlindung RAND dan VPA. Kami menganalisis pasaran prover yang tersirat oleh lapisan insentif, dengan menunjukkan bahawa kos bagi setiap bukti ditetapkan oleh penggunaan dan bukan tenaga, dan bahawa permintaan pembuktian rangkaian tepu dipenuhi oleh beberapa puluh GPU — maka pendesentralan prover mesti dijustifikasikan oleh kebolehhidupan (liveness) dan kerahsiaan dan bukan oleh bajet keselamatan, kerana kesolidan tidak bergantung pada set prover. Akhir sekali, kami menentukan bagaimana cagaran dolar eksogen — USDT dan USDC — diimport ke Rand sebagai aset-z terlindung melalui jambatan kunci-dan-cetak yang diperakui, yang memberikan kolam terlindung satu unit akaun yang stabil tanpa memerlukan penerbit melancarkannya secara natif — pergantungan komersial yang jika tidak akan menjadikan cerita pembayaran protokol bergantung pada pelan hala tuju pihak ketiga. Kami mengasingkan sifat yang menjadikan jambatan sedemikian kukuh dan paling mudah ditinggalkan: kuorum penjaga memperakui bahawa sesuatu mesej diterbitkan pada rantaian yang dipantau, bukan bahawa jambatan itu yang mengarangnya, maka pada lapisan mesej tanpa kebenaran, kesahihan tandatangan tidak membayangkan kebenaran dan pengikatan pemancar bersifat penentu. Kami membuktikan batas kesolidan penjagaan yang menghadkan kerugian kepada penjagaan bagi setiap rantaian secara bebas daripada andaian penjaga, menunjukkan bahawa bekalan aset-z terlindung kekal boleh diaudit secara awam berbanding penjagaan itu tanpa membuka sebarang nota, dan mengenal pasti jambatan sebagai sempadan pasca-kuantum sistem: tandatangan penjaga secp256k1 dipecahkan oleh Shor, maka laluan pelepasan kekal selamat secara klasik sehingga rantaian sumber melancarkan prakompil pasca-kuantum, walau bagaimanapun bahagian Rand diperkukuh.
Keputusan utama- Teorem 5.3 — Kebocoran Privasi Pembayaran Gas
- Teorem 7.9 — Privasi Gas Kelompok
- Teorem 10.6 — Perakuan Tidak Membayangkan Kebenaran
- Teorem 10.14 — Kesolidan Penjagaan
- Thm 10.19 — Jambatan Ialah Sempadan Pasca-Kuantum
- Thm 13.2 — Jurang Atribusi
- Thm 15.4 — Pendahuluan Transaksi (Front-Running), Dibetulkan dan Bersyarat
- Thm 15.9 — Kesahihan VPA
- Thm 18.1 — Pengasingan Keselamatan Kuantum Mengikut Primitif
- Thm 19.2 — Kesahihan FRI, Berparameter
Draf 3 menggantikan Draf 1 dan 2Draf 1 (Disember 2025) dan Draf 2 (semakan VPA Mei 2026) telah ditarik balik. Tiga kesilapan dalam analisis terdahulu dibetulkan dan tidak dilicinkan begitu sahaja: dakwaan keselamatan pasca-kuantum 128-bit bercanggah dengan had perlanggaran kuantum 85-bit bagi cincang 256-bit; VRF pemilihan ketua akan dipecahkan oleh algoritma Shor jika dibina di atas lengkung eliptik; dan Goldilocks biasa tidak dapat menampung kesahihan FRI yang didakwa. Lapisan pelaksanaan berpindah daripada SVM kepada EVM dan token dwi dirumuskan kepada RAND sahaja. Kemas kini September 2026 menyelaraskan reka bentuk dengan nod penuh rujukan sehingga rantaian 15: Rand dinyatakan secara terus terang sebagai proof of stake, skema pengetahuan sifar ditulis dengan lengkap, dan VPA ditandakan sebagai cadangan yang tidak digunakan oleh rantaian yang sedang berjalan.
- PelaksanaanzkVM · RISC-VHotStuffRantaian 15Testnet
Rand Protocol — Pelaksanaan Rujukan
Lejar terlindung dan mesin maya yang disahkan STARK, seperti yang digunakan
Draf Pelaksanaan 3 · September 2026 · 46 halaman
Sistem penyelesaian dalam kewangan konvensional bersifat sulit secara lalai: baki akaun dan rekod pindahan hanya boleh dilihat oleh pemegang akaun, institusi dan, melalui proses undang-undang, pengawal selia, dan tiada orang lain. Blockchain awam membalikkan sifat ini. Pada Ethereum dan Solana, keadaan global dan baris gilir transaksi yang belum selesai boleh diperhatikan oleh setiap peserta, lantas mendedahkan aliran pesanan institusi kepada pendahuluan transaksi (front-running) yang sistematik dan membuka pihak lawan serta jumlah bagi setiap pindahan stablecoin. Tiada protokol pengeluaran pada masa ini yang menggabungkan kerahsiaan lejar bank dengan penyelesaian deterministik, pengesahan telus dan keselamatan pasca-kuantum sebuah rantaian awam.
Kertas ini membentangkan Randprotocol, blockchain lapisan satu yang direka untuk merapatkan jurang tersebut, seperti yang dilaksanakan dalam nod penuh rujukannya. Aset asalnya, RAND, wujud hanya sebagai nota dalam kolam terlindung sepenuhnya: pokok komitmen Poseidon2 berkedalaman 32 dan set nullifier menggantikan akaun, dan setiap pindahan ialah berkas tetap dua input dua output yang kesahihannya ditentukan oleh bukti STARK telus berasaskan cincang bagi pelaksanaan satu program tetamu RISC-V yang disematkan. Sistem bukti yang sama menyokong pengiraan sewenang-wenangnya yang sulit: program RV32IM dikerahkan mengikut cincang kandungan dan dipanggil dengan bukti pelaksanaan sebagai ganti input, dan rantaian merekodkan lapan perkataan output awam. Konsensus ialah HotStuff berantai dengan kuorum berwajaran kepentingan, peraturan komit tiga paparan berturutan dan set pengesah terbitan zaman yang diambil daripada daftar awam; kepentingan diikat daripada kolam dan ditarik keluar ke dalamnya. Jambatan yang diperakui penjaga memasukkan aset daripada empat rantaian luar sebagai nota. Tandatangan pengesah ialah CRYSTALS-Dilithium2 dan sampul nota menggunakan ML-KEM-768 dengan ChaCha20-Poly1305.
Kami menghuraikan pelaksanaan itu komponen demi komponen, kemudian membangunkan analisis formalnya berdasarkan parameter yang digunakan: hubungan berkas dan panggilan yang dibuktikan oleh mesin maya pengetahuan sifar sembilan jadual, termasuk binaan penumpuk taint yang menggantikan penegasan dalam litar; hujah bas carian yang mengikat digest program dan komitmen input bergaram; kesahihan FRI bagi profil pengeluaran (80 pertanyaan, 20 bit grinding, blowup 8, lanjutan darjah-2 bagi medan Goldilocks), dinyatakan di bawah had jurang kedekatan yang terbukti dan konjektur ethSTARK; identiti imbangan nilai dan audit bekalan bagi kolam; serta keselamatan dan kebolehhidupan peraturan konsensus yang peka zaman.
Analisis ini mengenal pasti sifat yang belum disediakan oleh pelaksanaan. Yuran, wajaran kepentingan, jumlah deposit pada sempadan kolam dan identiti program adalah awam; dompet semasa mendedahkan kepada nod yang ditanya daun yang hendak dibelanjakannya; bukti 80 pertanyaan memerlukan lebih kurang 1.3 MB (1.43 MB bagi berkas empat slot rantaian 14 dan seterusnya), menghadkan blok 4 MiB kepada tiga pindahan terlindung (dua bermula rantaian 14; rantaian 15 menaikkan blok kepada 20 MiB); pengagregatan bukti peringkat blok, slashing serta tetamu EVM dan SVM belum selesai pada semakan asas (tetamu itu kemudiannya telah divendor, walaupun panggilan EVM tidak dibenarkan di bawah had panggilan tier-14, dan tiga pusingan audit yang dipimpin pengasas telah ditutup; tiada audit bebas dijalankan); dan pembukti GPU belum dilaksanakan pada perkakasan. Perisian ini digunakan pada rangkaian ujian dengan 26 pengesah (rantaian 17 sejak 2026-09-29, setiap pengesah dikendalikan oleh pasukan pengasas) dan tidak sesuai untuk penggunaan yang membabitkan nilai.
Keputusan utama- Thm 5.8 — Kesahihan Pengetahuan, Bersyarat
- Thm 5.11 — Pengetahuan Sifar Statistik
- Thm 5.12 — Kesahihan FRI seperti yang Diinstansikan
- Thm 5.14 — Keselamatan Mengikut Primitif bagi Sistem yang Digunakan
- Thm 5.17 — Imbangan Nilai bagi Kolam
- Thm 5.22 — Keselamatan
- Thm 5.24 — Kebolehhidupan selepas GST
- Thm 5.28 — Jambatan Bukan Pasca-Kuantum
Ditulis berdasarkan fullnode 26ab1d4, dengan adendum hingga 8e64781Setiap pernyataan tentang sistem merujuk nod rujukan pada commit 26ab1d4 (cabang main, 2026-09-16): kolam terlindung, kepentingan (staking), jambatan sebagai nota dan sampul panggilan, set kekangan zkVM 6, VM rekursi, dan pengagregatan peringkat blok, yang telah digabungkan tetapi terkawal genesis. Dua pusingan kemudian dicatatkan sebagai adendum bertanda di tempat nod itu berubah: 2026-09-24 (d050259, v0.5–v0.5.5, rantaian 14 — berkas aset tersembunyi empat slot, daftar token, jambatan yang diperkukuh) dan 2026-09-27 (8e64781, v0.5.6–v0.5.8, rantaian 15 — pin pengepala panggilan dan had tier, pemalar Poseidon2 yang dibekukan, pengikatan agregat).
- JambatanKunci-dan-CetakECDSA · Dilithium2Empat Rantaian
Jambatan Rand
Kunci-dan-cetak yang diperakui ke dalam kolam terlindung, dengan tandatangan bersama pasca-kuantum
Laporan teknikal, draf 1 · September 2026 · 13 halaman
Rand ialah blockchain sulit yang nilainya wujud sebagai komitmen dalam kolam terlindung dan bukannya baki telus. Kisah pembayarannya memerlukan aset stabil, dan tiada penerbit yang menggunakan satu secara asli pada rantaian tanpa volum. Jambatan Rand mengimport USDT dan USDC daripada Ethereum, BNB Smart Chain, Tron dan Solana sebagai satu dolar terlindung, zUSD, yang disokong satu-dengan-satu oleh jagaan pada rantaian tersebut. Laporan ini menentukan jambatan seperti yang dibina: mesej pindahan 184 bait dan dua lapisan tandatangannya — kuorum penjaga secp256k1 bagi setiap mesej dan kuorum tandatangan bersama Dilithium2 bagi setiap pencetakan ke dalam Rand, kedua-duanya enam daripada lapan pada masa ini; laluan deposit yang berakhir dengan nota yang diterbitkan sendiri oleh rantaian daripada jumlah yang diperakui; laluan pengeluaran yang membabitkan pembakaran terikat kepada buktinya dan dikeluarkan berdasarkan pembilang jagaan bagi setiap rantaian; permukaan tadbir urus (penggiliran penjaga dengan tempoh tangguh satu hari, penyenaraian eksplisit, jeda sehala yang hanya boleh ditamatkan oleh kuorum pasca-kuantum); dan peraturan jam yang dikenakan oleh rantaian berjambat ke atas konsensusnya sendiri.
Kami menyatakan dan membuktikan sifat yang diberikan oleh binaan ini — ketakbolehpalsuan kuorum, keperluan pengikatan pengeluar, kesahihan jagaan, kebolehauditan bekalan, dan had pasca-kuantum tidak simetri yang di bawahnya musuh berkeupayaan Shor boleh memalsukan pengeluaran tetapi tidak pencetakan — dan kami menyatakan, dengan teliti yang sama, apa yang tidak diberikannya: penjaga tidak diikat dan tidak boleh di-slash, dan walaupun enam daripada lapan kunci kini berjalan pada hos tersendiri, satu akaun pengehosan dan satu kunci pengendali masih boleh mencapai kesemuanya. Alamat penggunaan, saiz mesej, kos gas dan keputusan pusingan langsung dilaporkan.
Keputusan utama- Prop 5.1 — Tiada Lencongan
- Thm 5.2 — Kesahihan Jagaan
- Thm 8.1 — Ketakbolehpalsuan Kuorum
- Thm 8.3 — Perakuan Bukan Kebenaran
- Thm 8.4 — Kebolehauditan Bekalan Berjambat
- Thm 8.5 — Asimetri Pasca-Kuantum
Pendamping kepada bahagian jambatan dalam kertas protokolMenetapkan spesifikasi jambatan seperti yang dikerahkan, dalam tatatanda yang sama dengan bahagian merentas rantaian dalam kertas protokol dan selaras dengannya: set penjaga 1 (enam daripada lapan secp256k1) menggantikan set asal lima daripada enam pada 2026-09-25, dan set Dilithium2 bertambah daripada enam kepada lapan kunci pada genesis chain-15 pada 2026-09-26.
- Stablecoin TerlindungRizab PenuhBerbilang Rantaian · Berbilang PenerbitChain 15
zUSD — Dolar Terlindung dengan Rizab Penuh di atas Rand
Pemindahan stablecoin sulit tanpa risiko pancang, melalui rizab terkunci berbilang rantaian dan berbilang penerbit
September 2026 · menggantikan zUSDT (Dis 2025, semakan Ogos 2026) · 11 halaman
zUSD mempunyai rizab penuh: setiap unit disokong satu-dengan-satu oleh stablecoin dolar yang disimpan dalam kontrak jagaan pada rantaian tempat stablecoin tersebut diterbitkan secara natif — USDT dan USDC pada Ethereum, BNB Smart Chain dan Solana, serta USDT pada Tron, tujuh sokongan kesemuanya — dan boleh ditebus kepada mana-mana daripadanya atas permintaan. Ia sengaja bukan stablecoin algoritma atau rizab pecahan, maka ia tidak bergantung secara refleksif pada harga mana-mana aset yang tidak menentu dan tidak mempunyai permukaan lingkaran maut seperti yang memusnahkan UST milik Terra. Token ini wujud pada Rand, sebuah lejar terlindung, justeru ia merupakan nota terlindung sejak saat ia dicetak. Setiap segmen disahkan, maka jaminan pada setiap unit ialah min(kesolvenan rizab, integriti ambang penjaga), di bawah ambang dwi iaitu enam daripada lapan tandatangan ECDSA dan enam daripada lapan tandatangan bersama Dilithium2.
Invarian rizab S = Σ_b L_b dipenuhi dengan kesamaan dan dikuatkuasakan secara pembinaan dalam satu fungsi lejar. Kertas ini memberikan pernyataan jaminan bagi setiap sokongan, termasuk risiko baharu yang diperkenalkan oleh penggabungan dua penerbit, dan menetapkan mekanisme pengehad kerugian yang dibawa oleh pengerahan ini: had cetakan bergulir 24 jam bagi setiap sokongan dan satu had global, kunci jeda yang hanya boleh menjeda, had ke hadapan pada masa blok, dan had pelepasan pada kontrak jagaan. Ia jelas tentang perkara yang belum disediakan: pengendali penjaga yang bebas, pentadbir tandatangan berbilang berkunci masa pada setiap kontrak jagaan, dan bukti rizab yang boleh disemak tanpa peneroka milik projek itu sendiri.
Keputusan utama- Tesis 2.6 — Pemeliharaan Invarian
- Korolari 2.7 — Kebolehtebusan
- Cadangan 2.8 — Degradasi Rizab Penuh oleh Jambatan
- Korolari 2.9 — Jaminan Setiap Sokongan
- Cadangan 4.1 — Kebolehsahihan Awam di Bawah Perlindungan
September 2026 — menggantikan zUSDTMenghuraikan reka bentuk seperti yang dikerahkan pada Rand chain 15 dan berbeza daripada zUSDT dalam tiga cara yang kini terkandung dalam kod: token ini wujud pada Rand dan bukan Solana, maka tiada bentuk telus untuk dilindungi; rizab merangkumi dua penerbit serta beberapa rantaian, dan pemegang boleh menebus kepada mana-mana sokongan; dan setiap segmen ialah segmen yang disahkan, di bawah ambang dwi enam daripada lapan tandatangan bersama ECDSA dan Dilithium2. Cadangan 2.8 diterbitkan semula tanpa perubahan kerana ia masih betul, dan Korolari 2.9 merekodkan risiko baharu yang diperkenalkan oleh penggabungan dua penerbit.
- Analisis KeselamatanPasca-KuantumTaksonomi Serangan
Analisis Keselamatan Protokol Rand
Asas kriptografi pasca-kuantum, rintangan serangan dan jaminan keselamatan formal
Disember 2025, diselaraskan September 2026 · 13 halaman
Analisis keselamatan protokol Rand dengan bukti formal di bawah model musuh klasik dan kuantum, merangkumi konsensus BFT berpemberat pertaruhan (Rand ialah rantaian bukti pertaruhan: tiada pengiraan yang memberikan pemberat konsensus), sistem privasi berasaskan STARK, serta primitif pasca-kuantum CRYSTALS-Dilithium dan Kyber. Ia menganalisis rintangan terhadap serangan 51%, serangan jarak jauh, nothing-at-stake, grinding, eclipse dan Sybil, pendahuluan transaksi (front-running), serangan masa dan musuh kuantum, dengan batas formal dan parameter konkrit bagi setiap satu.
Di bawah andaian kekerasan kekisi piawai dan peruntukan saiz digest mengikut peranan — 384 bit apabila perlanggaran memecahkan kesahihan, 256 bit apabila hanya rintangan prapengimej diperlukan — setiap primitif mencapai sekurang-kurangnya keselamatan pasca-kuantum 128 bit; tanpa peruntukan itu pembinaan yang sama mencapai 85 bit. Lantai sistem ialah kesahihan FRI: sekurang-kurangnya 100 bit di bawah konjektur ethSTARK dan 86 bit di bawah batas jurang kedekatan yang terbukti, boleh ditala kepada 100 yang terbukti pada 97 pertanyaan dan kepada 128 pada sambungan darjah-3. Apabila pelaksanaan rujukan menyimpang daripada reka bentuk — cincangan transkrip 256 bit, tiada pemotongan (slashing) validator, pemimpin bergilir, mempool teks biasa — setiap keputusan menyatakannya.
Keputusan utama- Tesis 2.3 — Rintangan Perlanggaran Kuantum
- Tesis 3.5 — Keselamatan Kuantum STARK
- Tesis 3.6 — Keselamatan Pasca-Kuantum Keseluruhan
- Tesis 4.4 — Keselamatan HotStuff
- Tesis 5.3 — Ketakterpautan Nullifier
- Tesis 6.8 — Mitigasi Pendahuluan Transaksi, Bersyarat
- Tesis 7.1 — Ambang Keselamatan Ekonomi
Tertakluk kepada Bahagian III kertas protokolPendamping kendiri kepada bahagian keselamatan dalam kertas protokol, yang merupakan rawatan terselaras yang kanonik dan diutamakan jika terdapat sebarang percanggahan. Analisis Disember 2025 membawa tiga ralat yang dibetulkan oleh Draf 3; ia kemudian telah diselaraskan dengan Draf 3 dan dengan rantaian yang sedang berjalan.
- Ringkasan PelaburPusingan BenihSAFTOktober 2026
Rand Protocol: Ringkasan Pelabur
Penyelesaian peribadi dan boleh atur cara dengan bukti berasaskan cincangan
Oktober 2026 · 6 halaman
Blockchain awam menerbitkan apa yang mesti dilindungi oleh perniagaan: siapa membayar siapa, berapa jumlahnya, dan setiap pesanan sebelum ia dipenuhi, sehingga kolam modal terbesar kekal di luarnya. Rand ialah rantaian lapisan-1 yang setiap pembayarannya ialah nota terlindung dan setiap transaksinya ialah bukti pengetahuan sifar: rangkaian menyemak bahawa peraturan telah dijalankan tanpa melihat inputnya, dan kunci tontonan membolehkan juruaudit membaca apa yang tidak dapat dibaca oleh pesaing. Atur cara dalam Rust atau C dijalankan pada zkVM RISC-V yang dibuktikan oleh STARK berasaskan cincangan tanpa persediaan amanah, dan dolar tiba dari empat rantaian sebagai satu dolar terlindung, zUSD.
Ringkasan ini menggariskan masalah, produk dan kosnya yang diukur, kes penggunaan mengikut kesediaan, pasaran dengan anggaran yang diterbitkan, perbandingan dengan Aleo, Railgun, Quantus dan lain-lain, setahun penyelidikan dan pembinaan semula selama tiga minggu menjadi testnet yang beroperasi, harga token dan pusingan, pusingan benih (SAFT untuk 110 juta RAND, 11% daripada bekalan maksimum satu bilion, pada $0.03), pasukan dan risiko. Bukan tawaran apa-apa sekuriti atau token.
Keputusan utama- Chain 20 · v0.6.8
- Benih: $0.03 sekeping RAND, $30M FDV
- SAFT atas bekalan maksimum 1B
- 28 keluaran, 7 rantaian ujian
Fail sumber
Kesemua lima kertas ditulis dalam LaTeX dan dibina dengan tectonic. Sumber zUSD adalah awam — ia dipautkan daripada entrinya di atas, supaya setiap pernyataan di dalamnya boleh disemak berbanding fail asalnya, bersebelahan sumber zUSDT yang telah digantikan dalam repositori yang sama. Sumber empat kertas yang lain belum diterbitkan; PDF di atas ialah bentuk kanoniknya sehingga ia diterbitkan. Segala yang lain yang awam — nod, dompet, peneroka — terdapat dalam organisasi GitHub.