Vanna Labs
  • Introduction
    • ๐Ÿ‘‹Welcome
    • โœจSummary
  • Vision
    • ๐ŸชThe AI One-Stop-Shop
      • AI Models on Vanna
      • Applied ML on Vanna
    • ๐ŸคInteroperability
    • โœ…Computational Verifiability
    • ๐ŸŒDecentralization
    • ๐Ÿ›ก๏ธCensorship Resistance
  • Vanna Network
    • ๐Ÿ—๏ธArchitecture
      • Data Preprocessing
      • Parallelized Inference Pre-Execution (PIPE)
      • Validation-Computation Separation (VCS)
      • Cryptoeconomic Security
      • Modular Design
    • โš™๏ธInference Modes
      • Vanilla Inference
      • zkML Inference
      • zkFP Inference
      • opML Inference
      • TEE Inference
    • ๐Ÿ’ฟData Storage
      • Model Storage
      • Data Availability
    • ๐Ÿ’ปPortal
  • Build
    • ๐Ÿ› ๏ธGetting started
      • Networks
      • Faucets
      • Model Storage
    • ๐Ÿ’ปBuilding dApps
      • Data Preprocessing
      • Inference API
      • Inference Example
    • ๐Ÿ’พModels
      • Supported LLMs
  • ๐Ÿ”—Links
  • Key Concepts
    • ๐Ÿง AI x Blockchain
    • ๐Ÿ“œOptimistic Rollups
    • ๐Ÿ’พData Availability
    • โšกzkML
    • โ˜€๏ธopML
Powered by GitBook
On this page
  1. Key Concepts

opML

Securing AI/ML Inference through Optimistic Fraud Proof Technology

Optimistic Machine Learning (opML)

Optimistic machine learning is another solution to decentralizing AI inference, with โ€œoptimisticโ€ referring to the idea of optimistically trusting the results of an inference unless (or until) someone challenges the result.

In the event of a challenge, the challenger first puts up a financial stake and a verification game is played, where a bisection protocol is used to locate the disputed step that caused the divergence in computation. The arbitrator contract resolves the challenge, heavily slashing the inference computer or the challenger depending on the success or failure of the challenge respectively.

This optimistic security model comes with both pros and cons compared to zkML. The biggest advantage is the lower time/computational cost that comes with adopting a model that doesnโ€™t generate a proof on every inference, which is significantly lower especially with larger models where both the inference and proof generation can be extremely expensive. However, the biggest disadvantage is the lack of the immediate cryptographic security that zkML offers that high-stakes use-cases may require.

PreviouszkML

Last updated 1 year ago

โ˜€๏ธ