WorldVM

Program your checks in plain language.

WorldVM is a natural language programming layer on Injective. An institution writes its checks in plain language, a network of TEEs runs them with open-source models, and the agreed result is recorded on-chain.

Smart contracts cannot read documents. Loan files, invoices and ID checks still need people to read and judge them, and a single AI model can be wrong or out of date.

WorldVM turns written rules into a program a network can run.

An institution describes the check once. TEE validators run it on each input, and the result they agree on goes on-chain.

Plain-language rules

An institution writes what to check as a harness, stored on-chain.

Network of TEEs

Validators run open-source models inside secure enclaves.

Majority result

Every validator runs the same harness. The majority answer stands.

On-chain record

The result is recorded on Injective, where contracts can read it.

Every check runs the same way, from rules to record.

Harness

loan-check · v1

Plain language
  • R1Applicant has a valid ID document
  • R2Income covers 3x the monthly payment
  • R3No unpaid loan in the last 12 months
  • R4Answer yes, no or needs review
Stored on InjectivePublish harness

The institution writes the harness: its rules, in plain language.

Institution

No single validator decides the result.

Validators run the same harness independently inside TEEs, and every vote counts the same. The majority answer is recorded on Injective.

Examples of harnesses an institution could write.

Invoices

Check an invoice before financing it.

Loan files

Turn an unstructured contract into checked data.

Credit checks

Run a bank's credit and ID rules for each applicant.

Results stay verifiable without exposing the inputs.

Documents are opened only inside a decentralized network of TEEs. Injective stores the harness and the result for anyone to check.

Off-chain

Inputs and documents.

On Injective

The harness and the result.

Institution view

The result and the vote count.

Network of TEEs

No single operator, WorldVM included, can open the files.

Agreement between validators is not proof of accuracy.

WorldVM verifies

  1. //01Which harness and model ran
  2. //02Validators agreed on the result
  3. //03The result is recorded on-chain

Stays with the institution

  1. //01Whether the rules are right
  2. //02Document authenticity and legal validity
  3. //03What to do with the result
  4. //04Facts outside the input

No. They stay off-chain and are opened only inside a network of TEEs.

No. Validators run open-source models and the majority answer is recorded. The institution decides what to do with it.

It's possible. Only the institution submits inputs and a filter screens them first, which lowers the risk.

Not yet. It's in development for Injective testnet.

Write your first check with WorldVM.

We're inviting banks, lenders and platforms to pilot plain-language checks on Injective testnet.