好开源，值得被发现。

Kotoba是一种以安全为先的声明式语言和计算栈，专为AI代理设计。它强制执行能力安全执行、默认后量子密码学、内容寻址工件以及显式的权限边界，以限制不受信任的代码。

SUM 是一个开源工具，用于验证 AI 文本转换并生成加密收据。它检查 AI 改写文本时发生了什么变化、保留了什么、丢失了什么，支持跨运行时 Ed25519 签名和离线验证。

Trahens 是一个研究协议，旨在为去中心化、路径感知网络提供面向隐私的会合路由发现和控制平面管理。

TundraLibs 是一套独立的跨运行时 TypeScript 库，兼容 Deno、Bun、Node.js、Cloudflare Workers 和浏览器。它提供数据库（ORM、驱动）、认证、验证、日志、追踪、缓存和 HTTP 路由等模块化工具。

tc_rust 是一个从 Bouncy Castle C# 移植而来的纯 Rust 密码学库，用于学习目的。它包含丰富的块/流密码、摘要和椭圆曲线数学，但尚未经过审计，API 不稳定。

Dart 封装了 OpenMLS，实现用于加密群组消息传递的消息层安全 (MLS) 协议，具备 TreeKEM、加密存储、跨平台 Flutter 支持以及实验性后量子密码套件。