Zero-Knowledge Virtual Machine (ZK-VM)

The ZK-VM is the isolated runtime environment where VeilCore agents exist. It is a Turing-complete environment designed to execute smart contracts and agent logic while keeping the state encrypted.

How It Works

The ZK-VM operates as a "black box" for computation.

  1. Private Inputs: The agent feeds private data (such as proprietary datasets, trading strategies, or user biometrics) into the VM.

  2. Public Program: The specific logic or smart contract to be executed is public and verifiable.

  3. Execution: The VM executes the program on the private inputs off-chain.

  4. Outputs: The VM produces two things. First, the public output (the result). Second, a ZK-Proof attesting to the correctness of the execution.

VM Compatibility

The VeilCore ZK-VM is designed for interoperability. It supports logic written in Rust, allowing developers to port existing Solana programs into the private VeilCore environment with minimal refactoring.

Last updated