지난번: flightofthefox는 VM을 강화하여 빌드 시점에 잘못된 구성을 거부하도록 만들었고, vault와 proof를 공식화했으며, proof 및 authorization 제출 경로 작업 도중에 있었습니다.
이번 주 Radix 네트워크는 VM 수준의 대규모 익스플로잇을 겪으며 커뮤니티에 큰 충격을 안겨주었습니다. flightofthefox는 코드에 집중하며 네트워크 최초의 실제 garbage-collection 시스템을 구축하고 transaction 서명을 강화하는 동시에, Hyperscale의 runway를 보호하는 방안에 대해 투명하게 공유하고 향후 마이그레이션이 어떻게 작동할지 그 윤곽을 그렸습니다.
+4.1k −711
-80% 지난주 대비
줄 변경
일별 커밋
최고 18/일 · 7일 중 2일 활동
모멘텀
95% Rust2% Docs2% Specs1% Config
flightofthefox가 만든 것
닿을 수 없는 state, 깔끔하게 정리
flightofthefox는 garbage-collection 시스템을 구축했습니다: nullifier가 더 이상 접근 불가능한 state를 추적하며, 만료 bucket별로 그룹화되어 각 block이 정확히 만료된 항목만 폐기합니다. 이제 네트워크가 storage를 자동으로 회수할 수 있습니다.
→ hyperscale.rs에서 “The Library” 보기Intent가 자신의 네트워크를 선언한다
이제 transaction intent에 서명된 헤더가 포함되어, 어떤 네트워크용인지 그리고 얼마 동안 유효한지를 명시합니다 — 크로스 네트워크 replay를 차단하고 각 intent의 유효 시간을 가장 좁은 범위로 제한합니다.
→ hyperscale.rs에서 “The Journey” 보기핵심 정리
가장 돋보인 변화
substate sweep는 네트워크 최초의 실제 garbage collection을 구현합니다 — 더 이상 접근 불가능한 state를 자동으로 추적하고 제거합니다.
다음 계획
예정: intent 서명 및 네트워크 검증 경로 마무리, 그리고 substate sweep를 shard의 실행 라이프사이클에 통합.
채팅방에서 들려온 이야기
분위기: Radix 네트워크 해킹이 모든 대화를 지배했고, 재런칭 vs 마이그레이션에 대한 논쟁이 이어졌으며, flightofthefox는 Hyperscale의 runway를 보호하기 위해 XRD를 투명하게 처분했습니다.
“homeress일 때는 hyperscale하기 어렵다”
— flightofthefox, 커뮤니티 텔레그램에서
flightofthefox의 설명
Sharding은 장애를 국지화한다
하나의 shard가 멈춰도 다른 shard에 영향을 주지 않으므로, liveness 영향이 국지화됩니다. 장기적인 중단은 beacon chain에 의해 감지되며, 필요 시 전체 committee를 교체합니다.
Xi'an으로의 마이그레이션
미리 정해진 epoch에서 Babylon state를 덤프하고, 변환한 뒤 Xi'an genesis에서 로드합니다 — Olympia에서 Babylon으로의 마이그레이션과 동일합니다. 까다로운 부분은 contract 재컴파일이 필요하다는 점입니다.
VM 설계가 최우선
가장 최우선은 Hyperscale과 sharding에 완벽하게 맞는 최적의 VM을 구축하는 것입니다. Scrypto에서 유지한 primitive들은 그 아이디어가 정말 좋았기 때문입니다.
형식 검증의 한계
전체 코드가 아닌 더 작은 모델을 전문 언어로 검증합니다. 만능은 아니지만, invariant를 명시해 두면 버그 발생 확률이 크게 줄어듭니다.
이번 주의 개념
The Library— 절대 오지 않는 이사 날이번 주 작업의 대부분은 state tree의 정리 메커니즘 구축에 집중되었습니다 — 더 이상 접근 불가능한 state를 추적하고, 인덱싱하고, 제거하는 작업이었습니다.
hyperscale.rs/library 용어 풀이
Nullifier — 시스템이 더 이상 접근 불가능해진 state를 추적하여 결국 제거하기 위해 사용하는 표식입니다.
Substate sweep — 네트워크의 자동 garbage collection: 더 이상 접근 불가능한 state 항목을 찾아 제거합니다.
Expiry bucket — state 항목들을 정리되어야 할 block 높이별로 그룹화하는 방식으로, 각 block이 효율적으로 처리할 수 있게 합니다.
작업이 닿은 곳
substate sweep 및 nullifier 저장
참고 — 개념 지도, 로드맵 & 링크▾
전체 그림
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.
메인넷으로 가는 길
✓ M1
Adaptive Sharding
~4 mo
현재: Milestone 2 · Radix Engine — 5주차 · 5개월 중 약 1개월. 첫날부터 지금까지: 4,023 커밋 — 개발자 한 명, 전 과정 공개.
링크
궁금한 점이 있나요? flightofthefox는 언제든 커뮤니티 텔레그램에서 대화를 환영합니다.
공개 커밋, 커뮤니티 채팅, hyperscale.rs를 바탕으로 AI가 작성 — 오류가 있을 수 있습니다. · 생성 2026-09-07