极简 VPN 实现，用 C 语言写成，代码量小、配置简单，适合快速搭建点对点加密隧道来保护网络流量。

用基础设施即代码的方式管理生产环境本体，支持变更前评估影响范围、变更后回滚，并生成审计员可复核的形式化证明。