Algebras of UTxO blockchains

【Author】 Gabbay, Murdoch J.

【Source】MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

【影响因子】0.616

【Abstract】We condense the theory of UTxO 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.

【Keywords】UTxO; blockchain; algebra; abstract chunk systems; nominal techniques

【发表时间】

【收录时间】2022-02-02

【文献类型】期刊

【主题类别】

区块链技术--