Lagrange (LA): ШІ та обчислення, які можна перевірити, з доказами з нульовим розголошенням (ZK)