ONNX

Introduction

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.