Safescript – 面向人工智能时代的编程语言

Safescript 是一种为 AI 代理设计的编程语言，通过静态分析在运行前证明所有安全属性，无需沙箱或虚拟机，彻底消除供应链攻击。它编译成有向无环图（DAG），可追踪数据流和宿主机调用，性能开销为零，启动时间为零。