📖 개발자 지식 100 — 고급 커리큘럼 (2026 H2)

8년차가 이미 아는 기초(정렬·기본 자료구조·BFS/DFS·기본 DP)는 제외하고, 프로토콜·시스템·AI 엔지니어링의 고급 주제 100개를 하루 1개씩. (2026-07-30 Jay 지시로 신설 — 구 "매일의 알고리즘(CLRS)" 트랙 종료·흡수.) 운영: 매일 리포트 2 Basic Knowledge 안에서 1개. 완료-게이트(체크해야 다음 Day, 미체크면 반복). 분량: 개념 1개 + 코드/수식 10~25줄 + 연습 1개 + 실무·Verex 연결 1줄. "존재를 알고 필요할 때 꺼내 쓰는" 수준이 멈춤선.

A. 고급 알고리즘·자료구조 (Day 1–19)

1. 분할상환분석 심화 — 포텐셜 함수(potential method)로 비용 증명하기 ✅
2. 균형 트리 계열 비교 — Red-Black vs B+Tree vs Skip List (동시성 관점) ✅
3. 영속(persistent) 자료구조와 구조 공유 — 불변 상태의 O(log n) 갱신 ✅
4. 함수형 업데이트와 상태 diff — copy-on-write의 실제 비용
5. Verkle tree — 이더리움의 Merkle-Patricia Trie에서 해시 기반 증명 대신 다항식 벡터 커밋먼트(KZG)를 사용해서, 각 노드가 훨씬 넓은 분기 수를 가지면서도 증명 크기는 작게 유지할 수 있게 한 개선입니다 — 이게 바로 stateless 이더리움 클라이언트를 실용적으로 만드는 핵심입니다
6. 확률적 자료구조 — Bloom·Cuckoo·Count-Min·HyperLogLog
7. 스트리밍/스케치 알고리즘 — heavy hitters, 근사 분위수
8. 순서 통계 — Quickselect·중위수의 중위수(결정론적 선택)
9. 문자열 인덱스 — 서픽스 배열·오토마톤 (로그·트레이스 검색)
10. 세그먼트 트리 심화 — lazy propagation·영속 세그먼트 트리
11. 위상정렬·DAG 스케줄링 → BAL 병렬 실행 스케줄의 수학
12. 최대 유량·최소 컷과 매칭 — 자원 배분 문제의 원형
13. 선형계획과 쌍대성 직관 — 경매·MEV 배분의 언어
14. 랜덤화·근사 알고리즘 — LP 완화와 랜덤 라운딩
15. 온라인 알고리즘과 경쟁비 — 캐시 교체·실시간 경매
16. NP-난해와 환원 — 언제 포기하고 근사로 갈지 판단하기
17. 병렬 알고리즘 모델 — work-span, Amdahl vs Gustafson
18. 조합 생성·그레이 코드·순열 열거 (TAOCP 4권) — 테스트 벡터·퍼징·상태 공간 탐색의 도구
19. [복습] 알고리즘 선택의 실전 기준표

B. 컴파일러·런타임·VM (Day 20–35)

20. IR과 SSA 형식 — 최적화가 가능해지는 표현
21. 데이터플로 분석 — 상수 전파·죽은 코드 제거
22. 레지스터 할당(그래프 컬러링)과 스필 비용
23. 인라이닝·루프 변환·자동 벡터화
24. JIT 계층화·워밍업·역최적화(deopt)
25. 스택 머신 vs 레지스터 머신 → EVM과 WASM의 설계 차이
26. 가스 회계 설계 — 비용 모델과 DoS 저항
27. EVM 인터프리터 내부 — JUMPDEST 분석·메모리 확장 비용
28. WASM 실행 모델과 샌드박싱 경계
29. GC 심화 — 증분·병행·리전 기반(ZGC·Go)
30. Rust 소유권·차용 검사기 내부(NLL)와 우회 패턴
31. 메모리 할당자 설계 — jemalloc·mimalloc의 아이디어
32. FFI·ABI 경계와 안전성(패닉·정렬·수명)
33. 결정론적 실행 — 부동소수점·시간·난수 봉인하기
34. 형식 검증 — SAT/BDD·SMT·심볼릭 실행(Foundry invariant·Halmos) (TAOCP 4권 SAT 접목)
35. [복습] 실행 계층 지도 한 장으로

C. 동시성·성능 엔지니어링 (Day 36–51)

36. 메모리 모델과 원자성 순서 — acquire/release/seq_cst
37. 락프리·wait-free, ABA 문제, 해저드 포인터·에포크 회수
38. RCU — 읽기 최적화의 정석
39. false sharing·캐시라인 정렬·NUMA 지역성
40. 브랜치 예측·프리페치·데이터 지향 설계
41. 커널 바이패스와 zero-copy — io_uring
42. 이벤트 루프 vs 스레드 vs 액터 모델
43. 백프레셔와 큐 이론 — Little's law로 용량 계산
44. 테일 레이턴시 — hedged request·load shedding
45. 프로파일링 심화 — 플레임그래프·perf·PMU 카운터
46. 벤치마크 방법론 — 워밍업·분산·회귀 자동 감지
47. eBPF로 프로덕션 관측
48. 분산 트레이싱과 샘플링 전략
49. 용량 계획·SLO와 에러 예산
50. 카오스 엔지니어링·장애 주입 설계
51. [복습] 성능 예산 문서 쓰기

D. 분산시스템·합의 (Day 52–68)

52. 일관성 모델 지도 — 선형화·직렬성·인과·최종
53. 논리 시계·벡터 시계·하이브리드 논리 시계(HLC)
54. Raft 심화 — 멤버십 변경·로그 압축·읽기 보장
55. Multi-Paxos·Flexible Paxos — 정족수 설계의 자유도
56. 비잔틴 정족수(3f+1)와 PBFT → HotStuff → Tendermint 계보
57. DAG 합의 — Narwhal·Bullshark 계열의 분리(멤풀/합의)
58. 나카모토 합의의 확률적 최종성과 selfish mining
59. Casper FFG + LMD-GHOST — 재조직(reorg)의 조건
60. 싱글슬롯 파이널리티와 서명 집계 병목
61. 데이터 가용성 샘플링과 소거부호(Reed-Solomon)
62. 라이트 클라이언트와 상태 없는(stateless) 검증
63. 크로스체인 신뢰 가정 분류 — 브릿지 vs 인텐트 vs 라이트클라이언트
64. 시퀀서 분산화와 강제 포함(force inclusion)
65. 사기 증명 vs 유효성 증명의 게임 이론
66. PBS·MEV 경매·타이밍 게임
67. 멱등성과 "정확히 한 번" — 아웃박스 패턴
68. [복습] 장애 모델과 신뢰 가정을 먼저 쓰는 습관

E. 데이터·스토리지 엔진 (Day 69–81)

69. MVCC 내부와 스냅샷 격리의 이상현상(write skew)
70. WAL·그룹 커밋·fsync 비용
71. LSM 트리 튜닝 — 컴팩션·쓰기 증폭·읽기 증폭
72. B+트리 vs LSM → 이더리움 클라이언트의 DB 선택
73. 상태 트리 저장 문제 — flat DB·경로 기반 스토리지
74. 프루닝·아카이브·스냅 싱크
75. 인덱싱 파이프라인 설계 — 재생 가능성(replayability)
76. 컬럼 스토어와 벡터화 실행(OLAP)
77. 스트리밍 처리 의미론 — 워터마크·정확히 한 번
78. 벡터 DB와 ANN 인덱스(HNSW·IVF-PQ)
79. 캐시 일관성·무효화·스탬피드 방지
80. 외부 정렬·병합 전략과 병렬 정렬 (TAOCP 3권) — 인덱서 재구성의 실제 병목
81. [복습] 데이터 모델이 성능을 정한다

F. 암호학·ZK (Day 82–96)

82. 랜덤 오라클·길이 연장 공격·도메인 분리
83. HMAC·AEAD와 nonce 오용 저항 → 웹훅 서명 검증
84. 난수 생성과 CSPRNG 품질 (TAOCP 2권) — 통계적 검정·시드 관리, nonce 재사용 사고의 상류
85. 서명 스킴 비교 — ECDSA·EdDSA·Schnorr·BLS와 위조 함정
86. 임계 서명·MPC·분산 키 생성(DKG)
87. 커밋먼트 — Pedersen·KZG·FRI
88. 다중정밀 산술(bignum) — Montgomery·Barrett 리덕션 (TAOCP 2권), EC·ZK 구현의 실제 병목
89. 고정소수점 산술과 반올림 정책 — 불변식을 지키는 반올림 방향(dust leak 방지), LMSR의 exp/ln 근사 오차 상한
90. 유한체·다항식 산술과 NTT 구현 관점
91. 산술화 — R1CS·AIR·PLONKish
92. 다항식 IOP — 증명 크기 대 검증 시간 트레이드오프
93. 재귀 증명과 증명 집계
94. 프라이버시 프리미티브 — 링 서명·nullifier·스텔스 주소
95. 포스트퀀텀 전환은 암호가 아니라 조정(coordination) 문제
96. [복습] 검증 가능한 시스템 설계 체크리스트

G. AI 엔지니어링 (Day 97–100)

97. 트랜스포머 계산 구조·KV 캐시·추론 서빙(연속 배칭·PagedAttention)과 양자화·증류·LoRA 트레이드오프
98. RAG 설계·리트리버 품질 지표와 평가 하네스(골든·프로퍼티·회귀)
99. 에이전트 루프 설계 — 도구 권한·게이트·재시도, 데이터·모델 프로비넌스
100. [Final] 내 스택의 ADR + 위협 모델 한 편 쓰기

📥 확장 큐: 리포트의 뉴스·딥다이브에서 새로 중요해진 주제가 나오면 날짜와 함께 여기 적고, 다음 사이클(101+)이나 [복습] 자리에 편입.