Artykuły
Rand Protocol został opisany w druku. Aktualnych jest sześć artykułów: artykuł o protokole w trzeciej wersji roboczej, artykuł o implementacji referencyjnej, napisany w oparciu o węzeł, na którym działa sieć testowa, raport o moście, artykuł o zUSD, czyli zshielded dolarze, samodzielna analiza bezpieczeństwa oraz podsumowanie dla inwestorów. Każdy plik PDF jest źródłem kanonicznym — można go pobrać, zacytować i poddać audytowi. Tam, gdzie projekt ma ograniczenia, artykuły je podają, zamiast je pomijać.
- WhitepaperSTARKProof of Stake · BFTEVMPostkwantowość
Rand Protocol
Poufne obliczenia dowolnego rodzaju
Wersja robocza 3 · sierpień 2026, zaktualizowano we wrześniu 2026 · 73 strony
Przedstawiamy Rand, blockchain oparty na dowodzie stawki (proof-of-stake), którego konsensus odporny na awarie bizantyjskie (Byzantine Fault Tolerant, BFT) zapewnia szybką deterministyczną finalność i w którym każda transakcja jest dowodem z wiedzą zerową. Waga w konsensusie pochodzi wyłącznie ze związanej stawki: żadne obliczenie nie daje prawa głosu, nie wybiera lidera ani nie rozstrzyga rozwidlenia. Łańcuch zawiera natomiast bardzo dużo dowodzenia wykonywanego obok konsensusu: każdy portfel tworzy STARK dla własnej transakcji, a po włączeniu agregacji dowodów na poziomie bloku związani agregatorzy zarabiają RAND, dowodząc rekurencyjnych STARK nad dowodami użytkowników. Walidatorzy zarabiają opłaty z bloków, które proponują; semantyka kontraktów inteligentnych jest semantyką Ethereum Virtual Machine (EVM). Artykuł wyjaśnia sam schemat z wiedzą zerową — jak obliczenie staje się tabelą, tabela zbiorem wielomianów, a wielomiany dowodem o rozmiarze około 1,4 MB na transfer, który każdy walidator sprawdza w milisekundach. Rand jest uniwersalnym łańcuchem kontraktów inteligentnych, który w ogóle nie zawiera przejrzystego typu transakcji: każde obliczenie — transfer tokenu lub dowolne wywołanie kontraktu — jest z założenia wykonywane poufnie. Użytkownicy posiadają RAND w puli shielded, płacą z niego za gaz i wykonują dowolny kod, którego wejścia, operandy i stan pośredni nigdy nie pojawiają się w łańcuchu, podczas gdy walidatorzy weryfikują pojedynczy STARK potwierdzający poprawność wykonania. EVM dostarcza semantykę, względem której wykonanie jest dowodzone, jako interpreter-gość wewnątrz układu, więc istniejący bajtkod Solidity działa bez zmian; nie jest to przejrzysta ścieżka wykonania obok shielded.
Ta wersja proponuje także, jako kierunek badawczy, który nie jest zaimplementowany, Verifiable Prover Attribution (VPA). Działający łańcuch go nie używa: jego portfele dowodzą własnych transakcji, jego lider jest wybierany rotacyjnie (round robin), jego mempool nie jest szyfrowany, a jedyną związaną rolą dowodzącą jest rejestr agregatorów, w którym wynagradzany jest pierwszy sfinalizowany agregat obejmujący dany pakiet; Część II zaczyna się od tego stanu rzeczy, a jej twierdzenia dotyczą propozycji, nie wdrożonego systemu. Pierwotna wersja robocza dowodziła, że układ prywatnej transakcji został spełniony, lecz nie mówiła nic o tym, jak dowody są przydzielane dowodzącym (prover), w jakiej kolejności dowodzący dowodzi partię ani skąd weryfikator wie, że podmiot przesyłający dowód jest podmiotem, który go obliczył, w warunkach, do których zachęca protokół. STARK poświadcza, że układ został spełniony; nie poświadcza warunków, w których został spełniony. Pokazujemy, że ta luka otwiera trzy konkretne powierzchnie ataku — zmowę dowodzącego z walidatorem, MEV po stronie dowodzącego oraz pracę Sybil/pozbawioną rozliczalności — formalizujemy każdą z nich i proponujemy ich zamknięcie za pomocą odtwarzalnego sygnału przydziału (beacon), kanonicznej kolejności z zapieczętowanym (szyfrowanym progowo) mempoolem oraz poświadczenia z dowodem, odpornego na komputery kwantowe. W związku z tym przeformułowujemy twierdzenie wersji roboczej, że „prywatne transakcje eliminują front-running”, jako twierdzenie warunkowe — którego warunków działający łańcuch nie spełnia, więc w tym łańcuchu treść jest ukryta, ale kolejność nie jest chroniona.
Ponadto uzgadniamy trzy wewnętrzne niespójności pierwotnej analizy bezpieczeństwa: (i) sprzeczność między kwantową odpornością na kolizje rzędu ~85 bitów (ograniczenie BHT) a deklaracją 128 bitów odporności postkwantowej w streszczeniu i tabelach parametrów, usuniętą w projekcie przez 384-bitowy skrót transkryptu oraz jawne twierdzenie o rozdzieleniu bezpieczeństwa dla każdego prymitywu (implementacja nadal używa 256-bitowego skrótu transkryptu, ≈85 bitów kwantowych); (ii) nieokreślony VRF do wyboru lidera, który jest złamany algorytmem Shora, jeśli zostanie zbudowany na krzywej eliptycznej, dla którego określamy postkwantowy beacon typu commit–reveal z kryptograficznym losowaniem opartym na skrótach (niezaimplementowany: działający łańcuch rotuje liderów metodą round robin i w ogóle nie ma VRF); oraz (iii) niedookreślone ciało Goldilocks, dla którego wymagamy rozszerzenia stopnia k i wiążemy odporność FRI na fałszowanie z liczbą zapytań i budżetem grindingu. Ta wersja przenosi też warstwę wykonania z Solana Virtual Machine na Ethereum Virtual Machine (EVM), obejmując aktywa ERC-20 i kontrakty Solidity modelem transakcji shielded, oraz wprowadza wsadowe rozliczanie gazu: ponieważ opłata za gaz w RAND w puli shielded, naliczana osobno dla każdej transakcji, sama jest deanonimizującym odciskiem wywołania EVM (a więc i dotkniętego kontraktu ERC-20), gaz jest wiązany w układzie z publicznymi progami kwantyzacji i potrącany jako jedna zbiorcza opłata za partię, tak że ślad w łańcuchu to jedna suma na partię, a nie potrącenie na konto i na wywołanie. Wreszcie przedstawiamy plan migracji z zachowaniem elastyczności kryptograficznej, który startuje na SNARK, przechodzi na przejrzyste STARK i utwardza się do pełnego bezpieczeństwa postkwantowego w ciągu ~18 miesięcy kalendarzowych (~14 miesięcy na zrównoleglonej ścieżce krytycznej), przy czym każde przejście jest bramkowane tak, by było zmianą parametru, a nie rozwidleniem konsensusu.
Ta sierpniowa wersja z 2026 roku rozszerza model shielded z transferów wartości na poufne obliczenia dowolnego rodzaju: uogólniamy relację transferu do uniwersalnej relacji wykonania nad maszyną wirtualną dowodzoną przez STARK, określamy lokalne i delegowane topologie dowodzenia na GPU wraz z dokładną granicą poufności oraz osadzamy projekt na tle obecnego krajobrazu systemów dowodzenia (Groth16, PLONK, Halo2, HyperPlonk, FRI-STARK), uniwersalnych zkVM (RISC Zero, SP1, Cairo/Stwo, Miden, Jolt, OpenVM), rollupów zkEVM i łańcuchów prywatności (Aztec, Aleo, Miden, Zcash), których pułapki związane z opłatami za gaz i delegowaniem dowodzenia bezpośrednio uzasadniają projekty shielded gas i VPA w RAND. Analizujemy rynek dowodzących, który wynika z warstwy zachęt, pokazując, że koszt dowodu wyznacza stopień wykorzystania, a nie energia, oraz że zapotrzebowanie nasyconej sieci na dowodzenie pokrywa kilkadziesiąt GPU — dlatego decentralizację dowodzących trzeba uzasadniać żywotnością i poufnością, a nie budżetem bezpieczeństwa, skoro poprawność nie zależy od zbioru dowodzących. Na koniec określamy, jak zewnętrzne zabezpieczenie w dolarach — USDT i USDC — jest importowane do Rand jako shielded z-aktywa przez poświadczany most typu lock-and-mint, co daje puli shielded stabilną jednostkę rozrachunkową bez wymogu natywnego wdrożenia przez emitentów — zależności handlowej, która w przeciwnym razie uzależniałaby opowieść o płatnościach w protokole od planów rozwoju strony trzeciej. Wyodrębniamy własność, która sprawia, że taki most jest poprawny i którą najłatwiej pominąć: kworum strażników poświadcza, że wiadomość została opublikowana w obserwowanym łańcuchu, a nie że most jest jej autorem, więc w otwartej warstwie wiadomości ważność podpisu nie oznacza autoryzacji, a powiązanie z emitentem jest elementem nośnym. Dowodzimy ograniczenia poprawności przechowywania, które ogranicza stratę do depozytu w danym łańcuchu niezależnie od założenia o strażnikach, pokazujemy, że podaż shielded z-aktywów pozostaje publicznie audytowalna względem tego depozytu bez otwierania jakiejkolwiek notatki (note) i wskazujemy most jako granicę postkwantową systemu: podpisy strażników secp256k1 są złamane algorytmem Shora, więc ścieżka wypłaty pozostaje bezpieczna tylko klasycznie, dopóki łańcuchy źródłowe nie udostępnią prekompilatów postkwantowych, niezależnie od tego, jak utwardzimy stronę Rand.
Główne wyniki- Tw. 5.3 — Wyciek prywatności przy płatności za gaz
- Tw. 7.9 — Prywatność wsadowego rozliczania gazu
- Tw. 10.6 — Poświadczenie nie oznacza autoryzacji
- Tw. 10.14 — Poprawność przechowywania
- Tw. 10.19 — Most jest granicą postkwantową
- Tw. 13.2 — Luka atrybucji
- Tw. 15.4 — Front-running: wersja poprawiona i warunkowa
- Tw. 15.9 — Poprawność VPA
- Tw. 18.1 — Rozdzielenie bezpieczeństwa kwantowego według prymitywów
- Tw. 19.2 — Poprawność FRI, wersja parametryczna
Wersja 3 zastępuje wersje 1 i 2Wersja 1 (grudzień 2025) i wersja 2 (rewizja VPA z maja 2026) zostały wycofane. Trzy błędy wcześniejszej analizy są poprawione, a nie zatuszowane: twierdzenie o 128-bitowym bezpieczeństwie postkwantowym przeczyło 85-bitowej kwantowej granicy kolizji dla 256-bitowego skrótu; VRF wybierający lidera, zbudowany na krzywej eliptycznej, zostałby złamany algorytmem Shora; a zwykłe Goldilocks nie udźwignie deklarowanej poprawności FRI. Warstwa wykonawcza przechodzi z SVM na EVM, a podwójny token upraszcza się do samego RAND. Aktualizacje z września 2026 uzgadniają projekt z referencyjnym węzłem pełnym do łańcucha 15 włącznie: Rand jest opisany wprost jako proof of stake, schemat zero-knowledge został wypisany w całości, a VPA oznaczono jako propozycję, której działający łańcuch nie używa.
- ImplementacjazkVM · RISC-VHotStuffŁańcuch 15Testnet
Rand Protocol — implementacja referencyjna
Ledger z osłoniętymi środkami i maszyna wirtualna weryfikowana przez STARK, w wersji wdrożonej
Wersja robocza implementacji 3 · wrzesień 2026 · 46 stron
Systemy rozliczeniowe w tradycyjnych finansach są domyślnie poufne: salda kont i zapisy przelewów widzi posiadacz rachunku, instytucja oraz, w trybie procesu prawnego, regulator — i nikt więcej. Publiczne blockchainy odwracają tę właściwość. W Ethereum i Solana globalny stan oraz kolejka oczekujących transakcji są widoczne dla każdego uczestnika, co naraża przepływ zleceń instytucji na systematyczny front-running i ujawnia kontrahentów oraz kwoty każdego przelewu stablecoinów. Żaden działający obecnie protokół nie łączy poufności księgi bankowej z deterministycznym rozliczeniem, przejrzystą weryfikacją i bezpieczeństwem postkwantowym łańcucha publicznego.
Niniejszy artykuł przedstawia Randprotocol, blockchain warstwy pierwszej zaprojektowany, by zamknąć tę lukę, w postaci zaimplementowanej w jego referencyjnym węźle pełnym. Natywny aktyw, RAND, istnieje wyłącznie jako noty w w pełni osłoniętej puli: drzewo zobowiązań Poseidon2 o głębokości 32 i zbiór nullifierów zastępują konta, a każdy przelew jest pakietem o stałym kształcie, z dwoma wejściami i dwoma wyjściami, którego poprawność potwierdza przejrzysty, oparty na funkcjach skrótu dowód STARK wykonania jednego przypiętego programu gościa RISC-V. Ten sam system dowodowy obsługuje poufne obliczenia dowolnego rodzaju: programy RV32IM są wdrażane według skrótu zawartości i wywoływane z dowodem wykonania zamiast z ich danymi wejściowymi, a łańcuch zapisuje osiem publicznych słów wyjściowych. Konsensusem jest łańcuchowy HotStuff z kworami ważonymi stawką, regułą zatwierdzenia po trzech kolejnych widokach i zbiorami walidatorów wyznaczanymi w epokach z publicznego rejestru; stawka jest wiązana z puli i wypłacana z powrotem do niej. Most z atestacją strażników wpłaca aktywa z czterech zewnętrznych łańcuchów jako noty. Podpisy walidatorów to CRYSTALS-Dilithium2, a koperty not używają ML-KEM-768 z ChaCha20-Poly1305.
Opisujemy implementację komponent po komponencie, a następnie rozwijamy jej analizę formalną względem wdrożonych parametrów: relacje pakietu i wywołania dowodzone przez dziewięciotabelową maszynę wirtualną zero-knowledge, w tym konstrukcję akumulatora skażenia, która zastępuje asercję wewnątrz układu; argumenty szyny wyszukiwania wiążące skrót programu i solone zobowiązanie do danych wejściowych; poprawność FRI profilu produkcyjnego (80 zapytań, 20 bitów grindingu, blowup 8, rozszerzenie stopnia 2 ciała Goldilocks), sformułowaną zarówno przy udowodnionej granicy proximity-gaps, jak i przy hipotezie ethSTARK; tożsamości bilansu wartości i audytu podaży puli; oraz bezpieczeństwo i żywotność reguł konsensusu uwzględniających epoki.
Analiza wskazuje właściwości, których implementacja jeszcze nie zapewnia. Opłaty, wagi stawek, kwoty wpłat na granicy puli i tożsamości programów są publiczne; obecny portfel ujawnia odpytywanemu węzłowi liść, który zamierza wydać; dowód z 80 zapytaniami zajmuje około 1,3 MB (1,43 MB dla czteroslotowego pakietu od łańcucha 14), co ogranicza blok 4 MiB do trzech osłoniętych przelewów (dwóch od łańcucha 14; łańcuch 15 podnosi blok do 20 MiB); agregacja dowodów na poziomie bloku, slashing oraz gościa EVM i SVM były w rewizji bazowej nierozwiązane (goście zostali od tego czasu włączeni do repozytorium, choć wywołania EVM są niedopuszczalne przy limicie wywołań warstwy 14, a trzy rundy audytu prowadzone przez założycieli zostały zamknięte; nie przeprowadzono niezależnego audytu); a prover GPU nie został uruchomiony na sprzęcie. Oprogramowanie działa w sieci testowej z 26 walidatorami (łańcuch 17 od 2026-09-29, każdy walidator jest prowadzony przez zespół założycielski) i nie nadaje się do zastosowań z realną wartością.
Główne wyniki- Tw. 5.8 — Poprawność wiedzy, warunkowa
- Tw. 5.11 — Statystyczna zerowa wiedza
- Tw. 5.12 — Poprawność FRI w zastosowanej instancji
- Tw. 5.14 — Bezpieczeństwo wdrożonego systemu według prymitywów
- Tw. 5.17 — Bilans wartości puli
- Tw. 5.22 — Bezpieczeństwo
- Tw. 5.24 — Żywotność po GST
- Tw. 5.28 — Most nie jest postkwantowy
Napisane względem fullnode 26ab1d4, z uzupełnieniami do 8e64781Każde stwierdzenie o systemie odnosi się do węzła referencyjnego w commicie 26ab1d4 (gałąź main, 2026-09-16): osłonięta pula, staking, most jako noty i koperty wywołań, zestaw ograniczeń zkVM 6, maszyna wirtualna rekurencji oraz agregacja na poziomie bloku, scalona, lecz bramkowana genesis. Dwa późniejsze przeglądy są odnotowane jako oznaczone uzupełnienia w miejscach, w których węzeł się zmienił: 2026-09-24 (d050259, v0.5–v0.5.5, łańcuch 14 — czteroslotowy pakiet z ukrytym aktywem, rejestr tokenów, wzmocniony most) oraz 2026-09-27 (8e64781, v0.5.6–v0.5.8, łańcuch 15 — przypięcie nagłówka wywołania i limit warstwy, zamrożone stałe Poseidon2, wiązanie agregatu).
- MostLock-and-MintECDSA · Dilithium2Cztery łańcuchy
Most Rand
Atestowane zablokowanie i wybicie w osłoniętej puli, ze współpodpisami postkwantowymi
Raport techniczny, wersja 1 · wrzesień 2026 · 13 stron
Rand to poufny blockchain, w którym wartość istnieje jako zobowiązania w osłoniętej puli, a nie jako jawne salda. Jego scenariusz płatniczy wymaga stabilnego aktywa, a żaden emitent nie wdraża go natywnie w łańcuchu bez wolumenu. Most Rand importuje USDT i USDC z Ethereum, BNB Smart Chain, Tron i Solana jako jednego osłoniętego dolara, zUSD, zabezpieczonego w stosunku jeden do jednego depozytem na tych łańcuchach. Raport ten specyfikuje most w postaci zbudowanej: 184-bajtowy komunikat transferu i jego dwie warstwy podpisów — kworum strażników secp256k1 dla każdego komunikatu oraz kworum współpodpisów Dilithium2 dla każdego wybicia w Rand, oba dziś w układzie sześciu z ośmiu; ścieżkę wpłaty, która kończy się notą wyprowadzaną przez sam łańcuch z atestowanej kwoty; ścieżkę wypłaty, w której spalenie jest powiązane ze swoim dowodem i rozliczane względem liczników depozytu dla poszczególnych łańcuchów; powierzchnię zarządzania (rotacja strażników z jednodniowym oknem karencji, jawne dopuszczanie do listy, jednokierunkowa pauza, którą może zdjąć tylko kworum postkwantowe); oraz reguły zegara, które łańcuch z mostem nakłada na własny konsensus.
Formułujemy i dowodzimy właściwości, które daje ta konstrukcja — niepodrabialność kworum, konieczność wiązania emitenta, poprawność depozytu, audytowalność podaży oraz asymetryczną granicę postkwantową, przy której przeciwnik zdolny do ataku Shora może fałszować wypłaty, lecz nie wybicia — i z równą starannością formułujemy to, czego konstrukcja nie daje: strażnicy nie wnoszą stawki i nie podlegają slashingowi, a choć sześć z ośmiu kluczy działa już na własnych hostach, jedno konto hostingowe i jeden klucz operatora wciąż sięgają wszystkich. Podano adresy wdrożeń, rozmiary komunikatów, koszty gazu i wyniki rund na żywym łańcuchu.
Główne wyniki- Tw. 5.1 — Brak przekierowania
- Tw. 5.2 — Poprawność depozytu
- Tw. 8.1 — Niepodrabialność kworum
- Tw. 8.3 — Atestacja nie jest autoryzacją
- Tw. 8.4 — Audytowalność podaży z mostu
- Tw. 8.5 — Asymetria postkwantowa
Uzupełnienie sekcji o moście w artykule o protokoleOkreśla most w postaci, w jakiej został wdrożony, w tej samej notacji co sekcja o transakcjach międzyłańcuchowych w artykule o protokole i spójnie z nią: zbiór strażników 1 (sześć z ośmiu, secp256k1) zastąpił pierwotny zbiór pięciu z sześciu w dniu 2026-09-25, a zbiór Dilithium2 powiększył się z sześciu do ośmiu kluczy w bloku genesis łańcucha 15 w dniu 2026-09-26.
- Zasłonięty stablecoinPełna rezerwaWielołańcuchowy · wieloemitentowyŁańcuch 15
zUSD — w pełni zabezpieczony zasłonięty dolar na Rand
Poufne transfery stablecoinów bez ryzyka utraty parytetu, oparte na wielołańcuchowej, wieloemitentowej, zablokowanej rezerwie
Wrzesień 2026 · zastępuje zUSDT (grudzień 2025, wer. sierpień 2026) · 11 stron
zUSD jest w pełni zabezpieczony rezerwą: każda jednostka jest zabezpieczona w stosunku jeden do jednego stablecoinem powiązanym z dolarem, przechowywanym w kontrakcie powierniczym w łańcuchu, w którym ten stablecoin jest natywnie emitowany — USDT i USDC w Ethereum, BNB Smart Chain i Solana oraz USDT w Tron, łącznie siedem zabezpieczeń — i może być w dowolnej chwili wymieniona na każde z nich. Celowo nie jest to stablecoin algorytmiczny ani częściowo zabezpieczony, więc nie ma refleksyjnej zależności od ceny żadnego zmiennego aktywa ani podatności na spiralę śmierci, jaka zniszczyła UST projektu Terra. Token działa w Rand, zasłoniętej księdze, więc od momentu wyemitowania jest zasłoniętą notą. Każde ogniwo jest poświadczone, zatem gwarancja dla każdej jednostki wynosi min(wypłacalność rezerwy, integralność progu strażników), przy podwójnym progu sześciu z ośmiu podpisów ECDSA i sześciu z ośmiu współpodpisów Dilithium2.
Niezmiennik rezerwy S = Σ_b L_b zachodzi z równością i jest wymuszany z konstrukcji w jednej funkcji księgi. Artykuł podaje dla każdego zabezpieczenia osobno, co jest gwarantowane, w tym nowe ryzyko wynikające z połączenia dwóch emitentów, oraz przedstawia mechanizmy ograniczania strat, w które wyposażono wdrożenie: kroczący 24-godzinny limit emisji dla każdego zabezpieczenia i limit globalny, klucz wstrzymania, który może jedynie wstrzymywać, górne ograniczenie czasu bloku w przód oraz limity wypłat w kontraktach powierniczych. Wprost wskazuje, czego jeszcze nie ma: niezależnych operatorów strażników, administratora wielopodpisowego z blokadą czasową w każdym kontrakcie powierniczym oraz dowodu rezerw możliwego do sprawdzenia bez własnej przeglądarki bloków projektu.
Główne wyniki- Tw. 2.6 — Zachowanie niezmiennika
- Wniosek 2.7 — Możliwość wymiany
- Tw. 2.8 — Osłabienie pełnej rezerwy przez most
- Wniosek 2.9 — Gwarancje dla poszczególnych zabezpieczeń
- Tw. 4.1 — Publiczna weryfikowalność przy zasłonięciu
Wrzesień 2026 — zastępuje zUSDTOpisuje projekt w postaci wdrożonej w łańcuchu 15 Rand i różni się od zUSDT pod trzema względami, które kod teraz realizuje: token działa w Rand, a nie w Solana, więc nie istnieje jawna postać do zasłonięcia; rezerwa obejmuje dwóch emitentów oraz kilka łańcuchów, a posiadacz może dokonać wymiany na dowolne zabezpieczenie; a każde ogniwo jest poświadczone, przy podwójnym progu sześciu z ośmiu współpodpisów ECDSA i Dilithium2. Twierdzenie 2.8 przytoczono bez zmian, ponieważ nadal jest poprawne, a Wniosek 2.9 odnotowuje nowe ryzyko wynikające z połączenia dwóch emitentów.
- Analiza bezpieczeństwaPostkwantoweTaksonomia ataków
Analiza bezpieczeństwa protokołu Rand
Postkwantowe podstawy kryptograficzne, odporność na ataki i formalne gwarancje bezpieczeństwa
grudzień 2025, uzgodniono we wrześniu 2026 · 13 stron
Analiza bezpieczeństwa protokołu Rand z formalnymi dowodami w klasycznym i kwantowym modelu przeciwnika, obejmująca konsensus BFT ważony stawką (Rand jest łańcuchem proof-of-stake: żadne obliczenia nie dają wagi w konsensusie), system prywatności oparty na STARK oraz postkwantowe prymitywy CRYSTALS-Dilithium i Kyber. Analizuje odporność na ataki 51%, ataki długiego zasięgu, nothing-at-stake, grinding, eclipse i Sybil, front-running, ataki czasowe oraz przeciwników kwantowych, podając dla każdego formalne ograniczenia i konkretne parametry.
Przy standardowych założeniach o trudności problemów kratowych i przypisaniu rozmiarów skrótów według roli — 384 bity tam, gdzie kolizja łamie poprawność, 256 bitów tam, gdzie wystarcza odporność na przeciwobraz — każdy prymityw osiąga co najmniej 128-bitowe bezpieczeństwo postkwantowe; bez tego przypisania ta sama konstrukcja osiąga 85 bitów. Dolną granicą systemu jest poprawność FRI: co najmniej 100 bitów przy hipotezie ethSTARK i 86 bitów przy udowodnionym ograniczeniu proximity-gaps, z możliwością dostrojenia do udowodnionych 100 przy 97 zapytaniach i do 128 przy rozszerzeniu stopnia 3. Tam, gdzie implementacja referencyjna odbiega od projektu — 256-bitowy skrót transkryptu, brak karania walidatorów, liderzy rotowani cyklicznie, jawny mempool — każdy wynik to zaznacza.
Główne wyniki- Tw. 2.3 — Kwantowa odporność na kolizje
- Tw. 3.5 — Kwantowe bezpieczeństwo STARK
- Tw. 3.6 — Całkowite bezpieczeństwo postkwantowe
- Tw. 4.4 — Bezpieczeństwo HotStuff
- Tw. 5.3 — Niepowiązywalność nullifierów
- Tw. 6.8 — Ograniczanie front-runningu, warunkowe
- Tw. 7.1 — Próg bezpieczeństwa ekonomicznego
Podporządkowany części III artykułu o protokoleSamodzielne uzupełnienie części artykułu o protokole poświęconej bezpieczeństwu, która jest kanonicznym, uzgodnionym ujęciem i rozstrzyga wszelkie rozbieżności. Analiza z grudnia 2025 zawierała trzy błędy, które poprawia Draft 3; od tego czasu została uzgodniona z Draft 3 i z działającym łańcuchem.
- Podsumowanie dla inwestorówRunda seedSAFTpaździernik 2026
Rand Protocol: podsumowanie dla inwestorów
Prywatne, programowalne rozliczenia z dowodami opartymi na funkcjach skrótu
październik 2026 · 6 stron
Publiczne blockchainy ujawniają to, co firmy muszą chronić: kto komu zapłacił, ile, oraz każde zlecenie przed jego realizacją, dlatego największe pule kapitału pozostają poza nimi. Rand to łańcuch warstwy 1, w którym każda płatność jest chronioną notą (shielded note), a każda transakcja dowodem z wiedzą zerową: sieć sprawdza, że reguła została wykonana, nie widząc danych wejściowych, a klucz podglądu pozwala audytorowi odczytać to, czego nie mogą konkurenci. Programy w Rust lub C działają na zkVM RISC-V, dowodzonej za pomocą STARK opartego na funkcjach skrótu, bez zaufanej konfiguracji, a dolary docierają z czterech łańcuchów jako jeden chroniony dolar, zUSD.
Podsumowanie przedstawia problem, produkt i jego zmierzone koszty, przypadki użycia według gotowości, rynek wraz z opublikowanymi szacunkami, porównanie z Aleo, Railgun, Quantus i innymi, rok badań oraz trzytygodniową przebudowę do działającej sieci testowej, ceny tokena i rund, rundę seed (SAFT na 110 milionów RAND, 11% maksymalnej podaży wynoszącej miliard, po 0,03 $), zespół i ryzyka. Nie stanowi oferty żadnego papieru wartościowego ani tokena.
Główne wyniki- Łańcuch 20 · v0.6.8
- Seed: 0,03 $ za RAND, FDV 30 mln $
- SAFT przy maksymalnej podaży 1 mld
- 28 wydań, 7 łańcuchów testowych
Pliki źródłowe
Wszystkie pięć artykułów jest napisanych w LaTeX i budowanych za pomocą tectonic. Źródło zUSD jest publiczne — odsyła do niego jego wpis powyżej, dzięki czemu każde zawarte w nim stwierdzenie można sprawdzić w pliku, z którego pochodzi, obok zastąpionego źródła zUSDT w tym samym repozytorium. Źródła pozostałych czterech artykułów nie zostały jeszcze opublikowane; do tego czasu kanoniczną ich postacią są powyższe pliki PDF. Wszystko inne, co jest publiczne — węzeł, portfele, eksplorator — znajduje się w organizacji GitHub.