지난 회차: flightofthefox가 reshape 전체 주기를 포괄하는 Model F로 형식 증명을 확장하고, validator 셔플링에 적대적 Monte Carlo 분석을 실행한 뒤, safe-vote 및 비준 구조를 durable로 이동했습니다.
지난주가 reshape 수학을 증명하는 주였다면, 이번 주는 shard가 최악의 상황에서도 살아남게 만드는 주였습니다. flightofthefox는 halt-recovery 시스템 전체를 구축했습니다 — 멈춰버린 shard를 감지하고, committee를 다시 구성하며, 단 한 건의 트랜잭션도 잃거나 복제하지 않고 shard를 되살리는 메커니즘입니다. 코드베이스 거의 전역에 걸쳐 60개의 commit이 들어간 빽빽한 한 주였습니다.
+12k −1.8k
-10% 지난주 대비
줄 변경
일별 커밋
최고 18/일 · 7일 중 7일 활동
모멘텀
89% Rust4% Docs4% Specs3% Config
flightofthefox가 만든 것
스스로 치유되는 shard
flightofthefox는 halt-recovery 파이프라인 전체를 구축했습니다: 정체된 shard를 감지하고, 전체 committee를 다시 구성하며, 검증된 parent를 통해 consensus를 연결하고, shard가 다시 안전해질 때까지 cross-shard 트랜잭션을 동결합니다.
→ hyperscale.rs에서 “The Will” 보기Beacon은 침묵에 벌을, 최근성에 보상을
이제 beacon은 randomness 제안을 보류하는 validator를 감옥에 넣고, 각 validator가 최근에 참여한 시점을 기준으로 committee 재샘플링 가중치를 부여하며, 매 셔플마다 가장 오래 tenure를 가진 멤버를 퇴출시킵니다 — 추첨을 공정하고 활성 상태로 유지합니다.
→ hyperscale.rs에서 “The Lottery” 보기접기로 만드는 randomness, 수학으로 증명
이제 각 shard는 블록마다 randomness reveal을 발행하고, 이 값들은 epoch의 공유 randomness에 접혀 들어갑니다 — committee 추첨을 위한 seed입니다. 새로운 Quint 모델이 이 접기 과정이 정확함을 증명합니다.
→ hyperscale.rs에서 “The Proof” 보기핵심 정리
가장 돋보인 변화
A complete halt-recovery system now lets a frozen shard be detected, re-staffed, and restored without losing or duplicating cross-shard transactions.
다음 계획
Likely next: wiring the validator-shuffling logic into production now that halt recovery and the beacon's committee-management are in place.
채팅방에서 들려온 이야기
분위기: Community discussion about visibility on X and the radix.wiki site, plus an off-topic drama that got wiped by mods. flightofthefox clarified consensus naming and stressed the value of combining simula
“Seems like we're having a week every 2 days 😅”
— flightofthefox, 커뮤니티 텔레그램에서
이번 주의 개념
The Will— 죽은 shard의 유언이번 주의 핵심은 죽은 shard에게 깨끗한 복귀 경로를 제공하는 것이었습니다: 정체를 감지하고, cross-shard 작업을 동결하며, committee를 재구성하고, 경계 fence로 straddler들이 해결되도록 보장하는 것 — 운이 아니라.
hyperscale.rs/testament 용어 풀이
Halt recovery — The process of detecting a frozen shard, assigning it a new committee, and bringing it back online without losing transactions.
Randomness reveal — A value each shard publishes every block that gets blended together to create the unpredictable seed for the next committee draw.
Fence freeze — Pausing all cross-shard transactions involving a halted shard until its fate is settled.
작업이 닿은 곳
halt-recovery pipeline and committee rebuild
recovery data structures and fence types
jailing, recency weighting, committee caps
참고 — 개념 지도, 로드맵 & 링크▾
전체 그림
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 — 12주차 · 4개월 중 3개월 차 · 71%. 첫날부터 지금까지: 2,402 커밋 — 개발자 한 명, 전 과정 공개.
링크
궁금한 점이 있나요? flightofthefox는 언제든 커뮤니티 텔레그램에서 대화를 환영합니다.
공개 커밋, 커뮤니티 채팅, hyperscale.rs를 바탕으로 AI가 작성 — 오류가 있을 수 있습니다. · 생성 2026-07-20