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. Vanna Network
  2. Architecture

Cryptoeconomic Security

The Vanna Network offers cryptoeconomic security in the form of a staking contract on the application layer. When inference nodes come online to participate in securing the network, they must post Vanna tokens as collateral in the staking contract. The staking contract enforces behavior of the inference nodes, with slashing conditions including but not limited to:

  1. zkML - Generating proofs that are invalid and cannot be verified cryptographically

  2. opML - Successful challenges to the inferences generated by the node

  3. zkFP - Successful challenges to the inferences generated by the node, or the inability to generate a ZK SNARK proving the inference

PreviousValidation-Computation Separation (VCS)NextModular Design

Last updated 1 year ago

🏗️