논문
Rand Protocol은 인쇄된 문서로 기술되어 있습니다. 현재 유효한 논문은 여섯 편입니다. 세 번째 초안의 프로토콜 논문, 테스트 네트워크가 운영하는 노드를 기준으로 작성된 참조 구현 논문, 브리지 보고서, 실드 달러에 관한 zUSD 논문, 독립 보안 분석, 그리고 투자자 요약입니다. 각 PDF가 정본이므로 내려받고, 인용하고, 감사할 수 있습니다. 설계에 한계가 있는 부분은 논문이 생략하지 않고 명시합니다.
- 백서STARK지분증명 · BFTEVM양자내성
Rand Protocol
기밀 임의 연산
초안 3 · 2026년 8월, 2026년 9월 갱신 · 73쪽
본 논문은 비잔틴 장애 허용(BFT) 합의로 빠른 결정적 파이널리티를 제공하고 모든 트랜잭션이 영지식 증명인 지분 증명(proof-of-stake) 블록체인 Rand를 제시합니다. 합의 가중치는 예치된 스테이크에서만 나옵니다. 어떤 연산도 투표권을 부여하거나, 리더를 선택하거나, 포크를 결정하지 않습니다. 체인에 실제로 포함되는 것은 합의와 별도로 수행되는 대량의 증명 작업입니다. 각 지갑은 자신의 트랜잭션에 대한 STARK를 생성하며, 블록 수준 증명 집계가 활성화되면 예치된 aggregator가 사용자 증명에 대한 재귀 STARK를 증명하여 RAND를 얻습니다. 밸리데이터는 자신이 제안한 블록의 수수료를 얻으며, 스마트 컨트랙트의 의미론은 이더리움 가상 머신(EVM)의 것과 같습니다. 논문은 영지식 방식 자체를 설명합니다. 연산이 어떻게 표가 되고, 그 표가 어떻게 다항식의 집합이 되며, 그 다항식이 어떻게 전송 한 건당 약 1.4 MB의 증명이 되어 모든 밸리데이터가 수 밀리초 안에 검증하는지를 다룹니다. Rand는 투명 트랜잭션 유형을 전혀 두지 않는 범용 스마트 컨트랙트 체인입니다. 토큰 전송이든 임의의 컨트랙트 호출이든 모든 연산이 구조상 기밀로 실행됩니다. 사용자는 실드된 RAND를 보유하고 이로 가스를 지불하며, 입력, 피연산자, 중간 상태가 온체인에 나타나지 않는 임의의 코드를 실행합니다. 밸리데이터는 실행이 올바르다는 단일 STARK를 검증합니다. EVM은 실행이 증명되는 대상이 되는 의미론을 회로 내부의 인터프리터 게스트로서 제공하므로, 기존 Solidity 바이트코드가 수정 없이 실행됩니다. 이것은 실드 경로와 나란히 놓인 투명 실행 경로가 아닙니다.
이번 개정판은 또한 구현되지 않은 연구 방향으로서 검증 가능한 프로버 귀속(Verifiable Prover Attribution, VPA)을 제안합니다. 현재 운영 중인 체인은 이를 사용하지 않습니다. 지갑이 자신의 트랜잭션을 직접 증명하고, 리더는 라운드 로빈으로 선택되며, 멤풀은 암호화되어 있지 않고, 예치가 요구되는 유일한 증명 역할은 aggregator 등록부로서 번들을 처음으로 포괄한 파이널라이즈된 집계에 보상이 지급됩니다. Part II는 이러한 현황으로 시작하며, 그 정리들은 배포된 시스템이 아니라 제안에 관한 진술입니다. 최초 초안은 비공개 트랜잭션의 회로가 충족되었음을 증명했지만, 증명이 프로버에게 어떻게 할당되는지, 프로버가 어떤 순서로 배치를 증명하는지, 그리고 검증자가 증명을 제출하는 주체가 프로토콜이 인센티브를 부여하는 조건에서 그 증명을 계산한 주체와 같다는 사실을 어떻게 알 수 있는지에 대해서는 말하지 않았습니다. STARK는 회로가 충족되었음을 증명하지만, 어떤 조건에서 충족되었는지는 증명하지 않습니다. 본 논문은 이 간극이 프로버–밸리데이터 공모, 프로버 측 MEV, 시빌/책임 소재가 없는 작업이라는 세 가지 구체적 공격 표면을 연다는 점을 보이고, 각각을 형식화하며, 재계산 가능한 할당 비콘, 봉인된(임계값 암호화) 멤풀을 갖춘 정규 순서, 양자 이후(post-quantum) 증명 동반 증명서(attestation)로 이를 해소할 것을 제안합니다. 이에 따라 초안의 “비공개 트랜잭션은 프런트러닝을 제거한다”는 주장을 조건부 정리로 다시 진술합니다. 운영 중인 체인은 그 조건을 충족하지 못하므로, 해당 체인에서는 내용은 숨겨지지만 순서는 보호되지 않습니다.
본 논문은 또한 최초 보안 분석에 있던 세 가지 내부 불일치를 정리합니다. (i) 약 85비트의 양자 충돌 건전성(BHT 한계)과 초록 및 파라미터 표가 주장한 128비트 양자 이후 보안 사이의 모순은, 설계상 384비트 트랜스크립트 해시와 프리미티브별 보안 분리 정리를 명시하여 해결합니다(구현은 여전히 256비트 트랜스크립트 해시, 즉 양자 기준 약 85비트를 사용합니다). (ii) 타원 곡선 위에서 인스턴스화하면 Shor 알고리즘으로 깨지는, 명세가 없던 리더 선택 VRF에 대해서는 해시 기반 암호학적 추첨(sortition)을 갖춘 양자 이후 커밋–리빌 비콘을 명세합니다(구현되지 않았습니다. 운영 중인 체인은 리더를 라운드 로빈으로 순환시키며 VRF가 전혀 없습니다). (iii) 명세가 불충분했던 Goldilocks 필드에 대해서는 차수 k의 확장체를 의무화하고 FRI 건전성을 쿼리 수와 그라인딩 예산에 연결합니다. 이번 개정판은 또한 실행 계층을 Solana Virtual Machine에서 Ethereum Virtual Machine(EVM)으로 이전하여, ERC-20 자산과 Solidity 컨트랙트를 실드 트랜잭션 모델 아래로 가져오며, 배치 가스 정산을 도입합니다. 실드된 RAND로 내는 트랜잭션별 가스 요금은 그 자체로 EVM 호출(따라서 접근한 ERC-20 컨트랙트)을 식별하는 비익명화 지문이 되므로, 가스는 회로 안에서 공개 양자화 구간에 맞추어 커밋되고 배치당 단일 합산 요금으로 차감됩니다. 그 결과 온체인 흔적은 계정별, 호출별 차감이 아니라 배치별 총액 하나가 됩니다. 마지막으로, SNARK로 출시하고 투명 STARK로 업그레이드한 뒤 완전한 양자 이후 보안으로 강화하는 크립토 애질리티(crypto-agility) 이전 로드맵을 약 18개월의 일정(병렬화된 크리티컬 패스 기준 약 14개월)으로 제시하며, 각 전환은 컨센서스 포크가 아니라 파라미터 변경이 되도록 관문을 둡니다.
2026년 8월 개정판은 실드 모델을 가치 전송에서 기밀 임의 연산으로 확장합니다. 전송 관계를 STARK로 증명되는 가상 머신 위의 범용 실행 관계로 일반화하고, 정확한 기밀성 경계와 함께 로컬 및 위임 GPU 증명 토폴로지를 명세하며, 증명 시스템(Groth16, PLONK, Halo2, HyperPlonk, FRI-STARK), 범용 zkVM(RISC Zero, SP1, Cairo/Stwo, Miden, Jolt, OpenVM), zkEVM 롤업, 프라이버시 체인(Aztec, Aleo, Miden, Zcash)이 이루는 현재의 지형 속에 이 설계를 위치시킵니다. 이들의 가스 지불 및 프로버 위임 상의 함정이 RAND 실드 가스와 VPA 설계의 직접적인 동기가 되었습니다. 인센티브 계층이 함의하는 프로버 시장을 분석하여, 증명 한 건당 비용은 에너지가 아니라 가동률이 결정하며 포화된 네트워크의 증명 수요도 수십 대의 GPU로 충당된다는 점을 보입니다. 따라서 건전성은 프로버 집합에 의존하지 않으므로, 프로버의 탈중앙화는 보안 예산이 아니라 라이브니스와 기밀성으로 정당화되어야 합니다. 마지막으로, 외부 달러 담보인 USDT와 USDC가 증명서 기반 락앤민트(lock-and-mint) 브리지를 통해 실드 z-자산으로서 Rand에 들어오는 방식을 명세합니다. 이는 발행사가 네이티브로 배포하지 않아도 실드 풀에 안정적인 회계 단위를 제공하며, 그렇지 않았다면 프로토콜의 결제 구상을 제3자의 로드맵에 종속시켰을 상업적 의존성을 제거합니다. 이러한 브리지를 건전하게 만들면서도 가장 빠뜨리기 쉬운 속성을 분리해 냅니다. 가디언 쿼럼이 증명하는 것은 감시 대상 체인에 메시지가 게시되었다는 사실이지 브리지가 그 메시지를 작성했다는 사실이 아니므로, 허가가 필요 없는 메시지 계층에서는 서명의 유효성이 권한 부여를 의미하지 않으며 발신자(emitter) 바인딩이 핵심 요소가 됩니다. 가디언 가정과 무관하게 손실을 체인별 커스터디 한도로 제한하는 커스터디 건전성 한계를 증명하고, 실드 z-자산 공급량이 어떤 노트도 열지 않고도 그 커스터디에 대해 공개적으로 감사 가능함을 보이며, 브리지를 시스템의 양자 이후 최전선으로 규정합니다. secp256k1 가디언 서명은 Shor 알고리즘으로 깨지므로, 소스 체인이 양자 이후 프리컴파일을 제공하기 전까지는 Rand 쪽을 아무리 강화하더라도 인출 경로는 고전적 보안에 머뭅니다.
주요 결과- 정리 5.3 — 가스 지불 프라이버시 누출
- 정리 7.9 — 배치 가스 프라이버시
- 정리 10.6 — 증명서는 권한 부여를 의미하지 않는다
- 정리 10.14 — 커스터디 건전성
- Thm 10.19 — 브리지는 양자내성 이후의 한계선입니다
- Thm 13.2 — 귀속 격차
- Thm 15.4 — 프런트러닝, 정정 및 조건부
- Thm 15.9 — VPA 건전성
- Thm 18.1 — 프리미티브별 양자 보안 분리
- Thm 19.2 — FRI 건전성, 매개변수화
3차 초안은 1차 및 2차 초안을 대체합니다1차 초안(2025년 12월)과 2차 초안(2026년 5월의 VPA 개정본)은 철회되었습니다. 이전 분석에 있던 세 가지 오류는 얼버무리지 않고 바로잡았습니다. 128비트 양자내성 주장은 256비트 해시의 85비트 양자 충돌 한계와 모순되었고, 리더 선출 VRF는 타원곡선 위에서 Shor 알고리즘에 의해 깨졌을 것이며, 일반 Goldilocks로는 주장한 FRI 건전성을 담을 수 없었습니다. 실행 계층은 SVM에서 EVM으로 이전하고, 이중 토큰 체계는 RAND 하나로 통합됩니다. 2026년 9월 갱신에서는 설계를 chain 15까지의 참조 풀 노드와 대조하여 정합시켰습니다. Rand는 지분증명 방식임을 명확히 밝히고, 영지식 방식을 상세히 기술하였으며, VPA는 현재 운영 중인 체인이 사용하지 않는 제안으로 표시했습니다.
- 구현zkVM · RISC-VHotStuffChain 15testnet
Rand Protocol — 참조 구현
배포된 상태 그대로의 차폐 원장과 STARK 검증 가상 머신
구현 초안 3 · 2026년 9월 · 46쪽
전통 금융의 결제 시스템은 기본적으로 기밀성을 갖습니다. 계정 잔액과 이체 기록은 계정 보유자와 금융기관, 그리고 법적 절차에 따른 규제 당국에게만 보이며 그 외의 누구에게도 보이지 않습니다. 공개 블록체인은 이 속성을 뒤집습니다. Ethereum과 Solana에서는 전역 상태와 대기 중인 트랜잭션 대기열을 모든 참여자가 관찰할 수 있어, 기관의 주문 흐름이 체계적인 프런트러닝에 노출되고 모든 스테이블코인 이체의 상대방과 금액이 공개됩니다. 현재 어떤 상용 프로토콜도 은행 원장의 기밀성과 공개 체인의 결정적 정산, 투명한 검증, 양자내성 보안을 함께 갖추지 못하고 있습니다.
본 논문은 이러한 간극을 메우기 위해 설계된 레이어 1 블록체인 Randprotocol을 참조 풀 노드의 구현 기준으로 제시합니다. 기본 자산인 RAND는 완전 차폐 풀 안의 노트로만 존재합니다. 깊이 32의 Poseidon2 커밋먼트 트리와 널리파이어 집합이 계정을 대체하며, 모든 이체는 고정된 2입력 2출력 번들입니다. 번들의 유효성은 단일 고정 RISC-V 게스트 프로그램의 실행에 대한 투명한 해시 기반 STARK 증명으로 확립됩니다. 같은 증명 시스템은 기밀 임의 연산도 지원합니다. RV32IM 프로그램은 콘텐츠 해시로 배포되고, 입력 대신 실행 증명과 함께 호출되며, 체인은 여덟 개의 공개 출력 워드를 기록합니다. 합의는 지분 가중 쿼럼, 연속 3개 뷰 커밋 규칙, 공개 레지스터에서 선정되는 에포크 기반 검증자 집합을 갖춘 체인형 HotStuff입니다. 스테이크는 풀에서 본딩되고 풀로 인출됩니다. 보증인이 증명하는 브리지는 외부 네 개 체인의 자산을 노트로 입금합니다. 검증자 서명은 CRYSTALS-Dilithium2이며, 노트 봉투는 ChaCha20-Poly1305와 함께 ML-KEM-768을 사용합니다.
구현을 구성 요소별로 설명한 뒤, 배포된 매개변수를 기준으로 형식적 분석을 전개합니다. 분석 대상은 9개 테이블 영지식 가상 머신이 증명하는 번들 및 호출 관계(회로 내 단언을 대체하는 오염 누산기 구성 포함), 프로그램 다이제스트와 솔트가 적용된 입력 커밋먼트를 결합하는 룩업 버스 논증, 상용 프로파일(80개 쿼리, 20비트 그라인딩, 블로업 8, Goldilocks 필드의 2차 확장)의 FRI 건전성(증명된 근접성 갭 한계와 ethSTARK 추측 양쪽에서 기술), 풀의 가치 균형 및 공급량 감사 항등식, 그리고 에포크 인식 합의 규칙의 안전성과 활성입니다.
분석은 구현이 아직 제공하지 못하는 속성을 밝힙니다. 수수료, 스테이크 가중치, 풀 경계에서의 입금 금액, 프로그램 신원은 공개되어 있습니다. 현재 지갑은 사용하려는 리프를 조회 대상 노드에 노출합니다. 80개 쿼리 증명은 약 1.3 MB(chain 14부터의 4슬롯 번들은 1.43 MB)를 차지하여 4 MiB 블록에는 차폐 이체를 세 건까지만 담을 수 있습니다(chain 14부터 두 건이며, chain 15는 블록을 20 MiB로 늘립니다). 블록 단위 증명 집계, 슬래싱, EVM 및 SVM 게스트는 기준 리비전 시점에 미완료였습니다(이후 게스트는 벤더링되었으나 EVM 호출은 tier-14 호출 상한 때문에 허용되지 않으며, 창립자 주도의 감사 세 차례가 종료되었으나 독립 감사는 수행된 적이 없습니다). GPU 프로버는 실제 하드웨어에서 실행된 적이 없습니다. 이 소프트웨어는 검증자 26개로 구성된 테스트 네트워크(2026-09-29부터 chain 17이며, 모든 검증자를 창립 팀이 운영합니다)에 배포되어 있으며, 가치를 수반하는 용도에는 적합하지 않습니다.
주요 결과- Thm 5.8 — 지식 건전성, 조건부
- Thm 5.11 — 통계적 영지식성
- Thm 5.12 — 인스턴스화된 FRI 건전성
- Thm 5.14 — 배포된 시스템의 프리미티브별 보안
- Thm 5.17 — 풀의 가치 균형
- Thm 5.22 — 안전성
- Thm 5.24 — GST 이후의 활성
- Thm 5.28 — 브리지는 양자내성이 아닙니다
fullnode 26ab1d4 기준으로 작성되었으며 8e64781까지의 부록을 포함합니다시스템에 관한 모든 서술은 커밋 26ab1d4(브랜치 main, 2026-09-16)의 참조 노드를 기준으로 합니다. 대상은 차폐 풀, 스테이킹, 노트 및 호출 봉투 형태의 브리지, zkVM 제약 집합 6, 재귀 VM, 그리고 병합되었으나 제네시스 게이트가 걸려 있는 블록 단위 집계입니다. 노드가 변경된 지점에는 이후 두 차례의 작업을 표시된 부록으로 기록했습니다. 2026-09-24(d050259, v0.5–v0.5.5, chain 14 — 4슬롯 은닉 자산 번들, 토큰 레지스트리, 강화된 브리지)와 2026-09-27(8e64781, v0.5.6–v0.5.8, chain 15 — 호출 헤더 고정과 tier 상한, 동결된 Poseidon2 상수, 집계 결합)입니다.
- 브리지잠금 후 발행ECDSA · Dilithium24개 체인
Rand 브리지
양자내성 공동 서명을 갖춘, 차폐 풀로의 증명 기반 잠금 후 발행
기술 보고서, 초안 1 · 2026년 9월 · 13쪽
Rand는 가치가 투명한 잔액이 아니라 차폐 풀 안의 커밋먼트로 존재하는 기밀 블록체인입니다. 결제 용도에는 안정적인 자산이 필요하지만, 거래량이 없는 체인에 스테이블코인을 네이티브로 배포하는 발행사는 없습니다. Rand 브리지는 Ethereum, BNB Smart Chain, Tron, Solana의 USDT와 USDC를 해당 체인의 수탁분으로 1:1 담보되는 단일 차폐 달러 zUSD로 가져옵니다. 이 보고서는 구현된 그대로의 브리지를 명세합니다. 184바이트 이체 메시지와 두 겹의 서명 계층, 즉 모든 메시지에 적용되는 secp256k1 보증인 쿼럼과 Rand로의 모든 발행에 적용되는 Dilithium2 공동 서명 쿼럼(현재 둘 다 8인 중 6인)을 다룹니다. 또한 증명된 금액으로부터 체인이 직접 도출한 노트로 끝나는 입금 경로, 소각이 증명에 결합되고 체인별 수탁 카운터에 대해 방출되는 출금 경로, 거버넌스 표면(1일 유예 기간을 둔 보증인 교체, 명시적 등재, 양자내성 쿼럼만 해제할 수 있는 단방향 일시 중지), 그리고 브리지로 연결된 체인이 자신의 합의에 부과하는 시계 규칙을 명세합니다.
이 구성이 제공하는 속성, 즉 쿼럼 위조 불가능성, 발행자 결합의 필요성, 수탁 건전성, 공급량 감사 가능성, 그리고 Shor 알고리즘을 쓸 수 있는 공격자가 방출은 위조할 수 있어도 발행은 위조할 수 없는 비대칭 양자내성 한계를 명시하고 증명합니다. 아울러 제공하지 않는 속성도 같은 정도로 주의 깊게 명시합니다. 보증인은 본딩되어 있지도 슬래싱 대상도 아니며, 8개 키 중 6개가 이제 각자의 호스트에서 운영되지만 하나의 호스팅 계정과 하나의 운영자 키가 여전히 모두에 접근할 수 있습니다. 배포 주소, 메시지 크기, 가스 비용, 실제 라운드의 결과를 보고합니다.
주요 결과- Prop 5.1 — 리디렉션 불가
- Thm 5.2 — 수탁 건전성
- Thm 8.1 — 쿼럼 위조 불가능성
- Thm 8.3 — 증명은 승인이 아닙니다
- Thm 8.4 — 브리지 공급량 감사 가능성
- Thm 8.5 — 양자내성 비대칭
프로토콜 논문 브리지 절의 보완 문서배포된 상태 그대로의 브리지를 명세하며, 프로토콜 논문의 크로스체인 절과 동일한 표기를 사용하고 그 내용과 일치합니다. 2026-09-25에 guardian set 1(6-of-8 secp256k1)이 기존 5-of-6 세트를 대체했으며, 2026-09-26의 chain-15 제네시스에서 Dilithium2 세트가 6개에서 8개의 키로 늘어났습니다.
- Shielded 스테이블코인전액 준비금다중 체인 · 다중 발행사Chain 15
zUSD — Rand 위의 전액 준비금 기반 shielded 달러
다중 체인, 다중 발행사의 잠금 준비금을 기반으로, 페그 리스크 없이 이루어지는 기밀 스테이블코인 전송
2026년 9월 · zUSDT(2025년 12월, 2026년 8월 개정)를 대체 · 11쪽
zUSD는 전액 준비금 방식입니다. 각 단위는 해당 스테이블코인이 네이티브로 발행된 체인의 보관 컨트랙트에 예치된 달러 스테이블코인으로 1대 1 담보되며, 이는 Ethereum, BNB Smart Chain, Solana의 USDT와 USDC, 그리고 Tron의 USDT를 합쳐 총 일곱 가지 담보이고, 보유자는 요청 시 그중 어느 것으로든 상환할 수 있습니다. zUSD는 의도적으로 알고리즘 방식이나 부분 준비금 방식의 스테이블코인이 아니므로, 변동성 있는 자산의 가격에 반사적으로 의존하지 않으며 Terra의 UST를 무너뜨린 것과 같은 death spiral의 여지도 없습니다. 이 토큰은 shielded 원장인 Rand 위에 존재하므로, 발행되는 순간부터 shielded 노트입니다. 모든 구간이 증명되므로 각 단위에 대한 보장은 min(준비금 지급 능력, guardian 임계값 무결성)이며, 이는 6-of-8 ECDSA 서명과 6-of-8 Dilithium2 공동 서명으로 이루어진 이중 임계값 아래에서 성립합니다.
준비금 불변식 S = Σ_b L_b는 등식으로 성립하며, 하나의 원장 함수 안에서 구조적으로 강제됩니다. 이 논문은 담보별로 무엇이 보장되는지를 서술하고, 두 발행사를 풀링하면서 새로 생기는 위험도 함께 다룹니다. 또한 배포본이 갖춘 손실 제한 장치, 즉 담보별 및 전체 24시간 롤링 발행 한도, 중지만 할 수 있는 pause 키, 블록 시간의 전방 상한, 보관 컨트랙트의 인출 한도를 제시합니다. 아직 갖추어지지 않은 것도 분명히 밝히는데, 독립적인 guardian 운영자, 모든 보관 컨트랙트에 대한 타임락이 적용된 멀티시그 관리자, 그리고 프로젝트 자체 익스플로러 없이도 확인할 수 있는 준비금 증명이 그것입니다.
주요 결과- 정리 2.6 — 불변식 보존
- 따름정리 2.7 — 상환 가능성
- 명제 2.8 — 브리지로 인한 전액 준비금의 약화
- 따름정리 2.9 — 담보별 보장
- 명제 4.1 — shielding 아래에서의 공개 검증 가능성
2026년 9월 — zUSDT를 대체Rand chain 15에 배포된 설계를 기술하며, 현재 코드가 구현하는 세 가지 점에서 zUSDT와 다릅니다. 첫째, 토큰이 Solana가 아닌 Rand 위에 존재하므로 shielding할 투명 형태가 없습니다. 둘째, 준비금이 여러 체인에 더해 두 발행사에 걸쳐 있으며 보유자는 어느 담보로든 상환할 수 있습니다. 셋째, 모든 구간이 ECDSA와 Dilithium2 공동 서명의 이중 6-of-8 임계값 아래에서 증명된 구간입니다. 명제 2.8은 여전히 올바르므로 수정 없이 그대로 수록하였고, 따름정리 2.9는 두 발행사를 풀링하면서 새로 생기는 위험을 기록합니다.
- 보안 분석양자 내성공격 분류 체계
Rand Protocol 보안 분석
양자 내성 암호 기반, 공격 저항성, 그리고 형식적 보안 보장
2025년 12월, 2026년 9월 정합 · 13쪽
고전적 적대자 모델과 양자 적대자 모델 모두에서 형식적 증명을 갖춘 Rand 프로토콜의 보안 분석입니다. 지분 가중 BFT 합의(Rand는 지분증명 체인이며, 어떤 연산도 합의 가중치를 부여하지 않습니다), STARK 기반 프라이버시 시스템, 그리고 CRYSTALS-Dilithium 및 Kyber 양자 내성 프리미티브를 다룹니다. 51% 공격, 롱레인지 공격, nothing-at-stake, 그라인딩, 이클립스 및 Sybil 공격, 프런트러닝, 타이밍 공격, 양자 적대자에 대한 저항성을 각각 형식적 한계와 구체적 파라미터와 함께 분석합니다.
표준 격자 난이도 가정과 역할별 다이제스트 크기 배정, 즉 충돌이 건전성을 깨뜨리는 곳에는 384비트, 역상 저항성만 필요한 곳에는 256비트를 쓰는 배정 아래에서, 모든 프리미티브는 최소 128비트의 양자 내성 보안을 달성합니다. 이 배정이 없으면 같은 구성은 85비트를 달성합니다. 시스템의 하한은 FRI 건전성으로, ethSTARK 추측 아래에서는 최소 100비트, 증명된 proximity-gaps 한계 아래에서는 86비트이며, 97회 쿼리에서 증명 가능한 100비트로, 3차 확장에서 128비트로 조정할 수 있습니다. 참조 구현이 설계와 다른 부분, 즉 256비트 트랜스크립트 해시, validator 슬래싱 부재, 라운드 로빈 리더, 평문 멤풀에 대해서는 각 결과가 그 점을 명시합니다.
주요 결과- 정리 2.3 — 양자 충돌 저항성
- 정리 3.5 — STARK 양자 보안
- 정리 3.6 — 전체 양자 내성 보안
- 정리 4.4 — HotStuff 안전성
- 정리 5.3 — 널리파이어 비연결성
- 정리 6.8 — 프런트러닝 완화(조건부)
- 정리 7.1 — 경제적 보안 임계값
프로토콜 논문 제3부에 종속프로토콜 논문의 보안 부분에 대한 독립 보완 문서로, 해당 부분이 조정을 거친 정본이며 내용이 다를 경우 그쪽이 우선합니다. 2025년 12월 분석에는 Draft 3이 바로잡은 세 가지 오류가 있었으며, 이후 Draft 3 및 실제 가동 중인 체인과 대조하여 조정되었습니다.
- 투자자 요약시드 라운드SAFT2026년 10월
Rand Protocol: 투자자 요약
해시 기반 증명을 활용한 프라이빗·프로그래머블 결제
2026년 10월 · 6쪽
퍼블릭 블록체인은 기업이 반드시 보호해야 할 정보, 즉 누가 누구에게 얼마를 지급했는지와 체결 전의 모든 주문을 공개합니다. 그래서 가장 큰 자본 풀은 블록체인 밖에 머물러 있습니다. Rand는 모든 결제가 실드 노트(shielded note)이고 모든 트랜잭션이 영지식 증명인 레이어 1 체인입니다. 네트워크는 입력값을 보지 않고도 규칙이 실행되었음을 검증하며, 뷰 키(viewing key)를 통해 감사인은 경쟁자가 읽을 수 없는 내용을 확인할 수 있습니다. Rust 또는 C로 작성한 프로그램은 신뢰 설정(trusted setup)이 필요 없는 해시 기반 STARK로 증명되는 RISC-V zkVM에서 실행되며, 달러는 네 개의 체인에서 하나의 실드 달러인 zUSD로 들어옵니다.
이 요약은 문제, 제품과 측정된 비용, 준비도별 활용 사례, 공개된 추정치를 바탕으로 한 시장, Aleo, Railgun, Quantus 등과의 비교, 1년간의 연구와 라이브 테스트 네트워크까지 3주에 걸친 재구축, 토큰과 라운드별 가격, 시드 라운드(최대 공급량 10억 개의 11%인 1억 1천만 RAND에 대한 SAFT, 가격 $0.03), 팀, 그리고 위험을 다룹니다. 어떠한 증권이나 토큰의 청약도 아닙니다.
주요 결과- 체인 20 · v0.6.8
- 시드: RAND당 $0.03, FDV $30M
- 최대 공급량 1B 기준 SAFT
- 28개 릴리스, 7개 테스트 체인
소스 파일
다섯 편의 논문은 모두 LaTeX로 작성되며 tectonic으로 빌드됩니다. zUSD 소스는 공개되어 있으며 위의 해당 항목에서 링크되므로, 그 안의 모든 서술을 출처가 된 파일과 대조하여 확인할 수 있습니다. 같은 저장소에는 대체된 zUSDT 소스도 함께 있습니다. 나머지 네 편의 소스는 아직 공개되지 않았으며, 공개되기 전까지는 위의 PDF가 정본입니다. 그 밖에 공개된 모든 것, 즉 노드, 지갑, 익스플로러는 GitHub 조직에 있습니다.