我们很高兴地介绍Nim AI框架的第一个基础构件，它提供了对AI模型的经济所有权和验证访问权限。

Ligetron 1.0由@ligero_inc推出，是一个内存高效的ZK系统，采用Ligero Proofs技术。我们为Llama2 7b模型创造了全球首个证明，与之前modulus的最佳尝试相比，在内存上实现了1024倍的提升，速度性能提升了66倍。