이전: flightofthefox가 beacon crate의 스캐폴딩을 완료했습니다 — validator와 shard map을 추적하는 느린 조정 체인이죠 — 그리고 The Crash Lab과 The Pr를 중심으로 production node를 thread-per-shard 모델로 재구성했습니다.
전환점이 된 한 주였습니다. flightofthefox는 전체 코드베이스에 걸쳐 컴파일러 강제 안전 시스템을 도입하여, 검증되지 않은 block이나 vote가 실수로 사용될 수 없게 만들었습니다. 또한 beacon을 production node에 완전히 연결하고, 기존 복구 경로를 더 깔끔한 skip flow로 교체했습니다.
일별 커밋
최고 45/일 · 7일 중 7일 활동
모멘텀
flightofthefox가 만든 것
컴파일러 강제 안전 시스템 도입
새로운 typestate wrapper가 block, vote, 또는 certificate가 암호학적으로 검증되기 전에 사용하려는 모든 코드를 컴파일러가 거부하도록 만듭니다. 검증되지 않은 데이터가 실수로 빠져나갈 수 없게 되었습니다 — The Overlap을 위한 깊은 구조적 안전성 확보입니다.
→ hyperscale.rs에서 “The Overlap” 보기beacon이 깨어납니다
beacon이 production node에 완전히 연결되었습니다: sync, gossip, fetch pool, timer, 그리고 SPC state machine이 모두 온라인 상태가 되었습니다. 누락된 block을 위한 더 간단한 skip flow로 교체하면서, 기존 'recovery' 경로는 폐기되었습니다.
→ hyperscale.rs에서 “The Census” 보기The Crash Lab에 날카로운 이빨이 돋아납니다
시뮬레이터가 다중 coordinator, Byzantine, topology 변경 시나리오와 크로스 네트워크 서명 거부 테스트를 흡수하여, 더 넓은 범위의 공격을 The Crash Lab에서 바이트 단위로 재현할 수 있게 되었습니다.
→ hyperscale.rs에서 “The Crash Lab” 보기핵심 정리
가장 돋보인 변화
이제 컴파일러 강제 'verified' wrapper가 거의 모든 consensus type을 커버하여, 검증되지 않은 block, vote, 또는 certificate를 신뢰하는 것이 구조적으로 불가능해졌습니다.
다음 계획
예상되는 다음: 새로운 skip flow를 포함하여 시뮬레이터를 통해 전체 beacon epoch transition을 end-to-end로 구동.
채팅방에서 들려온 이야기
분위기: 채팅은 조용한 한 주였습니다 — flightofthefox는 코드베이스에 매진하고 있습니다.
이번 주의 개념
The Overlap— 검증 가능한 fork-free이제 거의 모든 consensus type이 컴파일러가 코드를 허용하기 전에 암호학적으로 검증되어야 하므로, 검증되지 않은 데이터가 결정에 영향을 미치는 것이 구조적으로 불가능해졌습니다. 이는 type system에 내장된 fork 안전성입니다.
hyperscale.rs/overlap 용어 풀이
Typestate — 특정 단계가 발생했는지를 type 자체가 기록하는 코딩 패턴으로, 해당 단계가 완료되기 전에는 컴파일러가 사용을 허용하지 않습니다.
Gossip — 노드들이 peer-to-peer로 메시지를 퍼뜨리는 방식으로, 각 노드가 몇 개의 이웃에게 소식을 전하면 그 이웃들이 또 전달하는, 소문과 같은 방식입니다.
Unicast — 하나의 특정 노드에게 메시지를 보내는 것으로, 모두에게 브로드캐스트하는 것과 반대되는 개념입니다.
작업이 닿은 곳
검증된 consensus type을 위한 typestate wrapper
node, sync, fetch, skip flow에 연결
node
BeaconCoordinator를 runner에 연결
참고 — 개념 지도, 로드맵 & 링크▾
전체 그림
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 — 5주차 · 전체 4개월 중 약 1개월 · 29%. 첫날부터 지금까지: 2,324 커밋 — 개발자 한 명, 전 과정 공개.
링크
궁금한 점이 있나요? flightofthefox는 언제든 커뮤니티 텔레그램에서 대화를 환영합니다.
공개 커밋, 커뮤니티 채팅, hyperscale.rs를 바탕으로 AI가 작성 — 오류가 있을 수 있습니다. · 생성 2026-07-09