一种用于区块链分析的 Petri 网模型
密码学与安全
2017-09-27 v2 分布式、并行与集群计算
软件工程
摘要
区块链是一种全球共享基础设施，其中地址间的加密货币交易以点对点网络方式被记录、验证并公开可查。迄今为止最知名且最重要的加密货币是比特币。本文聚焦于这种加密货币，特别是利用 Petri 网形式化方法对比特币区块链进行建模。所提出的模型使我们能够快速收集关于持有比特币地址的身份信息，并获取比特币网络的度量与统计数据。通过利用代数形式化方法，我们重构了一个与区块链交易关联的实体网络，将比特币地址归集到持有管理这些地址所存比特币权限的单一实体中。该模型还能识别比特币持有者的一组典型行为，例如一个地址仅使用一次，并为此行为重构链及其触发速率。我们的模型高度灵活，可轻松调整以纳入比特币加密货币系统的不同特性。
引用
@article{arxiv.1709.07790,
title = {A Petri Nets Model for Blockchain Analysis},
author = {Andrea Pinna and Roberto Tonelli and Matteo Orrú and Michele Marchesi},
journal= {arXiv preprint arXiv:1709.07790},
year = {2017}
}