지난주: flightofthefox가 시뮬레이터와 프로덕션을 하나의 공유 테스트 시나리오 프레임워크로 통합한 직후, 깔끔한 reshape 오케스트레이터가 두 runner를 함께 구동했습니다.
지난주의 테스트 통합에 이어, flightofthefox는 안전성에 집중하며 지금까지 중 가장 큰 버그를 발견했습니다. 네트워크 분할 상황에서 beacon이 동일한 epoch을 서로 다른 두 가지 방식으로 finalise할 수 있는 드문 문제였습니다. 그는 이를 시뮬레이터에서 재현했고, 새로운 pool-ratified commit 경로로 문제를 해결했으며, 다섯 개의 새로운 수학적 모델로 수정을 증명했습니다. beacon의 신뢰성을 위한 기념비적인 한 주였습니다.
+11k −6.1k
+16% 지난주 대비
줄 변경
일별 커밋
최고 17/일 · 7일 중 7일 활동
모멘텀
82% Rust7% Config7% Docs5% Specs
flightofthefox가 만든 것
Beacon double-commit, 발견 및 수정
flightofthefox는 네트워크 분할 상황에서 beacon이 동일한 epoch을 서로 다른 두 방식으로 finalise할 수 있는 드문 안전성 버그를 재현했습니다. 이어서 기존 경로를 상호 배제하는 pool-ratified commit 경로를 구축하여 그 문을 영원히 닫았습니다.
→ hyperscale.rs에서 “The Census” 보기Straddler와 reshape, 더 강력한 가드
분할 중인 shard에 갇힌 트랜잭션은 gate가 붙잡고 있는 동안 더 이상 퇴출되지 않으며, 기존 위원회와 새 위원회 간의 handoff는 후속 committee가 실제로 활성화될 때까지 대기합니다.
→ hyperscale.rs에서 “The Will” 보기수학적 증명 5종 추가
핵심 안전성 규칙을 수학으로 증명하는 5개의 새로운 형식 모델이 추가되었습니다: straddler 정산, cross-shard atomic commit, shard consensus, weighted-time clock, 그리고 dual-commit 수정 자체입니다.
→ hyperscale.rs에서 “The Proof” 보기핵심 정리
가장 돋보인 변화
beacon의 드문 double-commit 안전성 간극이 마침내 해소되었고, 상호 배제되었으며, 수학적으로 증명되었습니다.
다음 계획
예정: M1의 남은 큰 축인 추첨 방식 validator shuffling이 곧 들어올 예정입니다. 이제 그 아래에는 훨씬 더 견고해진 beacon이 자리하고 있습니다.
이번 주의 개념
The Census— validator와 topology를 추적하는 beacon이번 주 핵심은 beacon의 double-commit 안전성 간극이 재현되고 pool ratification으로 수정되며 수학적으로 증명된 것입니다. validator와 topology를 추적하는 체인에 있어 큰 도약입니다.
hyperscale.rs/census 용어 풀이
Pool ratification — beacon block이 final로 인정되기 전에 validator pool이 투표하고 승인하는 방식으로, 덜 안전했던 기존 경로를 대체합니다.
Dual commit — 네트워크가 분할된 상황에서 동일한 block의 충돌하는 두 버전이 동시에 finalise될 수 있었던 안전성 버그입니다.
작업이 닿은 곳
pool ratification로 dual-commit 간극 해소
새로운 ratification 및 straddler 데이터 타입
참고 — 개념 지도, 로드맵 & 링크▾
전체 그림
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 — 10주 차 · 전체 4개월 중 약 2개월 시점 · 59%. 첫날부터 지금까지: 2,324 커밋 — 개발자 한 명, 전 과정 공개.
링크
궁금한 점이 있나요? flightofthefox는 언제든 커뮤니티 텔레그램에서 대화를 환영합니다.
공개 커밋, 커뮤니티 채팅, hyperscale.rs를 바탕으로 AI가 작성 — 오류가 있을 수 있습니다. · 생성 2026-07-09