We are excited to introduce the first building block of the Nim AI framework, which provides economic ownership and verified access to AI models.

Ligetron 1.0 by @ligero_inc, is a memory-efficient ZK system powered by Ligero Proofs. We created the first proof in the world for the Llama2 7b model, achieving a 1024x improvement in memory and 66x in speed performance compared to the previous best attempt by modulus.