私たちは、経済的所有権とAIモデルへの検証済みアクセスを提供するNim AIフレームワークの最初のビルディングブロックを紹介できることを嬉しく思います。@ligero_incによるLigetron 1.0は、Ligero Proofsによって動作するメモリ効率の良いZKシステムです。私たちは、Llama2 7bモデルのために世界初の証明を作成し、以前の最良の試みであるmodulusと比較して、メモリで1024倍、速度性能で66倍の改善を達成しました。