2026年01月13日Zirgen DSL类型系统与形式化验证集成：类型推导算法与定理证明器接口设计面向零知识证明算术电路编译器Zirgen，设计类型系统与形式化验证工具的集成架构，提出类型推导算法与定理证明器接口的具体实现方案。阅读全文 →