지난 회차: flightofthefox가 VM 내부 구조를 전면 재정비했습니다 — 컴포넌트 레이아웃 공식화, resource identity, 노드별 shard 기록 fetching — Babylon과의 기능 동등성을 향해 한 걸음 더 다가갔습니다.
이번 주는 VM을 깊고 끈질기게 다지는 작업의 연속이었습니다. flightofthefox는 Radix Engine이 모든 경로에서 잘못된 구조를 거부하도록 만들고, vault와 resource의 정의를 공식화하며, 대규모 코드를 더 깔끔한 모듈로 재구성했습니다. 커뮤니티에서는 formal verification과 privacy에 관한 활발한 논의가 이어지며, 이 프로젝트의 '테스트 우선' 철학이 얼마나 깊은 공감을 얻고 있는지 보여주었습니다.
+17k −6.9k
-44% 지난주 대비
줄 변경
일별 커밋
최고 134/일 · 7일 중 5일 활동
모멘텀
79% Rust18% Config1% Docs1% Specs
flightofthefox가 만든 것
VM이 '아니오'라고 말하는 법을 배우다
수십 건의 commit이 엔진이 잘못된 입력 — 중복 필드, 반만 적용된 supply 변경, 잘못된 구조 — 을 런타임에 크래시하는 대신 빌드 타임에 거부하도록 만들어, 시스템 전체를 구조적으로 더 안전하게 만들었습니다.
→ hyperscale.rs에서 “The System” 보기Vault와 resource가 형태를 갖추다
Vault가 명명된 state 필드가 되어 명시적인 mint-burn 쌍을 갖게 되었고, supply 변경은 전부 적용되거나 아예 적용되지 않아야 하며, token denomination은 해당 resource에 고정됩니다 — token 시스템에 정확하고 검증 가능한 구조가 부여되었습니다.
→ hyperscale.rs에서 “The System” 보기Proof에 provenance와 구조가 생기다
Authority proof가 이제 추적 가능한 provenance를 담고, threshold sign-in에 공식적인 presenting 경로가 생겼으며, badge-gating이 프로토콜 수준의 증거와 연결됩니다 — 접근 제어가 '가정'이 아니라 '검증' 가능해졌습니다.
→ hyperscale.rs에서 “The Journey” 보기핵심 정리
가장 돋보인 변화
Radix Engine이 이제 잘못된 구조 — 잘못된 형태, 중복 필드, 반만 적용된 토큰 변경 — 를 코드가 실행되기 전에 광범위하게 거부합니다. 스마트 컨트랙트의 실패가 런타임 크래시가 아니라 빌드 타임 문제가 되었습니다.
다음 계획
예상되는 다음: minting, burning, vault 이동과 같은 resource operation을 강화된 VM에 계속 연결하고, 현재 진행 중인 proof 및 authorization presenting 경로를 마무리하는 작업이 이어질 것으로 보입니다.
채팅방에서 들려온 이야기
분위기: 채팅방은 Zcash 버그가 헤드라인에 오른 뒤 formal verification을 주제로 활기차게 달궈졌습니다. flightofthefox는 privacy relay가 어떻게 작동할 수 있는지 설명하면서, M1 결제 관리는 아직 손대지 못했다 — 빌드에 너무 바쁘다 — 고 덧붙였습니다.
“처음부터 견고한 테스트가 더 잘 통합될수록, 엄청난 속도로 움직이는 게 가능해지고 — 그리고 자신감을 갖고 움직일 수 있게 됩니다”
— flightofthefox, 커뮤니티 텔레그램에서
이번 주의 개념
The System— 세상이 아닌 작업을 분할하라이번 주 거의 모든 commit이 Radix Engine의 핵심 아키텍처 — 모든 스마트 컨트랙트를 실행하는 계층 — 에 집중했습니다. 타입 시스템, resource 모델, authorization을 한층 더 단단하게 다져, 실패의 가능성을 아예 발생하기 전에 차단했습니다.
hyperscale.rs 용어 풀이
Vault — 스마트 컨트랙트 컴포넌트 내부에서 특정 종류의 토큰을 보관하는 명명된 필드로, 해당 resource의 보유량을 추적합니다.
Provenance — authority proof가 어디서 왔는지를 기록한 것으로, 시스템이 올바른 사람이 해당 행위에 서명했는지 검증할 수 있게 해줍니다.
Manifest — 스마트 컨트랙트 패키지가 무엇을 담고 있고 어떻게 네트워크에 게시되어야 하는지를 설명하는 청사진 파일입니다.
작업이 닿은 곳
63개 파일: resource-operation 거부 및 검증
52개 파일: manifest builder 및 빌드 타임 projection
38개 파일: 테스트 통합 및 in-repo guest scaffold
참고 — 개념 지도, 로드맵 & 링크▾
전체 그림
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개월 중 1개월 차 · 4주 차. 첫날부터 지금까지: 4,003 커밋 — 개발자 한 명, 전 과정 공개.
링크
궁금한 점이 있나요? flightofthefox는 언제든 커뮤니티 텔레그램에서 대화를 환영합니다.
공개 커밋, 커뮤니티 채팅, hyperscale.rs를 바탕으로 AI가 작성 — 오류가 있을 수 있습니다. · 생성 2026-08-31