セキュリティエンジニアリング
KotobaはNIST CSF 2.0への取り組みをどう支えるか
Kotoba を取り巻くケイパビリティの境界、攻撃経路、および依然として必要な運用統制に関する、エビデンスに基づくガイド。
評価と攻撃シナリオを読むKotoba エンジニアリングノート
スローガンの前の証拠
言語設計、測定、出荷された境界、そしてまだ資格がないものに関する短いメモ。
31 年 2026 月 · ベンチマーク
5番目のベンチマーク、およびそれがサポートしないという主張
4つのベンチマークはすべて1画面に収まる小さなプログラムをビルドし、ツールチェーンの起動速度を測定し、開発者が待つ数ではない。新しいビルドスケーリングスイートは同じプログラムを8サイズで生成し、ホスト上のすべてのツールチェーンでビルドし、それぞれの成果物を実行する。
アーティファクトを実行することが、ベンチマークでありストップウォッチではない理由です。リリースされたKotoba CLIは128関数以上の無効なWebAssemblyモジュールを出力し正常終了するため、検証されていないハーネスは停止した正確な場所で最高の数値を記録していたでしょう。さらに2つのKotobaレーンは宣言された境界 — 呼び出し燃料予算と関数数許可制限 — で停止し、これは逆の結果でありそのように報告されなければなりませんでした。
このスイートはビルド速度を強みとして示すために追加された。計測されたどのレーンよりも低いコールドスタートビルドコストのリリース済みバイナリを示し、大規模サイズではビルド速度は現在Kotobaの強みではないことを示す。両半分は同じ表にある。
29年2026月 · ベンチマーク
4つのベンチマークは4つの異なる質問に答えます
コンパイラ起動は小さなソースから成果物へのパスを測定します。開発者ループスイートは解決、チェック、クリーンおよび変更なしビルド、最初の結果を11のツールチェーンパスに分けます。ネイティブランタイムは既にビルドされたプログラムを測定します。4番目のスイートは文字列、コレクション、割り当て、I/O、並行性、小さな実アプリケーションを6つの代表的なランタイムパスで比較します。Kotoba はそれらを別々に公開し、1つの高速フェーズが普遍的な速度と誤解されないようにします。
すべての出力結果は検証されますが、記録されたホストロードゲートが失敗したため、すべての速度ランキングは保留されています。
28 年 2026 月 · 言語設計
環境権限なしは言語境界です
Kotoba プログラムは暗黙のファイルシステム、ネットワーク、プロセス、クロック、モデル、または秘密アクセスから始まりません。ソースは効果を宣言し、許可は交差して付与とポリシーに合致し、ホストは結果として得られた能力のみをバインドします。
この設計はOSの分離を補完するものであり、信頼できるコンピューティングベースにおけるコンパイラ、検証器、ランタイム、プロバイダー、鍵管理、ホストポリシーを置き換えるものではありません。