ZkML

Many projects, such as Modulus, are working on generating validity proofs of LLM inference. These proofs can be generated on Gevulot.