Rust 实现 TLS 1.3 协议栈深度工程实践：从握手到记录层的密码学引擎构建
深入剖析使用Rust从零构建TLS 1.3协议栈的工程实践，涵盖握手状态机类型系统建模、HKDF密钥派生树、AES-GCM记录加密、X.509证书链验证、0-RTT重放防御等核心机制
密码学工程
后量子密码学实战：ML-KEM、ML-DSA 与 TLS 混合密钥交换的工程迁移
NIST PQC标准实战指南：深入解析ML-KEM密钥封装、ML-DSA数字签名机制，TLS 1.3中X25519Kyber768混合密钥交换的部署方案与分阶段生产迁移策略
从零构建 SSH 服务器：协议握手、密钥交换与通道复用的 Rust 工程实战
从零用 Rust 实现一个最小可运行的 SSH 服务器，深入剖析 Diffie-Hellman 密钥协商、算法协商状态机、公钥认证、通道复用等核心机制，涵盖传输层握手、会话密钥派生、PTY 分配与 Shell 执行、抗 DoS 策略及生产级安全加固。
零知识证明系统深度工程实战：从 PLONK 算术化、STARK/FRI 到递归折叠与 zkVM Prover 全链路
从算术化中间表示（R1CS/PLONKish/AIR）出发，拆解 KZG、IPA 与 FRI 三类多项式承诺的工程取舍，剖析 STARK 的 FRI 折叠与安全位估算、Halo2 递归摊销与 Nova 折叠方案，并给出 zkVM 的 chip 划分、内存一致性检查、continuations 与 Prover 的 MSM/NTT 性能工程和六大安全踩坑清单。
