Glossary
This glossary explains key concepts of the Hyli blockchain, a high-performance blockchain with built-in privacy.
It helps developers and curious readers understand the key terms that describe how proofs, transactions, and operations work in Hyli.
Each definition links to a related concept page for deeper technical details.
Base state
The base state is the state of an app before any operation occurs. See also: Transactions
Blob
A blob is a piece of provable information sent to Hyli for sequencing. It represents off-chain data that will later be proven and settled onchain. See also: Apps
Blob transaction
A transaction that includes a provable blob and is used for sequencing within Hyli’s pipeline. See also: Pipelined proving
Operation
An operation is an event that happens on an app. Each operation consists of two transactions: a blob transaction and a proof transaction. See also: Transactions
Proof transaction
A proof transaction contains a proof of a previously-submitted blob and is used for verification and settlement. See also: Transactions
Proof composition
The process of combining multiple proofs (e.g., from different proving systems) into a single proof. This enables interoperability and efficient verification across diverse proof frameworks. See also: Proof composition
Proof verification
The step where Hyli verifies submitted proofs before final settlement. This guarantees correctness and ensures that only valid operations update the blockchain state. See also: Transactions
Cross-contract composition
The ability to use and verify a contract’s proofs within other contracts, enabling modular and interoperable applications. See also: Proof composition
Timeout
A timeout is a defined window of time after which, if no proof transaction has been submitted, an operation fails. See also: Pipelined proving
Transaction
A transaction is a unit of communication sent to Hyli. There are two kinds: blob transactions and proof transactions. See also: Transactions
Scalability
Hyli achieves high throughput and low latency through off-chain execution and proof-based settlement, allowing Web2-like performance without sacrificing security. See also: Performance
Privacy proofs
Proofs can preserve privacy by verifying correctness without revealing the underlying data. This enables compliance-friendly and privacy-aware applications. See also: Proofs overview
Pipelined proving
A proving model that separates proof generation from application logic. This allows proof creation to run asynchronously while maintaining deterministic outcomes. See also: Proof composition
Zero-knowledge proof (ZKP)
A cryptographic proof that shows a statement is true without revealing the data behind it. Hyli supports multiple proof schemes, including Groth16, RISC Zero, Noir over Barretenberg, and SP1. See also: Proof systems
State settlement
The process of finalizing verified operations onchain. This guarantees that off-chain computations are securely reflected on the blockchain. See also: Settlement
Ecosystem
The network of tools, projects, and partners building with or integrating Hyli — from wallet providers to proof systems and SDKs. See also: Ecosystem
Developer quickstart
Resources for building your first app with Hyli, including SDKs, example repositories, and starter templates. See also: Getting started