TLL 是一门自研高性能语言,原生支持协程、TCP 网络、Ed25519 密码学、Agent 身份、能力、授权、证据与信任层。专为 AI Agent 协同构建大型软件系统而设计。
import crypto.ed25519
import identity
// Create a verifiable agent identity
let seed = crypto.randomBytes(32)
let agent = identity.generate(seed)
// Sign a capability claim
let claim = "capability:code_review"
let signature = agent.sign(claim)
// Verify with deterministic trust
let valid = agent.verify(claim, signature)
if valid == 1 {
io.println("Agent Identity: VERIFIED")
io.println("Agent ID: " + agent.id)
io.println("Public Key: " + agent.publicKey)
}
每一项能力都有测试证据、CI 验证和不可变的提交历史支撑。
轻量级协作式多任务,支持 100K+ 并发协程、调度器和执行上下文。
原生 TCP 套接字支持,文件描述符管理,P2P 节点通信和边界测试。
完全自研的 Ed25519,包含域/曲线/标量运算。RFC 8032 #1/#2/#3 向量通过。
基于密码学的身份系统,确定性 agent_id = SHA256(canonical material),Ed25519 签名验签。
可验证的能力声明,确定性 ID、规范编码和集合操作。
签名授权令牌,包含颁发者、约束、过期时间和能力绑定。
可验证操作记录,包含输入/输出哈希、时间戳、签名和链式链接。
基于身份+能力+授权+证据的确定性信任评估,10 项检查和明确失败原因。
Agent Profile 包含身份+能力+授权,本地发现注册表和信任集成。
从密码学原语到 Agent 生态。每一层都经过封板、测试和 CI 验证。
Agent Profile · 能力发现 · 信任集成
确定性信任 · 10 项检查 · 失败原因 · 评分
可验证记录 · 输入/输出哈希 · 链式链接 · 签名
签名令牌 · 颁发者 · 约束 · 过期 · 能力绑定
确定性 ID · 规范编码 · 集合操作 · 版本绑定
密码学身份 · 确定性 ID · Ed25519 签名 · 规范编码
自研域/曲线/标量运算 · SHA-512 · RFC 8032 #1/#2/#3 · 安全随机数
没有证据就没有声明。每一项能力都有测试 Gate 和跨平台 CI 支撑。
为速度而生。原生协程调度器、高效 VM 和经过验证的性能基准。
任何 LLM,任何 Agent 框架。Truth、Protocol、Contract 和 Verification 保持一致。