论文标题
UTXO区块链代数
Algebras of UTxO blockchains
论文作者
论文摘要
我们将区块链的理论凝结到一个简单而紧凑的四种方程组（理想化的eutxo），以及代数表征（抽象块系统），并在它们之间展示了一对函数。这对区块链技术的基本数学结构（例如比特币）提供了新的描述。
We condense the theory of blockchains down to a simple and compact set of four type equations (Idealised EUTxO), and to an algebraic characterisation (abstract chunk systems), and exhibit an adjoint pair of functors between them. This gives a novel account of the essential mathematical structures underlying blockchain technology, such as Bitcoin.
