Definitions

This page defines the core data structures and roles that exist in Hyperdrive.

Transaction

A transaction is executed in order to transform an initial state into a new state. It is assumed that the execution of a transaction will happen in full, or not at all. In this sense, a transaction can be considered atomic.

execute :: Transaction -> State -> State

Multiple transactions can be executed in parallel, on the same initial state, if and only if the output state is equal to the output state that would result from executing each transaction in sequentially.

execute :: [Transaction] -> State -> State
execute txs initialState = foldr (\tx state -> execute tx state) initialState txs

Plan

A plan represents the precomputed data that is needed to apply a set of transactions to a state. The precomputed data required depends on the secure multi-party computation that is used for execution.

State

Block

Signatory

Message