An operation that brings together multiple elements
Onchain AI Oracle (OAO) has been renamed to AI Oracle. You may still see this term in some of our documentation and code base.
AI Oracle is ORA's verifiable and decentralized AI oracle, enabling developers to integrate AI functionalities into their smart contracts seamlessly. The AI Oracle is supported by ORA's network of permissionless nodes running the TORA client and is secured by optimistic Machine Learning (opML).
The system consists of 2 parts:
Set of smart contracts - Any dapp can request AI inference by calling AI Oracle smart contracts. Oracle nodes listen to the events emitted by the AI Oracle smart contracts and execute AI inference. Upon the successful execution, the results are returned in the callback function.
A TypeScript-like language for WebAssembly.
A type of middleware that performs operations without human control. Commonly used in blockchain due to smart contracts' inability to trigger automatic functions and DApps' need for periodic calls.
Computational Entity. The customizable and programmable software defined by developers and the underlying oracle network running those software.
A software for operating a node. Usually developed by the network's core developer team.
A time window for finalizing disagreement on computation. Usually takes weeks. Used in traditional oracle networks.
Refers to Ethereum's consensus algorithm.
An operation that rejects unwanted elements
Reached when zk proof is verified, or dispute period is passed, and data becomes fully immutable and constant. See L2Beat's definition.
A staking mechanism involves "fisherman" to check integrity of nodes and raise dispute, and "arbitrator" to decide dispute outcome.
An approach for querying data. Commonly used in the front-end of DApps.
A high-performance implementation of zk-SNARK by Electric Coin Co.
Hyper Oracle has been rebranded to ORA.
A type of middleware that fetches and organizes data. Commonly used in blockchain due to blockchain data's unique storage model.
Initial Model Offering (IMO) is a mechanism for tokenizing an open-source AI model. Through its revenue sharing model, IMO fosters transparent and long-term contributions to any AI model.
The process works as follows:
IMO launches an ERC-20 token (more specifically, ERC-7641 Intrinsic RevShare Token) of any AI model to capture its long-term value.
Anyone who purchases the token becomes one of the owners of this AI model.
Token holders share revenue generated from onchain usage of the tokenized AI model.
More information can be found on Initial Model Offering page.
A programming language for Web.
A delay after outputting execution result caused by proof generation or dispute period.
An operation that associates input elements with output elements.
Services or infrastructure needed in pipeline of development.
A computer running a client.
On the (specific) blockchain / not on the (specific) blockchain. Usually refers to data or computation.
Optimistic Machine Learning (opML) is a machine learning proving framework. In uses game-theory to ensure the validity of AI inference results. The proving mechanism works similar to optimistic rollups approach.
Optimistic Privacy Preserving AI (opp/ai) is a machine learning proving framework. It combines cryptography and game-theory to ensure the validity of AI inference results.
Name of our project. Previously HyperOracle.
A component for processing data in DApp development. Can be input oracle (input off-chain data to on-chain), output oracle (output on-chain data to off-chain), and I/O oracle (output oracle, then input oracle).
Able to be customized and defined by code.
A process of producing zero-knowledge proof. Usually takes much longer than execution only.
A ZK proof that verifies other ZK proofs, for compressing more knowledge into a single proof.
A process that involves the burning of staked token for a node with bad behavior.
A required process that involves the depositing and locking of token for a new-entered node into network.
Codes that define and configs indexing computation of The Graph's indexer.
Complete alignment with the Subgraph specification and syntax.
Able to be verified easily with less computation resources than re-execution. One important quality of zero-knowledge proof.
A model for analyzing trust assumptions and security. See Vitalk's post trust model.
Able to trust without relying on third-party.
A Strongly-typed JavaScript.
Refers to correctness of computation.
A type of zero-knowledge proof that does not utilize its privacy feature, but succinctness property.
Able to be checked or proved to be correct.
A computation to check if proof is correct. If verification is passed, it means proven statement is correct and finalized.
A role that requires prover to convince with proof. Can be a person, a smart contract in other blockchains, a mobile client, or a web client.
A binary code format or programming language. Commonly used in Web.
A global P2P network linking three topologically heterogeneous networks (Ethereum, ORA, Storage Rollup) with zero-knowledge proof.
A cryptographic method for proving. Commonly used in blockchain for privacy and scaling solutions. Commonly misused for succinctness property only.
A commonly-used zero-knowledge proof cryptography.
A trustless automation CLE Standard with zk. Aka. ZK Automation
A zkVM with EVM instruction set as bytecode.
A virtual machine with zk that generates zk proofs.