安全工程
Kotoba 是否支持 NIST CSF 2.0 计划?
一份以证据为依据的指南,介绍能力边界、攻击路径,以及 Kotoba 周围仍需的运营控制。
阅读评估和攻击场景Kotoba 工程笔记
关于语言设计、测量、已发布边界及仍未合格部分的简短说明。
安全工程
一份以证据为依据的指南,介绍能力边界、攻击路径,以及 Kotoba 周围仍需的运营控制。
阅读评估和攻击场景31 年 2026 月 · 基准测试
四个基准均构建了足够小以适合一屏的程序,测量工具链启动速度而非开发者等待时间。新的构建扩展套件在八个大小生成相同程序,通过主机上的每个工具链构建,然后执行各自产物。
执行工件使其成为基准而非秒表。发布的 Kotoba CLI 生成一个无效的 WebAssembly 模块,包含超过 128 个函数并成功退出,因此未经验证的测试框架会在停止工作处记录最佳数据。另有两个 Kotoba 通道在声明边界停止——调用燃料预算和函数计数许可限制——结果相反,必须如此报告。
该套件添加以展示构建速度作为优势。它显示了所有路径中冷启动构建成本最低的已发布二进制文件,并显示在大规模时构建速度目前不是 Kotoba 的优势。两部分均在同一表中。
29 年 2026 月 · 基准测试
编译器启动测量一个微小的源到产物路径。开发者循环套件分离了解析、检查、清理和无变更构建,以及跨十一条工具链路径的首次结果。原生运行时测量已构建程序。第四套套件比较字符串、集合、分配、I/O、并发和一个小型真实应用,跨六条代表性运行时路径。Kotoba 分别发布它们,以免将单一快速阶段误认为普遍速度。
每个发出的结果都经过检查,但所有速度排名仍被保留,因为记录的主机负载门控失败。
28 2026 月 · 语言设计
Kotoba 程序不会隐式访问文件系统、网络、进程、时钟、模型或秘密。源代码声明效果,许可与策略交集,主机仅绑定结果能力。
该设计补充操作系统隔离;它不替代受信计算基中的编译器、验证器、运行时、提供者、密钥托管或主机策略。