이전 시간: flightofthefox가 거의 모든 consensus 타입을 컴파일러로 보장되는 'verified' 태그로 감싸고, beacon을 노드에 엔드투엔드로 연결했습니다.
이번 주 flightofthefox는 verified 태그 규칙을 storage까지 끝까지 밀고, 시뮬레이터에서 실제 shard-consensus fork를 재현한 뒤 닫아버렸습니다. 이제 timestamp 기반 topology schedule이 어떤 순간이든 '지금 누가 맡고 있는지'를 답해줍니다.
+5.4k −2.8k
-68% 지난주 대비
줄 변경
일별 커밋
최고 18/일 · 7일 중 7일 활동
모멘텀
flightofthefox가 만든 것
Storage도 verified를 말하게 되다
shard와 beacon storage 양쪽의 읽기/쓰기가 이제 'verified' block을 반환합니다. 지난주의 typestate net이 더욱 타이트해져, 증명되지 않은 무엇도 persistence를 뚫고 들어올 수 없게 되었죠. 이로써 safety 규칙이 절차적이 아니라 구조적으로 자리 잡았습니다.
→ hyperscale.rs에서 “The Overlap” 보기Clock이 조회 가능해지다
새로운 epoch별 topology schedule 덕분에, 어떤 노드든 시간 T에 shard X를 실행하는 validator가 누구인지 물어보고 모든 곳에서 같은 답을 받을 수 있습니다. Shard ID가 prefix path가 되고, committee는 한 epoch 먼저 계산됩니다 — '세 개의 엔진, 하나의 clock'이라는 아이디어가 현실이 되었죠.
→ hyperscale.rs에서 “The Clock” 보기Shard consensus, HotStuff-2에 고정하다
flightofthefox가 예전 vote-unlock 규칙 때문에 발생하는 conflicting-commit fork를 재현한 뒤, HotStuff-2 safe-vote 규칙으로 닫아버렸습니다. Round는 이제 block마다 증가하고, parent hash에 서명이 들어가며, timeout pacemaker가 validator들의 동기화를 유지합니다.
→ hyperscale.rs에서 “The Overlap” 보기핵심 정리
가장 돋보인 변화
실제 shard에 영향을 미칠 수 있었던 conflicting-commit fork가 시뮬레이터에서 재현된 뒤, HotStuff-2 safe-vote 규칙에 의해 차단되었습니다.
다음 계획
예상되는 다음: 새로운 topology schedule과 HotStuff-2 규칙을 적용해 full epoch transition을 The Crash Lab에서 엔드투엔드로 구동하는 것.
이번 주의 개념
The Clock— 세 개의 엔진, 하나의 clock새로운 timestamp 기반 topology 조회 schedule이 이번 주의 건축적 핵심입니다 — 이것이 바로 모든 정상 노드가 매번 '세 개의 엔진, 하나의 clock'을 실제로 작동하게 만드는 구체적인 lookup table입니다.
hyperscale.rs/clock 용어 풀이
HotStuff-2 — 정상 validator가 conflicting block을 commit하는 것이 수학적으로 불가능해지는 2단계 voting 규칙입니다.
Pacemaker — consensus 엔진 내부의 타이머로, 제때 block이 나오지 않으면 모든 validator에게 다음 round로 넘어가라고 알려줍니다.
작업이 닿은 곳
typestate wrapper가 수십 개 파일에 파급
overflow 가드와 duplicate-committee 거부
HotStuff-2 safe-vote 규칙과 timeout pacemaker
참고 — 개념 지도, 로드맵 & 링크▾
전체 그림
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 — 6주 차 · 전체 4개월 중 약 1개월 차 · 35%. 첫날부터 지금까지: 2,324 커밋 — 개발자 한 명, 전 과정 공개.
링크
궁금한 점이 있나요? flightofthefox는 언제든 커뮤니티 텔레그램에서 대화를 환영합니다.
공개 커밋, 커뮤니티 채팅, hyperscale.rs를 바탕으로 AI가 작성 — 오류가 있을 수 있습니다. · 생성 2026-07-09