Updates on HEIR, the Homomorphic Encryption Compiler Project

文章聚焦 HEIR 同态加密编译器的工程进展：把高层同态算子表示成可优化的编译方言，再 lowering 到具体加密后端，同时处理噪声预算、参数和算子支持。这个方向的难点在编译器中间表示和后端约束的协同，而不是再提出一种密码算法；项目更新因此更像基础设施成熟度报告。