> For the complete documentation index, see [llms.txt](https://devs.novanet.xyz/llms.txt). Markdown versions of documentation pages are available by appending `.md` to page URLs; this page is available as [Markdown](https://devs.novanet.xyz/jolt-atlas-zkml/onnx.md).

# ONNX

ONNX is an open format built to represent machine learning models. ONNX defines a common set of operators - the building blocks of machine learning and deep learning models - and a common file format.

While most zkVMs run their proofs over a RISC-V trace, JOLT Atlas computes proofs over an ONNX trace. That is, a proof in JOLT Atlas convinces a verifier that the ONNX trace is the result of running a neural network model for some inputs parameters. Neural networks have a different computational model (they are a DAG) and a different set of opcodes.

We'll dive into the ONNX runtime next.