🏔️ 技术成长之路
2026-10
🎉「小黎部落」正式上线
个人技术分享网站搭建完成,涵盖分布式系统、编译原理、密码学等前沿技术领域。
2026-09
🔬完成 Groth16 零知识证明协议实现
从 R1CS 到 QAP 完整推导,基于 BN254 曲线实现证明生成与验证。
2026-08
🌐QUIC 协议栈通过 IETF 互操作测试
自研 QUIC 协议栈 ProtoStack 完成 RFC 9000 全部功能实现。
2026-07
🏆Chimera OS 通过形式化验证
微内核操作系统内核接口通过形式化验证,实现零漏洞保证。
2026-06
⚛️量子计算模拟器 QSim 发布
支持 32 量子比特的态向量与张量网络混合模拟引擎。
2026-05
🎮Vulkanite GPU 驱动框架完成
从零实现 Vulkan 1.3 兼容用户态驱动,涵盖完整着色器编译管线。
2026-04
📜VeriDB 通过 Jepsen 分布式测试
形式化验证的分布式数据库通过严格的一致性验证测试。
2026-03
🦀深入 Rust 异步运行时研究
自底向上实现迷你 Tokio,理解 Future 状态机与 Waker 唤醒机制。
2026-02
🔍eBPF 可观测性研究
利用 eBPF 实现零侵入内核追踪与性能火焰图生成。
2026-01
🗄️LSM-Tree 存储引擎从零实现
用 Rust 实现完整 LSM-Tree,包含 MemTable、SSTable 与 Compaction。