Skip to content

Glossary

Term Definition Related concept page
base state The state of a smart contract before an operation occurs. Transactions
blob A piece of provable information that is sent to Hylé. Smart contracts
blob transaction A transaction including a provable blob, used for sequencing. Pipelined proving
cross-contract composition The ability to use and verify a contract's proofs in other contracts. Proof composition
operation Something that happens on an unchained app. An operation includes two transactions: a blob transaction and a proof transaction. Transactions
proof composition The process of combining multiple zero-knowledge proofs into a single proof, enabling efficient verification and interoperability across different proving systems. Proof composition
proof transaction A transaction including a proof of a previously-submitted blob, used for verification and settlement. Transactions
proof verification The act by which Hylé verifies submitted proofs before settling them onchain. Transactions
timeout A time window after which, if no proof transaction has been submitted, an operation fails. Pipelined proving
transaction A part of an operation that gets sent to Hylé. There are two types of transactions: blob transactions and proof transactions. Transactions
unchained app An app that runs offchain and settles onchain, giving it both the Web2 user experience and the security of Web3.