ZK-World white paper
  • 🫁Summary
  • 🖥️introduction
  • 🖲️About ZK World
    • Why design ZK World?
    • Introduction to ZK World
    • Problems that ZK World needs to deal with
  • 🌐ZKW-VM: A full-featured AI intelligent ZKVM
    • Design Principles
  • ‼️ZK World-VM
    • Instruction Set
    • Memory
    • builtin
  • 🚩ZK World-Compiler: An AI-based compiler to generate RISC assemblies
    • Introduction to the ZK World Compiler
    • ZK World language compiler front end
  • 🎆Algorithm
    • Starky
    • Plonky2
  • 🚄ZK World-Artificial Intelligence Computing Power Network System
    • Node AI Network
    • ZK World's multi-dimensional parallel system
    • ZK World Artificial Intelligence Computing Power Network
    • ZK World artificial intelligence data unified storage and management platform
    • AI Data Market
  • ✍️ZK World application scenarios
  • 🚀ZK World Token Economics
  • 🤝Glossary
Powered by GitBook
On this page

ZK World-VM

ZK WorldVM is a zero-knowledge virtual machine (ZKVM). It executes programs compiled from ZK World-lang to generate trace tables. These traces are used by the ZK prover to construct ZK proofs. The program format provided by the ZK World-lang compiler consists of two fields (bytecode and oracle): Bytecode consists of instructions and cannot be empty. prophets is an array containing all prophets, may be empty.

PreviousDesign PrinciplesNextInstruction Set

Last updated 1 year ago

‼️
Page cover image