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. |
|