工程实践
  1. 首页
  2. 编程教程
  3. 工程实践

列表

零知识证明系统深度工程实战：从 PLONK 算术化、STARK/FRI 到递归折叠与 zkVM Prover 全链路

零知识证明系统深度工程实战：从 PLONK 算术化、STARK/FRI 到递归折叠与 zkVM Prover 全链路

从算术化中间表示（R1CS/PLONKish/AIR）出发，拆解 KZG、IPA 与 FRI 三类多项式承诺的工程取舍，剖析 STARK 的 FRI 折叠与安全位估算、Halo2 递归摊销与 Nova 折叠方案，并给出 zkVM 的 chip 划分、内存一致性检查、continuations 与 Prover 的 MSM/NTT 性能工程和六大安全踩坑清单。
工程实践 2026年10月05日
布尔可满足性求解器深度工程：从 DPLL 到 CDCL 的两观察文字传播、1UIP 学习与重启策略全链路实战

布尔可满足性求解器深度工程：从 DPLL 到 CDCL 的两观察文字传播、1UIP 学习与重启策略全链路实战

拆开现代 CDCL SAT 求解器的四层核心机制：两观察文字惰性传播与 O(1) 回溯撤销、蕴含图上的 1UIP 冲突分析与非时序回溯、VSIDS 启发式与相位保存、Luby/Glucose 重启配合 LBD 子句数据库缩减；附单元传播与冲突分析的 Python 实现，并覆盖 vivification、阻塞子句消去、DRAT 证明检查及 EDA 形式验证、依赖求解等生产落地场景。
工程实践 2026年10月04日
C++20 内存模型与无锁编程深度实战：从 Memory Ordering 到无锁数据结构的生产级实现

C++20 内存模型与无锁编程深度实战：从 Memory Ordering 到无锁数据结构的生产级实现

从硬件乱序到C++20 memory ordering完整解析：剖析六种ordering语义边界，Michael-Scott无锁队列完整实现，ABA问题Tagged Pointer与Hazard Pointer对决，Epoch-Based Reclamation轻量级回收，C++20 atomic_ref/latch/barrier新特性实战，x86与ARM架构性能基准对比，常见陷阱与反模式工程指南。
工程实践 2026年10月04日
Apache Hudi 深度工程实战：从 Timeline MVCC、记录级索引到 MOR/COW 的湖仓 Upsert 引擎全解

Apache Hudi 深度工程实战：从 Timeline MVCC、记录级索引到 MOR/COW 的湖仓 Upsert 引擎全解

拆解 Apache Hudi 的三层工程内核：Timeline 时间线 MVCC 的快照与增量语义、File Group/File Slice 的物理布局、记录级索引（Bloom/Bucket/Record Index）的代价模型；对比 COW 与 MOR 的取舍边界，给出 Compaction/Clustering/Cleaner 表服务节奏、OCC 多写入端冲突治理与七个生产踩坑清单。
工程实践 2026年10月04日
AV1 视频编码器工程深度实战：从块划分、率失真优化、CDEF 环路滤波到 Tile 并行的全链路解析

AV1 视频编码器工程深度实战：从块划分、率失真优化、CDEF 环路滤波到 Tile 并行的全链路解析

拆解 AV1 编码器的主干工程：128x128 超级块划分树与方差剪枝、56 角度帧内预测与 CfL 色度预测、OBMC/Warped Motion/TPL 时域依赖建模、Trellis 软判决量化、Deblocking-CDEF-Loop Restoration-Film Grain 四级环路滤波、多符号算术编码 CDF 与 Tile/Wavefront 并行，给出可运行算法骨架与生产环境六个真实陷阱。
工程实践 2026年10月04日