UTxO 区块链的代数
计算机科学中的逻辑
2022-03-01 v2 环与代数
摘要
我们将区块链理论浓缩为一组简单紧凑的四个类型方程（理想化 EUTxO）和一个代数刻画（抽象块系统），并展示了它们之间的一个伴随函子对。这为理解区块链技术（如比特币）背后的基本数学结构提供了一种新颖的阐述。
引用
@article{arxiv.2007.12404,
title = {Algebras of UTxO blockchains},
author = {Murdoch J. Gabbay},
journal= {arXiv preprint arXiv:2007.12404},
year = {2022}
}