Practical overview
When it fits
Use OPML when you want to study or prototype off-chain inference paired with an on-chain challenge and verification flow, particularly through its documented MNIST example.
Who it is for
- Developers exploring optimistic verification of off-chain AI inference.
- Teams prototyping model-inference dispute flows with MIPS execution and smart contracts.
Documented uses
- Build the repository with its documented Go, Node.js, Make, and CMake prerequisites.
- Demonstrate an MNIST inference fault-proof flow, including a challenge game and single-step verification.
- Explore the documented LLaMA example, including LLaMA 2.
Requirements & limits
The project is publicly available on GitHub and states that its code is MIT licensed.
- The repository documents MNIST and LLaMA examples; general DNN model support through ONNX is marked work in progress.
- Inference is listed as complete, while training and fine-tuning are listed as pending.
- The documented MNIST demo requires a local Hardhat node.
- The repository explicitly warns that the code is unaudited and should not be used to secure money until further testing and auditing are done.
- The MNIST example and challenge script are described as demonstrating the fault-proof and single-step verification flow (Verified).
Check current requirements in the official documentation. Source-based guidance does not mean OpenViST has run or independently tested this project.
Build OPML and run the MNIST fault-proof demo
Build the repository and follow its documented local MNIST challenge and single-step verification example.
Before you start
- Go 1.19
- Node.js
- Make
- CMake
Steps
Clone the repository recursively.
Run the command below.
make buildStart a local node with the command below.
npx hardhat nodeRun the command below.
bash ./demo/challenge_simple.sh
Expected outcome
The documented example demonstrates an MNIST fault-proof process, including the challenge game and single-step verification.
Guide limitations
- The repository describes this as an example; it does not establish a production deployment or security assurance.
- The project states that its code is unaudited and should not be used to secure money until further testing and auditing are done.
Sources & review
Source record details
- Source availability
- Active
- Sources checked
- 14 October 2026
- Original website title
- ora-io/opml · Official homepage title · retained in its source language

