지난번: flightofthefox가 beacon의 드문 double-commit 안전 간극을 막았고, straddler, cross-shard commit, 그리고 dual commit 자체를 다루는 5가지 새로운 formal model에서 수정 사항을 증명했습니다.
이번 주에는 formal-proof 작업이 대폭 확장되었습니다. flightofthefox는 reshape lifecycle 전체를 처음부터 끝까지 따라가는 완전히 새로운 Quint model을 구축했습니다. 이와 함께 validator shuffling에 대한 첫 번째 본격적인 adversarial security 분석이 이루어졌고, simulator에는 새로운 까다로운 네트워크 시나리오들이 추가되었습니다. Beacon과 shard 코드도 계속 다듬어지고 있으며, safe-vote 및 ratification 데이터의 여러 부분이 이제 내구성 있게 저장됩니다.
일별 커밋
최고 16/일 · 7일 중 6일 활동
모멘텀
72% Rust12% Config12% Docs4% Specs
flightofthefox가 만든 것
Model F가 reshape 전체 과정을 증명하다
flightofthefox는 shard split 또는 merge의 전체 lifecycle을 증명하는 새로운 Quint model — 'Model F' — 을 구축했습니다. merge 경로, ready-signal hand-off, draw-seed twin, 그리고 unbound ready signal 케이스까지 포함됩니다. 이는 reshape 설계 약속을 검증 가능한 수학으로 바꿔줍니다.
→ hyperscale.rs에서 “The Proof” 보기The Lottery, adversarial 테스트 진행
validator-shuffling 로직이 Monte Carlo 현미경 아래 검사되었으며, adaptive worst-case attacker까지 추가되었습니다. 편차가 측정 및 기록되어, 무작위 위원회 할당이 이제 단순한 희망적 주장이 아닌 공개된 보안 근거를 갖게 되었습니다.
→ hyperscale.rs에서 “The Lottery” 보기The Crash Lab에 새로운 악몽 추가
여러 새로운 partition 및 Byzantine 시나리오가 simulator에 들어왔습니다 — partition 중 멈추는 beacon pool, shard 간 단절, fragment rejoin, 정확한 quorum heal, 느린 proposer, 그리고 stale parent입니다. The Crash Lab에는 이제 의도적으로 네트워크를 망가뜨릴 수 있는 더 많은 방법이 있습니다.
→ hyperscale.rs에서 “The Crash Lab” 보기핵심 정리
가장 돋보인 변화
새로운 Quint model이 이제 reshape lifecycle 전체 — split, merge, ready signal, staffing — 가 formal analysis하에서 안전함을 기계적으로 증명합니다.
다음 계획
예상되는 다음: 보안 수학과 simulator 시나리오가 마무리되면서, validator-shuffling 로직이 production 단계 연결을 받을 예정입니다.
채팅방에서 들려온 이야기
분위기: 이번 주 채팅은 DAO와 core-team의 대화가 주를 이룹니다 — Radix는 누가 운영해야 할지, 갱신이 보이지 않는 만료되는 market-maker contract, 그리고 이 주간 보고서를 무엇으로 바꿀지에 대한 작은 사이드 스레드.
“로드맵 완수는 필요한 fee가 지불되고(코인 자체가 실제로 유동성 가치를 갖는다는) 조건에서만 가능합니다. DAO가 약속을 지킨다면, 저도 지키겠습니다.”
— flightofthefox, 커뮤니티 텔레그램에서
이번 주의 개념
The Proof— 형식적, 수학적 검증Model F는 이번 주의 핵심입니다. split, merge, ready signal, staffing까지 reshape 전체 과정을 기계화하는 단일 Quint model로, 설계를 증명 가능한 수학으로 바꿉니다.
hyperscale.rs/proof 용어 풀이
Monte Carlo — 수많은 무작위 시행을 실행하고 패턴을 관찰하여 무언가를 스트레스 테스트하는 방법입니다.
Byzantine — 네트워크 참여자가 의도적으로 잘못 행동하거나 거짓을 보내는 상황을 말합니다.
Adaptive adversary — 상황을 관찰하며 가장 큰 피해를 주기 위해 전략을 즉각적으로 바꾸는 최악의 공격자입니다.
작업이 닿은 곳
beacon ratification 및 safe-vote 레지스터가 내구성 있게 저장됨
fork-safety 저장, header scope, ready-signal dwell
새로운 partition 및 Byzantine 시나리오, harness 정리
참고 — 개념 지도, 로드맵 & 링크▾
전체 그림
The ClockConsensus-attested time across independent shards.
The CensusThe leaderless beacon of validators, stake and shards.
The OverlapWhy two conflicting blocks can never both commit.
The GeneralsAll-or-nothing cross-shard commits, computed not voted.
The ArchiveEvery published byte is preserved or provably expired.
The LibraryAll state in one merkle tree; a shard is a subtree.
The WillHow in-flight transactions settle when a shard dies.
The LotteryRandom, ever-moving committees; proven cheats are jailed.
The TriageUnder overload, urgent traffic never waits for bulk.
The GovernorValidator entry is re-priced every epoch, like a market.
The Crash LabThe simulator that replays any failure byte-for-byte.
The ProofProving safety with maths, not just tests.
The AsterisksEvery design's trade-offs — including Hyperscale's own.
메인넷으로 가는 길
현재: Milestone 1 · Adaptive Sharding — 11주차 · 4개월 중 약 3개월 차 · 65%. 첫날부터 지금까지: 2,342 커밋 — 개발자 한 명, 전 과정 공개.
링크
궁금한 점이 있나요? flightofthefox는 언제든 커뮤니티 텔레그램에서 대화를 환영합니다.
공개 커밋, 커뮤니티 채팅, hyperscale.rs를 바탕으로 AI가 작성 — 오류가 있을 수 있습니다. · 생성 2026-07-13