UTxO 区块链代数 Gabbay, Murdoch J. 我们把UTxO区块链理论浓缩成一组简单而紧凑的四类方程(理想化的EUTxO)和一个代数特征(抽象组块系统)，并展示了它们之间的一对伴随函子。这给出了区块链技术背后的基本数学结构的新颖描述，比如比特币。...
