📡 动态时间线

🏔️ 技术成长之路

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。