Makalah
Rand Protocol dijabarkan dalam bentuk cetak. Enam makalah berlaku saat ini: makalah protokol dalam draf ketiganya, makalah implementasi referensi yang ditulis berdasarkan node yang dijalankan oleh jaringan uji, laporan bridge, makalah zUSD tentang dolar shielded, analisis keamanan yang berdiri sendiri, dan ringkasan investor. Setiap PDF adalah sumber kanonis — unduh, kutip, dan audit. Pada bagian di mana desain memiliki keterbatasan, makalah-makalah tersebut menyatakannya dan tidak menghilangkannya.
- WhitepaperSTARKProof of Stake · BFTEVMPasca-Kuantum
Rand Protocol
Komputasi sembarang yang bersifat rahasia
Draf 3 · Agustus 2026, diperbarui September 2026 · 73 halaman
Kami memaparkan Rand, sebuah blockchain proof-of-stake yang konsensus Byzantine Fault Tolerant (BFT)-nya memberikan finalitas deterministik yang cepat dan yang setiap transaksinya merupakan bukti zero-knowledge. Bobot konsensus berasal dari stake terikat semata: tidak ada komputasi yang memberikan hak suara, memilih pemimpin, atau menentukan sebuah fork. Yang memang terdapat pada rantai ini adalah sangat banyak proving yang dilakukan di samping konsensus: setiap wallet menghasilkan STARK untuk transaksinya sendiri, dan, setelah agregasi bukti tingkat blok diaktifkan, aggregator terikat memperoleh RAND dengan membuktikan STARK rekursif atas bukti-bukti pengguna. Validator memperoleh biaya dari blok yang mereka usulkan; semantik smart contract mengikuti Ethereum Virtual Machine (EVM). Makalah ini menjelaskan skema zero-knowledge itu sendiri — bagaimana sebuah komputasi menjadi tabel, tabel menjadi sekumpulan polinomial, dan polinomial menjadi bukti berukuran sekitar 1,4 MB per transfer yang diperiksa setiap validator dalam hitungan milidetik. Rand adalah rantai smart contract umum yang sama sekali tidak memiliki jenis transaksi transparan: setiap komputasi — transfer token maupun pemanggilan kontrak sembarang — dieksekusi secara rahasia berdasarkan rancangannya. Pengguna memegang RAND terlindung (shielded), membayar gas darinya, dan mengeksekusi kode sembarang yang input, operand, dan status antaranya tidak pernah muncul di rantai, sementara validator memverifikasi satu STARK yang membuktikan bahwa eksekusi berjalan benar. EVM menyediakan semantik yang menjadi acuan pembuktian eksekusi, sebagai guest interpreter di dalam sirkuit, sehingga bytecode Solidity yang sudah ada berjalan tanpa modifikasi; EVM bukanlah jalur eksekusi transparan yang berdampingan dengan jalur terlindung.
Revisi ini juga mengusulkan, sebagai arah riset yang belum diimplementasikan, Verifiable Prover Attribution (VPA). Rantai yang berjalan tidak menggunakannya: wallet-nya membuktikan transaksinya sendiri, pemimpinnya dipilih secara round robin, mempool-nya tidak dienkripsi, dan satu-satunya peran proving terikat di dalamnya adalah register aggregator, tempat agregat final pertama yang mencakup sebuah bundel dibayar; Bagian II dibuka dengan status tersebut, dan teorema-teoremanya adalah pernyataan tentang usulan itu, bukan tentang sistem yang dijalankan. Draf awal membuktikan bahwa sirkuit sebuah transaksi privat terpenuhi, tetapi tidak menyatakan apa pun tentang bagaimana bukti ditugaskan kepada prover, dalam urutan apa sebuah prover membuktikan suatu batch, atau bagaimana verifier mengetahui bahwa entitas yang mengirimkan bukti adalah entitas yang menghitungnya dalam kondisi yang diinsentifkan oleh protokol. Sebuah STARK menjamin bahwa sirkuit terpenuhi; ia tidak menjamin kondisi di mana sirkuit itu terpenuhi. Kami menunjukkan bahwa celah ini membuka tiga permukaan serangan konkret — kolusi prover–validator, MEV di sisi prover, dan pekerjaan Sybil/tanpa akuntabilitas — memformalkan masing-masing, dan mengusulkan penutupannya dengan beacon penugasan yang dapat dihitung ulang, urutan kanonis dengan mempool tersegel (terenkripsi ambang), dan atestasi pasca-kuantum yang membawa bukti. Dengan demikian kami menyatakan ulang klaim draf bahwa “transaksi privat menghilangkan front-running” sebagai teorema bersyarat — yang syaratnya tidak dipenuhi oleh rantai yang berjalan, sehingga pada rantai itu isi transaksi tersembunyi tetapi urutannya tidak terlindungi.
Kami selanjutnya merekonsiliasi tiga inkonsistensi internal dalam analisis keamanan awal: (i) kontradiksi antara soundness tumbukan kuantum sekitar 85 bit (batas BHT) dan klaim pasca-kuantum 128 bit pada abstrak dan tabel parameter, yang diperbaiki dalam rancangan dengan hash transkrip 384 bit ditambah teorema pemisahan keamanan per primitif yang eksplisit (implementasi masih menggunakan hash transkrip 256 bit, ≈85 bit kuantum); (ii) VRF pemilihan pemimpin yang tidak dispesifikasikan, yang dipatahkan oleh Shor bila diinstansiasi di atas kurva eliptik, dan untuk itu kami menspesifikasikan beacon commit–reveal pasca-kuantum dengan sortition kriptografis berbasis hash (belum diimplementasikan: rantai yang berjalan merotasi pemimpin secara round robin dan sama sekali tidak memiliki VRF); dan (iii) field Goldilocks yang kurang terspesifikasi, yang untuknya kami mewajibkan ekstensi berderajat k dan mengaitkan soundness FRI dengan jumlah query dan anggaran grinding. Revisi ini juga memigrasikan lapisan eksekusi dari Solana Virtual Machine ke Ethereum Virtual Machine (EVM), sehingga aset ERC-20 dan kontrak Solidity berada di bawah model transaksi terlindung, serta memperkenalkan penyelesaian gas secara batch: karena biaya gas per transaksi dalam RAND terlindung itu sendiri merupakan sidik jari yang mendeanonimkan pemanggilan EVM (dan dengan demikian kontrak ERC-20 yang disentuh), gas dikomit ke tingkat kuantisasi publik di dalam sirkuit dan dipotong sebagai satu biaya agregat per batch, sehingga jejak di rantai berupa satu total per batch, bukan pemotongan per akun atau per pemanggilan. Terakhir, kami memberikan peta jalan migrasi crypto-agility yang dirilis dengan SNARK, ditingkatkan ke STARK transparan, dan diperkuat hingga keamanan pasca-kuantum penuh dalam kurun sekitar 18 bulan kalender (sekitar 14 bulan pada jalur kritis yang diparalelkan), dengan setiap transisi diberi gerbang sehingga berupa perubahan parameter, bukan fork konsensus.
Revisi Agustus 2026 ini memperluas model terlindung dari transfer nilai ke komputasi sembarang yang rahasia: kami menggeneralisasi relasi transfer menjadi relasi eksekusi universal di atas mesin virtual yang dibuktikan dengan STARK, menspesifikasikan topologi proving GPU lokal dan terdelegasi beserta batas kerahasiaannya yang persis, dan menempatkan rancangan ini dalam lanskap sistem bukti saat ini (Groth16, PLONK, Halo2, HyperPlonk, STARK berbasis FRI), zkVM serbaguna (RISC Zero, SP1, Cairo/Stwo, Miden, Jolt, OpenVM), rollup zkEVM, dan rantai privasi (Aztec, Aleo, Miden, Zcash), yang jebakan pembayaran gas dan delegasi prover-nya secara langsung melatarbelakangi rancangan gas terlindung RAND dan VPA. Kami menganalisis pasar prover yang tersirat dari lapisan insentif, dengan menunjukkan bahwa biaya per bukti ditentukan oleh utilisasi, bukan energi, dan bahwa kebutuhan proving jaringan yang jenuh dipenuhi oleh beberapa puluh GPU — sehingga desentralisasi prover harus dibenarkan oleh liveness dan kerahasiaan, bukan oleh anggaran keamanan, karena soundness tidak bergantung pada himpunan prover. Terakhir, kami menspesifikasikan bagaimana agunan dolar eksogen — USDT dan USDC — diimpor ke Rand sebagai z-asset terlindung melalui jembatan lock-and-mint yang diatestasi, yang memberi kolam terlindung satuan hitung yang stabil tanpa mengharuskan penerbitnya melakukan deployment secara native — sebuah ketergantungan komersial yang jika tidak akan membuat cerita pembayaran protokol bergantung pada peta jalan pihak ketiga. Kami mengisolasi properti yang membuat jembatan semacam itu sound dan paling mudah terlewat: kuorum guardian mengatestasi bahwa sebuah pesan dipublikasikan di rantai yang diawasi, bukan bahwa jembatan yang menyusunnya, sehingga pada lapisan pesan tanpa izin, validitas tanda tangan tidak berarti otorisasi dan pengikatan emitter bersifat menopang. Kami membuktikan batas custody-soundness yang membatasi kerugian pada kustodi per rantai terlepas dari asumsi guardian, menunjukkan bahwa pasokan z-asset terlindung tetap dapat diaudit secara publik terhadap kustodi tersebut tanpa membuka satu note pun, dan mengidentifikasi jembatan sebagai batas depan pasca-kuantum sistem: tanda tangan guardian secp256k1 dipatahkan oleh Shor, sehingga jalur rilis tetap aman secara klasik hingga rantai sumber menghadirkan precompile pasca-kuantum, sekuat apa pun sisi Rand diperkuat.
Hasil utama- Teorema 5.3 — Kebocoran Privasi Pembayaran Gas
- Teorema 7.9 — Privasi Gas Batch
- Teorema 10.6 — Atestasi Tidak Berarti Otorisasi
- Teorema 10.14 — Custody Soundness
- Tesis 10.19 — Jembatan adalah Batas Akhir Pasca-Kuantum
- Tesis 13.2 — Kesenjangan Atribusi
- Tesis 15.4 — Front-Running, Dikoreksi dan Bersyarat
- Tesis 15.9 — Kesehatan (Soundness) VPA
- Tesis 18.1 — Pemisahan Keamanan Kuantum per Primitif
- Tesis 19.2 — Kesehatan (Soundness) FRI, Parametrik
Draf 3 menggantikan Draf 1 dan 2Draf 1 (Desember 2025) dan Draf 2 (revisi VPA Mei 2026) ditarik. Tiga kesalahan dalam analisis sebelumnya dikoreksi, bukan ditutupi: klaim 128-bit pasca-kuantum bertentangan dengan batas tabrakan kuantum 85-bit pada hash 256-bit; VRF pemilihan pemimpin akan dapat dipatahkan oleh algoritma Shor karena berbasis kurva eliptik; dan Goldilocks polos tidak dapat menopang kesehatan (soundness) FRI yang diklaim. Lapisan eksekusi bermigrasi dari SVM ke EVM dan token ganda diringkas menjadi RAND saja. Pembaruan September 2026 menyelaraskan rancangan dengan full node referensi hingga chain 15: Rand dinyatakan secara lugas sebagai proof of stake, skema zero-knowledge dituliskan secara lengkap, dan VPA ditandai sebagai usulan yang tidak digunakan oleh chain yang berjalan.
- ImplementasizkVM · RISC-VHotStuffChain 15Testnet
Rand Protocol — Implementasi Referensi
Buku besar terlindungi dan mesin virtual yang diverifikasi STARK, sebagaimana diterapkan
Draf Implementasi 3 · September 2026 · 46 halaman
Sistem penyelesaian dalam keuangan konvensional bersifat rahasia secara bawaan: saldo rekening dan catatan transfer terlihat oleh pemegang rekening, institusi, dan, melalui proses hukum, regulator, serta tidak oleh pihak lain mana pun. Blockchain publik membalik sifat ini. Pada Ethereum dan Solana, state global dan antrean transaksi yang tertunda dapat diamati oleh setiap peserta, sehingga arus order institusional terpapar front-running yang sistematis dan pihak lawan serta jumlah dari setiap transfer stablecoin terungkap. Saat ini belum ada protokol produksi yang menggabungkan kerahasiaan buku besar bank dengan penyelesaian deterministik, verifikasi transparan, dan keamanan pasca-kuantum dari sebuah blockchain publik.
Makalah ini memaparkan Randprotocol, blockchain layer-one yang dirancang untuk menutup kesenjangan tersebut, sebagaimana diimplementasikan dalam full node referensinya. Aset native, RAND, hanya ada sebagai note dalam pool terlindungi (shielded pool): pohon komitmen Poseidon2 berkedalaman 32 dan sebuah himpunan nullifier menggantikan akun, dan setiap transfer berupa bundel tetap dua-input dua-output yang keabsahannya dibuktikan oleh bukti STARK transparan berbasis hash atas eksekusi sebuah program guest RISC-V tunggal yang dipatok (pinned). Sistem bukti yang sama mendukung komputasi sembarang yang bersifat rahasia: program RV32IM di-deploy berdasarkan content hash dan dipanggil dengan bukti eksekusi sebagai pengganti inputnya, dan chain mencatat delapan kata output publik. Konsensusnya adalah HotStuff berantai dengan kuorum berbobot stake, aturan commit tiga view berturut-turut, dan himpunan validator turunan epoch yang diambil dari sebuah register publik; stake diikat dari dan ditarik kembali ke dalam pool. Sebuah bridge yang diatestasi oleh guardian menyetorkan aset dari empat chain eksternal sebagai note. Tanda tangan validator menggunakan CRYSTALS-Dilithium2 dan amplop note menggunakan ML-KEM-768 dengan ChaCha20-Poly1305.
Kami menguraikan implementasi komponen demi komponen, kemudian mengembangkan analisis formalnya terhadap parameter yang diterapkan: relasi bundel dan panggilan yang dibuktikan oleh mesin virtual zero-knowledge sembilan tabel, termasuk konstruksi taint-accumulator yang menggantikan assertion di dalam sirkuit; argumen lookup-bus yang mengikat digest program dan komitmen input bergaram; kesehatan (soundness) FRI pada profil produksi (80 query, 20 bit grinding, blowup 8, ekstensi derajat 2 dari field Goldilocks), dinyatakan di bawah batas proximity-gaps yang terbukti maupun konjektur ethSTARK; identitas value-balance dan audit pasokan dari pool; serta safety dan liveness dari aturan konsensus yang sadar epoch.
Analisis ini mengidentifikasi properti yang belum disediakan oleh implementasi. Biaya, bobot stake, jumlah setoran pada batas pool, dan identitas program bersifat publik; wallet saat ini mengungkapkan kepada node yang ditanyai leaf yang hendak dibelanjakan; sebuah bukti 80-query menempati sekitar 1,3 MB (1,43 MB untuk bundel empat-slot sejak chain 14), sehingga blok 4 MiB hanya memuat tiga transfer terlindungi (dua sejak chain 14; chain 15 menaikkan blok menjadi 20 MiB); agregasi bukti tingkat blok, slashing, serta guest EVM dan SVM masih tertunda pada revisi dasar (guest tersebut kini telah di-vendor, meskipun panggilan EVM tidak dapat diterima di bawah batas panggilan tier-14, dan tiga putaran audit yang dipimpin pendiri telah ditutup; belum ada audit independen yang dilakukan); dan prover GPU belum dijalankan pada perangkat keras. Perangkat lunak ini diterapkan pada jaringan uji berisi 26 validator (chain 17 sejak 2026-09-29, setiap validator dioperasikan oleh tim pendiri) dan tidak layak digunakan untuk nilai nyata.
Hasil utama- Tesis 5.8 — Kesehatan Pengetahuan (Knowledge Soundness), Bersyarat
- Tesis 5.11 — Zero Knowledge Statistik
- Tesis 5.12 — Kesehatan (Soundness) FRI sebagaimana Diinstansiasi
- Tesis 5.14 — Keamanan per Primitif dari Sistem yang Diterapkan
- Tesis 5.17 — Value Balance dari Pool
- Tesis 5.22 — Safety
- Tesis 5.24 — Liveness setelah GST
- Tesis 5.28 — Jembatan Tidak Pasca-Kuantum
Ditulis terhadap fullnode 26ab1d4, dengan addendum hingga 8e64781Setiap pernyataan tentang sistem merujuk pada node referensi pada commit 26ab1d4 (branch main, 2026-09-16): pool terlindungi, staking, bridge sebagai note dan amplop panggilan, himpunan constraint zkVM 6, VM rekursi, dan agregasi tingkat blok, yang telah digabungkan tetapi dikunci oleh genesis. Dua tahap berikutnya dicatat sebagai addendum bertanda pada bagian yang node-nya berubah: 2026-09-24 (d050259, v0.5–v0.5.5, chain 14 — bundel aset tersembunyi empat-slot, registri token, bridge yang diperkuat) dan 2026-09-27 (8e64781, v0.5.6–v0.5.8, chain 15 — pin header panggilan dan batas tier, konstanta Poseidon2 yang dibekukan, pengikatan agregat).
- BridgeLock-and-MintECDSA · Dilithium2Empat Chain
Bridge Rand
Lock-and-mint yang diatestasi ke dalam pool terlindungi, dengan tanda tangan bersama pasca-kuantum
Laporan teknis, draf 1 · September 2026 · 13 halaman
Rand adalah blockchain rahasia yang nilainya berada sebagai komitmen di dalam pool terlindungi, bukan sebagai saldo transparan. Skenario pembayarannya membutuhkan aset yang stabil, dan tidak ada penerbit yang men-deploy aset semacam itu secara native pada chain tanpa volume. Bridge Rand mengimpor USDT dan USDC dari Ethereum, BNB Smart Chain, Tron, dan Solana sebagai satu dolar terlindungi, zUSD, yang didukung satu banding satu oleh kustodi pada chain-chain tersebut. Laporan ini menspesifikasikan bridge sebagaimana dibangun: pesan transfer 184-byte beserta dua lapisan tanda tangannya — kuorum guardian secp256k1 untuk setiap pesan dan kuorum tanda tangan bersama Dilithium2 untuk setiap mint ke dalam Rand, keduanya enam dari delapan saat ini; jalur setoran yang berakhir pada sebuah note yang diturunkan chain sendiri dari jumlah yang diatestasi; jalur penarikan yang di dalamnya sebuah burn diikat pada buktinya dan dilepaskan terhadap penghitung kustodi per chain; permukaan tata kelola (rotasi guardian dengan masa tenggang satu hari, pencatatan eksplisit, jeda satu arah yang hanya dapat dicabut oleh kuorum pasca-kuantum); serta aturan jam yang dikenakan chain yang dijembatani pada konsensusnya sendiri.
Kami menyatakan dan membuktikan properti yang diberikan oleh konstruksi ini — ketakterpalsuan kuorum, perlunya pengikatan emitor, kesehatan kustodi, auditabilitas pasokan, dan batas pasca-kuantum asimetris yang di bawahnya lawan berkemampuan Shor dapat memalsukan pelepasan tetapi tidak mint — dan kami menyatakan, dengan kecermatan yang sama, apa yang tidak diberikannya: guardian tidak dijaminkan (bonded) maupun dapat di-slash, dan meskipun enam dari delapan kunci kini berjalan pada host milik sendiri, satu akun hosting dan satu kunci operator masih menjangkau seluruhnya. Alamat deployment, ukuran pesan, biaya gas, dan hasil putaran langsung dilaporkan.
Hasil utama- Proposisi 5.1 — Tanpa Pengalihan
- Tesis 5.2 — Kesehatan Kustodi (Custody Soundness)
- Tesis 8.1 — Ketakterpalsuan Kuorum
- Tesis 8.3 — Atestasi Bukanlah Otorisasi
- Tesis 8.4 — Auditabilitas Pasokan yang Dijembatani
- Tesis 8.5 — Asimetri Pasca-Kuantum
Pendamping bagian jembatan pada makalah protokolMenspesifikasikan jembatan sebagaimana yang telah dideploy, dengan notasi yang sama dengan bagian lintas-chain pada makalah protokol dan konsisten dengannya: guardian set 1 (enam-dari-delapan secp256k1) menggantikan set lima-dari-enam yang semula pada 2026-09-25, dan set Dilithium2 bertambah dari enam menjadi delapan kunci pada genesis chain-15 pada 2026-09-26.
- Stablecoin ShieldedCadangan PenuhMulti-Chain · Multi-PenerbitChain 15
zUSD — Dolar Shielded Bercadangan Penuh di Rand
Transfer stablecoin rahasia tanpa risiko peg, di atas cadangan terkunci multi-chain dan multi-penerbit
September 2026 · menggantikan zUSDT (Des 2025, rev. Agu 2026) · 11 halaman
zUSD bercadangan penuh: setiap unit didukung satu banding satu oleh stablecoin dolar yang disimpan dalam kontrak kustodian pada chain tempat stablecoin tersebut diterbitkan secara native — USDT dan USDC di Ethereum, BNB Smart Chain, dan Solana, serta USDT di Tron, seluruhnya tujuh dukungan — dan dapat ditebus kapan saja untuk salah satunya. zUSD sengaja dirancang bukan sebagai stablecoin algoritmik atau cadangan parsial, sehingga tidak memiliki ketergantungan refleksif pada harga aset volatil mana pun dan tidak memiliki celah spiral kematian seperti yang menghancurkan UST milik Terra. Token ini berada di Rand, sebuah buku besar shielded, sehingga sejak dicetak ia sudah berupa note shielded. Setiap leg diatestasi, sehingga jaminan pada setiap unit adalah min(solvabilitas cadangan, integritas ambang guardian), di bawah ambang ganda berupa enam-dari-delapan tanda tangan ECDSA dan enam-dari-delapan tanda tangan bersama Dilithium2.
Invarian cadangan S = Σ_b L_b berlaku dengan kesamaan dan ditegakkan secara konstruksi dalam satu fungsi buku besar. Makalah ini memberikan pernyataan jaminan per dukungan, termasuk risiko baru yang timbul dari penggabungan dua penerbit, dan menguraikan mekanisme pembatasan kerugian yang dibawa oleh deployment: batas pencetakan bergulir 24 jam per dukungan dan secara global, kunci jeda yang hanya dapat menjeda, batas maju pada waktu blok, serta batas rilis pada kontrak kustodian. Makalah ini menyatakan secara eksplisit apa yang belum tersedia: operator guardian independen, administrator multi-tanda tangan dengan timelock pada setiap kontrak kustodian, dan bukti cadangan yang dapat diperiksa tanpa explorer milik proyek itu sendiri.
Hasil utama- Tesis 2.6 — Pelestarian Invarian
- Kor 2.7 — Kemampuan Ditebus
- Prop 2.8 — Degradasi Cadangan Penuh oleh Jembatan
- Kor 2.9 — Jaminan Per Dukungan
- Prop 4.1 — Verifikasi Publik di Bawah Shielding
September 2026 — menggantikan zUSDTMenjelaskan rancangan sebagaimana dideploy pada Rand chain 15 dan berbeda dari zUSDT dalam tiga hal yang kini diwujudkan oleh kode: token berada di Rand, bukan Solana, sehingga tidak ada bentuk transparan yang perlu di-shield; cadangan mencakup dua penerbit sekaligus beberapa chain, dan pemegang dapat menebus ke dukungan mana pun; dan setiap leg adalah leg yang diatestasi, di bawah ambang ganda enam-dari-delapan tanda tangan bersama ECDSA dan Dilithium2. Proposisi 2.8 direproduksi tanpa perubahan karena masih benar, dan Korolari 2.9 mencatat risiko baru yang timbul dari penggabungan dua penerbit.
- Analisis KeamananPasca-KuantumTaksonomi Serangan
Analisis Keamanan Protokol Rand
Fondasi kriptografi pasca-kuantum, ketahanan terhadap serangan, dan jaminan keamanan formal
Desember 2025, direkonsiliasi September 2026 · 13 halaman
Analisis keamanan protokol Rand dengan bukti formal pada model adversarial klasik maupun kuantum, mencakup konsensus BFT berbobot stake (Rand adalah chain proof-of-stake: tidak ada komputasi yang memberikan bobot konsensus), sistem privasi berbasis STARK, serta primitif pasca-kuantum CRYSTALS-Dilithium dan Kyber. Makalah ini menganalisis ketahanan terhadap serangan 51%, serangan jarak jauh, nothing-at-stake, grinding, eclipse dan Sybil, front-running, serangan pewaktuan, serta adversari kuantum, dengan batas formal dan parameter konkret untuk masing-masing.
Di bawah asumsi kekerasan lattice standar dan penetapan ukuran digest per peran — 384-bit di mana tabrakan merusak soundness, 256-bit di mana hanya ketahanan preimage yang diperlukan — setiap primitif mencapai keamanan pasca-kuantum minimal 128-bit; tanpa penetapan itu, konstruksi yang sama hanya mencapai 85 bit. Batas bawah sistem adalah soundness FRI: minimal 100 bit di bawah konjektur ethSTARK dan 86 bit di bawah batas proximity-gaps yang terbukti, dapat disetel menjadi 100 yang terbukti pada 97 kueri dan menjadi 128 pada ekstensi derajat-3. Di mana implementasi referensi menyimpang dari rancangan — hash transkrip 256-bit, tanpa slashing validator, leader round-robin, mempool plaintext — setiap hasil menyatakannya.
Hasil utama- Tesis 2.3 — Ketahanan Tabrakan Kuantum
- Tesis 3.5 — Keamanan Kuantum STARK
- Tesis 3.6 — Keamanan Pasca-Kuantum Keseluruhan
- Tesis 4.4 — Keamanan HotStuff
- Tesis 5.3 — Ketidakterhubungan Nullifier
- Tesis 6.8 — Mitigasi Front-Running, Bersyarat
- Tesis 7.1 — Ambang Keamanan Ekonomi
Subordinat terhadap Bagian III makalah protokolPendamping mandiri bagi bagian keamanan makalah protokol, yang merupakan perlakuan terekonsiliasi yang kanonis dan yang menang atas setiap perbedaan. Analisis Desember 2025 memuat tiga kesalahan yang dikoreksi Draft 3; sejak itu analisis tersebut telah direkonsiliasi terhadap Draft 3 dan terhadap chain yang berjalan.
- Ringkasan InvestorPutaran SeedSAFTOktober 2026
Rand Protocol: Ringkasan Investor
Penyelesaian transaksi yang privat dan dapat diprogram dengan bukti berbasis hash
Oktober 2026 · 6 halaman
Blockchain publik menerbitkan apa yang justru harus dilindungi oleh dunia usaha: siapa membayar siapa, berapa jumlahnya, dan setiap order sebelum terpenuhi, sehingga kumpulan modal terbesar tetap berada di luarnya. Rand adalah chain layer-1 yang setiap pembayarannya berupa note shielded dan setiap transaksinya berupa bukti zero-knowledge: jaringan memeriksa bahwa aturan telah dijalankan tanpa melihat masukannya, dan sebuah viewing key memungkinkan auditor membaca apa yang tidak dapat dibaca oleh pesaing. Program dalam Rust atau C berjalan pada zkVM RISC-V yang dibuktikan oleh STARK berbasis hash tanpa trusted setup, dan dolar masuk dari empat chain sebagai satu dolar shielded, zUSD.
Ringkasan ini memaparkan masalahnya, produk beserta biaya terukurnya, kasus penggunaan menurut kesiapannya, pasar dengan estimasi yang dipublikasikan, perbandingan dengan Aleo, Railgun, Quantus, dan lainnya, riset selama satu tahun dan pembangunan ulang selama tiga minggu hingga menjadi jaringan uji yang aktif, harga token dan putaran, putaran seed (SAFT untuk 110 juta RAND, 11% dari pasokan maksimum satu miliar, pada harga $0,03), tim, dan risikonya. Bukan penawaran atas efek atau token apa pun.
Hasil utama- Chain 20 · v0.6.8
- Seed: $0,03 per RAND, FDV $30M
- SAFT pada pasokan maksimum 1B
- 28 rilis, 7 chain uji
File sumber
Kelima makalah ditulis dalam LaTeX dan dibangun dengan tectonic. Sumber zUSD bersifat publik — ditautkan dari entrinya di atas, sehingga setiap pernyataan di dalamnya dapat diperiksa terhadap file asalnya, bersama sumber zUSDT yang telah digantikan di repositori yang sama. Sumber keempat makalah lainnya belum dipublikasikan; PDF di atas adalah bentuk kanoniknya hingga dipublikasikan. Semua yang lain yang bersifat publik — node, wallet, explorer — berada di organisasi GitHub.