跳转到内容

Kotoba 工程笔记

证据胜于口号

关于语言设计、测量、已发布边界及仍未合格部分的简短说明。

安全工程

Kotoba 是否支持 NIST CSF 2.0 计划?

一份以证据为依据的指南,介绍能力边界、攻击路径,以及 Kotoba 周围仍需的运营控制。

阅读评估和攻击场景

31 年 2026 月 · 基准测试

第五个基准,以及其不支持的声明

四个基准均构建了足够小以适合一屏的程序,测量工具链启动速度而非开发者等待时间。新的构建扩展套件在八个大小生成相同程序,通过主机上的每个工具链构建,然后执行各自产物。

执行工件使其成为基准而非秒表。发布的 Kotoba CLI 生成一个无效的 WebAssembly 模块,包含超过 128 个函数并成功退出,因此未经验证的测试框架会在停止工作处记录最佳数据。另有两个 Kotoba 通道在声明边界停止——调用燃料预算和函数计数许可限制——结果相反,必须如此报告。

该套件添加以展示构建速度作为优势。它显示了所有路径中冷启动构建成本最低的已发布二进制文件,并显示在大规模时构建速度目前不是 Kotoba 的优势。两部分均在同一表中。

阅读构建扩展结果

29 年 2026 月 · 基准测试

四个基准回答四个不同问题

编译器启动测量一个微小的源到产物路径。开发者循环套件分离了解析、检查、清理和无变更构建,以及跨十一条工具链路径的首次结果。原生运行时测量已构建程序。第四套套件比较字符串、集合、分配、I/O、并发和一个小型真实应用,跨六条代表性运行时路径。Kotoba 分别发布它们,以免将单一快速阶段误认为普遍速度。

每个发出的结果都经过检查,但所有速度排名仍被保留,因为记录的主机负载门控失败。

阅读基准并检查其证据

28 2026 月 · 语言设计

无环境权限即语言边界

Kotoba 程序不会隐式访问文件系统、网络、进程、时钟、模型或秘密。源代码声明效果,许可与策略交集,主机仅绑定结果能力。

该设计补充操作系统隔离;它不替代受信计算基中的编译器、验证器、运行时、提供者、密钥托管或主机策略。

查看计算边界