宗喆和张正分别给我们带了 KCL 相关的最新进展，由蚂蚁集团开发的 Rust 编写的开源 DSL，目标是优化云原生策略配置和用户体验。它通过引入动态配置管理、配置校验和基础设施抽象等核心概念，解决开发者认知负担、配置膨胀和标准化工具缺乏的问题。自2022年6月开源后，KCL 于2023年成为 CNCF 托管的 Sandbox 项目。
KCL 项目 maintainer 宗喆说："为了让 KCL 不仅适用于用 KCL 编写描述的基础设施，而且能够适用于存量已有的基础设施，我们提出了 KRM KCL 规范，目的是将 K8s 的资源与 KCL 关联起来。通过这种方式，KCL 的核心理念和特性能够与集群中现有的资源进行交互。"
在技术快速发展的今天，开发者利用 IaC 工具配置云资源需深入理解基础设施，同时云平台的复杂性和 AI 应用的开发难度提升了上手门槛。Pluto 项目应运而生，通过减少代码量和同步开销，简化云资源使用和 AI 应用开发，降低复杂性。Pluto 在简化云资源的使用和 AI 应用的开发流程，通过减少开发者需要编写的代码量，并消除业务逻辑与云配置之间的同步开销，从而降低了开发和部署的复杂性。
基于 LangChain 的聊天机器人的实例，传统开发需手动创建资源或编写300行代码。Pluto 使应用开发缩减至87行，简化流程，提高部署效率。
KCL 项目另一位 Maintainer 张正进一步深入介绍了蚂蚁集团在智能合约领域的另一项创新项目------Sonar。Sonar 搭档蚂蚁链 Aldaba 2.0 平台为开发者提供低门槛、一致的开发体验，强调易用性、高性能和安全性，同时针对平台进行了特定的分析和优化。
随着 Sonar 语言的开发，团队也孵化了 Smart IR 项目，一套多目标、多场景编译器框架，目前已在 GitHub 开源。Smart IR 作为一种中间表示，可以支持多语言前端，目前除了 Sonar 外，还提供了对以太坊上的 Solidity 语言的部分支持，展现了其灵活性和扩展性。
张正提到：
尽管 Sonar 目前还未开源，主要因为与平台特性紧密相关，但我们希望通过 Smart IR 促进智能合约的多语言支持和意图一致性检查。特别是在智能合约开发中，由于区块链的不可变特性，代码部署需极其谨慎，他们正在探索基于AI的代码审计工具，以简化审计过程，提高效率。
通过 Smart IR 的意图一致性工作，团队希望通过编译技术提取用户意图，与代码实现进行比较，评估一致性。初步实验显示，这种方法在一些公开数据集上达到了约85%的准确率，正在内部合约审计团队中测试和落地。